3-state 3-symbol former champion of Myron Souris 

Comment: This TM produces 32213 nonzeros in 544884219 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
1 1R2 1L2 2L1 1 right 2 1 left 2 2 left 1
2 1L1 1R3 1Rh 1 left 1 1 right 3 1 right h
3 0L1 2R3 1L3 0 left 1 2 right 3 1 left 3
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-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <1
     1     1  1 2>
     2     0  1 <1 1
     3    -1  <2 1 1
     4    -2  <1 13
     5    -1  1 2> 13
     6     0  1 1 3> 1 1
+    8     2  1 1 2 2 3>
     9     1  1 1 2 2 <1
+   11    -1  1 1 <1 2 2
    12    -2  1 <2 1 2 2
    13    -1  1 3> 1 2 2
    14     0  1 2 3> 2 2
    15    -1  1 2 <3 1 2
    16    -2  1 <3 1 1 2
    17    -1  2 3> 1 1 2
+   19     1  23 3> 2
    20     0  23 <3 1
+   23    -3  <3 14
    24    -4  <1 0 14
    25    -3  1 2> 0 14
    26    -4  1 <1 15
    27    -5  <2 16
    28    -6  <1 17
    29    -5  1 2> 17
    30    -4  1 1 3> 16
+   36     2  1 1 26 3>
    37     1  1 1 26 <1
+   43    -5  1 1 <1 26
    44    -6  1 <2 1 26
    45    -5  1 3> 1 26
    46    -4  1 2 3> 26
    47    -5  1 2 <3 1 25
    48    -6  1 <3 1 1 25
    49    -5  2 3> 1 1 25
+   51    -3  23 3> 25
    52    -4  23 <3 1 24
+   55    -7  <3 14 24
    56    -8  <1 0 14 24
    57    -7  1 2> 0 14 24
    58    -8  1 <1 15 24
    59    -9  <2 16 24
    60   -10  <1 17 24
    61    -9  1 2> 17 24
    62    -8  1 1 3> 16 24
+   68    -2  1 1 26 3> 24
    69    -3  1 1 26 <3 1 23
+   75    -9  1 1 <3 17 23
    76    -8  1 2 3> 17 23
+   83    -1  1 28 3> 23
    84    -2  1 28 <3 1 2 2
+   92   -10  1 <3 19 2 2
    93    -9  2 3> 19 2 2
+  102     0  210 3> 2 2
   103    -1  210 <3 1 2
+  113   -11  <3 111 2
   114   -12  <1 0 111 2
   115   -11  1 2> 0 111 2
   116   -12  1 <1 112 2
   117   -13  <2 113 2
   118   -14  <1 114 2
   119   -13  1 2> 114 2
   120   -12  1 1 3> 113 2
+  133     1  1 1 213 3> 2
   134     0  1 1 213 <3 1
+  147   -13  1 1 <3 114
   148   -12  1 2 3> 114
+  162     2  1 215 3>
   163     1  1 215 <1
+  178   -14  1 <1 215
   179   -15  <2 1 215
   180   -16  <1 1 1 215
   181   -15  1 2> 1 1 215
   182   -14  1 1 3> 1 215
   183   -13  1 1 2 3> 215
   184   -14  1 1 2 <3 1 214
   185   -15  1 1 <3 1 1 214
   186   -14  1 2 3> 1 1 214
+  188   -12  1 23 3> 214
   189   -13  1 23 <3 1 213
+  192   -16  1 <3 14 213
   193   -15  2 3> 14 213
+  197   -11  25 3> 213
   198   -12  25 <3 1 212
+  203   -17  <3 16 212
   204   -18  <1 0 16 212
   205   -17  1 2> 0 16 212
   206   -18  1 <1 17 212
   207   -19  <2 18 212
   208   -20  <1 19 212
   209   -19  1 2> 19 212
   210   -18  1 1 3> 18 212
+  218   -10  1 1 28 3> 212
   219   -11  1 1 28 <3 1 211
+  227   -19  1 1 <3 19 211
   228   -18  1 2 3> 19 211
+  237    -9  1 210 3> 211
   238   -10  1 210 <3 1 210
+  248   -20  1 <3 111 210
   249   -19  2 3> 111 210
