Regulated Grammar Systems
Loading...
Date
Authors
Tomko, Martin
Advisor
Referee
Mark
A
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
ORCID
Abstract
Práce poskytuje přehled základů teorie formálních jazyků, regulovaných gramatik a analýzy LL(1) jazyků. Je zde navržen a analyzován algoritmus pro analýzu programovaných gramatik, inspirován LL(1) analyzátorem. Třída jazyků přijímaná tímto algoritmem je striktní nadtřídou LL(1) jazyků, obsahující některé jazyky, které nejsou bezkontextové. Tato třída se však jeví být neporovnatelná s třídou bezkontextových jazyků.
This thesis recaps a basic theory of formal languages, regulated grammars, and the parsing of LL(1) languages. An algorithm for parsing programmed grammars inspired by LL(1) parsing is suggested and analyzed. The class of languages accepted by this algorithm is shown to be a strict superclass of LL(1) languages, containing some non-context-free languages. However, this class appears to be incomparable with the class of context-free languages.
This thesis recaps a basic theory of formal languages, regulated grammars, and the parsing of LL(1) languages. An algorithm for parsing programmed grammars inspired by LL(1) parsing is suggested and analyzed. The class of languages accepted by this algorithm is shown to be a strict superclass of LL(1) languages, containing some non-context-free languages. However, this class appears to be incomparable with the class of context-free languages.
Description
Citation
TOMKO, M. Regulated Grammar Systems [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.
Document type
Document version
Date of access to the full text
Language of document
en
Study field
Matematické metody v informačních technologiích
Comittee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda)
prof. RNDr. Alexandr Meduna, CSc. (místopředseda)
doc. Mgr. Jaroslav Hrdina, Ph.D. (člen)
Ing. Martin Hrubý, Ph.D. (člen)
RNDr. Marek Rychlý, Ph.D. (člen)
doc. Ing. František Zbořil, Ph.D. (člen)
Date of acceptance
2018-06-15
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 A. Otázky u obhajoby: Existují i jiné metody pro syntaktickou analýzu založené na regulovaných gramatikách? Dokážete je v rychlosti porovnat se svým řešením?
Result of defence
práce byla úspěšně obhájena