summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2020-02-23 19:31:31 +0100
committerDavid A. Madore <david+git@madore.org>2020-02-23 19:31:31 +0100
commit65d4d206b348862f49f78df2814b274953a0495e (patch)
treef51f0b44700e4023b476e710addee6faad2984ee
parent28531fcdd595d1d73aa0c455dd94849f3a43d492 (diff)
downloadinf105-65d4d206b348862f49f78df2814b274953a0495e.tar.gz
inf105-65d4d206b348862f49f78df2814b274953a0495e.tar.bz2
inf105-65d4d206b348862f49f78df2814b274953a0495e.zip
-rw-r--r--controle-20200123.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20200123.tex b/controle-20200123.tex
index 889a969..1ff6354 100644
--- a/controle-20200123.tex
+++ b/controle-20200123.tex
@@ -447,7 +447,7 @@ distincts. En nommant simplement $i$ l'état $q_i$ (pour $0\leq i<j_2$
uniquement), on a, par construction, $\delta(i,a) = i+1$ pour $0\leq
i<j_2-1$ tandis que $\delta(j_2-1,a) = j_1$, comme annoncé. De plus,
les états $0,\ldots,j_2-1$ étant tous ceux qu'on peut atteindre en
-partant de $0$ et an suivant les transitions, ce sont tous les états
+partant de $0$ et en suivant les transitions, ce sont tous les états
de l'automate (car on l'a supposé sans état inaccessible), donc $j_2$
est le nombre d'états, et l'automate a bien la forme demandée.