Hlavní stránka > Výsledky hledání: keywords:"operations over Büchi automata."
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 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Nástroj pro práci s Büchi automaty
 Schindler, Petr ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
Tato práce zpracovává problematiku Büchiho automatů a představuje knihovnu, umožňující provádět základní operace nad těmito automaty. V práci jsou uvedeny základy teorie automatů. Ty jsou použity při popisu konečných automatů, mezi které patří Büchiho automaty, jejichž popis tvoří hlavní část zde uvedené teorie. Znalost jejich vlastností je důležitá pro pochopení algoritmů, které s nimi pracují. Dále jsou tyto algoritmy představeny i s detailním vysvětlením. Následuje návrh datových struktur formátu, v jakém jsou automaty ukládány na disk. Stěžejní část práce se věnuje implementaci knihovny a pomocných skriptů. Detailně jsou zde popsány důležité nebo zajímavé části implementace jednotlivých metod. Závěr práce je věnován testování funkčnosti knihovny.
Úplný záznam
Nástroj pro práci s Büchi automaty
 Schindler, Petr ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
Tato práce zpracovává problematiku Büchiho automatů a představuje knihovnu, umožňující provádět základní operace nad těmito automaty. V práci jsou uvedeny základy teorie automatů. Ty jsou použity při popisu konečných automatů, mezi které patří Büchiho automaty, jejichž popis tvoří hlavní část zde uvedené teorie. Znalost jejich vlastností je důležitá pro pochopení algoritmů, které s nimi pracují. Dále jsou tyto algoritmy představeny i s detailním vysvětlením. Následuje návrh datových struktur formátu, v jakém jsou automaty ukládány na disk. Stěžejní část práce se věnuje implementaci knihovny a pomocných skriptů. Detailně jsou zde popsány důležité nebo zajímavé části implementace jednotlivých metod. Závěr práce je věnován testování funkčnosti knihovny.
Ú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ář :: 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