Syntaktická analýza založená na systémech hlubokých zásobníkových automatů
Loading...
Date
Authors
ORCID
Advisor
Referee
Mark
C
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract
Tato práce se zabývá hlubokými zásobníkovými automaty a zavádí jejich modifikaci nazvanou řízený hluboký zásobníkový automat. Dále jsou v této práci představeny distribuované systémy hlubokých zásobníkových automatů a paralelně komunikující systémy řízených hlubokých zásobníkových automatů. Jsou zkoumány vlastnosti a vyjadřovací síla těchto automatových systémů a je zavedeno několik variant těchto systémů. Pro jednu z variant paralelně komunikujících systémů je dokázáno, že disponuje stejnou vyjadřovací silou, jakou mají Turingovy stroje. Na základě těchto automatových systémů je zavedena metoda syntaktické analýzy.
This thesis investigates deep pushdown automata and introduces their modification called controlled deep pushdown automata. Distributed deep pushdown automata systems and parallel communicating deep pushdown automata systems are described. Their accepting power and properties are investigated and several variants are introduced. This thesis proves that the accepting power of one such variant of parallel communicating deep pushdown automata systems is equal to the accepting power of Turing machines. A method for syntactical analysis based on the previously introduced automata systems is described.
This thesis investigates deep pushdown automata and introduces their modification called controlled deep pushdown automata. Distributed deep pushdown automata systems and parallel communicating deep pushdown automata systems are described. Their accepting power and properties are investigated and several variants are introduced. This thesis proves that the accepting power of one such variant of parallel communicating deep pushdown automata systems is equal to the accepting power of Turing machines. A method for syntactical analysis based on the previously introduced automata systems is described.
Description
Citation
ŠOUSTAR, J. Syntaktická analýza založená na systémech hlubokých zásobníkových automatů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.
Document type
Document version
Date of access to the full text
Language of document
cs
Study field
Informační systémy
Comittee
prof. Ing. Tomáš Hruška, CSc. (předseda)
doc. Ing. Jaroslav Zendulka, CSc. (místopředseda)
doc. Ing. Radek Burget, Ph.D. (člen)
doc. Mgr. Lukáš Holík, Ph.D. (člen)
Mgr. Ing. Pavel Očenášek, Ph.D. (člen)
doc. Ing. Oldřich Trenz, Ph.D. (člen)
Date of acceptance
2017-06-22
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 " C ". Otázky u obhajoby: Přijímaný jazyk z příkladu 5.1 není definován správně, systém dokáže přijmout například i vstup: aabcadabcd. (Vyzkoušejte si v aplikaci.) Je možné systém upravit tak, aby opravdu přijímal zamýšlený jazyk? Pokud zadáte systém z příkladu 6.1 do demonstrační aplikace, tak přijímá jiný jazyk (např. vstup "abc" není přijat a vstup "abcc" naopak ano). Čím je to způsobeno a které chování je to správné? Na konci kapitoly 8 je uvedeno, že aplikace dokáže poskytnout všechny neúspěšně zkoumané větve stavového prostoru. Takového výstupu se mi ale nepodařilo docílit. Jak je možné se k němu dostat?
Result of defence
práce byla úspěšně obhájena
Document licence
Standardní licenční smlouva - přístup k plnému textu bez omezení