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

MyWikiBiz, Author Your Legacy — Saturday November 23, 2024
Jump to navigationJump to search
Line 69: Line 69:
 
| 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>
 
| width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
 
| width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
Line 84: Line 84:
 
| 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>\operatorname{Surj}^k_j q_j</math>
 +
|}
 +
|}
 +
 
 +
<br>
 +
 
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 +
|+ '''Table 14.1  Semantic Translation : Functional Form'''
 +
|- style="background:whitesmoke"
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:whitesmoke; width:100%"
 +
| width="20%" | <math>\operatorname{Sentence}</math>
 +
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}</math>
 +
| width="20%" | <math>\operatorname{Graph}</math>
 +
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}</math>
 +
| width="20%" | <math>\operatorname{Proposition}</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>s_j\!</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>C_j\!</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>q_j\!</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\operatorname{Conc}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Node}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\underline{1}</math>
 +
|-
 +
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Node}^k_j C_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\operatorname{Surc}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Lobe}^0</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\underline{0}</math>
 +
|-
 +
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
 +
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 +
| width="20%" | <math>\operatorname{Lobe}^k_j C_j</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
 
| width="20%" | <math>\operatorname{Surj}^k_j q_j</math>
 
| width="20%" | <math>\operatorname{Surj}^k_j q_j</math>

Revision as of 12:38, 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 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


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›


Retrieved from "https://mywikibiz.com/index.php?title=User:Jon_Awbrey/SANDBOX&oldid=77590"