diff options
| -rw-r--r-- | controle-20210618.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/controle-20210618.tex b/controle-20210618.tex index 5e9b114..03171a2 100644 --- a/controle-20210618.tex +++ b/controle-20210618.tex @@ -193,9 +193,9 @@ suivantes si on a du mal à trouver comment dériver ce mot.) On va maintenant montrer que $G$ est inambiguë. -(2) Montrer que tout mot non-vide du langage $L := L(G)$ engendré -par $G$ a nécessairement $a$ pour préfixe (i.e., commence par la -lettre $a$). +(2) Expliquer pourquoi tout mot non-vide du langage $L := L(G)$ +engendré par $G$ a nécessairement $a$ pour préfixe (i.e., commence par +la lettre $a$). (3) Montrer que tout mot de $L$ dérivé en démarrant par\footnote{C'est-à-dire : tout mot $w$ possédant une dérivation |