3-state 3-symbol TM #e of G. Lafitte & C. Papazian

Comment: This TM produces 2,950,149 nonzeros in 4,144,465,135,614 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A B1R Z2L C2L 1 right B 2 left Z 2 left C
B C1L B2R B1L 1 left C 2 right B 1 left B
C A1L C2R A2L 1 left A 2 right C 2 left A
Transition table
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <C 1
     3     1  2 C> 1
     4     2  2 2 C>
     5     1  2 2 <A 1
     6     0  2 <C 2 1
     7    -1  <A 2 2 1
     8     0  1 B> 2 2 1
     9    -1  1 <B 1 2 1
    10     0  2 B> 1 2 1
    11     1  2 2 B> 2 1
    12     0  2 2 <B 1 1
+   14    -2  <B 14
    15    -3  <C 15
    16    -4  <A 16
    17    -3  1 B> 16
+   23     3  1 26 B>
    24     2  1 26 <C 1
    25     1  1 25 <A 2 1
    26     0  1 24 <C 2 2 1
    27    -1  1 23 <A 23 1
    28    -2  1 2 2 <C 24 1
    29    -3  1 2 <A 25 1
    30    -4  1 <C 26 1
    31    -3  2 C> 26 1
    32    -4  2 <A 26 1
    33    -5  <C 27 1
    34    -6  <A 1 27 1
    35    -5  1 B> 1 27 1
    36    -4  1 2 B> 27 1
    37    -5  1 2 <B 1 26 1
    38    -6  1 <B 1 1 26 1
    39    -5  2 B> 1 1 26 1
+   41    -3  23 B> 26 1
    42    -4  23 <B 1 25 1
+   45    -7  <B 14 25 1
    46    -8  <C 15 25 1
    47    -9  <A 16 25 1
    48    -8  1 B> 16 25 1
+   54    -2  1 26 B> 25 1
    55    -3  1 26 <B 1 24 1
+   61    -9  1 <B 17 24 1
    62    -8  2 B> 17 24 1
+   69    -1  28 B> 24 1
    70    -2  28 <B 1 23 1
+   78   -10  <B 19 23 1
    79   -11  <C 110 23 1
    80   -12  <A 111 23 1
    81   -11  1 B> 111 23 1
+   92     0  1 211 B> 23 1
    93    -1  1 211 <B 1 2 2 1
+  104   -12  1 <B 112 2 2 1
   105   -11  2 B> 112 2 2 1
+  117     1  213 B> 2 2 1
   118     0  213 <B 1 2 1
+  131   -13  <B 114 2 1
   132   -14  <C 115 2 1
   133   -15  <A 116 2 1
   134   -14  1 B> 116 2 1
+  150     2  1 216 B> 2 1
   151     1  1 216 <B 1 1
+  167   -15  1 <B 118
   168   -14  2 B> 118
+  186     4  219 B>
   187     3  219 <C 1
   188     2  218 <A 2 1
   189     1  217 <C 2 2 1
   190     0  216 <A 23 1
   191    -1  215 <C 24 1
   192    -2  214 <A 25 1
   193    -3  213 <C 26 1
   194    -4  212 <A 27 1
   195    -5  211 <C 28 1
   196    -6  210 <A 29 1
   197    -7  29 <C 210 1
   198    -8  28 <A 211 1
   199    -9  27 <C 212 1
   200   -10  26 <A 213 1
   201   -11  25 <C 214 1
   202   -12  24 <A 215 1
   203   -13  23 <C 216 1
   204   -14  2 2 <A 217 1
   205   -15  2 <C 218 1
   206   -16  <A 219 1
   207   -15  1 B> 219 1
   208   -16  1 <B 1 218 1
   209   -15  2 B> 1 218 1
   210   -14  2 2 B> 218 1
   211   -15  2 2 <B 1 217 1
+  213   -17  <B 13 217 1
   214   -18  <C 14 217 1
   215   -19  <A 15 217 1
   216   -18  1 B> 15 217 1
+  221   -13  1 25 B> 217 1
   222   -14  1 25 <B 1 216 1
+  227   -19  1 <B 16 216 1
   228   -18  2 B> 16 216 1
+  234   -12  27 B> 216 1
   235   -13  27 <B 1 215 1
+  242   -20  <B 18 215 1
   243   -21  <C 19 215 1
   244   -22  <A 110 215 1
   245   -21  1 B> 110 215 1
+  255   -11  1 210 B> 215 1
   256   -12  1 210 <B 1 214 1
