Prohlížení dle autora "Soucha Michal"
-
Konstrukce experimentu potvrzující ekvivalenci konečně-stavových automatů
Autor: Soucha Michal; Vedoucí práce: Mařík Radek; Oponent práce: Demlová Marie
Tento dokument obsahuje přehled testovacích metod konečně-stavových automatů. Testovací metoda kontroluje zda se nějaký automat shoduje s daným automatem. Nová metoda je představena a následně experimentálně prokázána, že ... -
Sekvence pro identifikaci stavu konečných automatů
Autor: Soucha Michal; Vedoucí práce: Mařík Radek; Oponent práce: Demlová Marie
(České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)