12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 01:52, 7 January 2009
, 01:52, 7 January 2009→Box Displays: next example
\end{array}</math>
\end{array}</math>
|}
|}
<br>
<pre>
| !C!(!P!). Grammar 5
|
| !Q! = {"S'", "T"}
|
| 1. S :> !e!
|
| 2. S :> S'
|
| 3. S' :> m_1
|
| 4. S' :> p_j, for each j in J
|
| 5. S' :> S' · S'
|
| 6. S' :> "-()-"
|
| 7. S' :> "-(" · T · ")-"
|
| 8. T :> ","
|
| 9. T :> S'
|
| 10. T :> T · ","
|
| 11. T :> T · "," · S'
</pre>