12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday November 24, 2024
Jump to navigationJump to searchUser:Jon Awbrey/SANDBOX (view source)
Revision as of 13:00, 22 January 2009
, 13:00, 22 January 2009→Grammar Stuff
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
|+ '''Table 14.1 Semantic Translation : Functional Form'''
|+ '''Table 14.2 Semantic Translation : Equational Form'''
|- style="background:whitesmoke"
|- style="background:whitesmoke"
|
|
{| 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>\downharpoonleft \operatorname{Sentence} \downharpoonright</math>
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Parse}}</math>
| width="20%" | <math>\stackrel{\operatorname{Parse}}{=}</math>
| width="20%" | <math>\operatorname{Graph}</math>
| width="20%" | <math>\downharpoonleft \operatorname{Graph} \downharpoonright</math>
| width="20%" | <math>\xrightarrow[\operatorname{~~~~~~~~~~}]{\operatorname{Denotation}}</math>
| width="20%" | <math>\stackrel{\operatorname{Denotation}}{=}</math>
| width="20%" | <math>\operatorname{Proposition}</math>
| width="20%" | <math>\operatorname{Proposition}</math>
|}
|}
|
|
{| 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>\downharpoonleft s_j \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>C_j\!</math>
| width="20%" | <math>\downharpoonleft C_j \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>q_j\!</math>
| width="20%" | <math>q_j\!</math>
|}
|}
|
|
{| 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>\downharpoonleft \operatorname{Conc}^0 \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\operatorname{Node}^0</math>
| width="20%" | <math>\downharpoonleft \operatorname{Node}^0 \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\underline{1}</math>
| width="20%" | <math>\underline{1}</math>
|-
|-
| width="20%" | <math>\operatorname{Conc}^k_j s_j</math>
| width="20%" | <math>\downharpoonleft \operatorname{Conc}^k_j s_j \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\operatorname{Node}^k_j C_j</math>
| width="20%" | <math>\downharpoonleft \operatorname{Node}^k_j C_j \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
| width="20%" | <math>\operatorname{Conj}^k_j q_j</math>
|}
|}
|
|
{| 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>\downharpoonleft \operatorname{Surc}^0 \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\operatorname{Lobe}^0</math>
| width="20%" | <math>\downharpoonleft \operatorname{Lobe}^0 \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\underline{0}</math>
| width="20%" | <math>\underline{0}</math>
|-
|-
| width="20%" | <math>\operatorname{Surc}^k_j s_j</math>
| width="20%" | <math>\downharpoonleft \operatorname{Surc}^k_j s_j \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\operatorname{Lobe}^k_j C_j</math>
| width="20%" | <math>\downharpoonleft \operatorname{Lobe}^k_j C_j \downharpoonright</math>
| width="20%" | <math>\xrightarrow{\operatorname{~~~~~~~~~~}}</math>
| width="20%" | <math>=\!</math>
| width="20%" | <math>\operatorname{Surj}^k_j q_j</math>
| width="20%" | <math>\operatorname{Surj}^k_j q_j</math>
|}
|}
