6-state TM #a from MaBu-List

Comment: This TM produces 17485734 ones in 95547257425490 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0
on
1
on 0 on 1
Print Move Goto Print Move Goto
A B1R C0L 1 right B 0 left C
B A1L A0R 1 left A 0 right A
C D0L Z1R 0 left D 1 right Z
D E1R D1L 1 right E 1 left D
E F0L E0L 0 left F 0 left E
F F1R B0L 1 right F 0 left B
Transition table
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.

  Step  Tpos  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <A 1
     3    -1  <C 0 1
     4    -2  <D 0 0 1
     5    -1  1 E> 0 0 1
     6    -2  1 <F 0 0 1
     7    -3  <B 03 1
     8    -4  <A 1 03 1
     9    -3  1 B> 1 03 1
    10    -2  1 0 A> 03 1
    11    -1  1 0 1 B> 0 0 1
    12    -2  1 0 1 <A 1 0 1
    13    -3  1 0 <C 0 1 0 1
    14    -4  1 <D 0 0 1 0 1
    15    -5  <D 1 0 0 1 0 1
    16    -4  1 E> 1 0 0 1 0 1
    17    -5  1 <E 03 1 0 1
    18    -6  <E 04 1 0 1
    19    -7  <F 05 1 0 1
    20    -6  1 F> 05 1 0 1
+   25    -1  16 F> 1 0 1
    26    -2  16 <B 0 0 1
    27    -1  15 0 A> 0 0 1
    28     0  15 0 1 B> 0 1
    29    -1  15 0 1 <A 1 1
    30    -2  15 0 <C 0 1 1
    31    -3  15 <D 0 0 1 1
+   36    -8  <D 15 0 0 1 1
    37    -7  1 E> 15 0 0 1 1
    38    -8  1 <E 0 14 0 0 1 1
    39    -9  <E 0 0 14 0 0 1 1
    40   -10  <F 03 14 0 0 1 1
    41    -9  1 F> 03 14 0 0 1 1
+   44    -6  14 F> 14 0 0 1 1
    45    -7  14 <B 0 13 0 0 1 1
    46    -6  13 0 A> 0 13 0 0 1 1
    47    -5  13 0 1 B> 13 0 0 1 1
    48    -4  13 0 1 0 A> 1 1 0 0 1 1
    49    -5  13 0 1 0 <C 0 1 0 0 1 1
    50    -6  13 0 1 <D 0 0 1 0 0 1 1
    51    -7  13 0 <D 1 0 0 1 0 0 1 1
    52    -6  14 E> 1 0 0 1 0 0 1 1
    53    -7  14 <E 03 1 0 0 1 1
+   57   -11  <E 07 1 0 0 1 1
    58   -12  <F 08 1 0 0 1 1
    59   -11  1 F> 08 1 0 0 1 1
+   67    -3  19 F> 1 0 0 1 1
    68    -4  19 <B 03 1 1
    69    -3  18 0 A> 03 1 1
    70    -2  18 0 1 B> 0 0 1 1
    71    -3  18 0 1 <A 1 0 1 1
    72    -4  18 0 <C 0 1 0 1 1
    73    -5  18 <D 0 0 1 0 1 1
+   81   -13  <D 18 0 0 1 0 1 1
    82   -12  1 E> 18 0 0 1 0 1 1
    83   -13  1 <E 0 17 0 0 1 0 1 1
    84   -14  <E 0 0 17 0 0 1 0 1 1
    85   -15  <F 03 17 0 0 1 0 1 1
    86   -14  1 F> 03 17 0 0 1 0 1 1
+   89   -11  14 F> 17 0 0 1 0 1 1
    90   -12  14 <B 0 16 0 0 1 0 1 1
    91   -11  13 0 A> 0 16 0 0 1 0 1 1
    92   -10  13 0 1 B> 16 0 0 1 0 1 1
    93    -9  13 0 1 0 A> 15 0 0 1 0 1 1
    94   -10  13 0 1 0 <C 0 14 0 0 1 0 1 1
    95   -11  13 0 1 <D 0 0 14 0 0 1 0 1 1
    96   -12  13 0 <D 1 0 0 14 0 0 1 0 1 1
    97   -11  14 E> 1 0 0 14 0 0 1 0 1 1
    98   -12  14 <E 03 14 0 0 1 0 1 1
