MyWikiBiz

Changes

User:Jon Awbrey/Figures and Tables 1 (view source)

Revision as of 19:00, 17 October 2025

4,678 bytes added ,  Yesterday at 19:00
+ Table 14. Semantic Translation • Functional Form + Table 15. Semantic Translation • Equational Form
Line 1: Line 1:  +
==Format Samples==
    +
* <math>\rightsquigarrow</math>
 +
* <math>\leftrightsquigarrow</math>
 +
* <math>\xrightarrow{\mathrm{Parse}}</math>
   −
<math>\xrightarrow{\mathrm{Parse}}</math>
+
==Table 14. Semantic Translation &bull; Functional Form==
   −
<math>\rightsquigarrow</math>
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
 +
|+ style="height:30px" | <math>\text{Table 14. Semantic Translation : Functional Form}</math>
 +
|- style="height:40px; background:ghostwhite"
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:ghostwhite; width:100%"
 +
| width="20%" | <math>\mathrm{Sentence}</math>
 +
| width="20%" | <math>\xrightarrow[\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}]{\mathrm{Parse}}</math>
 +
| width="20%" | <math>\mathrm{Graph}</math>
 +
| width="20%" | <math>\xrightarrow[\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}]{\mathrm{Denotation}}</math>
 +
| width="20%" | <math>\mathrm{Proposition}</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>s_j</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>C_j</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>q_j</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\mathrm{Conc}^0</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>\mathrm{Node}^0</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>1</math>
 +
|-
 +
| width="20%" | <math>\mathrm{Conc}^k_j s_j</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>\mathrm{Node}^k_j C_j</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>\mathrm{Conj}^k_j q_j</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\mathrm{Surc}^0</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>\mathrm{Lobe}^0</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>0</math>
 +
|-
 +
| width="20%" | <math>\mathrm{Surc}^k_j s_j</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>\mathrm{Lobe}^k_j C_j</math>
 +
| width="20%" | <math>\xrightarrow{\mathrm{~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}</math>
 +
| width="20%" | <math>\mathrm{Surj}^k_j q_j</math>
 +
|}
 +
|}
   −
<math>\leftrightsquigarrow</math>
+
==Table 15. Semantic Translation &bull; Equational Form==
 +
 
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
 +
|+ style="height:30px" | <math>\text{Table 15. Semantic Translation : Equational Form}</math>
 +
|- style="height:40px; background:ghostwhite"
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:ghostwhite; width:100%"
 +
| width="20%" | <math>\downharpoonleft \mathrm{Sentence} \downharpoonright</math>
 +
| width="20%" | <math>\stackrel{\mathrm{Parse}}{=}</math>
 +
| width="20%" | <math>\downharpoonleft \mathrm{Graph} \downharpoonright</math>
 +
| width="20%" | <math>\stackrel{\mathrm{Denotation}}{=}</math>
 +
| width="20%" | <math>\mathrm{Proposition}</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\downharpoonleft s_j \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\downharpoonleft C_j \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>q_j</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\downharpoonleft \mathrm{Conc}^0 \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\downharpoonleft \mathrm{Node}^0 \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>1</math>
 +
|-
 +
| width="20%" | <math>\downharpoonleft \mathrm{Conc}^k_j s_j \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\downharpoonleft \mathrm{Node}^k_j C_j \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\mathrm{Conj}^k_j q_j</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" width="100%"
 +
| width="20%" | <math>\downharpoonleft \mathrm{Surc}^0 \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\downharpoonleft \mathrm{Lobe}^0 \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>0</math>
 +
|-
 +
| width="20%" | <math>\downharpoonleft \mathrm{Surc}^k_j s_j \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\downharpoonleft \mathrm{Lobe}^k_j C_j \downharpoonright</math>
 +
| width="20%" | <math>=</math>
 +
| width="20%" | <math>\mathrm{Surj}^k_j q_j</math>
 +
|}
 +
|}
 +
 
 +
<br>
Jon Awbrey
12,117

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/481154"