Prohlížení Diplomové práce - 13136 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 ...