summaryrefslogtreecommitdiffstats
path: root/controle-20210618.tex
diff options
context:
space:
mode:
Diffstat (limited to 'controle-20210618.tex')
-rw-r--r--controle-20210618.tex6
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