6-state TM #i from MaBu-List

Comment: This TM produces 40740206640846 ones in 5690620927332136555840780353 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 D1R 1 left A 1 right D
C D1R C1L 1 right D 1 left C
D E1R F1L 1 right E 1 left F
E A0R B1R 0 right A 1 right B
F Z1R D0L 1 right Z 0 left D
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-2-macro machine.
The same TM as 1-bck-2-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     0  1 D> 0 1
     5     1  1 1 E> 1
     6     2  13 B>
     7     1  13 <A 1
     8     0  1 1 <C 0 1
+   10    -2  <C 1 1 0 1
    11    -1  1 D> 1 1 0 1
    12    -2  1 <F 1 1 0 1
    13    -3  <D 0 1 1 0 1
    14    -2  1 E> 0 1 1 0 1
    15    -1  1 0 A> 1 1 0 1
    16    -2  1 0 <C 0 1 0 1
    17    -1  1 1 D> 0 1 0 1
    18     0  13 E> 1 0 1
    19     1  14 B> 0 1
    20     0  14 <A 1 1
    21    -1  13 <C 0 1 1
+   24    -4  <C 13 0 1 1
    25    -3  1 D> 13 0 1 1
    26    -4  1 <F 13 0 1 1
    27    -5  <D 0 13 0 1 1
    28    -4  1 E> 0 13 0 1 1
    29    -3  1 0 A> 13 0 1 1
    30    -4  1 0 <C 0 1 1 0 1 1
    31    -3  1 1 D> 0 1 1 0 1 1
    32    -2  13 E> 1 1 0 1 1
    33    -1  14 B> 1 0 1 1
    34     0  15 D> 0 1 1
    35     1  16 E> 1 1
    36     2  17 B> 1
    37     3  18 D>
    38     4  19 E>
    39     5  19 0 A>
    40     6  19 0 1 B>
    41     5  19 0 1 <A 1
    42     4  19 0 <C 0 1
    43     5  110 D> 0 1
    44     6  111 E> 1
    45     7  112 B>
    46     6  112 <A 1
    47     5  111 <C 0 1
