Hlavní stránka > Výsledky hledání: Klouček, Miloš
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Dvoustranné automaty
 Klouček, Miloš ; Holub, Štěpán (vedoucí práce) ; Kozlík, Andrew (oponent)
Práce se zabývá konečnými automaty a jejich schopností popisovat zajímavé třídy regulárních jazyků. Nejdříve je zavedena základní terminologie konečných automatů a formulovány jejich základní vlastnosti. Poté je pozornost věnována možnosti konečný automat rozšířit na dvoustranný automat přidáním zpětné přechodové funkce a zkoumání vlastností takto rozšířeného automatu. Důraz je kladen především na srovnání obdobných vlastností dvoustranných a konečných automatů. V druhé části práce je užitečnost nabytých poznatků demonstrována v podobě jednoduššího důkazu slavné Simonovy věty charakterizující po částech testovatelné jazyky. Tento důkaz je lehce modifikovaným výsledkem O. Klímy a L. Poláka. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Viz též: podobná jména autorů
2 Klouček, Martin
1 Klouček, Michal
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ář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English