Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů – Eva HOCHMAJEROVÁ
Eva HOCHMAJEROVÁ
Bakalářská práce
Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů
Software Tool for Desing, Simulation and Analysis of Finite State Machines
Anotace:
Hlavní částí bakalářské práce je program Simulátor KA, který umožňuje jednoduché zadávání konečných automatů přes grafické rozhraní, jejich editaci a simulaci jejich výpočtu. Součástí práce je text, který vysvětluje základní pojmy z oblasti teorie o konečných automatech a dále uživatelská příručka k programu a programátorská dokumentace.
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 22. 8. 2011
Zveřejnit od: 22. 8. 2011
Obhajoba závěrečné práce
- Vedoucí: Mgr. Jan Konečný, Ph.D.
Citační záznam
Jak správně citovat práci
HOCHMAJEROVÁ, Eva. Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů. Olomouc, 2011. bakalářská práce (Bc.). UNIVERZITA PALACKÉHO V OLOMOUCI. Přírodovědecká fakulta
Plný text práce
Právo: Autor si přeje zpřístupnit práci veřejnosti až od 22. 08. 2011
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- Soubory jsou od 22. 8. 2011 dostupné: světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaUNIVERZITA PALACKÉHO V OLOMOUCI
Přírodovědecká fakultaBakalářský studijní program / obor:
Informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Server pro podporu výuky teoretické informatiky
Michael Janošík -
Webový portál pro výuku teoretické informatiky
Ondřej Jodas -
Simulace zásobníkových automatů
Daniel Bednarz -
Simulace zásobníkových automatů
Ondřej Just -
Knihovna pro výpočet relací simulace na Büchiho automatech
Daniel Odvárka -
Simulace fyzikálních jevů s využitím celulárních automatů
Dominik Martinek -
Simulace líných konečných automatů
Lukáš Vrábel -
Demonstrační program simulace zásobníkových automatů
Ludmila Kuželová