Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem
Construction of a Pushdown Automaton Accepting a Language Given by Regular Tree Expression
dc.contributor.advisor | Trávníček Jan | |
dc.contributor.author | Pecka Tomáš | |
dc.date.accessioned | 2016-06-22T19:50:58Z | |
dc.date.available | 2016-06-22T19:50:58Z | |
dc.date.issued | 2016-05-09 | |
dc.identifier | KOS-587865220405 | |
dc.identifier.uri | http://hdl.handle.net/10467/65144 | |
dc.description.abstract | Tato práce studuje regulárni stromové výrazy, formalismus pro popis regulárnich stromových jazyků. Hlavnim přinosem práce je nový algoritmus pro převod regulárniho stromového výrazu na ekvivalentni zásobnikový automat, který přijimá stromy v lineárnim postfixovém zápisu. Výsledný automat patři do kategorie real-time height-deterministic zásobnikových automatů, což znamená, že je vždy zdeterminizovatelný. Algoritmus vytvářejici tento automat je modifikaci Glushkovova algoritmu pro převod regulárnich výrazů na nedeterministický konečný automat. Implementace převodu je v jazyce C++ jako rozšiřeni Automatové knihovny. | cze |
dc.description.abstract | This thesis studies regular tree expressions, a formalism for describing regular tree languages. Main topic of this thesis is a new algorithm for converting a regular tree expression to a pushdown automaton recognizing trees in their linear postfix notation. Resulting pushdown automaton is real-time height-deterministic, i.e., it can always be determinised. The algorithm for conversion is an adaptation of Glushkov's algorithm for converting a regular expression to a nondeterministic finite automaton. C++ implementation of the algorithm is attached as an extension of Automata Library. | eng |
dc.language.iso | ENG | |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://www.cvut.cz/sites/default/files/content/d1dc93cd-5894-4521-b799-c7e715d3c59e/cs/20160901-metodicky-pokyn-c-12009-o-dodrzovani-etickych-principu-pri-priprave-vysokoskolskych.pdf | cze |
dc.subject | Glushkovův automat, regulárni stromový výraz, zásobnikový automat, real-time height-deterministic zásobnikový automat | cze |
dc.subject | Glushkov's automaton, regular tree expression, pushdown automaton, real-time height-deterministic pushdown automaton | eng |
dc.title | Konstrukce zásobníkového automatu přijímajícího jazyk daný regulárním stromovým výrazem | cze |
dc.title | Construction of a Pushdown Automaton Accepting a Language Given by Regular Tree Expression | eng |
dc.type | diplomová práce | cze |
dc.type | master thesis | eng |
dc.date.accepted | 2016-06-14 | |
dc.contributor.referee | Polách Radomír | |
theses.degree.discipline | Systémové programování | cze |
theses.degree.grantor | 18101 | cze |
theses.degree.programme | Informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Diplomové práce - 18101 [208]