summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2021-06-15 23:32:09 +0200
committerDavid A. Madore <david+git@madore.org>2021-06-15 23:32:09 +0200
commit242278d93c5354a110e0382695c0f569585ae306 (patch)
tree79cac83b0720606f2147e53c796d50f2a135722c
parent1534fd4cf5530801af78a819a563912bee16c70b (diff)
downloadinf105-242278d93c5354a110e0382695c0f569585ae306.tar.gz
inf105-242278d93c5354a110e0382695c0f569585ae306.tar.bz2
inf105-242278d93c5354a110e0382695c0f569585ae306.zip
Change in wording (to suggest a short answer).
-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