From f0a89652674ee5c96c697524e00b822b801dd6bf Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Fri, 23 Mar 2018 15:01:50 +0100 Subject: Clarify that answer does not need to be formalized as such. --- controle-20180322.tex | 5 +++++ 1 file changed, 5 insertions(+) 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$. -- cgit v1.2.3