diff options
| author | David A. Madore <david+git@madore.org> | 2020-06-15 14:44:23 +0200 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2020-06-15 14:44:23 +0200 |
| commit | 45e407ab8196ae62128261c238e7f92ace86378b (patch) | |
| tree | ce026852c67e4748f3b37cd461a0a47d16d64869 /controle-20200123.tex | |
| parent | ea65cf2914cf41b90e46a88ce76d1efc61b87865 (diff) | |
| download | inf105-45e407ab8196ae62128261c238e7f92ace86378b.tar.gz inf105-45e407ab8196ae62128261c238e7f92ace86378b.tar.bz2 inf105-45e407ab8196ae62128261c238e7f92ace86378b.zip | |
Forgotten commit.
Diffstat (limited to 'controle-20200123.tex')
| -rw-r--r-- | controle-20200123.tex | 5 |
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 |