Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů – Eva HOCHMAJEROVÁ
Eva HOCHMAJEROVÁ
Bachelor's thesis
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
Abstract:
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.
Language used: Czech
Date on which the thesis was submitted / produced: 22. 8. 2011
Accessible from:: 22. 8. 2011
Thesis defence
- Supervisor: Mgr. Jan Konečný, Ph.D.
Citation record
ISO 690-compliant citation record:
HOCHMAJEROVÁ, Eva. \textit{Softwarový nástroj pro návrh, analýzu a simulaci konečných automatů}. Online. Bachelor's thesis. Olomouc: Palacký University Olomouc, Faculty of Science. 2011. Available from: https://theses.cz/id/4t0r7u/.
The right form of listing the thesis as a source quoted
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
Full text of thesis
Accessibility: Autor si přeje zpřístupnit práci veřejnosti až od 22. 08. 2011
Contents of on-line thesis archive
Published in Theses:- Soubory jsou od 22. 8. 2011 dostupné: světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: UNIVERZITA PALACKÉHO V OLOMOUCI, Přírodovědecká fakultaPALACKÝ UNIVERSITY IN OLOMOUC
Faculty of ScienceBachelor programme / field:
Computer Science / Applied Computer Science
Theses on a related topic
-
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 proudění tekutin s využitím celulárních automatů
Michal Režňák -
Grafická simulace činnosti konečných automatů
Roman Šrajer -
Simulace líných konečných automatů
Lukáš Vrábel