Synchronization, Road Coloring, and Jumps in Finite Automata
Synchronizace, barvení cesty a skoky v konečných automatech
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/62043Identifikátory
SIS: 161830
Kolekce
- Kvalifikační práce [10696]
Autor
Vedoucí práce
Oponent práce
Mráz, František
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
4. 6. 2015
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Výborně
Klíčová slova (česky)
Synchronizační slovo, Barvení cesty, Skokové automatyKlíčová slova (anglicky)
Reset word, Road coloring, Jumping finite automataPrá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)
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)