Debido a que los DFA se pueden reducir a una "forma canónica" (DFA eficientes), también hay algoritmos mínimos para determinar:
Debido a que los DFA se pueden reducir a "forma canónica" (DFA mínimos), también hay algoritmos eficientes para determinar: