Original title:
Synchronizace, barvení cesty a skoky v konečných automatech
Translated title:
Synchronization, Road Coloring, and Jumps in Finite Automata
Authors:
Vorel, Vojtěch ; Koubek, Václav (advisor) ; Mráz, František (referee) Document type: Master’s theses
Year:
2015
Language:
eng Abstract:
[eng][cze] Multiple original results in the theory of automata and formal languages are presented, dealing mainly with combinatorial problems and complexity questions related to reset words and road coloring. The other results concern jumping finite automata and related types of rewriting systems. Powered by TCPDF (www.tcpdf.org)Práce shrnuje několik původních výsledků v teorii automatů a formálních jazyků. Studuje kombinatorické otázky a výpočetních úlohy z oblasti synchronizačních slov a barvení cesty. Kromě toho se zabývá skokovými konečnými automaty a souvisejícími typy přepisovacích systémů. Powered by TCPDF (www.tcpdf.org)
Keywords:
Jumping finite automata; Reset word; Road coloring; Barvení cesty; Skokové automaty; Synchronizační slovo
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/62043