12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 02:52, 5 January 2009
, 02:52, 5 January 2009→Box Displays
\end{array}</math>
\end{array}</math>
|}
|}
<br>
<br>
& 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
\\
\\
\end{array}</math>
\end{array}</math>
|}
|}