Line 19: |
Line 19: |
| </pre> | | </pre> |
| | | |
− | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%" | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%" |
| + | |- |
| + | | |
| + | {| align="center" border="0" cellpadding="8" cellspacing="0" width:100%" |
| + | | <math>\operatorname{Conc}^0</math> |
| + | | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> |
| + | | <math>\operatorname{Node}^0</math> |
| + | |} |
| + | |- |
| | | | | |
− | {| align="center" border="0" cellpadding="8" cellspacing="0" style="text-align:center; width:96%" | + | {| align="center" border="0" cellpadding="8" cellspacing="0" width:100%" |
− | |
| + | | <math>\operatorname{Conc}^0</math> |
− | | From
| + | | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> |
− | | <math>(A)\!</math> | + | | <math>\operatorname{Node}^0</math> |
− | | and | |
− | | <math>(\operatorname{d}A)\!</math> | |
− | | infer
| |
− | | <math>(A)\!</math> | |
− | | next.
| |
− | |
| |
| |- | | |- |
− | |
| + | | <math>\operatorname{Conc}^0</math> |
− | | From
| + | | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> |
− | | <math>(A)\!</math> | + | | <math>\operatorname{Node}^0</math> |
− | | and | + | |} |
− | | <math>\operatorname{d}A\!</math> | |
− | | infer
| |
− | | <math>A\!</math> | |
− | | next. | |
− | |
| |
| |- | | |- |
− | | | + | | |
− | | From | + | {| align="center" border="0" cellpadding="8" cellspacing="0" width:100%" |
− | | <math>A\!</math> | + | | <math>\operatorname{Conc}^0</math> |
− | | and | + | | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> |
− | | <math>(\operatorname{d}A)\!</math> | + | | <math>\operatorname{Node}^0</math> |
− | | infer
| |
− | | <math>A\!</math> | |
− | | next.
| |
− | |
| |
| |- | | |- |
− | |
| + | | <math>\operatorname{Conc}^0</math> |
− | | From
| + | | align="center" | <math>\xrightarrow{\operatorname{Parse}}</math> |
− | | <math>A\!</math> | + | | <math>\operatorname{Node}^0</math> |
− | | and | |
− | | <math>\operatorname{d}A\!</math> | |
− | | infer
| |
− | | <math>(A)\!</math> | |
− | | next.
| |
− | |
| |
| |} | | |} |
| |} | | |} |