MyWikiBiz, Author Your Legacy — Saturday October 19, 2024
Jump to navigationJump to search
1,146 bytes added
, 15:28, 25 January 2009
Line 695: |
Line 695: |
| | | |
| <br> | | <br> |
| + | |
| + | <br> |
| + | |
| + | {| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%" |
| + | | align="left" style="border-left:1px solid black;" width="50%" | |
| + | <math>\mathfrak{C} (\mathfrak{P}) : \text{Grammar 1}\!</math> |
| + | | align="right" style="border-right:1px solid black;" width="50%" | |
| + | <math>\mathfrak{Q} = \varnothing</math> |
| + | |- |
| + | | colspan="2" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" | |
| + | <math>\begin{array}{rcll} |
| + | 1. |
| + | & S |
| + | & :> |
| + | & m_1 \ = \ ^{\backprime\backprime} \operatorname{~} ^{\prime\prime} |
| + | \\ |
| + | 2. |
| + | & S |
| + | & :> |
| + | & p_j, \, \text{for each} \, j \in J |
| + | \\ |
| + | 3. |
| + | & S |
| + | & :> |
| + | & \operatorname{Conc}^0 \ = \ ^{\backprime\backprime\prime\prime} |
| + | \\ |
| + | 4. |
| + | & S |
| + | & :> |
| + | & \operatorname{Surc}^0 \ = \ ^{\backprime\backprime} \, \operatorname{()} \, ^{\prime\prime} |
| + | \\ |
| + | 5. |
| + | & S |
| + | & :> |
| + | & S^* |
| + | \\ |
| + | 6. |
| + | & 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> |
| + | |} |