Changes

→‎Box Displays: next example
Line 265: Line 265:  
5. & S & :> & S^* \\
 
5. & S & :> & S^* \\
 
6. & S & :> & ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, S \, \cdot \, ( \, ^{\backprime\backprime} \operatorname{,} ^{\prime\prime} \, \cdot \, S \, )^* \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \\
 
6. & 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>
 +
|}
 +
 +
<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>
 +
 +
{| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%"
 +
| align="left"  style="border-left:1px solid black;"  width="33%" |
 +
<math>\mathfrak{C} (\mathfrak{P})</math>
 +
| align="center" |
 +
<math>\text{Grammar 2}\!</math>
 +
| align="right" style="border-right:1px solid black;" width="33%" |
 +
<math>\mathfrak{Q} = \{ ^{\backprime\backprime} \operatorname{T} ^{\prime\prime} \}</math>
 +
|-
 +
| colspan="3" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" |
 +
<math>\begin{array}{llll}
 +
1.
 +
& S
 +
& :>
 +
& \varepsilon
 +
\\
 +
2.
 +
& S
 +
& :>
 +
& m_1
 +
\\
 +
3.
 +
& S
 +
& :>
 +
& p_j, \text{for each}\ j \in J
 +
\\
 +
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