summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--errata-notes-inf105.tex9
-rw-r--r--notes-inf105.tex2
2 files changed, 10 insertions, 1 deletions
diff --git a/errata-notes-inf105.tex b/errata-notes-inf105.tex
index acf5fe5..8bf020f 100644
--- a/errata-notes-inf105.tex
+++ b/errata-notes-inf105.tex
@@ -173,6 +173,15 @@ autres.
\medskip
+Paragraphe 2.1.7, l'expression rationnelle donnée entre parenthèses
+comporte une faute de frappe : page 18, ligne 9 en partant du bas,
+remplacer $(b|c){*}a(b|c){*}b(a|b|c){*}$ par
+$(b|c){*}a(a|c){*}b(a|b|c){*}$.
+
+\hbox to\hsize{\hfill\hbox to4cm{\hrulefill}\hfill}
+
+\medskip
+
Paragraphe 4.3.5, il manque à la grammaire $G'$ des productions $U
\rightarrow \varepsilon$ et $V \rightarrow \varepsilon$ : page 58,
lignes 4–5, remplacer
diff --git a/notes-inf105.tex b/notes-inf105.tex
index 2bf2697..f84c5eb 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -1547,7 +1547,7 @@ accepte exactement les mots contenant un $a$ suivi, pas forcément
immédiatement, d'un $b$ ; autrement dit, les mots dont $ab$ est un
sous-mot (cf. \ref{definition-subword}). Ce langage est donc
reconnaissable. (Il est aussi rationnel puisque dénoté par
-l'expression rationnelle $(b|c){*}a(b|c){*}b(a|b|c){*}$.)
+l'expression rationnelle $(b|c){*}a(a|c){*}b(a|b|c){*}$.)
\thingy\label{definition-dfa-accessible-state} Un état $q$ d'un DFA
est dit \defin[accessible (état)]{accessible} lorsqu'il existe un mot