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

Comment: This TM produces >4.6x10^1439 ones in >2.5x10^2879 steps.
Comment: This was the best known 6x2 TM until May-2010

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

After 201 steps (201 lines): state = E.
Produced     13 ones.
Tape index 5, scanned [-17 .. 7].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 87 49 38 0 9
B 49 4 45 1 8
C 15 6 9 4 2
D 6 5 1 5 33
E 43 41 2 6 31
F 1 1   34  
Execution statistics 

The same TM just simple.

The same TM with repetitions reduced.

The same TM as 2-bck-2-macro machine.

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