home *** CD-ROM | disk | FTP | other *** search
/ Oakland CPM Archive / oakcpm.iso / sigm / vol166 / reve.rec < prev    next >
Encoding:
Text File  |  1984-04-29  |  2.1 KB  |  57 lines
  1.  
  2. [REVE.REC]
  3. [reverse a binary string]
  4.  
  5. [a catalytic * appears in front of the string]
  6. [it turns zeroes into a's, ones into b's]
  7. [a's and b's have high priority to drift right across 0's and 1's]
  8. [when there are no more 0's or 1's to turn into a's and b's, the
  9.  * drifts right, restoring a's and b's to their binary equivalents]
  10. [when there are no more a's and b's to restore, * vanishes, process stops]
  11.  
  12. [In a Markov algorithm, only consecutive symbols can be transformed. Thus
  13.  it is very common to find a catalyst, or escort symbol being created at
  14.  the very lowest level of priority. It seeks out certain configurations
  15.  to which it is attuned, often casting them into an alternative alphabet.
  16.  The activated symbols then have a high priority mobility, which allows
  17.  them to pair themselves up with selected counterparts. Once the proper
  18.  pairs or other groupings are in contact, another set of rules can carry
  19.  out the real computation which is the objective of the rule set.]
  20.  
  21. [When a Markov algorithm gets to be quite complicated, several catalysts,
  22.  or cursors, can be active. Alternative alphabets provide the equivalent
  23.  of subroutines, since a group of rules will only respond to letters from
  24.  its own alphabet. Likewise the ordering of the rules, by giving each of
  25.  them its own relative priority, has an important bearing on the way in
  26.  which the algorithm is executed.]
  27.  
  28. [[]]
  29.  
  30. {
  31.   [cr,lf]            (2573TL;)&
  32.   [read phrase]         (R13%='';T08%(=2080[sp,bs]TL)(@J|;L@J;);)J
  33.   [sign-on line]        ('This algorithm will reverse a binary string. Type a
  34. sequence of 0`s or 1`s, followed by a carriage return.
  35.  
  36.             111000110010
  37.  
  38. With each successive keystroke, an additional step in
  39. the execution of the algorithm will be shown.
  40. 'TL@&'Initial Axiom:'TL@&@JI;:)R
  41.   [write workspace]        (JZqt;)W
  42.   [final statement]        (@&'Production:'TL@&JZqt;)X
  43.                 (@R(@&@WRL
  44.  
  45. [a passes 0]            'a0'FD'0a'I:
  46. [a passes 1]            'a1'FD'1a'I:
  47. [b passes 0]            'b0'FD'0b'I:
  48. [b passes 1]            'b1'FD'1b'I:
  49. [* turns 0 into a]        '*0'FD'*a'I:
  50. [* turns 1 into b]        '*1'FD'*b'I:
  51. [* crosses a, leaves 0]        '*a'FD'0*'I:
  52. [* crosses b, leaves 1]        '*b'FD'1*'I:
  53. [* finally disappears]        '*'FD''I;
  54. [create * as catalyzer]        ''FD'*'I:;;)@X;;)}
  55.  
  56. [end]
  57.