Petr Budílek
Bakalářská práce
Editor Turingových strojů
Turing machine editor
Anotace:
Turingův stroj slouží pro modelování algoritmů v teorii vyčíslitelnosti. Tato práce se zabývá implementací grafického editoru takového stroje. Po navržení stroje by v editoru mělo být možné stroji zadat vstupní řetězec a na tomto řetězci pak krokovat samotný výpočet. Dále by zde měla být možnost exportu přechodového diagramu či kroků výpočtu do MetaPost souboruAbstract:
Turing machine is intended for modeling algorithms in the theory of computation. This thesis is about implementation of graphic editor for such machine. After designing the machine, it should be possible to give it input string and watch the computation. There should also be a possibility to export the graphic figure or steps of computation into the MetaPost file
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 23. 8. 2010
Obhajoba závěrečné práce
- Obhajoba proběhla 8. 9. 2010
- Vedoucí: Jan Konečný
- Oponent: Petr Osička
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 23. 8. 2010 dostupné: světu
Univerzita Palackého
Přírodovědecká fakultaBakalářský studijní program / obor:
Informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Evolutionary Synthesis of the Turing Machine´s Rules
Lukáš KOUŘIL -
Myšlenky z nul a jedniček - kritická analýza otázky Může stroj myslet?
Jakub POKORNÝ -
Webový simulátor Turingova stroje
Dominik Jochec -
Webový simulátor Turingova stroje
Stanislav Straka -
Arc-Based Vector Graphics Editor
Ondřej Tesáček -
Web Editor of Finite Automata
Patrícia Salajová -
Webový editor omega-automatů
Daniel Pivoňka -
Web editor of large gene regulatory networks in AEON
Norbert Husarčík
Název
Vložil
Vloženo
Práva