Verifikace automatu
Verifikace "otestuje" automat jestli je DKA. Pouze DKA může být animován.
Testuje se:
Právě 1 počáteční stav
Determinismus automatu
Dosažitelnost stavů
Ukončitelnost automatu
Obsah