Název:
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Překlad názvu:
Visualization of Finite Automata, Pushdown Automata and Turing Machines Work
Autoři:
Syrový, Ondřej ; Láník, Aleš (oponent) ; Zuzaňák, Jiří (vedoucí práce) Typ dokumentu: Bakalářské práce
Rok:
2009
Jazyk:
cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [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.
Klíčová slova:
demonstrace; determinizmus; formální jazyk; gramatika; Konečný automat; simulace; teorie automatů; Turingův stroj; wxWidgets; zásobníkový automat; automata theory; demonstration; determinism; Finite automata; formal language; grammar; pushdown automata; simulation; Turing machine; wxWidgets
Instituce: Vysoké učení technické v Brně
(web)
Informace o dostupnosti dokumentu:
Plný text je dostupný v Digitální knihovně VUT. Původní záznam: http://hdl.handle.net/11012/54435