summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--exercices1.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/exercices1.tex b/exercices1.tex
index b0595a7..58bf415 100644
--- a/exercices1.tex
+++ b/exercices1.tex
@@ -318,7 +318,7 @@ en (0).
%%% end ex1p2b %%%
\end{center}
(Les états $1$ et $4$ étant inaccessibles, ils ont été retirés. Il ne
-faut pas oublier que $3$ et $6$ sont finaux puisqu'il sont l'état
+faut pas oublier que $3$ et $6$ sont finaux puisqu'ils ont l'état
final $7$ dans leur ε-fermeture.)
On peut maintenant procéder à la déterminisation. Pour abréger les