Alternativní gramatické transformace

Simple item page
but.committeeprof. Ing. Tomáš Hruška, CSc. (předseda) doc. RNDr. Jitka Kreslíková, CSc. (člen) Ing. Zbyněk Křivka, Ph.D. (člen) doc. RNDr. Pavel Smrž, Ph.D. (člen) Ing. Libor Polčák, Ph.D. (člen) doc. Ing. Michal Bidlo, 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 B.cs
but.jazykangličtina (English)
but.programInformační technologie a umělá inteligencecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorMeduna, Alexandren
dc.contributor.authorHavel, Martinen
dc.contributor.refereeKřivka, Zbyněken
dc.date.created2023cs
dc.description.abstractTato práce poskytuje alternativní algoritmus pro odstranění epsilon-pravidel z E0S gramatik. Oproti standardnímu způsobu odstranění epsilon-pravidel ve většině gramatik podobných E0S gramatikám, jako bezkontextové gramatiky, tato metoda nevyžaduje predeterminizaci symbolů, které generují prázdné řetězce. Navržený algoritmus je formálně verifikován. V implementační kapitole práce, navržený algoritmus je implementován a použitelnost algoritmu na E0S gramatikách je demonstrována. Na závěr je algoritmus vyhodnocen a jsou nastíněny dvě otevřené oblasti.en
dc.description.abstractThis thesis provides an alternative algorithm for the removal of erasing rules from E0S grammars. As opposed to the standard way of eliminating erasing rules in most E0S-like grammars, such as context-free grammars, this method does not require predetermination of symbols that derive the empty string. The proposed algorithm is formally verified. In the application chapter of the thesis, the proposed algorithm is implemented, and the applicability of the algorithm to E0S grammars that work in a semi-parallel way is demonstrated. In the conclusion of the thesis, the algorithm is evaluated and two open problems are formulated.cs
dc.description.markBcs
dc.identifier.citationHAVEL, M. Alternativní gramatické transformace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.cs
dc.identifier.other146204cs
dc.identifier.urihttp://hdl.handle.net/11012/213203
dc.language.isoencs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectFormální jazykyen
dc.subjectbezkontextové gramatikyen
dc.subjectE0S gramatikyen
dc.subjecteliminace epsilon-pravidel.en
dc.subjectFormal languagescs
dc.subjectcontext-free grammarscs
dc.subjectE0S grammarscs
dc.subjectelimination of erasing rules.cs
dc.titleAlternativní gramatické transformaceen
dc.title.alternativeAlternative Transformations of Grammarscs
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.dateAccepted2023-06-21cs
dcterms.modified2023-06-21-11:23:15cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid146204en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:37:28en
sync.item.modts2025.01.17 14:07:38en
thesis.disciplineSoftwarové inženýrstvícs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav informačních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 3 of 3
Thumbnail Image
Name:
final-thesis.pdf
Size:
2.14 MB
Format:
Adobe Portable Document Format
Description:
final-thesis.pdf
Download
Thumbnail Image
Name:
appendix-1.zip
Size:
5.79 MB
Format:
zip
Description:
appendix-1.zip
Download
Thumbnail Image
Name:
review_146204.html
Size:
10.95 KB
Format:
Hypertext Markup Language
Description:
file review_146204.html
Download
Collections
2023