Národní úložiště šedé literatury Nalezeno 4 záznamů.  Hledání trvalo 0.00 vteřin. 
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Syrový, Ondřej ; Láník, Aleš (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. Vytvořený program umožňuje načítání deterministických i nedeterministických variant automatů ze souboru, jejich grafickou reprezentaci pomocí stavového diagramu, krokování výpočtu a znázornění možných přechodů.
Simulace líných konečných automatů
Vrábel, Lukáš ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Táto bakalárska práca popisuje matematický model lenivého konečného automatu a implementáciu jednoduchého simulačného programu postaveného na základoch tohoto automatu, ktorý demonštruje možnosti daného modelu. Taktiež sa zaoberá výhodami a nevýhodami oproti ostatným prístupom a implementáciám. Model lenivého konečného automatu poskytuje určité výhody z hladiska uživateľa, ktorý vďaka nemu dostáva do rúk väčšiu voľnosť pri definovaní pravidiel automatu.
Simulace líných konečných automatů
Vrábel, Lukáš ; Masařík, Karel (oponent) ; Lukáš, Roman (vedoucí práce)
Táto bakalárska práca popisuje matematický model lenivého konečného automatu a implementáciu jednoduchého simulačného programu postaveného na základoch tohoto automatu, ktorý demonštruje možnosti daného modelu. Taktiež sa zaoberá výhodami a nevýhodami oproti ostatným prístupom a implementáciám. Model lenivého konečného automatu poskytuje určité výhody z hladiska uživateľa, ktorý vďaka nemu dostáva do rúk väčšiu voľnosť pri definovaní pravidiel automatu.
Vizualizace práce konečných automatů, zásobníkových automatů a Turingova stroje
Syrový, Ondřej ; Láník, Aleš (oponent) ; Zuzaňák, Jiří (vedoucí práce)
Tato práce se zabývá návrhem a implementací aplikace pro demonstraci činnosti konečných automatů, zásobníkových automatů a Turingova stroje. Teoretická část práce se zabývá teorií formálních jazyků, gramatik a automatů. Vytvořený program umožňuje načítání deterministických i nedeterministických variant automatů ze souboru, jejich grafickou reprezentaci pomocí stavového diagramu, krokování výpočtu a znázornění možných přechodů.

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