summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2020-06-15 14:44:23 +0200
committerDavid A. Madore <david+git@madore.org>2020-06-15 14:44:23 +0200
commit45e407ab8196ae62128261c238e7f92ace86378b (patch)
treece026852c67e4748f3b37cd461a0a47d16d64869
parentea65cf2914cf41b90e46a88ce76d1efc61b87865 (diff)
downloadinf105-45e407ab8196ae62128261c238e7f92ace86378b.tar.gz
inf105-45e407ab8196ae62128261c238e7f92ace86378b.tar.bz2
inf105-45e407ab8196ae62128261c238e7f92ace86378b.zip
Forgotten commit.
-rw-r--r--controle-20200123.tex5
1 files changed, 3 insertions, 2 deletions
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