sentence1: Etant donné que les DFA peuvent être réduits à une «forme canonique» (minimum de DFA), il existe également des algorithmes efficaces 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: