Vizualizace skákajících konečných automatů

Kollár, Ladislav

Vizualizace skákajících konečných automatů

DSpace Repository

Language: English čeština

Vizualizace skákajících konečných automatů

dc.contributor.advisor	Martinek, Pavel
dc.contributor.author	Kollár, Ladislav
dc.date.accessioned	2023-12-20T13:25:13Z
dc.date.available	2023-12-20T13:25:13Z
dc.date.issued	2022-12-02
dc.identifier	Elektronický archiv Knihovny UTB
dc.identifier.uri	http://hdl.handle.net/10563/53926
dc.description.abstract	Konečné automaty jsou základní modely používané v informatice a teorii výpočtů využíva-né k analýze a řešení různých výpočetních problémů. Tradiční konečné automaty však mají určitá omezení ve své vyjadřovací schopnosti, zejména při řešení složitých problémů s nelokálními závislostmi. Toto vedlo k vývoji skákající konečných automatů jako rozšíření tradičních modelů, které poskytují větší výpočetní možnosti. Tato bakalářská práce se zabývá skákajícími konečnými automaty, což jsou rozšířené mode-ly konečných automatů umožňujících přeskakování libovolného počtu symbolů v řetězci. Skákající konečné automaty poskytují zvýšenou výpočetní sílu a jsou vhodné pro řešení problémů s nesousedními závislostmi. V teoretické části práce se zaměřujeme na formální popis skákajících konečných automatů, včetně jejich definice, pravidel přechodů a vlastností. Analyzujeme rozdíly mezi skákajícími konečnými automaty a tradičními konečnými automaty, definujeme modely skákajících konečných automatů a jejich vlastnosti. V praktické části práce vyvíjíme demonstrační aplikaci nazvanou JFA Simulator, která umožňuje vizualizaci a experimentování se skákajícími konečnými automaty. Aplikace umožňuje uživatelům zadávat zápis skákajících konečných automatů a sledovat jejich vý-početní chod. Díky grafickému zobrazení automatu si uživatelé mohou lépe představit a porozumět výpočtům skákajících konečných automatů. Výsledkem práce je teoretický popis skákajících konečných automatů a jejich implementace v podobě demonstrační aplikace JFA Simulator. Naše práce poskytuje užitečný nástroj pro zkoumání a experimentování s těmito rozšířenými modely automatů, a přispívá tak k lepší-mu porozumění jejich výpočetních možností.
dc.format	86
dc.language.iso	cs
dc.publisher	Univerzita Tomáše Bati ve Zlíně
dc.rights	Bez omezení
dc.subject	konečné automaty	cs
dc.subject	skákající konečné automaty	cs
dc.subject	vizualizace	cs
dc.subject	demonstrační aplikace	cs
dc.subject	finite automata	en
dc.subject	jumping finite automata	en
dc.subject	visualisation	en
dc.subject	demonstration aplication	en
dc.title	Vizualizace skákajících konečných automatů
dc.title.alternative	The Visualisation of Jumping Finite Automata
dc.type	bakalářská práce	cs
dc.contributor.referee	Krňávek, Jan
dc.date.accepted	2023-06-12
dc.description.abstract-translated	Finite automata are basic models used in computer science and computational theory to analyze and solve various computational problems. However, traditional finite automata have some limitations in their expressive power, especially when solving complex problems with nonlocal dependencies. This has led to the development of jumping finite automata as an extension of traditional models to provide greater computational capabilities. This thesis deals with jumping finite automata, which are extended models of finite auto-mata that allow skipping of any number of symbols in a string. Jumping finite automata provide increased computational power and are suitable for solving problems with nonadja-cent dependencies. In the theoretical part of the paper, we focus on the formal description of jumping finite automata, including their definition, transition rules and properties. We analyze the diffe-rences between jumping finite automata and traditional finite automata, and define models of jumping finite automata and their properties. In the practical part of the work, we develop a demonstration application called JFA Simu-lator that allows visualization and experimentation with jumping finite automata. The ap-plication allows users to enter the notation of jumping finite automata and observe their computational operation. With a graphical representation of the automaton, users can better visualize and understand the computation of jumping finite automata. The result of this work is a theoretical description of jumping finite automata and its im-plementation in the form of a JFA Simulator demonstration application. Our work provides a useful tool for exploring and experimenting with these extended models of automata, thus contributing to a better understanding of their computational capabilities.
dc.description.department	Ústav informatiky a umělé inteligence
dc.thesis.degree-discipline	Softwarové inženýrství	cs
dc.thesis.degree-discipline	Software Engineering	en
dc.thesis.degree-grantor	Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky	cs
dc.thesis.degree-grantor	Tomas Bata University in Zlín. Faculty of Applied Informatics	en
dc.thesis.degree-name	Bc.
dc.thesis.degree-program	Softwarové inženýrství	cs
dc.thesis.degree-program	Software Engineering	en
dc.identifier.stag	63993
dc.date.submitted	2023-05-19