MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
304 bytes removed
, 18:48, 5 January 2009
Line 319: |
Line 319: |
| | | |
| <br> | | <br> |
− |
| |
− | <pre>
| |
− | | !C!(!P!). Grammar 3
| |
− | |
| |
− | | !Q! = {"F", "R", "T"}
| |
− | |
| |
− | | 1. S :> R
| |
− | |
| |
− | | 2. S :> F
| |
− | |
| |
− | | 3. S :> S · S
| |
− | |
| |
− | | 4. R :> !e!
| |
− | |
| |
− | | 5. R :> m_1
| |
− | |
| |
− | | 6. R :> p_j, for each j in J
| |
− | |
| |
− | | 7. R :> R · R
| |
− | |
| |
− | | 8. F :> "-(" · T · ")-"
| |
− | |
| |
− | | 9. T :> S
| |
− | |
| |
− | | 10. T :> T · "," · S
| |
− | </pre>
| |
| | | |
| {| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%" | | {| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%" |