summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--programme-inf105.tex3
1 files changed, 3 insertions, 0 deletions
diff --git a/programme-inf105.tex b/programme-inf105.tex
index 92f4422..f6ae6d8 100644
--- a/programme-inf105.tex
+++ b/programme-inf105.tex
@@ -111,6 +111,9 @@ et étoile de Kleene. Les langages rationnels sont algébriques :
d'après ce qu'on vient de dire et directement en associant une
grammaire à un DFA ou NFA.
+L'intersection d'un langage algébrique et d'un langage rationnel est
+algébrique (admis sans démonstration).
+
Énoncé du lemme de pompage pour les langages algébriques.
(Selon le temps disponible.) L'appartenance d'un mot au langage