From 90109a14f6bb89d7014d0eba4e9ed909b12ffa4b Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Fri, 16 Mar 2018 19:19:30 +0100 Subject: Use \Rightarrow rather than \rightarrow to indicate derivations. --- controle-20180206.tex | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'controle-20180206.tex') 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 -- cgit v1.2.3