MyWikiBiz, Author Your Legacy — Thursday November 07, 2024
Jump to navigationJump to search
1,174 bytes added
, 13:02, 4 January 2009
Line 227: |
Line 227: |
| ==Box Displays== | | ==Box Displays== |
| | | |
− | {| align="center" cellpadding="10" cellspacing="0" width="90%" | + | <br> |
| + | |
| + | {| align="center" cellpadding="12" cellspacing="0" width="90%" |
| |- | | |- |
| | width="90%" style="border-top:1px solid black; border-left:1px solid black;" | | | | width="90%" style="border-top:1px solid black; border-left:1px solid black;" | |
Line 234: |
Line 236: |
| <math>\mathfrak{Q} = \emptyset</math> | | <math>\mathfrak{Q} = \emptyset</math> |
| |- | | |- |
− | | colspan="2" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black;" | | + | | 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}{llll} |
| + | 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> |
| + | |} |
| + | |
| + | <br> |
| + | |
| + | {| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%" |
| + | | align="left" style="border-left:1px solid black;" width="33%" | |
| + | <math>\mathfrak{C} (\mathfrak{P})</math> |
| + | | align="center" | |
| + | <math>\text{Grammar 1}\!</math> |
| + | | align="right" style="border-right:1px solid black;" width="33%" | |
| + | <math>\mathfrak{Q} = \emptyset</math> |
| + | |- |
| + | | colspan="3" style="border-top:1px solid black; border-bottom:1px solid black; border-left:1px solid black; border-right:1px solid black" | |
| <math>\begin{array}{llll} | | <math>\begin{array}{llll} |
| 1. & S & :> & m_1 \ = \ ^{\backprime\backprime} \operatorname{~} ^{\prime\prime} \\ | | 1. & S & :> & m_1 \ = \ ^{\backprime\backprime} \operatorname{~} ^{\prime\prime} \\ |