summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2017-01-10 14:50:25 (GMT)
committerDavid A. Madore <david+git@madore.org>2017-01-10 14:50:25 (GMT)
commita90393e3982a38acaa3798c80e811186c005bc58 (patch)
tree4185487fb152c044a2b777af7ed0a9667b0a8a0c
parent1fc2ed17a4030cb9896b7028fcf4b520cdad3967 (diff)
downloadinf105-a90393e3982a38acaa3798c80e811186c005bc58.zip
inf105-a90393e3982a38acaa3798c80e811186c005bc58.tar.gz
inf105-a90393e3982a38acaa3798c80e811186c005bc58.tar.bz2
The intersection of an algebraic and a rational language is algebraic.
-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