summaryrefslogtreecommitdiffstats
path: root/notes-inf105.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-12-08 15:01:13 (GMT)
committerDavid A. Madore <david+git@madore.org>2016-12-08 15:01:13 (GMT)
commit0b45c1b9c0ba5a6543951358036a7ff562073e47 (patch)
tree567827a006b31b0c2c58a72a7273f4eb01463688 /notes-inf105.tex
parent963ca7a06dab06129c6a2afe06ddf9aa41e0c79f (diff)
downloadinf105-0b45c1b9c0ba5a6543951358036a7ff562073e47.zip
inf105-0b45c1b9c0ba5a6543951358036a7ff562073e47.tar.gz
inf105-0b45c1b9c0ba5a6543951358036a7ff562073e47.tar.bz2
Mention the name "Kleene's algorithm".
Diffstat (limited to 'notes-inf105.tex')
-rw-r--r--notes-inf105.tex4
1 files changed, 3 insertions, 1 deletions
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é