summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-01-29 14:37:18 (GMT)
committerDavid A. Madore <david+git@madore.org>2018-01-29 14:37:18 (GMT)
commitefd973f2145651be934010b1acf070f1d3cc19cb (patch)
tree896faa1f041bbe5c36d9b8ee673d8e2d03e6f2b3
parentd1a7e0acc7c78ec3d2bf473b4b4739315b8a2f1f (diff)
downloadinf105-efd973f2145651be934010b1acf070f1d3cc19cb.zip
inf105-efd973f2145651be934010b1acf070f1d3cc19cb.tar.gz
inf105-efd973f2145651be934010b1acf070f1d3cc19cb.tar.bz2
Typo.
-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