6-state 2-symbol #a (T.J. & S. Ligocki) 

Comment: This TM produces >2.5x10^881 ones in >8.9x10^1762 steps.
Comment: This was the first known 6x2 TM to unseat Buntrock/Marxen

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 1RB 0RF 1 right B 0 right F
B 0LB 1LC 0 left B 1 left C
C 1LD 0RC 1 left D 0 right C
D 1LE 1RH 1 left E 1 right H
E 1LF 0LD 1 left F 0 left D
F 1RA 0LE 1 right A 0 left E
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  <A
     1     1  1 B>
     2     0  1 <B
     3    -1  <C 1
     4    -2  <D 1 1
     5    -3  <E 13
     6    -4  <F 14
     7    -3  1 A> 14
     8    -2  1 0 F> 13
     9    -3  1 0 <E 0 1 1
    10    -4  1 <F 1 0 1 1
    11    -5  <E 0 1 0 1 1
    12    -6  <F 1 0 1 0 1 1
    13    -5  1 A> 1 0 1 0 1 1
    14    -4  1 0 F> 0 1 0 1 1
    15    -3  1 0 1 A> 1 0 1 1
    16    -2  1 0 1 0 F> 0 1 1
    17    -1  1 0 1 0 1 A> 1 1
    18     0  1 0 1 0 1 0 F> 1
    19    -1  1 0 1 0 1 0 <E
    20    -2  1 0 1 0 1 <F 1
    21    -3  1 0 1 0 <E 0 1
    22    -4  1 0 1 <F 1 0 1
    23    -5  1 0 <E 0 1 0 1
    24    -6  1 <F 1 0 1 0 1
    25    -7  <E 0 1 0 1 0 1
    26    -8  <F 1 0 1 0 1 0 1
    27    -7  1 A> 1 0 1 0 1 0 1
    28    -6  1 0 F> 0 1 0 1 0 1
    29    -5  1 0 1 A> 1 0 1 0 1
    30    -4  1 0 1 0 F> 0 1 0 1
    31    -3  1 0 1 0 1 A> 1 0 1
    32    -2  1 0 1 0 1 0 F> 0 1
    33    -1  1 0 1 0 1 0 1 A> 1
    34     0  1 0 1 0 1 0 1 0 F>
    35     1  1 0 1 0 1 0 1 0 1 A>
    36     2  1 0 1 0 1 0 1 0 1 1 B>
    37     1  1 0 1 0 1 0 1 0 1 1 <B
    38     0  1 0 1 0 1 0 1 0 1 <C 1
    39     1  1 0 1 0 1 0 1 0 0 C> 1
    40     2  1 0 1 0 1 0 1 03 C>
    41     1  1 0 1 0 1 0 1 03 <D 1
    42     0  1 0 1 0 1 0 1 0 0 <E 1 1
    43    -1  1 0 1 0 1 0 1 0 <F 13
    44     0  1 0 1 0 1 0 1 1 A> 13
    45     1  1 0 1 0 1 0 1 1 0 F> 1 1
    46     0  1 0 1 0 1 0 1 1 0 <E 0 1
    47    -1  1 0 1 0 1 0 1 1 <F 1 0 1
    48    -2  1 0 1 0 1 0 1 <E 0 1 0 1
    49    -3  1 0 1 0 1 0 <D 0 0 1 0 1
    50    -4  1 0 1 0 1 <E 1 0 0 1 0 1
    51    -5  1 0 1 0 <D 0 1 0 0 1 0 1
    52    -6  1 0 1 <E 1 0 1 0 0 1 0 1
    53    -7  1 0 <D 0 1 0 1 0 0 1 0 1
    54    -8  1 <E 1 0 1 0 1 0 0 1 0 1
    55    -9  <D 0 1 0 1 0 1 0 0 1 0 1
    56   -10  <E 1 0 1 0 1 0 1 0 0 1 0 1
    57   -11  <F 1 1 0 1 0 1 0 1 0 0 1 0 1
    58   -10  1 A> 1 1 0 1 0 1 0 1 0 0 1 0 1
    59    -9  1 0 F> 1 0 1 0 1 0 1 0 0 1 0 1
    60   -10  1 0 <E 0 0 1 0 1 0 1 0 0 1 0 1
    61   -11  1 <F 1 0 0 1 0 1 0 1 0 0 1 0 1
    62   -12  <E 0 1 0 0 1 0 1 0 1 0 0 1 0 1
    63   -13  <F 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1
    64   -12  1 A> 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1
    65   -11  1 0 F> 0 1 0 0 1 0 1 0 1 0 0 1 0 1
    66   -10  1 0 1 A> 1 0 0 1 0 1 0 1 0 0 1 0 1
    67    -9  1 0 1 0 F> 0 0 1 0 1 0 1 0 0 1 0 1
    68    -8  1 0 1 0 1 A> 0 1 0 1 0 1 0 0 1 0 1
    69    -7  1 0 1 0 1 1 B> 1 0 1 0 1 0 0 1 0 1
    70    -8  1 0 1 0 1 1 <C 1 0 1 0 1 0 0 1 0 1
    71    -7  1 0 1 0 1 0 C> 1 0 1 0 1 0 0 1 0 1
    72    -6  1 0 1 0 1 0 0 C> 0 1 0 1 0 0 1 0 1
    73    -7  1 0 1 0 1 0 0 <D 1 1 0 1 0 0 1 0 1
    74    -8  1 0 1 0 1 0 <E 13 0 1 0 0 1 0 1
    75    -9  1 0 1 0 1 <F 14 0 1 0 0 1 0 1
    76   -10  1 0 1 0 <E 0 14 0 1 0 0 1 0 1
    77   -11  1 0 1 <F 1 0 14 0 1 0 0 1 0 1
    78   -12  1 0 <E 0 1 0 14 0 1 0 0 1 0 1
    79   -13  1 <F 1 0 1 0 14 0 1 0 0 1 0 1
    80   -14  <E 0 1 0 1 0 14 0 1 0 0 1 0 1
    81   -15  <F 1 0 1 0 1 0 14 0 1 0 0 1 0 1
    82   -14  1 A> 1 0 1 0 1 0 14 0 1 0 0 1 0 1
    83   -13  1 0 F> 0 1 0 1 0 14 0 1 0 0 1 0 1
    84   -12  1 0 1 A> 1 0 1 0 14 0 1 0 0 1 0 1
    85   -11  1 0 1 0 F> 0 1 0 14 0 1 0 0 1 0 1
    86   -10  1 0 1 0 1 A> 1 0 14 0 1 0 0 1 0 1
    87    -9  1 0 1 0 1 0 F> 0 14 0 1 0 0 1 0 1
    88    -8  1 0 1 0 1 0 1 A> 14 0 1 0 0 1 0 1
    89    -7  1 0 1 0 1 0 1 0 F> 13 0 1 0 0 1 0 1
    90    -8  1 0 1 0 1 0 1 0 <E 0 1 1 0 1 0 0 1 0 1
    91    -9  1 0 1 0 1 0 1 <F 1 0 1 1 0 1 0 0 1 0 1
    92   -10  1 0 1 0 1 0 <E 0 1 0 1 1 0 1 0 0 1 0 1
    93   -11  1 0 1 0 1 <F 1 0 1 0 1 1 0 1 0 0 1 0 1
    94   -12  1 0 1 0 <E 0 1 0 1 0 1 1 0 1 0 0 1 0 1
    95   -13  1 0 1 <F 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
    96   -14  1 0 <E 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
    97   -15  1 <F 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
    98   -16  <E 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
    99   -17  <F 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   100   -16  1 A> 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   101   -15  1 0 F> 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   102   -14  1 0 1 A> 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   103   -13  1 0 1 0 F> 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   104   -12  1 0 1 0 1 A> 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   105   -11  1 0 1 0 1 0 F> 0 1 0 1 0 1 1 0 1 0 0 1 0 1
   106   -10  1 0 1 0 1 0 1 A> 1 0 1 0 1 1 0 1 0 0 1 0 1
   107    -9  1 0 1 0 1 0 1 0 F> 0 1 0 1 1 0 1 0 0 1 0 1
   108    -8  1 0 1 0 1 0 1 0 1 A> 1 0 1 1 0 1 0 0 1 0 1
   109    -7  1 0 1 0 1 0 1 0 1 0 F> 0 1 1 0 1 0 0 1 0 1
   110    -6  1 0 1 0 1 0 1 0 1 0 1 A> 1 1 0 1 0 0 1 0 1
   111    -5  1 0 1 0 1 0 1 0 1 0 1 0 F> 1 0 1 0 0 1 0 1
   112    -6  1 0 1 0 1 0 1 0 1 0 1 0 <E 0 0 1 0 0 1 0 1
   113    -7  1 0 1 0 1 0 1 0 1 0 1 <F 1 0 0 1 0 0 1 0 1
   114    -8  1 0 1 0 1 0 1 0 1 0 <E 0 1 0 0 1 0 0 1 0 1
   115    -9  1 0 1 0 1 0 1 0 1 <F 1 0 1 0 0 1 0 0 1 0 1
   116   -10  1 0 1 0 1 0 1 0 <E 0 1 0 1 0 0 1 0 0 1 0 1
   117   -11  1 0 1 0 1 0 1 <F 1 0 1 0 1 0 0 1 0 0 1 0 1
   118   -12  1 0 1 0 1 0 <E 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   119   -13  1 0 1 0 1 <F 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   120   -14  1 0 1 0 <E 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   121   -15  1 0 1 <F 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   122   -16  1 0 <E 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   123   -17  1 <F 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   124   -18  <E 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   125   -19  <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   126   -18  1 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   127   -17  1 0 F> 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   128   -16  1 0 1 A> 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   129   -15  1 0 1 0 F> 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   130   -14  1 0 1 0 1 A> 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   131   -13  1 0 1 0 1 0 F> 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   132   -12  1 0 1 0 1 0 1 A> 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   133   -11  1 0 1 0 1 0 1 0 F> 0 1 0 1 0 1 0 0 1 0 0 1 0 1
   134   -10  1 0 1 0 1 0 1 0 1 A> 1 0 1 0 1 0 0 1 0 0 1 0 1
   135    -9  1 0 1 0 1 0 1 0 1 0 F> 0 1 0 1 0 0 1 0 0 1 0 1
   136    -8  1 0 1 0 1 0 1 0 1 0 1 A> 1 0 1 0 0 1 0 0 1 0 1
   137    -7  1 0 1 0 1 0 1 0 1 0 1 0 F> 0 1 0 0 1 0 0 1 0 1
   138    -6  1 0 1 0 1 0 1 0 1 0 1 0 1 A> 1 0 0 1 0 0 1 0 1
   139    -5  1 0 1 0 1 0 1 0 1 0 1 0 1 0 F> 0 0 1 0 0 1 0 1
   140    -4  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 A> 0 1 0 0 1 0 1
   141    -3  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 B> 1 0 0 1 0 1
   142    -4  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 <C 1 0 0 1 0 1
   143    -3  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 C> 1 0 0 1 0 1
   144    -2  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 C> 0 0 1 0 1
   145    -3  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 <D 1 0 1 0 1
   146    -4  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 <E 1 1 0 1 0 1
   147    -5  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 <F 13 0 1 0 1
   148    -6  1 0 1 0 1 0 1 0 1 0 1 0 1 0 <E 0 13 0 1 0 1
   149    -7  1 0 1 0 1 0 1 0 1 0 1 0 1 <F 1 0 13 0 1 0 1
   150    -8  1 0 1 0 1 0 1 0 1 0 1 0 <E 0 1 0 13 0 1 0 1
   151    -9  1 0 1 0 1 0 1 0 1 0 1 <F 1 0 1 0 13 0 1 0 1
   152   -10  1 0 1 0 1 0 1 0 1 0 <E 0 1 0 1 0 13 0 1 0 1
   153   -11  1 0 1 0 1 0 1 0 1 <F 1 0 1 0 1 0 13 0 1 0 1
   154   -12  1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1 0 13 0 1 0 1
   155   -13  1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1 0 13 0 1 0 1
   156   -14  1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   157   -15  1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   158   -16  1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   159   -17  1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   160   -18  1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   161   -19  1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   162   -20  <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   163   -21  <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   164   -20  1 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   165   -19  1 0 F> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   166   -18  1 0 1 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   167   -17  1 0 1 0 F> 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   168   -16  1 0 1 0 1 A> 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   169   -15  1 0 1 0 1 0 F> 0 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   170   -14  1 0 1 0 1 0 1 A> 1 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   171   -13  1 0 1 0 1 0 1 0 F> 0 1 0 1 0 1 0 1 0 13 0 1 0 1
   172   -12  1 0 1 0 1 0 1 0 1 A> 1 0 1 0 1 0 1 0 13 0 1 0 1
   173   -11  1 0 1 0 1 0 1 0 1 0 F> 0 1 0 1 0 1 0 13 0 1 0 1
   174   -10  1 0 1 0 1 0 1 0 1 0 1 A> 1 0 1 0 1 0 13 0 1 0 1
   175    -9  1 0 1 0 1 0 1 0 1 0 1 0 F> 0 1 0 1 0 13 0 1 0 1
   176    -8  1 0 1 0 1 0 1 0 1 0 1 0 1 A> 1 0 1 0 13 0 1 0 1
   177    -7  1 0 1 0 1 0 1 0 1 0 1 0 1 0 F> 0 1 0 13 0 1 0 1
   178    -6  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 A> 1 0 13 0 1 0 1
   179    -5  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 F> 0 13 0 1 0 1
   180    -4  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 A> 13 0 1 0 1
   181    -3  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 F> 1 1 0 1 0 1
   182    -4  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1
   183    -5  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1
   184    -6  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1
   185    -7  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1
   186    -8  1 0 1 0 1 0 1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1
   187    -9  1 0 1 0 1 0 1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1
   188   -10  1 0 1 0 1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1
   189   -11  1 0 1 0 1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1
   190   -12  1 0 1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   191   -13  1 0 1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   192   -14  1 0 1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   193   -15  1 0 1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   194   -16  1 0 1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   195   -17  1 0 1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   196   -18  1 0 1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   197   -19  1 0 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   198   -20  1 0 <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   199   -21  1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
   200   -22  <E 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

After 200 steps (201 lines): state = E.
Produced     12 ones.
Tape index -22, scanned [-21 .. 2].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 42 4 38 0 7
B 6 2 4 1 2
C 10 4 6 3 38
D 8 8   4  
E 50 46 4 5 48
F 84 41 43 6 8
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:14:21 CEST 2010