Changes

MyWikiBiz, Author Your Legacy — Wednesday January 01, 2025
Jump to navigationJump to search
97 bytes added ,  19:13, 1 September 2010
re-shape outline to match new version
Line 7,149: Line 7,149:  
</pre>
 
</pre>
   −
=====1.3.10.8.  The Cactus Patch=====
+
====1.3.11.  The Cactus Patch====
    
<pre>
 
<pre>
Line 7,297: Line 7,297:  
</pre>
 
</pre>
   −
=====1.3.10.9.  The Cactus Language : Syntax=====
+
=====1.3.11.1.  The Cactus Language : Syntax=====
    
<pre>
 
<pre>
Line 8,611: Line 8,611:  
</pre>
 
</pre>
   −
=====1.3.10.10.  The Cactus Language : Stylistics=====
+
=====1.3.11.2.  Generalities About Formal Grammars=====
 +
 
 +
=====1.3.11.3.  The Cactus Language : Stylistics=====
    
<pre>
 
<pre>
Line 9,297: Line 9,299:  
</pre>
 
</pre>
   −
=====1.3.10.11.  The Cactus Language : Mechanics=====
+
=====1.3.11.4.  The Cactus Language : Mechanics=====
    
<pre>
 
<pre>
Line 9,510: Line 9,512:  
</pre>
 
</pre>
   −
=====1.3.10.12.  The Cactus Language : Semantics=====
+
=====1.3.11.5.  The Cactus Language : Semantics=====
    
<pre>
 
<pre>
Line 9,948: Line 9,950:  
</pre>
 
</pre>
   −
=====1.3.10.13.  Stretching Exercises=====
+
=====1.3.11.6.  Stretching Exercises=====
    
<pre>
 
<pre>
Line 10,142: Line 10,144:  
</pre>
 
</pre>
   −
=====1.3.10.14.  Syntactic Transformations=====
+
====1.3.12.  Syntactic Transformations====
    
We have been examining several distinct but closely related notions of indication.  To discuss the import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among their roughly parallel arrays of conceptions and constructions.  Facilitating this task, in turn, requires a number of auxiliary concepts and notations.
 
We have been examining several distinct but closely related notions of indication.  To discuss the import of these ideas in greater depth, it serves to establish a number of logical relations and set-theoretic identities that can be found to hold among their roughly parallel arrays of conceptions and constructions.  Facilitating this task, in turn, requires a number of auxiliary concepts and notations.
Line 10,153: Line 10,155:     
Correspondingly, one way to explain the relationships that exist among the various notions of indication is to describe the translations that they
 
Correspondingly, one way to explain the relationships that exist among the various notions of indication is to describe the translations that they
induce among the associated families of notation.  A good way to summarize the necessary translations between different styles of indication, and along the way to organize their use in practice, is by means of the "rules of syntactic transformation" (ROSTs) that partially formalize the translations in question.
+
induce among the associated families of notation.
 +
 
 +
=====1.3.12.1Syntactic Transformation Rules=====
 +
 
 +
A good way to summarize the necessary translations between different styles of indication, and along the way to organize their use in practice, is by means of the "rules of syntactic transformation" (ROSTs) that partially formalize the translations in question.
    
Rudimentary examples of ROSTs are readily mined from the raw materials that are already available in this area of discussion.  To begin as near the beginning as possible, let the definition of an indicator function be recorded in the following form:
 
Rudimentary examples of ROSTs are readily mined from the raw materials that are already available in this area of discussion.  To begin as near the beginning as possible, let the definition of an indicator function be recorded in the following form:
12,080

edits

Navigation menu