From a46d45433390203e3a852e49d141e9d7a6c8e482 Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Fri, 4 Jun 2021 15:49:10 +0200 Subject: Typo in an example (thanks, Elio Delacour). --- errata-notes-inf105.tex | 9 +++++++++ notes-inf105.tex | 2 +- 2 files changed, 10 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3