summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-01-30 10:50:30 +0100
committerDavid A. Madore <david+git@madore.org>2017-01-30 10:50:30 +0100
commitd5e3e7184c6fad89aefd3d9c45a788199e2e9fc0 (patch)
tree8ffc79aacbae34750a310b62bc42e236e3820f6d
parent16db49ec807cca5e201243d35b16eed028d03ae8 (diff)
downloadinf105-d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0.tar.gz
inf105-d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0.tar.bz2
inf105-d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0.zip
Fix/clarification in answer to an exercise.
-rw-r--r--exercices3.tex3
1 files changed, 2 insertions, 1 deletions
diff --git a/exercices3.tex b/exercices3.tex
index bc0b77f..c1a763e 100644
--- a/exercices3.tex
+++ b/exercices3.tex
@@ -250,7 +250,8 @@ $\{6,\bot\}$. On vérifie ensuite qu'aucune transition ne sépare des
où l'état $F$ représente la classe $0\equiv 2\equiv 8\equiv 11$.
(5) Il s'agit du langage constitué des mots n'ayant jamais deux $b$
-consécutifs, c'est-à-dire des mots dans lesquels chaque $b$ est suivi
+consécutifs ni de $b$ final,
+c'est-à-dire des mots dans lesquels chaque $b$ est suivi
d'au moins un $a$ : l'expression rationnelle initiale le présente
comme le langage constitués des mots formés d'un nombre quelconque de
$a$ puis d'un nombre quelconque de répétitions d'un $b$ suivi d'au