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
|
|
From
|
\((A)\!\)
|
and
|
\((\operatorname{d}A)\!\)
|
infer
|
\((A)\!\)
|
next.
|
|
|
|
From
|
\((A)\!\)
|
and
|
\(\operatorname{d}A\!\)
|
infer
|
\(A\!\)
|
next.
|
|
|
|
From
|
\(A\!\)
|
and
|
\((\operatorname{d}A)\!\)
|
infer
|
\(A\!\)
|
next.
|
|
|
|
From
|
\(A\!\)
|
and
|
\(\operatorname{d}A\!\)
|
infer
|
\((A)\!\)
|
next.
|
|
|
Table Stuff
