summaryrefslogtreecommitdiffstats
path: root/controle-20180322.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-03-16 20:18:50 +0100
committerDavid A. Madore <david+git@madore.org>2018-03-16 20:18:50 +0100
commitd0a3186183eba5af847d43d41e0bdf54459591ae (patch)
tree7f8e2e022f836af8b62675cef40bb6c0a1584c2f /controle-20180322.tex
parent2df9623ec9c5b2bb1bb750ca9ac37c52b161b72f (diff)
downloadinf105-d0a3186183eba5af847d43d41e0bdf54459591ae.tar.gz
inf105-d0a3186183eba5af847d43d41e0bdf54459591ae.tar.bz2
inf105-d0a3186183eba5af847d43d41e0bdf54459591ae.zip
Typo.
Diffstat (limited to 'controle-20180322.tex')
-rw-r--r--controle-20180322.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20180322.tex b/controle-20180322.tex
index a9d1e83..4575bf5 100644
--- a/controle-20180322.tex
+++ b/controle-20180322.tex
@@ -450,7 +450,7 @@ certain nombre de répétitions de la lettre $a$ (car tout préfixe de
longueur $\leq k$ de $a^k b^k$ est de cette forme) ; disons $u =
a^\ell$ et $v = a^m$, si bien que $w = a^{k-\ell-m} b^k$. La
propriété (i) donne $m\geq 1$. Enfin, la propriété (iii) affirme que
-le mot $uv^iw = a^{k+(i-1)m} x b^k$ appartient à $P$ ; or pour $i=0$,
+le mot $uv^iw = a^{k+(i-1)m} b^k$ appartient à $P$ ; or pour $i=0$,
ceci est faux puisque $a^{k-m} b^k$ vérifie $k-m < k$. On a donc
abouti à une contradiction, et c'est que $P$ n'est pas rationnel.
\end{corrige}