MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
377 bytes removed
, 02:52, 5 January 2009
Line 267: |
Line 267: |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
− |
| |
− | <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>
| |
| | | |
| <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 |
| \\ | | \\ |
− | 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> |
| |} | | |} |