Changes

update work page
Line 1: Line 1: −
==Format Samples==
+
==Format Examples==
    
<ul>
 
<ul>
Line 11: Line 11:  
</ul>
 
</ul>
   −
==Table 13. Algorithmic Translation Rules==
+
==Font Size Examples==
   −
<br>
+
{| 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" ccellpadding="10" 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%"
 
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:60%"
|+ style="height:30px" | <math>\text{Table 13. Algorithmic Translation Rules}</math>
+
|+ style="height:30px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math>
 
|- style="height:40px; background:ghostwhite"
 
|- style="height:40px; background:ghostwhite"
 
|
 
|
Line 50: Line 77:  
<br>
 
<br>
   −
==Table 14. Semantic Translation &bull; Functional Form==
+
==Semantic Translation &bull; Functional Form==
   −
<br>
+
===PNG===
 +
 
 +
===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 108: Line 137:  
<br>
 
<br>
   −
==Table 15. Semantic Translation &bull; Equational Form==
+
==Semantic Translation &bull; Equational Form==
 +
 
 +
===PNG===
   −
<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 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 166: Line 197:  
<br>
 
<br>
   −
==Table 16. Boolean Functions on Zero Variables==
+
==Boolean Functions on Zero Variables==
   −
<br>
+
===PNG===
 +
 
 +
===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 189: Line 222:  
|}
 
|}
   −
<br>
+
==Boolean Functions on One Variable==
   −
==Table 17. Boolean Functions on One Variable==
+
===PNG===
   −
<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 236: Line 269:  
<br>
 
<br>
   −
==Table 18. Boolean Functions on Two Variables==
+
==Boolean Functions on Two Variables==
   −
<br>
+
===PNG===
 +
 
 +
===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,136

edits