Line 1: |
Line 1: |
| {{DISPLAYTITLE:Theme One Program : Exposition}} | | {{DISPLAYTITLE:Theme One Program : Exposition}} |
| + | |
| + | ==Expository Note 1== |
| | | |
| <pre> | | <pre> |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− |
| |
− | TOP. Theme One Program -- Exposition
| |
− |
| |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− |
| |
− | TOP. Expository Note 1
| |
− |
| |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− |
| |
| Theme One Program Exposition | | Theme One Program Exposition |
| | | |
Line 103: |
Line 95: |
| particular varieties and the specific variants of cactoid graphs | | particular varieties and the specific variants of cactoid graphs |
| that constitute the main formal media of the program's operation. | | that constitute the main formal media of the program's operation. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 2== |
− | | |
− | TOP. Expository Note 2
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 2. Painted And Rooted Cacti And Conifers | | 2. Painted And Rooted Cacti And Conifers |
| | | |
Line 175: |
Line 165: |
| of identifiers, the "paints", plus three punctuation marks, | | of identifiers, the "paints", plus three punctuation marks, |
| the left parenthesis, the comma, and the right parenthesis. | | the left parenthesis, the comma, and the right parenthesis. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 3== |
− | | |
− | TOP. Expository Note 3
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 2. Painted And Rooted Cacti And Conifers (cont.) | | 2. Painted And Rooted Cacti And Conifers (cont.) |
| | | |
Line 230: |
Line 218: |
| PERS. http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391 | | PERS. http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391 |
| PERS. http://forum.wolframscience.com/showthread.php?threadid=297 | | PERS. http://forum.wolframscience.com/showthread.php?threadid=297 |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 4== |
− | | |
− | TOP. Expository Note 4
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 2. Painted And Rooted Cacti And Conifers (concl.) | | 2. Painted And Rooted Cacti And Conifers (concl.) |
| | | |
Line 320: |
Line 306: |
| but it cannot be segmented, that is, the 'by'-cycle corresponding to the | | but it cannot be segmented, that is, the 'by'-cycle corresponding to the |
| root node can bear no commas. | | root node can bear no commas. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 5== |
− | | |
− | TOP. Expository Note 5
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3. Lexical, Literal, Logical | | 3. Lexical, Literal, Logical |
| | | |
Line 350: |
Line 334: |
| of cactus graphs we have a bit more to do in the way of detailing their | | of cactus graphs we have a bit more to do in the way of detailing their |
| syntactic utilities. So those are the matters that I will turn to next. | | syntactic utilities. So those are the matters that I will turn to next. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 6== |
− | | |
− | TOP. Expository Note 6
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.1. Lexical Cacti | | 3.1. Lexical Cacti |
| | | |
Line 402: |
Line 384: |
| the left and right parentheses, and the period, as these latter | | the left and right parentheses, and the period, as these latter |
| marks are reserved to special purposes by the Theme One program. | | marks are reserved to special purposes by the Theme One program. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 7== |
− | | |
− | TOP. Expository Note 7
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.1. Lexical Cacti (cont.) | | 3.1. Lexical Cacti (cont.) |
| | | |
Line 479: |
Line 459: |
| | | |
| Figure 5. Concrete Lexical Cactus: am | | Figure 5. Concrete Lexical Cactus: am |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 8== |
− | | |
− | TOP. Expository Note 8
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.1. Lexical Cacti (cont.) | | 3.1. Lexical Cacti (cont.) |
| | | |
Line 587: |
Line 565: |
| | | |
| Figure 6. Lexical Cactus: all bees buzz | | Figure 6. Lexical Cactus: all bees buzz |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 9== |
− | | |
− | TOP. Expository Note 9
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.1. Lexical Cacti (cont.) | | 3.1. Lexical Cacti (cont.) |
| | | |
Line 683: |
Line 659: |
| to view these for now as a form of "parity checks", or a built-in | | to view these for now as a form of "parity checks", or a built-in |
| redundancy for controlling potential errors in coding the data. | | redundancy for controlling potential errors in coding the data. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 10== |
− | | |
− | TOP. Expository Note 10
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.1. Lexical Cacti (concl.) | | 3.1. Lexical Cacti (concl.) |
| | | |
Line 883: |
Line 857: |
| | | |
| Figure 9. Making a Big Point of a Prefix Word | | Figure 9. Making a Big Point of a Prefix Word |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 11== |
− | | |
− | TOP. Expository Note 11
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.2. Literal Cacti | | 3.2. Literal Cacti |
| | | |
Line 1,068: |
Line 1,040: |
| | | |
| Figure 11. Lexical Cactus + Literal Cactus: am | | Figure 11. Lexical Cactus + Literal Cactus: am |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 12== |
− | | |
− | TOP. Expository Note 12
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.2. Literal Cacti (concl.) | | 3.2. Literal Cacti (concl.) |
| | | |
Line 1,209: |
Line 1,179: |
| that we need to get back to logical cacti, and that amounts to such | | that we need to get back to logical cacti, and that amounts to such |
| a compelling subject that I cannot resist returning to it at once. | | a compelling subject that I cannot resist returning to it at once. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 13== |
− | | |
− | TOP. Expository Note 13
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.3. Logical Cacti | | 3.3. Logical Cacti |
| | | |
Line 1,443: |
Line 1,411: |
| | | | | | | | | | | | | |
| o----o-------------------o-------------------o-------------------o | | o----o-------------------o-------------------o-------------------o |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 14== |
− | | |
− | TOP. Expository Note 14
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.3. Logical Cacti (cont.) | | 3.3. Logical Cacti (cont.) |
| | | |
Line 1,568: |
Line 1,534: |
| with a few hints of what it would take to | | with a few hints of what it would take to |
| guarantee that these practices make sense. | | guarantee that these practices make sense. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 15== |
− | | |
− | TOP. Expository Note 15
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.3. Logical Cacti (cont.) | | 3.3. Logical Cacti (cont.) |
| | | |
Line 1,654: |
Line 1,618: |
| arises in the case of logical cacti, | | arises in the case of logical cacti, |
| so let us now turn to consider that. | | so let us now turn to consider that. |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 16== |
− | | |
− | TOP. Expository Note 16
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.3.1. Bare Cacti and Their Arithmetic | | 3.3.1. Bare Cacti and Their Arithmetic |
| | | |
Line 1,813: |
Line 1,775: |
| | Rule I_4` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | | | Rule I_4` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | |
| o-----------------------------------------------------------o | | o-----------------------------------------------------------o |
| + | </pre> |
| | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| + | ==Expository Note 17== |
− | | |
− | TOP. Expository Note 17
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
| | | |
| + | <pre> |
| 3.3.1. Bare Cacti and Their Arithmetic (cont.) | | 3.3.1. Bare Cacti and Their Arithmetic (cont.) |
| + | </pre> |
| | | |
| + | ==Work Area== |
| | | |
− | | + | <pre> |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− | | |
− | Work Area
| |
− | | |
− | o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
| |
− | | |
| Example 1. Painted And Rooted Cactus. | | Example 1. Painted And Rooted Cactus. |
| | | |