Changes

segment text
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.
  
12,080

edits