Vorel, Vojtěch - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: Vorel, Vojtěch

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Synchronization and Discontinuous Input Processing in Transition Systems Vorel, Vojtěch ; Čepek, Ondřej (vedoucí práce) ; Otto, Friedrich (oponent) ; Průša, Daniel (oponent) 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 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. Úplný záznam
	Synchronization, Road Coloring, and Jumps in Finite Automata Vorel, Vojtěch ; Koubek, Václav (vedoucí práce) ; Mráz, František (oponent) 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) Úplný záznam
	Synchronizace konečných automatů Vorel, Vojtěch ; Koubek, Václav (vedoucí práce) ; Pangrác, Ondřej (oponent) Práce je úvodem do zkoumání synchronizačních slov konečných automatů a Černého domněnky. Podává přehled o důležitých výsledcích v oboru a metodách jejich dokazování, ale také o širokém spektru dosud nevyřešených otázek. Reprodukuje i důkazy některých nejnovějších výsledků, konkrétně Trakhtmanova horního odhadu obecného sycnhronizačního prahu a Steinbergova těsného odhadu pro jednoklastrové automaty s prvočíselnou délkou cyklu. V poslední kapitole se blíže zaměřujeme na problém synchronizace podmnožin a související výpočetní úlohy. Je zde prezentován nový dolní odhad maximálního synchronizačního prahu podmnožiny. Podařilo se také částečně určit časovou složitost jisté přirozeně omezené varianty PSPACE-úplné úlohy rozhodování o synchronizovanosti podmnožiny. Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English