diff options
| -rw-r--r-- | programme-inf105.tex | 3 |
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 |