From a46d45433390203e3a852e49d141e9d7a6c8e482 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
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

