home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 8 Other / 08-Other.zip / TURING.ZIP / SUB.TUR < prev    next >
Text File  |  1990-05-06  |  907b  |  24 lines
  1. NAME            Real Subtraction
  2. TRACKS          1
  3. STATES          7
  4. MEMORY          0
  5. SIGMA           0,1
  6. GAMMA           0,1,
  7. FINAL           6
  8. TRANSACTIONS    [0],[0]     =       [1],[],R
  9.                 [0],[1]     =       [5],[],R
  10.                 [1],[0]     =       [1],[0],R
  11.                 [1],[1]     =       [2],[1],R
  12.                 [2],[1]     =       [2],[1],R
  13.                 [2],[0]     =       [3],[1],L
  14.                 [2],[]     =       [4],[],L
  15.                 [3],[0]     =       [3],[0],L
  16.                 [3],[1]     =       [3],[1],L
  17.                 [3],[]     =       [0],[],R
  18.                 [4],[1]     =       [4],[],L
  19.                 [4],[0]     =       [4],[0],L
  20.                 [4],[]     =       [6],[0],R
  21.                 [5],[0]     =       [5],[],R
  22.                 [5],[1]     =       [5],[],R
  23.                 [5],[]     =       [6],[],R
  24.