Grammar Stuff
Table 12. Algorithmic Translation Rules
o------------------------o---------o------------------------o
| | Parse | |
| Sentence in PARCE | --> | Graph in PARC |
o------------------------o---------o------------------------o
| | | |
| Conc^0 | --> | Node^0 |
| | | |
| Conc^k_j S_j | --> | Node^k_j Parse(S_j) |
| | | |
| Surc^0 | --> | Lobe^0 |
| | | |
| Surc^k_j S_j | --> | Lobe^k_j Parse(S_j) |
| | | |
o------------------------o---------o------------------------o
| \(\text{Sentence in PARCE}\!\)
|
\(\xrightarrow{\operatorname{Parse}}\)
|
\(\text{Graph in PARC}\!\)
|
|
| \(\operatorname{Conc}^0\)
|
\(\xrightarrow{\operatorname{Parse}}\)
|
\(\operatorname{Node}^0\)
| | \(\operatorname{Conc}_{j=1}^k s_j\)
|
\(\xrightarrow{\operatorname{Parse}}\)
|
\(\operatorname{Node}_{j=1}^k \operatorname{Parse} (s_j)\)
|
|
| \(\operatorname{Surc}^0\)
|
\(\xrightarrow{\operatorname{Parse}}\)
|
\(\operatorname{Lobe}^0\)
| | \(\operatorname{Surc}_{j=1}^k s_j\)
|
\(\xrightarrow{\operatorname{Parse}}\)
|
\(\operatorname{Lobe}_{j=1}^k \operatorname{Parse} (s_j)\)
|
|
Table Stuff