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