+  102   -16  <E 07 14 0 0 1 0 1 1
   103   -17  <F 08 14 0 0 1 0 1 1
   104   -16  1 F> 08 14 0 0 1 0 1 1
+  112    -8  19 F> 14 0 0 1 0 1 1
   113    -9  19 <B 0 13 0 0 1 0 1 1
   114    -8  18 0 A> 0 13 0 0 1 0 1 1
   115    -7  18 0 1 B> 13 0 0 1 0 1 1
   116    -6  18 0 1 0 A> 1 1 0 0 1 0 1 1
   117    -7  18 0 1 0 <C 0 1 0 0 1 0 1 1
   118    -8  18 0 1 <D 0 0 1 0 0 1 0 1 1
   119    -9  18 0 <D 1 0 0 1 0 0 1 0 1 1
   120    -8  19 E> 1 0 0 1 0 0 1 0 1 1
   121    -9  19 <E 03 1 0 0 1 0 1 1
+  130   -18  <E 012 1 0 0 1 0 1 1
   131   -19  <F 013 1 0 0 1 0 1 1
   132   -18  1 F> 013 1 0 0 1 0 1 1
+  145    -5  114 F> 1 0 0 1 0 1 1
   146    -6  114 <B 03 1 0 1 1
   147    -5  113 0 A> 03 1 0 1 1
   148    -4  113 0 1 B> 0 0 1 0 1 1
   149    -5  113 0 1 <A 1 0 1 0 1 1
   150    -6  113 0 <C 0 1 0 1 0 1 1
   151    -7  113 <D 0 0 1 0 1 0 1 1
+  164   -20  <D 113 0 0 1 0 1 0 1 1
   165   -19  1 E> 113 0 0 1 0 1 0 1 1
   166   -20  1 <E 0 112 0 0 1 0 1 0 1 1
   167   -21  <E 0 0 112 0 0 1 0 1 0 1 1
   168   -22  <F 03 112 0 0 1 0 1 0 1 1
   169   -21  1 F> 03 112 0 0 1 0 1 0 1 1
+  172   -18  14 F> 112 0 0 1 0 1 0 1 1
   173   -19  14 <B 0 111 0 0 1 0 1 0 1 1
   174   -18  13 0 A> 0 111 0 0 1 0 1 0 1 1
   175   -17  13 0 1 B> 111 0 0 1 0 1 0 1 1
   176   -16  13 0 1 0 A> 110 0 0 1 0 1 0 1 1
   177   -17  13 0 1 0 <C 0 19 0 0 1 0 1 0 1 1
   178   -18  13 0 1 <D 0 0 19 0 0 1 0 1 0 1 1
   179   -19  13 0 <D 1 0 0 19 0 0 1 0 1 0 1 1
   180   -18  14 E> 1 0 0 19 0 0 1 0 1 0 1 1
   181   -19  14 <E 03 19 0 0 1 0 1 0 1 1
+  185   -23  <E 07 19 0 0 1 0 1 0 1 1
   186   -24  <F 08 19 0 0 1 0 1 0 1 1
   187   -23  1 F> 08 19 0 0 1 0 1 0 1 1
+  195   -15  19 F> 19 0 0 1 0 1 0 1 1
   196   -16  19 <B 0 18 0 0 1 0 1 0 1 1
   197   -15  18 0 A> 0 18 0 0 1 0 1 0 1 1
   198   -14  18 0 1 B> 18 0 0 1 0 1 0 1 1
   199   -13  18 0 1 0 A> 17 0 0 1 0 1 0 1 1
   200   -14  18 0 1 0 <C 0 16 0 0 1 0 1 0 1 1
   201   -15  18 0 1 <D 0 0 16 0 0 1 0 1 0 1 1
   202   -16  18 0 <D 1 0 0 16 0 0 1 0 1 0 1 1
   203   -15  19 E> 1 0 0 16 0 0 1 0 1 0 1 1
   204   -16  19 <E 03 16 0 0 1 0 1 0 1 1
+  213   -25  <E 012 16 0 0 1 0 1 0 1 1
   214   -26  <F 013 16 0 0 1 0 1 0 1 1
   215   -25  1 F> 013 16 0 0 1 0 1 0 1 1
