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