Definice: Nechť M je DSKA. Potom, M je minimální KA, pokud  M obsahuje pouze rozlišitelné stavy.
Tvrzení: Pro každý DSKA M, existuje ekvivalentní minimální KA Mm.
Minimální KA
Důkaz: Použij následující algoritmus.
38/44