Sea M un AFD que verifica que q1 y q2 son ambos finales, o ambos no finales, y además se cumple que δ(q1,x)=δ(q2,x) para todo símbolo x del alfabeto. Entonces, podemos asegurar que Lq1=Lq2.

Un estado p es accesible desde el estado inicial q0 sí, y sólo sí, , siendo el alfabeto.

No es posible minimizar un AFD con todos sus estados finales ni con todos sus estados no finales.

Un AFN con todos sus estados finales tendrá siempre un AFD mínimo equivalente con un único estado.