Minimalizace stromových a zásobníkových automatů
Tree and pushdown automata minimisation
Type of document
diplomová prácemaster thesis
Author
Plachý Štěpán
Supervisor
Trávníček Jan
Opponent
Polách Radomír
Field of study
Systémové programováníStudy program
InformatikaInstitutions assigning rank
katedra teoretické informatikyRights
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://knihovny.cvut.cz/vychova/vskp.htmlVysokoš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://knihovny.cvut.cz/vychova/vskp.html
Metadata
Show full item recordAbstract
Práce se zabývá vztahem mezi konečnými stromovými automaty a zásobníkovými automaty, a jejich minimalizací. Konečné Stromové automaty jsou rozšířením konečných automatů a zpracovávají regulární stromové jazyky. V práci jsou popsané algoritmy redukce a minimalizace konečných stromových automatů, jejich převodu na zásobníkové automaty přijímající ekvivalentní jazyk v postfixovém zápisu a minimalizací převedených automatů. Všechny algoritmy jsou dále implementovány do projektu Automatová knihovna. The topic of this thesis is the relationship between finite tree automata and pushdown automata and their minimization. Finite tree automata are an extension of finite automata and they process regular tree languages. In the thesis are described algorithms for reduction and minimization of finite tree automata, their conversion to pushdown automata accepting equivalent language in postfix notation and minimization of converting automata. All algorithms are also implemented in the project Automata library.
Collections
- Diplomové práce - 18101 [216]