summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-03-23 14:01:50 (GMT)
committerDavid A. Madore <david+git@madore.org>2018-03-23 14:01:50 (GMT)
commitf0a89652674ee5c96c697524e00b822b801dd6bf (patch)
tree8e54c0ef4481bc586b3549fba2f592991b334564
parent5b42a95d43cf3e4e099070fa2385aa7ed68616b7 (diff)
downloadinf105-f0a89652674ee5c96c697524e00b822b801dd6bf.zip
inf105-f0a89652674ee5c96c697524e00b822b801dd6bf.tar.gz
inf105-f0a89652674ee5c96c697524e00b822b801dd6bf.tar.bz2
Clarify that answer does not need to be formalized as such.
-rw-r--r--controle-20180322.tex5
1 files changed, 5 insertions, 0 deletions
diff --git a/controle-20180322.tex b/controle-20180322.tex
index 5836d87..4dbcd9c 100644
--- a/controle-20180322.tex
+++ b/controle-20180322.tex
@@ -426,6 +426,11 @@ $a^{i-j} S \Rightarrow a^{i-j+1} S bS \Rightarrow a^{i-j+1} S b
application de $S \rightarrow \varepsilon$ : on obtient ainsi une
dérivation $S \mathrel{\Rightarrow^*} a^i b^j$ qui prouve que $a^i b^j
\in L$.
+
+(On pouvait aussi, plus informellement, esquisser l'allure d'un arbre
+de dérivation de $a^i b^j$ un peu à la manière de l'un ou l'autre de
+ceux de la question (1), mais en appliquant $i-j$ fois la règle $a
+\rightarrow aS$ et $j$ fois la règle $S \rightarrow aSbS$.)
\end{corrige}
(4) Montrer que $L\cap M \subseteq P$.