User:Jon Awbrey/SANDBOX

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

fi‹x, y›	u = v =	1 1 0 0 1 0 1 0	= u = v	fj‹u, v›
	x = y =	1 1 1 0 1 0 0 1	= f‹u, v› = g‹u, v›

A	u = v =	1 1 0 0 1 0 1 0	= u = v	B
	x = y =	1 1 1 0 1 0 0 1	= f‹u, v› = g‹u, v›

u = v =	1 1 0 0 1 0 1 0	= u = v
x = y =	1 1 1 0 1 0 0 1	= f‹u, v› = g‹u, v›

u = v = x = y =

1 1 0 0 1 0 1 0 1 1 1 0 1 0 0 1

= u = v = f‹u, v› = g‹u, v›