Výukový program k teorii formálních jazyků

Aleš JANSTA

Bachelor's thesis

Former Languages Theory Educational Software

Anotácia:

Cílem bakalářské práce ?Výukový program k teorii formálních jazyků? se zaměřením na Turingův stroj, bylo naprogramovat aplikaci simulující Turingův stroj s možností krokovat jeho algoritmus a sledovat, v jakém stavu se automat nachází, do jakého přejde v dalším kroku, a jak se mění páska stroje. Pro lepší pochopení činnosti Turingova stroje bylo zvoleno několik příkladů, od nejjednoduššího, kde je znázorněn průběh jednotlivými stavy a změny na pásce, až po složitější příklady. U každého příkladů je vysvětlena činnost algoritmu a uživatel si daný příklad může vložit do simulátoru a sám se přesvědčit, jak algoritmus pracuje a jak přechází mezi stavy.

Abstract:

The goal of this thesis ?Formal languages theory education software? with focusing on Turing machine, was create an application simulating Turing machine with capability to watch step by step its algorithm and see, in which state automat is, what is next step, and how its tape changing. For better understanding of Turing machine work I choose examples from simple, where is shown state passing and tape changing, to more complex examples. At each example is explanation of algorithm?s work and user can insert it in simulator and see how algorithm passing between state step by step.

Kľúčové slová

Formální jazyk, gramatika, Turingův stroj, automat, algoritmus.

Jazyk práce: Czech

Datum vytvoření / odevzdání či podání práce: 28. 4. 2011

Zverejniť od: 1. 1. 2099

Obhajoba závěrečné práce

• Obhajoba proběhla 31. 5. 2011
• Vedúci: Ing. Mgr. Jiří Barilla, CSc.

JAN EVANGELISTA PURKYNĚ UNIVERSITY IN ÚSTÍ NAD LABEM

Faculty of Science

Bachelor programme / odbor:
Applied Informatics / Information Systems