MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
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> |
| | |} | | |} |