Modifikované hluboké zásobníkové automaty
Modified Deep Pushdown Automata
Author
Advisor
Meduna, AlexandrReferee
Horáček, PetrGrade
AAltmetrics
Metadata
Show full item recordAbstract
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í technologieComposition of Committee
prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Ing. Vladimír Drábek, CSc. (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) Ing. Tomáš Martínek, Ph.D. (člen) Ing. Petr Schwarz, Ph.D. (člen)Date of defence
2013-06-13Process 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ájenaPersistent identifier
http://hdl.handle.net/11012/54929Source
ŠKVAŘILOVÁ, R. Modifikované hluboké zásobníkové automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013.Collections
- 2013 [354]
Citace PRO
Related items
Showing items related by title, author, creator and subject.
-
Paralelní hluboké zásobníkové automaty
Solár, PeterTato práce představuje paralelní hluboké zásobníkové automaty jako paralelní verzi hlubokých zásobníkových automatů. Jsou založeny na pravidlech, podle kterých může automat provést expanzi současně až n nejvýše položených ... -
Nové struktury a operace v matematické informatice
Bureš, RichardCílem této práce je podívat se na některé známé a na některé v této práci vytvořené operace a na jejich vlastnosti nad především regulárními, ale i bezkontextovými jazyky. Dále si zde ukážeme, jak je možné takové operace ... -
Učení se automatů pro rychlou detekci anomálií v síťovém provozu
Hošták, Viliam SamuelTáto práca sa zaoberá rýchlou detekciou sieťových anomálií na základe učenia automatov. Popisuje a porovnáva niekoľko vybraných algoritmov učenia automatov, vrátane ich aplikácie na učenie sieťových charakteristík. Pre ...