Changes

MyWikiBiz, Author Your Legacy — Saturday November 23, 2024
Jump to navigationJump to search
268 bytes removed ,  15:34, 28 May 2007
Line 10,178: Line 10,178:     
Which was to be shown.
 
Which was to be shown.
 +
</pre>
   −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+
=====1.3.10.14.  Syntactic Transformations=====
 
  −
IDS.  Note 174
  −
 
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
  −
 
  −
1.3.10.14.  Syntactic Transformations
      +
<pre>
 
We have been examining several distinct but closely related
 
We have been examining several distinct but closely related
 
notions of indication.  To discuss the import of these ideas
 
notions of indication.  To discuss the import of these ideas
Line 10,206: Line 10,202:  
is by means of the "rules of syntactic transformation" (ROST's)
 
is by means of the "rules of syntactic transformation" (ROST's)
 
that partially formalize the translations in question.
 
that partially formalize the translations in question.
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
  −
  −
IDS.  Note 175
  −
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
  −
  −
1.3.10.14.  Syntactic Transformations (cont.)
      
Rudimentary examples of ROST's are readily mined from the
 
Rudimentary examples of ROST's are readily mined from the
12,080

edits

Navigation menu