Tato diplomová práce uvádí čtenáře do problematiky Turingových strojů na jejichž úspěšné zobrazení se dají použít graficky buněčné automaty . V teoretické části je probrána osoba Alana Turinga a jeho stroje. V praktické části jsou ukázány vzorové vizualizační programy dvou nebo třístavových strojů s možností zápisu dvou nebo tří barev na pásku. Všechny vizualizace jsou pak shrnuté do jednotlivých programů neboli "notebooků" ve Wolfram Mathematica.
Annotation in English
This thesis introduces the reader into the problems of Turing’s machines, for their successful scheme can be used graphically for cell automatics. The theoretical part goes over the person of inventor Turing’s machines Alan Turing and his machines. There are shown two or three state machines with possibility of record two or three colours on the tape in the practical part models of visualization programs. Subsequently all the visualizations are summarized to the single programmes alias notebooks in Mathematica terminology.
Keywords
Turigův stroj, algoritmus, rozhodovací problém , problém zastavení, buněčný automat, mobilní automat
Tato diplomová práce uvádí čtenáře do problematiky Turingových strojů na jejichž úspěšné zobrazení se dají použít graficky buněčné automaty . V teoretické části je probrána osoba Alana Turinga a jeho stroje. V praktické části jsou ukázány vzorové vizualizační programy dvou nebo třístavových strojů s možností zápisu dvou nebo tří barev na pásku. Všechny vizualizace jsou pak shrnuté do jednotlivých programů neboli "notebooků" ve Wolfram Mathematica.
Annotation in English
This thesis introduces the reader into the problems of Turing’s machines, for their successful scheme can be used graphically for cell automatics. The theoretical part goes over the person of inventor Turing’s machines Alan Turing and his machines. There are shown two or three state machines with possibility of record two or three colours on the tape in the practical part models of visualization programs. Subsequently all the visualizations are summarized to the single programmes alias notebooks in Mathematica terminology.
Keywords
Turigův stroj, algoritmus, rozhodovací problém , problém zastavení, buněčný automat, mobilní automat
Diplomová práce se zabývá tvorbou demonstračních programů s
tématikou Turingových strojů pro produkt Mathematica Player. Půjde
o tvorbu vizualizačních programů. Při tvorbě postupujte podle
následujících kroků:
Vypracovat přehled problematiky Turingových strojů
Navrhněte vlastní prostředí
Provést programovou realizaci
Vyhodnotit
Research Plan
Diplomová práce se zabývá tvorbou demonstračních programů s
tématikou Turingových strojů pro produkt Mathematica Player. Půjde
o tvorbu vizualizačních programů. Při tvorbě postupujte podle
následujících kroků:
Vypracovat přehled problematiky Turingových strojů
Navrhněte vlastní prostředí
Provést programovou realizaci
Vyhodnotit
Recommended resources
KOLÁŘ, Josef. Teoretická informatika. 1. vyd. Praha: Česká informatická společnost, 1996. 168 s. ISBN 80-900853-4-2
LEAVITT, David. Muž, který věděl příliš mnoho : Alan Turing a vynález počítače. Argo a Dokořán, 2007. ISBN 978-80-7203-900-5
WOLFRAM, Stephen, A New Kind of Science. Wolfram Media, Inc., 2002. ISBN 1-57955-008-8
Zelinka Ivan. Aplikovaná informatika. Volume 1. Zlín : Ediční středisko, Fakulty technologické, VUT, Zlín, 1999. 183 p. ISBN 80-214-1423-5
Recommended resources
KOLÁŘ, Josef. Teoretická informatika. 1. vyd. Praha: Česká informatická společnost, 1996. 168 s. ISBN 80-900853-4-2
LEAVITT, David. Muž, který věděl příliš mnoho : Alan Turing a vynález počítače. Argo a Dokořán, 2007. ISBN 978-80-7203-900-5
WOLFRAM, Stephen, A New Kind of Science. Wolfram Media, Inc., 2002. ISBN 1-57955-008-8
Zelinka Ivan. Aplikovaná informatika. Volume 1. Zlín : Ediční středisko, Fakulty technologické, VUT, Zlín, 1999. 183 p. ISBN 80-214-1423-5
