diff options
| author | David A. Madore <david+git@madore.org> | 2017-01-30 10:50:30 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-01-30 10:50:30 +0100 |
| commit | d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0 (patch) | |
| tree | 8ffc79aacbae34750a310b62bc42e236e3820f6d | |
| parent | 16db49ec807cca5e201243d35b16eed028d03ae8 (diff) | |
| download | inf105-d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0.tar.gz inf105-d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0.tar.bz2 inf105-d5e3e7184c6fad89aefd3d9c45a788199e2e9fc0.zip | |
Fix/clarification in answer to an exercise.
| -rw-r--r-- | exercices3.tex | 3 |
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 |