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). --- notes-inf105.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'notes-inf105.tex') 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