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 /notes-inf105.tex | |
| parent | ee2de71dcb9b272a248d3dd6b56a3ac7c00801e6 (diff) | |
| download | inf105-a46d45433390203e3a852e49d141e9d7a6c8e482.tar.gz inf105-a46d45433390203e3a852e49d141e9d7a6c8e482.tar.bz2 inf105-a46d45433390203e3a852e49d141e9d7a6c8e482.zip | |
Typo in an example (thanks, Elio Delacour).
Diffstat (limited to 'notes-inf105.tex')
| -rw-r--r-- | notes-inf105.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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 |