Vizualizace pravě jednosměrných skákajících konečných automatů

Drápal, Jiří

Vizualizace pravě jednosměrných skákajících konečných automatů

DSpace Repository

Language: English čeština

Vizualizace pravě jednosměrných skákajících konečných automatů

dc.contributor.advisor	Martinek, Pavel
dc.contributor.author	Drápal, Jiří
dc.date.accessioned	2025-12-10T23:09:55Z
dc.date.available	2025-12-10T23:09:55Z
dc.date.issued	2024-10-27
dc.identifier	Elektronický archiv Knihovny UTB
dc.identifier.uri	http://hdl.handle.net/10563/57848
dc.description.abstract	Pravě jednosměrné skákající konečné automaty jsou rozšířením klasických konečných automatů o možnost skokového pohybu čtecí hlavy při čtení vstupního slova. V teoretické části této práce jsou definovány deterministické i nedeterministické varianty těchto automatů. Je popsáno procházení slov a vztahy k formálním jazykům podle Chomského hierarchie. Praktická část práce je zaměřená na návrh a realizaci desktopové aplikace pro vizualizaci procházení vstupního slova pravě jednosměrnými konečnými automaty i automaty klasickými. Aplikace je naprogramována v jazyce Python s využitím frameworku PyQt6 a umožňuje uživateli prostřednictvím grafického rozhraní zadat konfiguraci automatu, která je následně vizualizována.
dc.format	50
dc.language.iso	cs
dc.publisher	Univerzita Tomáše Bati ve Zlíně
dc.rights	Bez omezení
dc.subject	Konečný automat	cs
dc.subject	Pravě jednosměrný skákající konečný automat	cs
dc.subject	Vizualizace	cs
dc.subject	Python	cs
dc.subject	Finite automata	en
dc.subject	Right one-way finite automata	en
dc.subject	Visualization	en
dc.subject	Python	en
dc.title	Vizualizace pravě jednosměrných skákajících konečných automatů
dc.title.alternative	The Visualisation of Right One-Way Jumping Finite Automata
dc.type	bakalářská práce	cs
dc.contributor.referee	Krňávek, Jan
dc.date.accepted	2025-06-16
dc.description.abstract-translated	Right one-way jumping finite automata is an extension of standard finite automata with the possibility of jumping of the reading head over the input word. In the theoretical part of the thesis formulation of the automata and traversal of words, and their relation to the formal languages of the Chomsky hierarchy is described. The practical part deals with the design and creation of a desktop application for the visualization of traversal of the input word by both Right one-way jumping finite automata and classical finite automata. The application is created in the programming language Python with the framework PyQt6. The user can use the graphical interface to set desired configuration of the automata which will be visualized.
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	70303
dc.date.submitted	2025-05-30