From a90393e3982a38acaa3798c80e811186c005bc58 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Tue, 10 Jan 2017 15:50:25 +0100
Subject: The intersection of an algebraic and a rational language is
 algebraic.

---
 programme-inf105.tex | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3