diff options
author | David A. Madore <david+git@madore.org> | 2021-06-15 23:32:09 +0200 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2021-06-15 23:32:09 +0200 |
commit | 242278d93c5354a110e0382695c0f569585ae306 (patch) | |
tree | 79cac83b0720606f2147e53c796d50f2a135722c /controle-20210618.tex | |
parent | 1534fd4cf5530801af78a819a563912bee16c70b (diff) | |
download | inf105-242278d93c5354a110e0382695c0f569585ae306.tar.gz inf105-242278d93c5354a110e0382695c0f569585ae306.tar.bz2 inf105-242278d93c5354a110e0382695c0f569585ae306.zip |
Change in wording (to suggest a short answer).
Diffstat (limited to 'controle-20210618.tex')
-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 |