Hledat
Zobrazují se záznamy 1-1 z 1
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)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2018
Datum obhajoby: 03. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Prá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 ...
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 ...
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 ...