diff options
| -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} |