Number of the records: 1
Editor Turingových strojů
Title statement Editor Turingových strojů [rukopis] / Petr Budílek Additional Variant Titles Editor Turingových strojů Personal name Budílek, Petr (dissertant) Translated title Turing machine editor Issue data 2010 Phys.des. 34 stran + 2x CD Note Ved. práce Jan Konečný Another responsib. Konečný, Jan (thesis advisor) Osička, Petr (opponent) Another responsib. Univerzita Palackého. Katedra informatiky (degree grantor) Keywords turingův stroj * vyčíslitelnost * editor * export do MetaPostu souboru * turing machine * computation theory * editor * export into metapost file Form, Genre bakalářské práce bachelor's theses UDC (043)378.22 Country Česko Language čeština Document kind PUBLIKAČNÍ ČINNOST Title Bc. Degree program Bakalářský Degree program Informatika Degreee discipline Aplikovaná informatika book
Kvalifikační práce Downloaded Size 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.
Number of the records: 1