+   58    -6  <C 111 0 1
    59    -5  1 D> 111 0 1
    60    -6  1 <F 111 0 1
    61    -7  <D 0 111 0 1
    62    -6  1 E> 0 111 0 1
    63    -5  1 0 A> 111 0 1
    64    -6  1 0 <C 0 110 0 1
    65    -5  1 1 D> 0 110 0 1
    66    -4  13 E> 110 0 1
    67    -3  14 B> 19 0 1
    68    -2  15 D> 18 0 1
    69    -3  15 <F 18 0 1
    70    -4  14 <D 0 18 0 1
    71    -5  13 <F 1 0 18 0 1
    72    -6  1 1 <D 0 1 0 18 0 1
    73    -7  1 <F 1 0 1 0 18 0 1
    74    -8  <D 0 1 0 1 0 18 0 1
    75    -7  1 E> 0 1 0 1 0 18 0 1
    76    -6  1 0 A> 1 0 1 0 18 0 1
    77    -7  1 0 <C 0 0 1 0 18 0 1
    78    -6  1 1 D> 0 0 1 0 18 0 1
    79    -5  13 E> 0 1 0 18 0 1
    80    -4  13 0 A> 1 0 18 0 1
    81    -5  13 0 <C 0 0 18 0 1
    82    -4  14 D> 0 0 18 0 1
    83    -3  15 E> 0 18 0 1
    84    -2  15 0 A> 18 0 1
    85    -3  15 0 <C 0 17 0 1
    86    -2  16 D> 0 17 0 1
    87    -1  17 E> 17 0 1
    88     0  18 B> 16 0 1
    89     1  19 D> 15 0 1
    90     0  19 <F 15 0 1
    91    -1  18 <D 0 15 0 1
    92    -2  17 <F 1 0 15 0 1
    93    -3  16 <D 0 1 0 15 0 1
    94    -4  15 <F 1 0 1 0 15 0 1
    95    -5  14 <D 0 1 0 1 0 15 0 1
    96    -6  13 <F 1 0 1 0 1 0 15 0 1
    97    -7  1 1 <D 0 1 0 1 0 1 0 15 0 1
    98    -8  1 <F 1 0 1 0 1 0 1 0 15 0 1
    99    -9  <D 0 1 0 1 0 1 0 1 0 15 0 1
   100    -8  1 E> 0 1 0 1 0 1 0 1 0 15 0 1
   101    -7  1 0 A> 1 0 1 0 1 0 1 0 15 0 1
   102    -8  1 0 <C 0 0 1 0 1 0 1 0 15 0 1
   103    -7  1 1 D> 0 0 1 0 1 0 1 0 15 0 1
   104    -6  13 E> 0 1 0 1 0 1 0 15 0 1
   105    -5  13 0 A> 1 0 1 0 1 0 15 0 1
   106    -6  13 0 <C 0 0 1 0 1 0 15 0 1
   107    -5  14 D> 0 0 1 0 1 0 15 0 1
   108    -4  15 E> 0 1 0 1 0 15 0 1
   109    -3  15 0 A> 1 0 1 0 15 0 1
   110    -4  15 0 <C 0 0 1 0 15 0 1
   111    -3  16 D> 0 0 1 0 15 0 1
   112    -2  17 E> 0 1 0 15 0 1
   113    -1  17 0 A> 1 0 15 0 1
   114    -2  17 0 <C 0 0 15 0 1
   115    -1  18 D> 0 0 15 0 1
   116     0  19 E> 0 15 0 1
   117     1  19 0 A> 15 0 1
   118     0  19 0 <C 0 14 0 1
   119     1  110 D> 0 14 0 1
   120     2  111 E> 14 0 1
   121     3  112 B> 13 0 1
   122     4  113 D> 1 1 0 1
   123     3  113 <F 1 1 0 1
   124     2  112 <D 0 1 1 0 1
   125     1  111 <F 1 0 1 1 0 1
   126     0  110 <D 0 1 0 1 1 0 1
   127    -1  19 <F 1 0 1 0 1 1 0 1
   128    -2  18 <D 0 1 0 1 0 1 1 0 1
   129    -3  17 <F 1 0 1 0 1 0 1 1 0 1
   130    -4  16 <D 0 1 0 1 0 1 0 1 1 0 1
   131    -5  15 <F 1 0 1 0 1 0 1 0 1 1 0 1
   132    -6  14 <D 0 1 0 1 0 1 0 1 0 1 1 0 1
   133    -7  13 <F 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   134    -8  1 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   135    -9  1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   136   -10  <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   137    -9  1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   138    -8  1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   139    -9  1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   140    -8  1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   141    -7  13 E> 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   142    -6  13 0 A> 1 0 1 0 1 0 1 0 1 0 1 1 0 1
   143    -7  13 0 <C 0 0 1 0 1 0 1 0 1 0 1 1 0 1
   144    -6  14 D> 0 0 1 0 1 0 1 0 1 0 1 1 0 1
   145    -5  15 E> 0 1 0 1 0 1 0 1 0 1 1 0 1
   146    -4  15 0 A> 1 0 1 0 1 0 1 0 1 1 0 1
   147    -5  15 0 <C 0 0 1 0 1 0 1 0 1 1 0 1
   148    -4  16 D> 0 0 1 0 1 0 1 0 1 1 0 1
   149    -3  17 E> 0 1 0 1 0 1 0 1 1 0 1
   150    -2  17 0 A> 1 0 1 0 1 0 1 1 0 1
   151    -3  17 0 <C 0 0 1 0 1 0 1 1 0 1
   152    -2  18 D> 0 0 1 0 1 0 1 1 0 1
   153    -1  19 E> 0 1 0 1 0 1 1 0 1
   154     0  19 0 A> 1 0 1 0 1 1 0 1
   155    -1  19 0 <C 0 0 1 0 1 1 0 1
   156     0  110 D> 0 0 1 0 1 1 0 1
   157     1  111 E> 0 1 0 1 1 0 1
   158     2  111 0 A> 1 0 1 1 0 1
   159     1  111 0 <C 0 0 1 1 0 1
   160     2  112 D> 0 0 1 1 0 1
   161     3  113 E> 0 1 1 0 1
   162     4  113 0 A> 1 1 0 1
   163     3  113 0 <C 0 1 0 1
   164     4  114 D> 0 1 0 1
   165     5  115 E> 1 0 1
   166     6  116 B> 0 1
   167     5  116 <A 1 1
   168     4  115 <C 0 1 1
