User:Jon Awbrey/SANDBOX

Grammar Stuff

Table 13. Algorithmic Translation Rules

\(\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 14.1 Semantic Translation : Functional Form

\(\operatorname{Sentence}\) \(\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}\) \(\operatorname{Graph}\) \(\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}\) \(\operatorname{Proposition}\)

\(s_j\!\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(C_j\!\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(q_j\!\)

\(\operatorname{Conc}^0\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\operatorname{Node}^0\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\underline{1}\) \(\operatorname{Conc}^k_j s_j\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\operatorname{Node}^k_j C_j\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\operatorname{Conj}^k_j q_j\)

\(\operatorname{Surc}^0\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\operatorname{Lobe}^0\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\underline{0}\) \(\operatorname{Surc}^k_j s_j\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\operatorname{Lobe}^k_j C_j\) \(\xrightarrow{\operatorname{~~~~~~~~~~}}\) \(\operatorname{Surj}^k_j q_j\)

Table 14.2 Semantic Translation : Equational Form

\(\downharpoonleft \operatorname{Sentence} \downharpoonright\) \(\stackrel{\operatorname{Parse}}{=}\) \(\downharpoonleft \operatorname{Graph} \downharpoonright\) \(\stackrel{\operatorname{Denotation}}{=}\) \(\operatorname{Proposition}\)

\(\downharpoonleft s_j \downharpoonright\) \(=\!\) \(\downharpoonleft C_j \downharpoonright\) \(=\!\) \(q_j\!\)

\(\downharpoonleft \operatorname{Conc}^0 \downharpoonright\) \(=\!\) \(\downharpoonleft \operatorname{Node}^0 \downharpoonright\) \(=\!\) \(\underline{1}\) \(\downharpoonleft \operatorname{Conc}^k_j s_j \downharpoonright\) \(=\!\) \(\downharpoonleft \operatorname{Node}^k_j C_j \downharpoonright\) \(=\!\) \(\operatorname{Conj}^k_j q_j\)

\(\downharpoonleft \operatorname{Surc}^0 \downharpoonright\) \(=\!\) \(\downharpoonleft \operatorname{Lobe}^0 \downharpoonright\) \(=\!\) \(\underline{0}\) \(\downharpoonleft \operatorname{Surc}^k_j s_j \downharpoonright\) \(=\!\) \(\downharpoonleft \operatorname{Lobe}^k_j C_j \downharpoonright\) \(=\!\) \(\operatorname{Surj}^k_j q_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›