diff options
| -rw-r--r-- | controle-20180206.tex | 2 |
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 |