Alternativní gramatické transformace
Loading...
Date
Authors
Havel, Martin
ORCID
Advisor
Referee
Mark
B
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Tato 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.
This 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.
This 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.
Description
Citation
HAVEL, M. Alternativní gramatické transformace [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Document type
Document version
Date of access to the full text
Language of document
en
Study field
Softwarové inženýrství
Comittee
prof. 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)
Date of acceptance
2023-06-21
Defence
Student 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.
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení