Changes

MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
Line 267: Line 267:  
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
  −
<pre>
  −
| !C!(!P!).  Grammar 2
  −
|
  −
| !Q! = {"T"}
  −
|
  −
| 1.  S  :>  !e!
  −
|
  −
| 2.  S  :>  m_1
  −
|
  −
| 3.  S  :>  p_j, for each j in J
  −
|
  −
| 4.  S  :>  S · S
  −
|
  −
| 5.  S  :>  "-(" · T · ")-"
  −
|
  −
| 6.  T  :>  S
  −
|
  −
| 7.  T  :>  T · "," · S
  −
</pre>
      
<br>
 
<br>
Line 313: Line 293:  
& S
 
& S
 
& :>
 
& :>
& p_j, \text{for each}\ j \in J
+
& p_j, \, \text{for each}\ j \in J
 +
\\
 +
4.
 +
& S
 +
& :>
 +
& S \, \cdot \, S
 +
\\
 +
5.
 +
& S
 +
& :>
 +
& ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, T \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}
 +
\\
 +
6.
 +
& T
 +
& :>
 +
& S
 +
\\
 +
7.
 +
& T
 +
& :>
 +
& T \, \cdot \, ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} \, \cdot \, S
 
\\
 
\\
4. & S & :> & \operatorname{Conc}^0 \ = \ ^{\backprime\backprime\prime\prime} \\
  −
5. & S & :> & \operatorname{Surc}^0 \ = \ ^{\backprime\backprime} \, \operatorname{()} \, ^{\prime\prime} \\
  −
6. & S & :> & S^* \\
  −
7. & S & :> & ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, S \, \cdot \, ( \, ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} \, \cdot \, S \, )^* \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \\
   
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
12,080

edits

Navigation menu