Changes

MyWikiBiz, Author Your Legacy — Friday January 23, 2026
Jump to navigationJump to search
Line 1: Line 1: −
==Format Samples==
+
==Format Examples==
    
<ul>
 
<ul>
Line 11: Line 11:  
</ul>
 
</ul>
   −
==Table 14. Semantic Translation &bull; Functional Form==
+
==Font Size Examples==
 +
 
 +
{| align="center" cellpadding="10" cellspacing="0"
 +
| align="left" width="20%" | Medium
 +
| align="center" style="font-size:medium" | <math>\text{Algorithmic Translation Rules}</math>
 +
|-
 +
| Larger
 +
| align="center" style="font-size:larger" | <math>\text{Algorithmic Translation Rules}</math>
 +
|-
 +
| 125%
 +
| align="center" style="font-size:125%" | <math>\text{Algorithmic Translation Rules}</math>
 +
|-
 +
| Large
 +
| align="center" style="font-size:large" | <math>\text{Algorithmic Translation Rules}</math>
 +
|-
 +
| 150%
 +
| align="center" style="font-size:150%" | <math>\text{Algorithmic Translation Rules}</math>
 +
|}
 +
 
 +
==Algorithmic Translation Rules==
 +
 
 +
===PNG===
 +
 
 +
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 +
| style="height:25px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math>
 +
|-
 +
| [[File:Cactus Language Algorithmic Translation Rules.png|600px]]
 +
|}
 +
 
 +
===LaTeX===
 +
 
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
 +
|+ style="height:30px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math>
 +
|- style="height:40px; background:ghostwhite"
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:ghostwhite; text-align:center; width:100%"
 +
| width="33%" | <math>\text{Sentence in PARCE}</math>
 +
| width="33%" | <math>\xrightarrow{\mathrm{Parse}}</math>
 +
| width="33%" | <math>\text{Graph in PARC}</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="text-align:center; width:100%"
 +
| width="33%" | <math>\mathrm{Conc}^0</math>
 +
| width="33%" | <math>\xrightarrow{\mathrm{Parse}}</math>
 +
| width="33%" | <math>\mathrm{Node}^0</math>
 +
|-
 +
| width="33%" | <math>\mathrm{Conc}_{j=1}^k s_j</math>
 +
| width="33%" | <math>\xrightarrow{\mathrm{Parse}}</math>
 +
| width="33%" | <math>\mathrm{Node}_{j=1}^k \mathrm{Parse} (s_j)</math>
 +
|}
 +
|-
 +
|
 +
{| align="center" border="0" cellpadding="8" cellspacing="0" style="text-align:center; width:100%"
 +
| width="33%" | <math>\mathrm{Surc}^0</math>
 +
| width="33%" | <math>\xrightarrow{\mathrm{Parse}}</math>
 +
| width="33%" | <math>\mathrm{Lobe}^0</math>
 +
|-
 +
| width="33%" | <math>\mathrm{Surc}_{j=1}^k s_j</math>
 +
| width="33%" | <math>\xrightarrow{\mathrm{Parse}}</math>
 +
| width="33%" | <math>\mathrm{Lobe}_{j=1}^k \mathrm{Parse} (s_j)</math>
 +
|}
 +
|}
    
<br>
 
<br>
 +
 +
==Semantic Translation &bull; Functional Form==
 +
 +
===PNG===
 +
 +
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 +
| style="height:25px; font-size:large" | <math>\text{Semantic Translation}</math> &bull; <math>\text{Functional Form}</math>
 +
|-
 +
| [[File:Cactus Language Semantic Translation Functional Form.png|600px]]
 +
|}
 +
 +
===LaTeX===
    
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
 
{| 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:30px; font-size:large" | <math>\text{Semantic Translation}</math> &bull; <math>\text{Functional Form}</math>
 
|- style="height:40px; background:ghostwhite"
 
|- style="height:40px; background:ghostwhite"
 
|
 
|
Line 69: Line 143:  
<br>
 
<br>
   −
==Table 15. Semantic Translation &bull; Equational Form==
+
==Semantic Translation &bull; Equational Form==
   −
<br>
+
===PNG===
 +
 
 +
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 +
| style="height:25px; font-size:large" | <math>\text{Semantic Translation}</math> &bull; <math>\text{Equational Form}</math>
 +
|-
 +
| [[File:Cactus Language Semantic Translation Equational Form.png|600px]]
 +
|}
 +
 
 +
===LaTeX===
    
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
 
{| 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:30px; font-size:large" | <math>\text{Semantic Translation}</math> &bull; <math>\text{Equational Form}</math>
 
|- style="height:40px; background:ghostwhite"
 
|- style="height:40px; background:ghostwhite"
 
|
 
|
Line 127: Line 209:  
<br>
 
<br>
   −
==Table 16. Boolean Functions on Zero Variables==
+
==Boolean Functions on Zero Variables==
 +
 
 +
===PNG===
 +
 
 +
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 +
|+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on Zero Variables}</math>
 +
|-
 +
| [[File:Boolean Functions on Zero Variables &bull; Truth Table.png|600px]]
 +
|}
   −
<br>
+
===LaTeX===
    
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
 
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
|+ style="height:30px" | <math>\text{Table 16. Boolean Functions on Zero Variables}</math>
+
|+ style="height:30px; font-size:large" | <math>\text{Boolean Functions on Zero Variables}</math>
 
|- style="height:40px; background:ghostwhite"
 
|- style="height:40px; background:ghostwhite"
 
| width="14%" | <math>F</math>
 
| width="14%" | <math>F</math>
Line 150: Line 240:  
|}
 
|}
   −
<br>
+
==Boolean Functions on One Variable==
 +
 
 +
===PNG===
   −
==Table 17. Boolean Functions on One Variable==
+
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 +
|+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on One Variable}</math>
 +
|-
 +
| [[File:Boolean Functions on One Variable &bull; Truth Table.png|600px]]
 +
|}
   −
<br>
+
===LaTeX===
    
{| align="center" border="1" cellpadding="6" cellspacing="0" style="text-align:center; width:60%"
 
{| align="center" border="1" cellpadding="6" cellspacing="0" style="text-align:center; width:60%"
|+ style="height:30px" | <math>\text{Table 17. Boolean Functions on One Variable}</math>
+
|+ style="height:30px; font-size:large" | <math>\text{Boolean Functions on One Variable}</math>
 
|- style="height:40px; background:ghostwhite"
 
|- style="height:40px; background:ghostwhite"
 
| width="14%" | <math>F</math>
 
| width="14%" | <math>F</math>
Line 197: Line 293:  
<br>
 
<br>
   −
==Table 18. Boolean Functions on Two Variables==
+
==Boolean Functions on Two Variables==
 +
 
 +
===PNG===
 +
 
 +
{| align="center" cellpadding="0" cellspacing="0" style="text-align:center"
 +
|+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on Two Variables}</math>
 +
|-
 +
| [[File:Boolean Functions on Two Variables &bull; Truth Table.png|600px]]
 +
|}
   −
<br>
+
===LaTeX===
    
{| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:60%"
 
{| align="center" border="1" cellpadding="4" cellspacing="0" style="text-align:center; width:60%"
|+ style="height:30px" | <math>\text{Table 18. Boolean Functions on Two Variables}</math>
+
|+ style="height:30px; font-size:large" | <math>\text{Boolean Functions on Two Variables}</math>
 
|- style="height:40px; background:ghostwhite"
 
|- style="height:40px; background:ghostwhite"
 
| width="14%" | <math>F</math>
 
| width="14%" | <math>F</math>
12,187

edits

Navigation menu