Prohlížení Diplomové práce - 13136 dle předmětu "Konečně-stavový automat, Testovací metoda, Soubor testů, Úplné pokrytí chyb, Kontrola pokrytí chyb, Separující sekvence, Stav charakterizující množina, Charakterizující množina"
Zobrazují se záznamy 1-1 z 1
-
Konstrukce experimentu potvrzující ekvivalenci konečně-stavových automatů
; 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 ...