Definice: Nechť M = (Q, S, R, s, F) je úplný DKA. Pak M je
dobře specifikovaný KA (DSKA), pokud:
1) Q nemá nedostupné stavy
2) Q má maximálně jeden neukončující stav
Pozn.: Pokud dobře specifikovaný KA má neukončující stav, je to qfalse
z předchozího algoritmu
Tvrzení: Pro každý KA M
existuje ekvivalentní dobře
specifikovaný KA Mds
Důkaz:
Použij následující algoritmus
Dobře specifikovaný KA
34/44