Synchronization and Discontinuous Input Processing in Transition Systems
Synchronizace a nespojité zpracování vstupu v přechodových systémech
dizertační práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/104303Identifikátory
SIS: 165177
Kolekce
- Kvalifikační práce [11978]
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Teoretická informatika
Katedra / ústav / klinika
Katedra teoretické informatiky a matematické logiky
Datum obhajoby
3. 9. 2018
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Prospěl/a
Klíčová slova (česky)
Synchronizace, Synchronizační slovo, Barvení cesty, Skákající konečné automaty, Restartovací automatyKlíčová slova (anglicky)
Synchronization, Reset Word, Road Coloring, Jumping Finite Automata, Restarting AutomataPráce shrnuje odpovědi na složitostní a kombinatorické otázky z oblasti synchronizačních slov v přechodových systémech, barvení cesty na orientovaných grafech a nespojitého zpracování vstupu ve formálních jazycích. Výsledky zahrnují především silné dolní odhady synchronizačního prahu v synchronizaci podmnožin, dolní odhady popisné síly skákacích konečných automatů a klasifikaci složitosti příslušných výpočetních úloh.
Original results in computational and combinatorial theory of reset words in transition systems, road coloring in directed graphs, and discontinuous input processing in formal languages are presented, including strong lower bounds on subset synchronization thresholds, lower bounds on descriptive power of jumping finite automata, and corresponding complexity classifications.