Difference between revisions of "User:Jon Awbrey/SANDBOX"

MyWikiBiz, Author Your Legacy — Sunday December 29, 2024
Jump to navigationJump to search
Line 44: Line 44:
 
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
 
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
 
| width="20%" | <math>\operatorname{Sentence}</math>
 
| width="20%" | <math>\operatorname{Sentence}</math>
| width="20%" | <math>\xrightarrow{\operatorname{Parse}}</math>
+
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}</math>
 
| width="20%" | <math>\operatorname{Graph}</math>
 
| width="20%" | <math>\operatorname{Graph}</math>
| width="20%" | <math>\xrightarrow{\operatorname{Denotation}}</math>
+
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}</math>
 
| width="20%" | <math>\operatorname{Proposition}</math>
 
| width="20%" | <math>\operatorname{Proposition}</math>
 
|}
 
|}
Line 53: Line 53:
 
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 
| width="20%" | <math>s_j\!</math>
 
| width="20%" | <math>s_j\!</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>C_j\!</math>
 
| width="20%" | <math>C_j\!</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 62: Line 62:
 
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 
| width="20%" | <math>\operatorname{Conc}^0</math>
 
| width="20%" | <math>\operatorname{Conc}^0</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\operatorname{Node}^0</math>
 
| width="20%" | <math>\operatorname{Node}^0</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 68: Line 68:
 
|-
 
|-
 
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
 
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\operatorname{Node}^k_j c_j</math>
 
| width="20%" | <math>\operatorname{Node}^k_j c_j</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 77: Line 77:
 
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 
| width="20%" | <math>\operatorname{Surc}^0</math>
 
| width="20%" | <math>\operatorname{Surc}^0</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\operatorname{Lobe}^0</math>
 
| width="20%" | <math>\operatorname{Lobe}^0</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
Line 83: Line 83:
 
|-
 
|-
 
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
 
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~}}</math>
+
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\operatorname{Lobe}^k_j c_j</math>
 
| width="20%" | <math>\operatorname{Lobe}^k_j c_j</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>

Revision as of 12:28, 22 January 2009

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 Stuff


fixy
u =
v =
1 1 0 0
1 0 1 0
= u
= v
fjuv
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›