12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchUser:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 02:52, 5 January 2009
, 02:52, 5 January 2009→Box Displays
Line 267:
Line 267:
<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>
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>
|}
|}
−<br>
<br>
Line 313:
Line 293:
& 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>
|}
|}
