summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2018-03-23 10:43:12 (GMT)
committerDavid A. Madore <david+git@madore.org>2018-03-23 10:43:12 (GMT)
commitbd06ad139368d013ead6cadbdb6971f81e534521 (patch)
tree7888616ac29c539551e0c9d621b3f10c893f5943
parentf05cf471c2165ebf3bf7eb9bb0260aa5732680c7 (diff)
parent90109a14f6bb89d7014d0eba4e9ed909b12ffa4b (diff)
downloadinf105-bd06ad139368d013ead6cadbdb6971f81e534521.zip
inf105-bd06ad139368d013ead6cadbdb6971f81e534521.tar.gz
inf105-bd06ad139368d013ead6cadbdb6971f81e534521.tar.bz2
Merge branch 'master' of git.madore.org:teach/inf105
-rw-r--r--controle-20180206.tex10
1 files changed, 5 insertions, 5 deletions
diff --git a/controle-20180206.tex b/controle-20180206.tex
index 17ec659..4cdc6fd 100644
--- a/controle-20180206.tex
+++ b/controle-20180206.tex
@@ -540,11 +540,11 @@ rationnel ?\quad (c) Le langage $L$ est-il rationnel ?
\begin{corrige}
(a) Cherchons pour quelles valeurs $(i,j) \in \mathbb{N}^2$ le mot
« ${(}^i\, x\, {)}^j$ » de $M$ appartient à $L$. La dérivation $S
- \rightarrow T \rightarrow U \rightarrow (S) \rightarrow (T)
- \rightarrow (U) \rightarrow ((S)) \rightarrow \cdots
- \rightarrow{(}^i\, S\, {)}^i \rightarrow{(}^i\, T\, {)}^i
- \rightarrow{(}^i\, U\, {)}^i \rightarrow{(}^i\, V\, {)}^i
- \rightarrow{(}^i\, x\, {)}^i$ montre que c'est le cas si $j=i$,
+ \Rightarrow T \Rightarrow U \Rightarrow (S) \Rightarrow (T)
+ \Rightarrow (U) \Rightarrow ((S)) \Rightarrow \cdots
+ \Rightarrow{(}^i\, S\, {)}^i \Rightarrow{(}^i\, T\, {)}^i
+ \Rightarrow{(}^i\, U\, {)}^i \Rightarrow{(}^i\, V\, {)}^i
+ \Rightarrow{(}^i\, x\, {)}^i$ montre que c'est le cas si $j=i$,
autrement dit s'il y a autant de parenthèses fermantes qu'ouvrantes.
Mais réciproquement, la propriété d'avoir autant de parenthèses
fermantes qu'ouvrantes est préservée par toutes les productions