Konverze modelů regulárních jazyků

Simple item page
but.committeeprof. RNDr. Alexandr Meduna, CSc. (předseda) doc. Ing. Zdeněk Kotásek, CSc. (místopředseda) Ing. František Grézl, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) RNDr. Marek Rychlý, Ph.D. (člen)cs
but.defenceStudent nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm D.cs
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorKřivka, Zbyněkcs
dc.contributor.authorNavrkal, Davidcs
dc.contributor.refereeKučera, Jiřícs
dc.date.accessioned2020-06-23T07:04:08Z
dc.date.available2017-06-18cs
dc.date.created2014cs
dc.description.abstractp { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } Moje práce se zabývá, jak didakticky prezentovat studentům modely regulárních jazyků se zaměřením na jejich vzájemné konverze. Tyto konverze jsou převod regulárního výrazu na konečný automat (KA), odstranění epsilon pravidel z KA a determinizace KA. Cílem bylo toto implementovat aplikaci. V této práci dokumentuji vývoj této aplikace. Tuto aplikaci jsem programoval v jazyku C++ za použití grafické knihovny Qt 5. Aplikaci jsem vyvíjel v operačním systému Linux a testoval v prostředí Microsoft Windows 7. Všechny tyto konverze jsou implementovány. Aplikace je uživatelsky přívětivá, intuitivní a funkční. Aplikace nebyla testována na širším vzorku studentů. Přínosem této práce je aplikace, která pomůže studentům formálních jazyků a automatů lépe pochopit a procvičit si tuto teorii na příkladech. Zdrojové kódy tohoto projektu (regularConvertor) jsou dostupné online na serveru Github. p { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; }ráce se zabývá, jak didakticky prezentovat studentům modely regulárních jazyků se zaměřením na jejich vzájemné konverze. Tyto konverze jsou převod regulárního výrazu na konečný automat (KA), odstranění epsilon pravidel z KA a determinizace KA. Cílem bylo toto implementovat aplikaci. V této práci dokumentuji vývoj této aplikace.cs
dc.description.abstractp { margin-bottom: 0.08in; direction: ltr; color: rgb(0, 0, 0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman",serif; font-size: 11pt; }p.cjk { font-family: "Times New Roman",serif; font-size: 11pt; }p.ctl { font-family: "Times New Roman",serif; font-size: 12pt; } My thesis deals with how to didactically demonstrate models of regular languages focusing on their mutual conversions. These conversions are transformation of regular expressions to finite automata (FA), remove epsilon rules from FA and determinization FA. The goal was implement demonstration of these transformations in an application. In this thesis I document development of this application. This application was programmed in language C++ using graphic library Qt 5. The application was developed in an operating system (OS) Linux and tested in OS Microsoft Windows 7. All these conversions are implemented. The application is user-friendly, intuitive and functional. The application was not tested on a wider sample of students. As the main benefit, the application can help students of formal languages and finite automata better understand this theory using didactical examples. Source codes of this project (regularConvertor) are available online on Github server.en
dc.description.markDcs
dc.identifier.citationNAVRKAL, D. Konverze modelů regulárních jazyků [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2014.cs
dc.identifier.other79996cs
dc.identifier.urihttp://hdl.handle.net/11012/56547
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsPřístup k plnému textu prostřednictvím internetu byl licenční smlouvou omezen na dobu 3 roku/letcs
dc.subjectp { margin-bottom: 0.08in; direction: ltr; color: rgb(0cs
dc.subject0cs
dc.subject0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman"cs
dc.subjectserif; font-size: 11pt; }p.cjk { font-family: "Times New Roman"cs
dc.subjectserif; font-size: 11pt; }p.ctl { font-family: "Times New Roman"cs
dc.subjectserif; font-size: 12pt; } Konečný automatcs
dc.subjectregulární výrazcs
dc.subjectregulární gramatikacs
dc.subjectkonverzecs
dc.subjectregulární modelycs
dc.subjectformální jazykycs
dc.subjectprecedenční tabulkacs
dc.subjectsyntaktická analýzacs
dc.subjectQt5.cs
dc.subjectp { margin-bottom: 0.08in; direction: ltr; color: rgb(0en
dc.subject0en
dc.subject0); line-height: 150%; widows: 2; orphans: 2; }p.western { font-family: "Times New Roman"en
dc.subjectserif; font-size: 11pt; }p.cjk { font-family: "Times New Roman"en
dc.subjectserif; font-size: 11pt; }p.ctl { font-family: "Times New Roman"en
dc.subjectserif; font-size: 12pt; } Finite automatonen
dc.subjectregular expressionen
dc.subjectregular grammaren
dc.subjectconversionsen
dc.subjectregular modelsen
dc.subjectformal languagesen
dc.subjectprecedence tableen
dc.subjectsyntax analysisen
dc.subjectQt5.en
dc.titleKonverze modelů regulárních jazykůcs
dc.title.alternativeConversion of Models of Regular Languagesen
dc.typeTextcs
dc.type.driverbachelorThesisen
dc.type.evskpbakalářská prácecs
dcterms.dateAccepted2014-06-18cs
dcterms.modified2020-05-10-16:11:49cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid79996en
sync.item.dbtypeZPen
sync.item.insts2021.11.22 23:59:04en
sync.item.modts2021.11.22 23:08:53en
thesis.disciplineInformační technologiecs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelBakalářskýcs
thesis.nameBc.cs
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
review_79996.html
Size:
1.43 KB
Format:
Hypertext Markup Language
Description:
review_79996.html
Download
Collections
2014