Modifikované hluboké zásobníkové automaty

Modified Deep Pushdown Automata

Thumbnail
View/Open
Author
Advisor
Meduna, Alexandr
Referee
Horáček, Petr
Grade
A
Altmetrics
Metadata
Show full item record
Abstract
Tato práce představuje dvě nové modifikace hlubokých zásobníkových automatů - bezestavové hluboké zásobníkové automaty a paralelní bezestavové hluboké zásobníkové automaty.V teoretické části jsou zavedeny formální definice a také je zde zkoumána síla těchto automatů. V pratické části je ukázána na jednoduchém příkladu implementace těchto automatů.
 
This thesis introduce two new modifications of deep pushdown automata - stateless deep pushdown automata and parallel deep pushdown automata. In theoretical part of this thesis is formal definition and research into power of these modification. Practical part consists of an implementation of simple automata program.
 
Keywords
Formální jazyky, automaty, zásobníkového automaty, hluboké zásobníkové automaty, bezestavové hluboké zásobníkové automaty, paralelní hluboké zásobníkové automaty, gramatiky., Formal languages, automata, pushdown automata, deep pushdown automata, stateless deep pushdown automata, parallel deep pushdown automata, grammar.
Language
čeština (Czech)
Study brunch
Informační technologie
Composition of Committee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) Ing. Radek Burget, Ph.D. (člen) Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Schwarz, Ph.D. (člen)
Date of defence
2013-06-13
Process of defence
Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se pak seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla 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í studentky na položené otázky rozhodla práci hodnotit stupněm A . Otázky u obhajoby: Uvažovala jste o rozšíření demonstrační aplikace, aby umožňovala uživateli zadat požadovaný formální jazyk (resp. příslušný automat s pravidly)? Jaké úpravy by bylo nutné provést?
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/54929
Source
ŠKVAŘILOVÁ, R. Modifikované hluboké zásobníkové automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013.
Collections
Citace PRO