diff options
| author | David A. Madore <david+git@madore.org> | 2016-12-08 16:01:13 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-12-08 16:01:13 +0100 |
| commit | 0b45c1b9c0ba5a6543951358036a7ff562073e47 (patch) | |
| tree | 567827a006b31b0c2c58a72a7273f4eb01463688 | |
| parent | 963ca7a06dab06129c6a2afe06ddf9aa41e0c79f (diff) | |
| download | inf105-0b45c1b9c0ba5a6543951358036a7ff562073e47.tar.gz inf105-0b45c1b9c0ba5a6543951358036a7ff562073e47.tar.bz2 inf105-0b45c1b9c0ba5a6543951358036a7ff562073e47.zip | |
Mention the name "Kleene's algorithm".
| -rw-r--r-- | notes-inf105.tex | 4 |
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é |