Počet záznamů: 1
Editor Turingových strojů
Údaje o názvu Editor Turingových strojů [rukopis] / Petr Budílek Další variantní názvy Editor Turingových strojů Osobní jméno Budílek, Petr (autor diplomové práce nebo disertace) Překl.náz Turing machine editor Vyd.údaje 2010 Fyz.popis 34 stran + 2x CD Poznámka Ved. práce Jan Konečný Dal.odpovědnost Konečný, Jan (vedoucí diplomové práce nebo disertace) Osička, Petr (oponent) Dal.odpovědnost Univerzita Palackého. Katedra informatiky (udelovatel akademické hodnosti) Klíč.slova turingův stroj * vyčíslitelnost * editor * export do MetaPostu souboru * turing machine * computation theory * editor * export into metapost file Forma, žánr bakalářské práce bachelor's theses MDT (043)378.22 Země vyd. Česko Jazyk dok. čeština Druh dok. PUBLIKAČNÍ ČINNOST Titul Bc. Studijní program Bakalářský Studijní program Informatika Studijní obor Aplikovaná informatika kniha
Kvalifikační práce Staženo Velikost datum zpřístupnění 106370-316488967.pdf 15 225.8 KB 23.08.2010 Posudek Typ posudku 106370-ved-641411642.txt Posudek vedoucího 106370-opon-594555772.txt Posudek oponenta
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 souboru.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.
Počet záznamů: 1