MyWikiBiz, Author Your Legacy — Sunday November 02, 2025
Jump to navigationJump to search
350 bytes added
, 22:30, 19 January 2009
| 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.
| |
| − | |
| |
| | |} | | |} |
| | |} | | |} |