diff options
| author | David A. Madore <david+git@madore.org> | 2021-06-04 15:49:10 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2021-06-04 15:49:10 +0200 |
| commit | a46d45433390203e3a852e49d141e9d7a6c8e482 (patch) | |
| tree | 5564038216fa7335f1aa65ee4abcfe6dbd91986b | |
| parent | ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6 (diff) | |
| download | inf105-a46d45433390203e3a852e49d141e9d7a6c8e482.tar.gz inf105-a46d45433390203e3a852e49d141e9d7a6c8e482.tar.bz2 inf105-a46d45433390203e3a852e49d141e9d7a6c8e482.zip | |
Typo in an example (thanks, Elio Delacour).
| -rw-r--r-- | errata-notes-inf105.tex | 9 | ||||
| -rw-r--r-- | notes-inf105.tex | 2 |
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 |