| 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 • Functional Form== | + | ==Semantic Translation • 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> • <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 • Equational Form== | + | ==Semantic Translation • 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> • <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> |