Minimální DKA

Automat nazvu minimální, v případě že neexistuje žádný jiný automat přijímající stejný jazyk, který by měl méně stavů

Nazýváme také "stavově minimální"

Pokud chceme porovnat, že jsou 2 DKA ekvivalentní, je potřeba je nejdříve zminimalizovat a poté porovnat