+  228   -12  114 F> 16 0 0 1 0 1 0 1 1
   229   -13  114 <B 0 15 0 0 1 0 1 0 1 1
   230   -12  113 0 A> 0 15 0 0 1 0 1 0 1 1
   231   -11  113 0 1 B> 15 0 0 1 0 1 0 1 1
   232   -10  113 0 1 0 A> 14 0 0 1 0 1 0 1 1
   233   -11  113 0 1 0 <C 0 13 0 0 1 0 1 0 1 1
   234   -12  113 0 1 <D 0 0 13 0 0 1 0 1 0 1 1
   235   -13  113 0 <D 1 0 0 13 0 0 1 0 1 0 1 1
   236   -12  114 E> 1 0 0 13 0 0 1 0 1 0 1 1
   237   -13  114 <E 03 13 0 0 1 0 1 0 1 1
+  251   -27  <E 017 13 0 0 1 0 1 0 1 1
   252   -28  <F 018 13 0 0 1 0 1 0 1 1
   253   -27  1 F> 018 13 0 0 1 0 1 0 1 1
+  271    -9  119 F> 13 0 0 1 0 1 0 1 1
   272   -10  119 <B 0 1 1 0 0 1 0 1 0 1 1
   273    -9  118 0 A> 0 1 1 0 0 1 0 1 0 1 1
   274    -8  118 0 1 B> 1 1 0 0 1 0 1 0 1 1
   275    -7  118 0 1 0 A> 1 0 0 1 0 1 0 1 1
   276    -8  118 0 1 0 <C 03 1 0 1 0 1 1
   277    -9  118 0 1 <D 04 1 0 1 0 1 1
   278   -10  118 0 <D 1 04 1 0 1 0 1 1
   279    -9  119 E> 1 04 1 0 1 0 1 1
   280   -10  119 <E 05 1 0 1 0 1 1
+  299   -29  <E 024 1 0 1 0 1 1
   300   -30  <F 025 1 0 1 0 1 1
   301   -29  1 F> 025 1 0 1 0 1 1
+  326    -4  126 F> 1 0 1 0 1 1
   327    -5  126 <B 0 0 1 0 1 1
   328    -4  125 0 A> 0 0 1 0 1 1
   329    -3  125 0 1 B> 0 1 0 1 1
   330    -4  125 0 1 <A 1 1 0 1 1
   331    -5  125 0 <C 0 1 1 0 1 1
   332    -6  125 <D 0 0 1 1 0 1 1
+  357   -31  <D 125 0 0 1 1 0 1 1
   358   -30  1 E> 125 0 0 1 1 0 1 1
   359   -31  1 <E 0 124 0 0 1 1 0 1 1
   360   -32  <E 0 0 124 0 0 1 1 0 1 1
   361   -33  <F 03 124 0 0 1 1 0 1 1
   362   -32  1 F> 03 124 0 0 1 1 0 1 1
+  365   -29  14 F> 124 0 0 1 1 0 1 1
   366   -30  14 <B 0 123 0 0 1 1 0 1 1
   367   -29  13 0 A> 0 123 0 0 1 1 0 1 1
   368   -28  13 0 1 B> 123 0 0 1 1 0 1 1
   369   -27  13 0 1 0 A> 122 0 0 1 1 0 1 1
   370   -28  13 0 1 0 <C 0 121 0 0 1 1 0 1 1
   371   -29  13 0 1 <D 0 0 121 0 0 1 1 0 1 1
   372   -30  13 0 <D 1 0 0 121 0 0 1 1 0 1 1
   373   -29  14 E> 1 0 0 121 0 0 1 1 0 1 1
   374   -30  14 <E 03 121 0 0 1 1 0 1 1
+  378   -34  <E 07 121 0 0 1 1 0 1 1
   379   -35  <F 08 121 0 0 1 1 0 1 1
   380   -34  1 F> 08 121 0 0 1 1 0 1 1
+  388   -26  19 F> 121 0 0 1 1 0 1 1
   389   -27  19 <B 0 120 0 0 1 1 0 1 1
   390   -26  18 0 A> 0 120 0 0 1 1 0 1 1
   391   -25  18 0 1 B> 120 0 0 1 1 0 1 1
   392   -24  18 0 1 0 A> 119 0 0 1 1 0 1 1
   393   -25  18 0 1 0 <C 0 118 0 0 1 1 0 1 1
   394   -26  18 0 1 <D 0 0 118 0 0 1 1 0 1 1
   395   -27  18 0 <D 1 0 0 118 0 0 1 1 0 1 1
   396   -26  19 E> 1 0 0 118 0 0 1 1 0 1 1
   397   -27  19 <E 03 118 0 0 1 1 0 1 1
