Verifikace automatu




Verifikace "otestuje" automat jestli je DKA. Pouze DKA může být animován.

Testuje se:
  1. Právě 1 počáteční stav
  2. Determinismus automatu
  3. Dosažitelnost stavů
  4. Ukončitelnost automatu


Obsah