Original title:
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Translated title:
Visualization of Finite Automata, Pushdown Automata and Turing Machines Work
Authors:
Syrový, Ondřej ; Láník, Aleš (referee) ; Zuzaňák, Jiří (advisor) Document type: Bachelor's theses
Year:
2009
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. Vytvořený program umožňuje načítání deterministických i nedeterministických variant automatů ze souboru, jejich grafickou reprezentaci pomocí stavového diagramu, krokování výpočtu a znázornění možných přechodů.
This bachelor`s thesis is focusing on concept and development of computer application for demonstration of finite automata, pushdown automata and Turing machines work. Theoretic volume of this work deals with theories of formal languages and grammars and automata theory. Created program allows to load deterministic and nondeterministic automata variants from the text file, their graphic representation by state diagram and stepping their calculation process.
Keywords:
automata theory; demonstration; determinism; Finite automata; formal language; grammar; pushdown automata; simulation; Turing machine; wxWidgets; demonstrace; determinizmus; formální jazyk; gramatika; Konečný automat; simulace; teorie automatů; Turingův stroj; wxWidgets; zásobníkový automat
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: http://hdl.handle.net/11012/54435