Tool for Design and Verification of Automata

Import 22/07/2015Cílem této bakalářské práce je vytvořit nástroj pro návrh a zkoušení konečných automatů a Turingových strojů pro předmět Úvod do teoretické informatiky. Tento nástroj by měl být vytvořen za použití technologií JavaScriptu, CSS, HTML a pro vytvoření algoritmu by měla být využita technologie C#. Textová část bakalářské práce je rozdělena na tří hlavní části. První popisuje základní informace o použitých technologiích. Druhá část vysvětluje základy konečných automatů a Turingových strojů. A třetí část slouží k popsání vytvořeného programu.The aim of this bachelor's thesis is creating a designer and tester for finite state automats and Turing machines for the purposes of the Introduction to Theoretical Computer Science course. The designer should be created using JavaScript, CSS and HTML technologies. The tester should be created using C# programming language. The text part of this bachelor's thesis is divided into three main parts. First part describes basic information about used technologies. Second part explains basics of finite state automats and Turing machines. And the third part describes the user interace and the code behind created designer and tester tools.460 - Katedra informatikydobř