12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 15:28, 25 January 2009
, 15:28, 25 January 2009→Box Displays
<br>
<br>
<br>
{| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%"
| align="left" style="border-left:1px solid black;" width="50%" |
<math>\mathfrak{C} (\mathfrak{P}) : \text{Grammar 1}\!</math>
| align="right" style="border-right:1px solid black;" width="50%" |
<math>\mathfrak{Q} = \varnothing</math>
|-
| colspan="2" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" |
<math>\begin{array}{rcll}
1.
& S
& :>
& m_1 \ = \ ^{\backprime\backprime} \operatorname{~} ^{\prime\prime}
\\
2.
& S
& :>
& p_j, \, \text{for each} \, j \in J
\\
3.
& S
& :>
& \operatorname{Conc}^0 \ = \ ^{\backprime\backprime\prime\prime}
\\
4.
& S
& :>
& \operatorname{Surc}^0 \ = \ ^{\backprime\backprime} \, \operatorname{()} \, ^{\prime\prime}
\\
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}
\\
\end{array}</math>
|}