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.
Anotace v angličtině
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.
Klíčová slova
vizualizace, multimnožina, konečný automat, grafické uživatelské rozhraní
Klíčová slova v angličtině
visualization, multiset, finite automata, graphical user interface
Rozsah průvodní práce
44 s.
Jazyk
CZ
Anotace
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.
Anotace v angličtině
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.
Klíčová slova
vizualizace, multimnožina, konečný automat, grafické uživatelské rozhraní
Klíčová slova v angličtině
visualization, multiset, finite automata, graphical user interface
Zásady pro vypracování
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.
Zásady pro vypracování
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.
Seznam doporučené literatury
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.
Seznam doporučené literatury
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.
Přílohy volně vložené
-
Přílohy vázané v práci
ilustrace
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Diplomant prezentoval před komisí výsledky své bakalářské práce.
Prezentace působila vyváženě, student vystihl hlavní body práce.
Následně byl student seznámen s posudky vedoucího a oponenta bakalářské práce.
Komise vznesla k obhajobě následující dotazy:
1) Prof. Farana: Je možné, aby aplikace zobrazila informaci, proč automat multimnožinu nepřijímá?
2) Prof. Farana: Pracujete s jedním pořadím prvků množiny nebo je náhodně vybíráte?
3) Prof. Farana: Dal by se vykreslit stavový diagram?
4) Prof. Vítečková: Kde se dá použít takový automat?
Diplomant dotazy zodpověděl velmi dobře.