+  406   -36  <E 012 118 0 0 1 1 0 1 1
   407   -37  <F 013 118 0 0 1 1 0 1 1
   408   -36  1 F> 013 118 0 0 1 1 0 1 1
+  421   -23  114 F> 118 0 0 1 1 0 1 1
   422   -24  114 <B 0 117 0 0 1 1 0 1 1
   423   -23  113 0 A> 0 117 0 0 1 1 0 1 1
   424   -22  113 0 1 B> 117 0 0 1 1 0 1 1
   425   -21  113 0 1 0 A> 116 0 0 1 1 0 1 1
   426   -22  113 0 1 0 <C 0 115 0 0 1 1 0 1 1
   427   -23  113 0 1 <D 0 0 115 0 0 1 1 0 1 1
   428   -24  113 0 <D 1 0 0 115 0 0 1 1 0 1 1
   429   -23  114 E> 1 0 0 115 0 0 1 1 0 1 1
   430   -24  114 <E 03 115 0 0 1 1 0 1 1
+  444   -38  <E 017 115 0 0 1 1 0 1 1
   445   -39  <F 018 115 0 0 1 1 0 1 1
   446   -38  1 F> 018 115 0 0 1 1 0 1 1
+  464   -20  119 F> 115 0 0 1 1 0 1 1
   465   -21  119 <B 0 114 0 0 1 1 0 1 1
   466   -20  118 0 A> 0 114 0 0 1 1 0 1 1
   467   -19  118 0 1 B> 114 0 0 1 1 0 1 1
   468   -18  118 0 1 0 A> 113 0 0 1 1 0 1 1
   469   -19  118 0 1 0 <C 0 112 0 0 1 1 0 1 1
   470   -20  118 0 1 <D 0 0 112 0 0 1 1 0 1 1
   471   -21  118 0 <D 1 0 0 112 0 0 1 1 0 1 1
   472   -20  119 E> 1 0 0 112 0 0 1 1 0 1 1
   473   -21  119 <E 03 112 0 0 1 1 0 1 1
+  492   -40  <E 022 112 0 0 1 1 0 1 1
   493   -41  <F 023 112 0 0 1 1 0 1 1
   494   -40  1 F> 023 112 0 0 1 1 0 1 1
+  517   -17  124 F> 112 0 0 1 1 0 1 1
   518   -18  124 <B 0 111 0 0 1 1 0 1 1
   519   -17  123 0 A> 0 111 0 0 1 1 0 1 1
   520   -16  123 0 1 B> 111 0 0 1 1 0 1 1
   521   -15  123 0 1 0 A> 110 0 0 1 1 0 1 1
   522   -16  123 0 1 0 <C 0 19 0 0 1 1 0 1 1
   523   -17  123 0 1 <D 0 0 19 0 0 1 1 0 1 1
   524   -18  123 0 <D 1 0 0 19 0 0 1 1 0 1 1
   525   -17  124 E> 1 0 0 19 0 0 1 1 0 1 1
   526   -18  124 <E 03 19 0 0 1 1 0 1 1
+  550   -42  <E 027 19 0 0 1 1 0 1 1
   551   -43  <F 028 19 0 0 1 1 0 1 1
   552   -42  1 F> 028 19 0 0 1 1 0 1 1
+  580   -14  129 F> 19 0 0 1 1 0 1 1
   581   -15  129 <B 0 18 0 0 1 1 0 1 1
   582   -14  128 0 A> 0 18 0 0 1 1 0 1 1
   583   -13  128 0 1 B> 18 0 0 1 1 0 1 1
   584   -12  128 0 1 0 A> 17 0 0 1 1 0 1 1
   585   -13  128 0 1 0 <C 0 16 0 0 1 1 0 1 1
   586   -14  128 0 1 <D 0 0 16 0 0 1 1 0 1 1
   587   -15  128 0 <D 1 0 0 16 0 0 1 1 0 1 1
   588   -14  129 E> 1 0 0 16 0 0 1 1 0 1 1
   589   -15  129 <E 03 16 0 0 1 1 0 1 1
