12,144
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 17:30, 5 January 2009
, 17:30, 5 January 2009→Box Displays
| 10. T :> T · "," · S
| 10. T :> T · "," · S
</pre>
</pre>
{| 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 3}\!</math>
| align="right" style="border-right:1px solid black;" width="33%" |
<math>\mathfrak{Q} = \{ ^{\backprime\backprime} F ^{\prime\prime}, ^{\backprime\backprime} R ^{\prime\prime}, ^{\backprime\backprime} 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
& :>
& 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
\\
\end{array}</math>
|}