Předmětem této práce je vývoj aplikace pro vizualizaci výpočtu multimnožinového
konečného automatu. Práce je rozčleněna na část teoretickou a praktickou. V teoretické části
je popsána problematika multimnožinového konečného automatu a dalších základních
pojmů. Praktická část je zaměřena na vývoj aplikace. Součástí aplikace je i grafické
uživatelské rozhraní, které uživateli umožňuje zadávání různých variant a následnou
vizualizaci výpočtu krok po kroku. Aplikace dále umožňuje ukládání a načítání vstupních
parametrů na pevný disk. Cílem aplikace je přehledná vizualizace výpočtu, která může být
využita např. k výuce.
Annotation in English
The main gold of this thesis is development of an application for visualization of the
calculation of a multiset finite automata. The work is divided into theoretical and practical
part. The teoretical part describes the issue of multiset finite automata and other basic
concepts. The practical part is focused on application development. The application also
includes a graphical user interface, which allows the user to enter various variants and then
visualize the calculation step by step. The application also allows saving and loading input
parameters to the hard disk. The aim of the application is a clear visualization of the
calculation, which can be used, for example, for teaching.
Keywords
vizualizace, multimnožina, konečný automat, grafické uživatelské rozhraní
Keywords in English
visualization, multiset, finite automata, graphical user interface
Length of the covering note
44 s.
Language
CZ
Annotation
Předmětem této práce je vývoj aplikace pro vizualizaci výpočtu multimnožinového
konečného automatu. Práce je rozčleněna na část teoretickou a praktickou. V teoretické části
je popsána problematika multimnožinového konečného automatu a dalších základních
pojmů. Praktická část je zaměřena na vývoj aplikace. Součástí aplikace je i grafické
uživatelské rozhraní, které uživateli umožňuje zadávání různých variant a následnou
vizualizaci výpočtu krok po kroku. Aplikace dále umožňuje ukládání a načítání vstupních
parametrů na pevný disk. Cílem aplikace je přehledná vizualizace výpočtu, která může být
využita např. k výuce.
Annotation in English
The main gold of this thesis is development of an application for visualization of the
calculation of a multiset finite automata. The work is divided into theoretical and practical
part. The teoretical part describes the issue of multiset finite automata and other basic
concepts. The practical part is focused on application development. The application also
includes a graphical user interface, which allows the user to enter various variants and then
visualize the calculation step by step. The application also allows saving and loading input
parameters to the hard disk. The aim of the application is a clear visualization of the
calculation, which can be used, for example, for teaching.
Keywords
vizualizace, multimnožina, konečný automat, grafické uživatelské rozhraní
Keywords in English
visualization, multiset, finite automata, graphical user interface
Research Plan
Popište teorii týkající se multimnožinových konečných automatů (dále MKA).
Do popisu zahrňte MKA bez detekce i s detekcí, deterministické i nedeterministické.
Ve vhodném programovacím jazyce sestavte simulátor různých variant MKA.
Simulátor musí umožňovat jednoduché zadávání MKA ve zvolené variantě, jejich editaci a názornou vizualizaci jejich činnosti.
Research Plan
Popište teorii týkající se multimnožinových konečných automatů (dále MKA).
Do popisu zahrňte MKA bez detekce i s detekcí, deterministické i nedeterministické.
Ve vhodném programovacím jazyce sestavte simulátor různých variant MKA.
Simulátor musí umožňovat jednoduché zadávání MKA ve zvolené variantě, jejich editaci a názornou vizualizaci jejich činnosti.
Recommended resources
E. Csuhaj-Varjú, C. Martín-Vide a V. Mitrana, "Multiset automata" v Multiset processing - mathematical, computer science, and molecular computing points of view, C. S. Calude, G. Paun, G. Rozenberg a A. Salomaa, Ed., Lecture notes in computer science, díl 2235, Berlín: Springer, 2001, str. 69-83.
Černá, Ivana, a kol. Automaty a formální jazyky I. Učební text FI MU. Fakulta informatiky, Masarykova univerzita, Brno: 2002. Dostupné z: http://is.muni.cz/elportal/estud/fi/js06/ib005/Formalni_jazyky_a_automaty_I.pdf
M. Kudlek, C. Martín-Vide, and G. Paun, "Toward a formal macroset theory" v Multiset processing - mathematical, computer science, and molecular computing points of view, C. S. Calude, G. Paun, G. Rozenberg a A. Salomaa, Ed., Lecture notes in computer science, díl 2235, Berlín: Springer, 2001, str. 123-133.
M. Kudlek, P. Totzke a G. Zetsche, "Multiset pushdown automata", Fundamenta Informaticae, díl 93, str. 221-233, 2009.
M. Sipser, Introduction to the Theory of Computation, 2. vyd., Boston: Thomson Course Technology, 2006.
Recommended resources
E. Csuhaj-Varjú, C. Martín-Vide a V. Mitrana, "Multiset automata" v Multiset processing - mathematical, computer science, and molecular computing points of view, C. S. Calude, G. Paun, G. Rozenberg a A. Salomaa, Ed., Lecture notes in computer science, díl 2235, Berlín: Springer, 2001, str. 69-83.
Černá, Ivana, a kol. Automaty a formální jazyky I. Učební text FI MU. Fakulta informatiky, Masarykova univerzita, Brno: 2002. Dostupné z: http://is.muni.cz/elportal/estud/fi/js06/ib005/Formalni_jazyky_a_automaty_I.pdf
M. Kudlek, C. Martín-Vide, and G. Paun, "Toward a formal macroset theory" v Multiset processing - mathematical, computer science, and molecular computing points of view, C. S. Calude, G. Paun, G. Rozenberg a A. Salomaa, Ed., Lecture notes in computer science, díl 2235, Berlín: Springer, 2001, str. 123-133.
M. Kudlek, P. Totzke a G. Zetsche, "Multiset pushdown automata", Fundamenta Informaticae, díl 93, str. 221-233, 2009.
M. Sipser, Introduction to the Theory of Computation, 2. vyd., Boston: Thomson Course Technology, 2006.