+  183   -11  <C 115 0 1 1
   184   -10  1 D> 115 0 1 1
   185   -11  1 <F 115 0 1 1
   186   -12  <D 0 115 0 1 1
   187   -11  1 E> 0 115 0 1 1
   188   -10  1 0 A> 115 0 1 1
   189   -11  1 0 <C 0 114 0 1 1
   190   -10  1 1 D> 0 114 0 1 1
   191    -9  13 E> 114 0 1 1
   192    -8  14 B> 113 0 1 1
   193    -7  15 D> 112 0 1 1
   194    -8  15 <F 112 0 1 1
   195    -9  14 <D 0 112 0 1 1
   196   -10  13 <F 1 0 112 0 1 1
   197   -11  1 1 <D 0 1 0 112 0 1 1
   198   -12  1 <F 1 0 1 0 112 0 1 1
   199   -13  <D 0 1 0 1 0 112 0 1 1
   200   -12  1 E> 0 1 0 1 0 112 0 1 1
   201   -11  1 0 A> 1 0 1 0 112 0 1 1
   202   -12  1 0 <C 0 0 1 0 112 0 1 1
   203   -11  1 1 D> 0 0 1 0 112 0 1 1
   204   -10  13 E> 0 1 0 112 0 1 1
   205    -9  13 0 A> 1 0 112 0 1 1
   206   -10  13 0 <C 0 0 112 0 1 1
   207    -9  14 D> 0 0 112 0 1 1
   208    -8  15 E> 0 112 0 1 1
   209    -7  15 0 A> 112 0 1 1
   210    -8  15 0 <C 0 111 0 1 1
   211    -7  16 D> 0 111 0 1 1
   212    -6  17 E> 111 0 1 1
   213    -5  18 B> 110 0 1 1
   214    -4  19 D> 19 0 1 1
   215    -5  19 <F 19 0 1 1
   216    -6  18 <D 0 19 0 1 1
   217    -7  17 <F 1 0 19 0 1 1
   218    -8  16 <D 0 1 0 19 0 1 1
   219    -9  15 <F 1 0 1 0 19 0 1 1
   220   -10  14 <D 0 1 0 1 0 19 0 1 1
   221   -11  13 <F 1 0 1 0 1 0 19 0 1 1
   222   -12  1 1 <D 0 1 0 1 0 1 0 19 0 1 1
   223   -13  1 <F 1 0 1 0 1 0 1 0 19 0 1 1
   224   -14  <D 0 1 0 1 0 1 0 1 0 19 0 1 1
   225   -13  1 E> 0 1 0 1 0 1 0 1 0 19 0 1 1
   226   -12  1 0 A> 1 0 1 0 1 0 1 0 19 0 1 1
   227   -13  1 0 <C 0 0 1 0 1 0 1 0 19 0 1 1
   228   -12  1 1 D> 0 0 1 0 1 0 1 0 19 0 1 1
   229   -11  13 E> 0 1 0 1 0 1 0 19 0 1 1
   230   -10  13 0 A> 1 0 1 0 1 0 19 0 1 1
   231   -11  13 0 <C 0 0 1 0 1 0 19 0 1 1
   232   -10  14 D> 0 0 1 0 1 0 19 0 1 1
   233    -9  15 E> 0 1 0 1 0 19 0 1 1
   234    -8  15 0 A> 1 0 1 0 19 0 1 1
   235    -9  15 0 <C 0 0 1 0 19 0 1 1
   236    -8  16 D> 0 0 1 0 19 0 1 1
   237    -7  17 E> 0 1 0 19 0 1 1
   238    -6  17 0 A> 1 0 19 0 1 1
   239    -7  17 0 <C 0 0 19 0 1 1
   240    -6  18 D> 0 0 19 0 1 1
   241    -5  19 E> 0 19 0 1 1
   242    -4  19 0 A> 19 0 1 1
   243    -5  19 0 <C 0 18 0 1 1
   244    -4  110 D> 0 18 0 1 1
   245    -3  111 E> 18 0 1 1
   246    -2  112 B> 17 0 1 1
   247    -1  113 D> 16 0 1 1
   248    -2  113 <F 16 0 1 1
   249    -3  112 <D 0 16 0 1 1
   250    -4  111 <F 1 0 16 0 1 1
   251    -5  110 <D 0 1 0 16 0 1 1
   252    -6  19 <F 1 0 1 0 16 0 1 1
   253    -7  18 <D 0 1 0 1 0 16 0 1 1
   254    -8  17 <F 1 0 1 0 1 0 16 0 1 1
   255    -9  16 <D 0 1 0 1 0 1 0 16 0 1 1
   256   -10  15 <F 1 0 1 0 1 0 1 0 16 0 1 1
   257   -11  14 <D 0 1 0 1 0 1 0 1 0 16 0 1 1
   258   -12  13 <F 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   259   -13  1 1 <D 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   260   -14  1 <F 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   261   -15  <D 0 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   262   -14  1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   263   -13  1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   264   -14  1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   265   -13  1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   266   -12  13 E> 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   267   -11  13 0 A> 1 0 1 0 1 0 1 0 1 0 16 0 1 1
   268   -12  13 0 <C 0 0 1 0 1 0 1 0 1 0 16 0 1 1
   269   -11  14 D> 0 0 1 0 1 0 1 0 1 0 16 0 1 1
   270   -10  15 E> 0 1 0 1 0 1 0 1 0 16 0 1 1
   271    -9  15 0 A> 1 0 1 0 1 0 1 0 16 0 1 1
   272   -10  15 0 <C 0 0 1 0 1 0 1 0 16 0 1 1
   273    -9  16 D> 0 0 1 0 1 0 1 0 16 0 1 1
   274    -8  17 E> 0 1 0 1 0 1 0 16 0 1 1
   275    -7  17 0 A> 1 0 1 0 1 0 16 0 1 1
   276    -8  17 0 <C 0 0 1 0 1 0 16 0 1 1
   277    -7  18 D> 0 0 1 0 1 0 16 0 1 1
   278    -6  19 E> 0 1 0 1 0 16 0 1 1
   279    -5  19 0 A> 1 0 1 0 16 0 1 1
   280    -6  19 0 <C 0 0 1 0 16 0 1 1
   281    -5  110 D> 0 0 1 0 16 0 1 1
   282    -4  111 E> 0 1 0 16 0 1 1
   283    -3  111 0 A> 1 0 16 0 1 1
   284    -4  111 0 <C 0 0 16 0 1 1
   285    -3  112 D> 0 0 16 0 1 1
   286    -2  113 E> 0 16 0 1 1
   287    -1  113 0 A> 16 0 1 1
   288    -2  113 0 <C 0 15 0 1 1
   289    -1  114 D> 0 15 0 1 1
   290     0  115 E> 15 0 1 1
   291     1  116 B> 14 0 1 1
   292     2  117 D> 13 0 1 1
   293     1  117 <F 13 0 1 1
   294     0  116 <D 0 13 0 1 1
   295    -1  115 <F 1 0 13 0 1 1
   296    -2  114 <D 0 1 0 13 0 1 1
   297    -3  113 <F 1 0 1 0 13 0 1 1
   298    -4  112 <D 0 1 0 1 0 13 0 1 1
   299    -5  111 <F 1 0 1 0 1 0 13 0 1 1
   300    -6  110 <D 0 1 0 1 0 1 0 13 0 1 1
   301    -7  19 <F 1 0 1 0 1 0 1 0 13 0 1 1
   302    -8  18 <D 0 1 0 1 0 1 0 1 0 13 0 1 1
   303    -9  17 <F 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   304   -10  16 <D 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   305   -11  15 <F 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   306   -12  14 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   307   -13  13 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   308   -14  1 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   309   -15  1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   310   -16  <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   311   -15  1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   312   -14  1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   313   -15  1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   314   -14  1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   315   -13  13 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   316   -12  13 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   317   -13  13 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   318   -12  14 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   319   -11  15 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   320   -10  15 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   321   -11  15 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   322   -10  16 D> 0 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   323    -9  17 E> 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   324    -8  17 0 A> 1 0 1 0 1 0 1 0 1 0 13 0 1 1
   325    -9  17 0 <C 0 0 1 0 1 0 1 0 1 0 13 0 1 1
   326    -8  18 D> 0 0 1 0 1 0 1 0 1 0 13 0 1 1
   327    -7  19 E> 0 1 0 1 0 1 0 1 0 13 0 1 1

After 327 steps (301 lines): state = E.
Produced     18 ones.
Tape index -7, scanned [-16 .. 7].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 46 2 44 0 2
B 15 6 9 1 33
C 75 44 31 3 8
D 96 53 43 4 11
E 52 39 13 14 5
F 43   43   12
Execution statistics

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