From 45e407ab8196ae62128261c238e7f92ace86378b Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Mon, 15 Jun 2020 14:44:23 +0200
Subject: Forgotten commit.

---
 controle-20200123.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'controle-20200123.tex')

diff --git a/controle-20200123.tex b/controle-20200123.tex
index 1ff6354..28b074c 100644
--- a/controle-20200123.tex
+++ b/controle-20200123.tex
@@ -473,8 +473,9 @@ acceptant, le langage est fini et égal à $\{a^i : i\in F\}$.
 
 Bref, la condition nécessaire et suffisante de finitude du langage
 reconnu par $\mathscr{A}$ est que $F \cap \{j_1,\ldots,j_2-1\} =
-\varnothing$, et le cas échéant, le langage est constitué des $a^i$
-pour $i\in F$ (et $i<j_1$).
+\varnothing$, ou, ce qui revient au même, $F \subseteq
+\{0,\ldots,j_1-1\}$ ; et le cas échéant, le langage est constitué des
+$a^i$ pour $i\in F$ (et $i<j_1$).
 \end{corrige}
 
 (8) Déduire de l'ensemble de cet exercice que le problème suivant est
-- 
cgit v1.2.3