diff options
author | David A. Madore <david+git@madore.org> | 2018-03-16 20:18:50 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2018-03-16 20:18:50 +0100 |
commit | d0a3186183eba5af847d43d41e0bdf54459591ae (patch) | |
tree | 7f8e2e022f836af8b62675cef40bb6c0a1584c2f | |
parent | 2df9623ec9c5b2bb1bb750ca9ac37c52b161b72f (diff) | |
download | inf105-d0a3186183eba5af847d43d41e0bdf54459591ae.tar.gz inf105-d0a3186183eba5af847d43d41e0bdf54459591ae.tar.bz2 inf105-d0a3186183eba5af847d43d41e0bdf54459591ae.zip |
Typo.
-rw-r--r-- | controle-20180322.tex | 2 |
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} |