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" (DFA efficaces), il existe également des algorithmes minimaux pour déterminer: