diff options
| author | David A. Madore <david+git@madore.org> | 2017-01-10 15:50:25 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2017-01-10 15:50:25 +0100 |
| commit | a90393e3982a38acaa3798c80e811186c005bc58 (patch) | |
| tree | 4185487fb152c044a2b777af7ed0a9667b0a8a0c | |
| parent | 1fc2ed17a4030cb9896b7028fcf4b520cdad3967 (diff) | |
| download | inf105-a90393e3982a38acaa3798c80e811186c005bc58.tar.gz inf105-a90393e3982a38acaa3798c80e811186c005bc58.tar.bz2 inf105-a90393e3982a38acaa3798c80e811186c005bc58.zip | |
The intersection of an algebraic and a rational language is algebraic.
| -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 |