+  266   -22  1 <B 111 214 1
   267   -21  2 B> 111 214 1
+  278   -10  212 B> 214 1
   279   -11  212 <B 1 213 1
+  291   -23  <B 113 213 1
   292   -24  <C 114 213 1
   293   -25  <A 115 213 1
   294   -24  1 B> 115 213 1
+  309    -9  1 215 B> 213 1
   310   -10  1 215 <B 1 212 1
+  325   -25  1 <B 116 212 1
   326   -24  2 B> 116 212 1
+  342    -8  217 B> 212 1
   343    -9  217 <B 1 211 1
+  360   -26  <B 118 211 1
   361   -27  <C 119 211 1
   362   -28  <A 120 211 1
   363   -27  1 B> 120 211 1
+  383    -7  1 220 B> 211 1
   384    -8  1 220 <B 1 210 1
+  404   -28  1 <B 121 210 1
   405   -27  2 B> 121 210 1
+  426    -6  222 B> 210 1
   427    -7  222 <B 1 29 1
+  449   -29  <B 123 29 1
   450   -30  <C 124 29 1
   451   -31  <A 125 29 1
   452   -30  1 B> 125 29 1
+  477    -5  1 225 B> 29 1
   478    -6  1 225 <B 1 28 1
+  503   -31  1 <B 126 28 1
   504   -30  2 B> 126 28 1
+  530    -4  227 B> 28 1
   531    -5  227 <B 1 27 1
+  558   -32  <B 128 27 1
   559   -33  <C 129 27 1
   560   -34  <A 130 27 1
   561   -33  1 B> 130 27 1
+  591    -3  1 230 B> 27 1
   592    -4  1 230 <B 1 26 1
+  622   -34  1 <B 131 26 1
   623   -33  2 B> 131 26 1
+  654    -2  232 B> 26 1
   655    -3  232 <B 1 25 1
+  687   -35  <B 133 25 1
   688   -36  <C 134 25 1
   689   -37  <A 135 25 1
   690   -36  1 B> 135 25 1
+  725    -1  1 235 B> 25 1
   726    -2  1 235 <B 1 24 1
+  761   -37  1 <B 136 24 1
   762   -36  2 B> 136 24 1
+  798     0  237 B> 24 1
   799    -1  237 <B 1 23 1
+  836   -38  <B 138 23 1
   837   -39  <C 139 23 1
   838   -40  <A 140 23 1
   839   -39  1 B> 140 23 1
+  879     1  1 240 B> 23 1
   880     0  1 240 <B 1 2 2 1
+  920   -40  1 <B 141 2 2 1
   921   -39  2 B> 141 2 2 1
+  962     2  242 B> 2 2 1
   963     1  242 <B 1 2 1
+ 1005   -41  <B 143 2 1
  1006   -42  <C 144 2 1
  1007   -43  <A 145 2 1
  1008   -42  1 B> 145 2 1
+ 1053     3  1 245 B> 2 1
  1054     2  1 245 <B 1 1
+ 1099   -43  1 <B 147
  1100   -42  2 B> 147
+ 1147     5  248 B>
  1148     4  248 <C 1
  1149     3  247 <A 2 1
  1150     2  246 <C 2 2 1
  1151     1  245 <A 23 1
  1152     0  244 <C 24 1
  1153    -1  243 <A 25 1
  1154    -2  242 <C 26 1
  1155    -3  241 <A 27 1
  1156    -4  240 <C 28 1
  1157    -5  239 <A 29 1
  1158    -6  238 <C 210 1
  1159    -7  237 <A 211 1
  1160    -8  236 <C 212 1
  1161    -9  235 <A 213 1
  1162   -10  234 <C 214 1
  1163   -11  233 <A 215 1
  1164   -12  232 <C 216 1
  1165   -13  231 <A 217 1
  1166   -14  230 <C 218 1
  1167   -15  229 <A 219 1
  1168   -16  228 <C 220 1
  1169   -17  227 <A 221 1

After 1169 steps (201 lines): state = A.
Produced     49 nonzeros.
Tape index -17, scanned [-43 .. 5].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 41 17   24 0   5
B 1084 17 556 511 1 9 8
C 44 15 3 26 4 2 6
Execution statistics

The same TM just simple.
The same TM with repetitions reduced.
The same TM as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.

To the BB simulations page of Heiner Marxen.
To the busy beaver page of Heiner Marxen.
To the home page of Heiner Marxen.
Tue Jul 6 22:11:51 CEST 2010