12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 01:04, 5 January 2009
, 01:04, 5 January 2009→Box Displays: next example
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>
|}
|}