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