summaryrefslogtreecommitdiffstats
path: root/controle-20180206.tex
diff options
context:
space:
mode:
Diffstat (limited to 'controle-20180206.tex')
-rw-r--r--controle-20180206.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180206.tex b/controle-20180206.tex
index 8338452..d90abdc 100644
--- a/controle-20180206.tex
+++ b/controle-20180206.tex
@@ -211,7 +211,7 @@ en (3) ; on appellera $\mathscr{A}_4$ l'automate minimal (=canonique)
résultant.
\begin{corrige}
-On part bein d'un automate $\mathscr{A}_3$ déterministe complet sans
+On part bien d'un automate $\mathscr{A}_3$ déterministe complet sans
état inaccessible. La première étape de l'algorithme de minimisation
sépare deux classes d'états : $S,SA,SB$ (non finaux) d'une part et
$SAT,SBT$ de l'autre. Ensuite on sépare $S$ et $SA$ et $SB$ (car le