Název: Synchronizace, barvení cesty a skoky v konečných automatech
Překlad názvu: Synchronization, Road Coloring, and Jumps in Finite Automata
Autoři: Vorel, Vojtěch ; Koubek, Václav (vedoucí práce) ; Mráz, František (oponent)
Typ dokumentu: Diplomové práce
Rok: 2015
Jazyk: eng
Abstrakt: [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)
Klíčová slova: Barvení cesty; Skokové automaty; Synchronizační slovo; Jumping finite automata; Reset word; Road coloring

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/62043

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-331201


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce