„Minimálautomata” változatai közötti eltérés

Lényeges, hogy a minimálautomata nem a nyelvtanhoz, nem az azt megvalósító automatához, hanem a nyelvhez tartozik. Minden szabályos nyelvhez -– az izomorfiáktól eltekintve -– egy és csakis egy minimálautomata konstruálható.

Bizonyítható -– az un. ellenautomata konstruálásával -– hogy egy adott nyelvhez konstruált minimálautomatából csak egy létezhet.