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