Lines Matching refs:cell
19 Each cell is either 0,1 or Blank
22 Head is said to 'scan' the cell it is currently over
23 At time 0 the cell the head is over is called the start cell
24 At time 0 every cell is Blank except
25 a finite congituous sequence from the strat cell to the right, containing only 0' and 1's
29 We can write A = {0,1,B} in the cell being scanned
65 val _ = Datatype `cell = Z | O `;
68 prog : ((num # cell) |-> (num # action));
69 tape_l : cell list;
70 tape_h : cell;
71 tape_r : cell list