+  618   -44  <E 032 16 0 0 1 1 0 1 1
   619   -45  <F 033 16 0 0 1 1 0 1 1
   620   -44  1 F> 033 16 0 0 1 1 0 1 1
+  653   -11  134 F> 16 0 0 1 1 0 1 1
   654   -12  134 <B 0 15 0 0 1 1 0 1 1
   655   -11  133 0 A> 0 15 0 0 1 1 0 1 1
   656   -10  133 0 1 B> 15 0 0 1 1 0 1 1
   657    -9  133 0 1 0 A> 14 0 0 1 1 0 1 1
   658   -10  133 0 1 0 <C 0 13 0 0 1 1 0 1 1
   659   -11  133 0 1 <D 0 0 13 0 0 1 1 0 1 1
   660   -12  133 0 <D 1 0 0 13 0 0 1 1 0 1 1
   661   -11  134 E> 1 0 0 13 0 0 1 1 0 1 1
   662   -12  134 <E 03 13 0 0 1 1 0 1 1
+  696   -46  <E 037 13 0 0 1 1 0 1 1
   697   -47  <F 038 13 0 0 1 1 0 1 1
   698   -46  1 F> 038 13 0 0 1 1 0 1 1
+  736    -8  139 F> 13 0 0 1 1 0 1 1
   737    -9  139 <B 0 1 1 0 0 1 1 0 1 1
   738    -8  138 0 A> 0 1 1 0 0 1 1 0 1 1
   739    -7  138 0 1 B> 1 1 0 0 1 1 0 1 1
   740    -6  138 0 1 0 A> 1 0 0 1 1 0 1 1
   741    -7  138 0 1 0 <C 03 1 1 0 1 1
   742    -8  138 0 1 <D 04 1 1 0 1 1
   743    -9  138 0 <D 1 04 1 1 0 1 1
   744    -8  139 E> 1 04 1 1 0 1 1
   745    -9  139 <E 05 1 1 0 1 1
+  784   -48  <E 044 1 1 0 1 1
   785   -49  <F 045 1 1 0 1 1
   786   -48  1 F> 045 1 1 0 1 1
+  831    -3  146 F> 1 1 0 1 1
   832    -4  146 <B 0 1 0 1 1
   833    -3  145 0 A> 0 1 0 1 1
   834    -2  145 0 1 B> 1 0 1 1
   835    -1  145 0 1 0 A> 0 1 1
   836     0  145 0 1 0 1 B> 1 1
   837     1  145 0 1 0 1 0 A> 1
   838     0  145 0 1 0 1 0 <C
   839    -1  145 0 1 0 1 <D
   840    -2  145 0 1 0 <D 1
   841    -1  145 0 1 1 E> 1
   842    -2  145 0 1 1 <E
+  844    -4  145 0 <E
   845    -5  145 <F
   846    -6  144 <B
   847    -5  143 0 A>
   848    -4  143 0 1 B>
   849    -5  143 0 1 <A 1
   850    -6  143 0 <C 0 1
   851    -7  143 <D 0 0 1
+  894   -50  <D 143 0 0 1
   895   -49  1 E> 143 0 0 1
   896   -50  1 <E 0 142 0 0 1
   897   -51  <E 0 0 142 0 0 1
   898   -52  <F 03 142 0 0 1
   899   -51  1 F> 03 142 0 0 1
+  902   -48  14 F> 142 0 0 1
   903   -49  14 <B 0 141 0 0 1
   904   -48  13 0 A> 0 141 0 0 1
   905   -47  13 0 1 B> 141 0 0 1
   906   -46  13 0 1 0 A> 140 0 0 1
   907   -47  13 0 1 0 <C 0 139 0 0 1
   908   -48  13 0 1 <D 0 0 139 0 0 1

After 908 steps (301 lines): state = D.
Produced     44 ones.
Tape index -48, scanned [-52 .. 1].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 50 26 24 0 2
B 49 8 41 1 9
C 24 24   3  
D 134 23 111 4 14
E 288 23 265 5 16
F 363 340 23 19 6
Execution statistics

The same TM just simple.
The same TM with repetitions reduced.
The same TM as 1-bck-macro machine.
The same TM as 1-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:10:36 CEST 2010