+  260    -8  212 3> 210
   261    -9  212 <3 1 29
+  273   -21  <3 113 29
   274   -22  <1 0 113 29
   275   -21  1 2> 0 113 29
   276   -22  1 <1 114 29
   277   -23  <2 115 29
   278   -24  <1 116 29
   279   -23  1 2> 116 29
   280   -22  1 1 3> 115 29
+  295    -7  1 1 215 3> 29
   296    -8  1 1 215 <3 1 28
+  311   -23  1 1 <3 116 28
   312   -22  1 2 3> 116 28
+  328    -6  1 217 3> 28
   329    -7  1 217 <3 1 27
+  346   -24  1 <3 118 27
   347   -23  2 3> 118 27
+  365    -5  219 3> 27
   366    -6  219 <3 1 26
+  385   -25  <3 120 26
   386   -26  <1 0 120 26
   387   -25  1 2> 0 120 26
   388   -26  1 <1 121 26
   389   -27  <2 122 26
   390   -28  <1 123 26
   391   -27  1 2> 123 26
   392   -26  1 1 3> 122 26
+  414    -4  1 1 222 3> 26
   415    -5  1 1 222 <3 1 25
+  437   -27  1 1 <3 123 25
   438   -26  1 2 3> 123 25
+  461    -3  1 224 3> 25
   462    -4  1 224 <3 1 24
+  486   -28  1 <3 125 24
   487   -27  2 3> 125 24
+  512    -2  226 3> 24
   513    -3  226 <3 1 23
+  539   -29  <3 127 23
   540   -30  <1 0 127 23
   541   -29  1 2> 0 127 23
   542   -30  1 <1 128 23
   543   -31  <2 129 23
   544   -32  <1 130 23
   545   -31  1 2> 130 23
   546   -30  1 1 3> 129 23
+  575    -1  1 1 229 3> 23
   576    -2  1 1 229 <3 1 2 2
+  605   -31  1 1 <3 130 2 2
   606   -30  1 2 3> 130 2 2
+  636     0  1 231 3> 2 2
   637    -1  1 231 <3 1 2
+  668   -32  1 <3 132 2
   669   -31  2 3> 132 2
+  701     1  233 3> 2
   702     0  233 <3 1
+  735   -33  <3 134
   736   -34  <1 0 134
   737   -33  1 2> 0 134
   738   -34  1 <1 135
   739   -35  <2 136
   740   -36  <1 137
   741   -35  1 2> 137
   742   -34  1 1 3> 136
+  778     2  1 1 236 3>
   779     1  1 1 236 <1
+  815   -35  1 1 <1 236
   816   -36  1 <2 1 236
   817   -35  1 3> 1 236
   818   -34  1 2 3> 236
   819   -35  1 2 <3 1 235
   820   -36  1 <3 1 1 235
   821   -35  2 3> 1 1 235
+  823   -33  23 3> 235
   824   -34  23 <3 1 234
+  827   -37  <3 14 234
   828   -38  <1 0 14 234
   829   -37  1 2> 0 14 234
   830   -38  1 <1 15 234
   831   -39  <2 16 234
   832   -40  <1 17 234
   833   -39  1 2> 17 234
   834   -38  1 1 3> 16 234
+  840   -32  1 1 26 3> 234
   841   -33  1 1 26 <3 1 233
+  847   -39  1 1 <3 17 233
   848   -38  1 2 3> 17 233
+  855   -31  1 28 3> 233
   856   -32  1 28 <3 1 232
+  864   -40  1 <3 19 232
   865   -39  2 3> 19 232
+  874   -30  210 3> 232
   875   -31  210 <3 1 231
+  885   -41  <3 111 231
   886   -42  <1 0 111 231
   887   -41  1 2> 0 111 231
   888   -42  1 <1 112 231
   889   -43  <2 113 231
   890   -44  <1 114 231
   891   -43  1 2> 114 231
   892   -42  1 1 3> 113 231

After 892 steps (201 lines): state = 3.
Produced     46 nonzeros.
Tape index -42, scanned [-44 .. 2].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
1 97 23 15 59 0 2 9
2 38 23 15   1 5  
3 757 14 387 356 8 6 14
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 2-macro machine.

The same TM as 2-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:43 CEST 2010