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