MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
421 bytes added
, 03:28, 7 January 2009
Line 506: |
Line 506: |
| \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> |