Etant donné que les DFA peuvent être réduits à la «forme canonique» (DFA efficaces), il existe également des algorithmes minimaux pour déterminer:
Etant donné que les DFA peuvent être réduits à une «forme canonique» (minimum de DFA), il existe également des algorithmes efficaces pour déterminer: