From 0b45c1b9c0ba5a6543951358036a7ff562073e47 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Thu, 8 Dec 2016 16:01:13 +0100
Subject: Mention the name "Kleene's algorithm".

---
 notes-inf105.tex | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'notes-inf105.tex')

diff --git a/notes-inf105.tex b/notes-inf105.tex
index 91d63c7..356afd6 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -2206,7 +2206,9 @@ l'expression rationnelle $r$.
 \end{proof}
 
 \thingy La procédure qu'on a décrite dans la démonstration de cette
-proposition s'appelle l'algorithme d'\textbf{élimination des états}.
+proposition s'appelle l'algorithme d'\textbf{élimination des états} ou
+\textbf{algorithme de Kleene}.
+
 Il va de soi qu'on peut la simplifier un petit peu : s'il n'y a pas de
 transition de de $q_1$ vers $q$ ou qu'il n'y en a pas de $q$
 vers $q_2$ (c'est-à-dire que soit $r_1$ soit $r_2$ doit être considéré
-- 
cgit v1.2.3

