Difference between revisions of "User:Jon Awbrey/SANDBOX"
MyWikiBiz, Author Your Legacy — Saturday November 23, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) |
||
Line 2: | Line 2: | ||
<pre> | <pre> | ||
− | + | 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 | |
− | |||
− | |||
</pre> | </pre> | ||
− | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%" | |
− | + | | | |
− | + | {| align="center" border="0" cellpadding="8" cellspacing="0" style="text-align:center; width:96%" | |
− | + | | | |
− | + | | From | |
− | + | | <math>(A)\!</math> | |
− | + | | and | |
− | + | | <math>(\operatorname{d}A)\!</math> | |
− | + | | infer | |
− | + | | <math>(A)\!</math> | |
− | + | | next. | |
− | + | | | |
− | + | |- | |
− | + | | | |
− | + | | From | |
− | + | | <math>(A)\!</math> | |
− | + | | and | |
− | + | | <math>\operatorname{d}A\!</math> | |
− | + | | infer | |
− | + | | <math>A\!</math> | |
− | + | | next. | |
− | + | | | |
− | + | |- | |
− | + | | | |
− | + | | From | |
− | + | | <math>A\!</math> | |
− | + | | and | |
+ | | <math>(\operatorname{d}A)\!</math> | ||
+ | | infer | ||
+ | | <math>A\!</math> | ||
+ | | next. | ||
+ | | | ||
+ | |- | ||
+ | | | ||
+ | | From | ||
+ | | <math>A\!</math> | ||
+ | | and | ||
+ | | <math>\operatorname{d}A\!</math> | ||
+ | | infer | ||
+ | | <math>(A)\!</math> | ||
+ | | next. | ||
+ | | | ||
+ | |} | ||
+ | |} | ||
==Table Stuff== | ==Table Stuff== |
Revision as of 22:14, 19 January 2009
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
|
Table Stuff
fi‹x, y› |
|
|
|
fj‹u, v› | ||||||
|
|
|
A |
|
|
|
B | ||||||
|
|
|
|
|
| ||||||
|
|
|
|
|
|