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.
Simulation is done with repetitions reduced.
The same TM 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 St Tape contents
     0    0 A . . . . . . . . . 0
     1    1 B . . . . . . . . . 10
     2    0 C . . . . . . . . . 11
+    4    2 C . . . . . . . . . 000   by C/1 * 2
     5    1 D . . . . . . . . . 001
     6    0 E . . . . . . . . . 011
     7   -1 A . . . . . . . . .0111
     8    0 B . . . . . . . . .1111
     9    1 A . . . . . . . . .1011
    10    0 E . . . . . . . . .1001
    11   -1 A . . . . . . . . .1101
    12   -2 E . . . . . . . . 00101
    13   -3 A . . . . . . . .010101
    14   -2 B . . . . . . . .110101
    15   -1 A . . . . . . . .100101
    16    0 B . . . . . . . .101101
    17    1 A . . . . . . . .101001
    18    2 B . . . . . . . .101011
    19    3 A . . . . . . . .1010100
    20    4 B . . . . . . . .10101010
    21    3 C . . . . . . . .10101011
+   23    5 C . . . . . . . .101010000  by C/1 * 2
    24    4 D . . . . . . . .101010001
    25    3 E . . . . . . . .101010011
    26    2 A . . . . . . . .101010111
    27    3 B . . . . . . . .101011111
    28    4 A . . . . . . . .101011011
    29    3 E . . . . . . . .101011001
    30    2 A . . . . . . . .101011101
    31    1 E . . . . . . . .101010101
    32    0 C . . . . . . . .101010101
    33   -1 D . . . . . . . .101110101
    34   -2 F . . . . . . . .100110101
    35   -3 E . . . . . . . .110110101
    36   -4 C . . . . . . . 0110110101
    37   -5 D . . . . . . .01110110101
    38   -6 E . . . . . . 011110110101
    39   -7 A . . . . . .0111110110101
    40   -6 B . . . . . .1111110110101
    41   -5 A . . . . . .1011110110101
    42   -6 E . . . . . .1001110110101
    43   -7 A . . . . . .1101110110101
    44   -8 E . . . . . 00101110110101
    45   -9 A . . . . .010101110110101
    46   -8 B . . . . .110101110110101
    47   -7 A . . . . .100101110110101
    48   -6 B . . . . .101101110110101
    49   -5 A . . . . .101001110110101
    50   -4 B . . . . .101011110110101
    51   -3 A . . . . .101010110110101
    52   -4 E . . . . .101010010110101
    53   -5 A . . . . .101011010110101
    54   -6 E . . . . .101001010110101
    55   -7 A . . . . .101101010110101
    56   -8 E . . . . .100101010110101
    57   -9 A . . . . .110101010110101
    58  -10 E . . . . 0010101010110101
    59  -11 A . . . .01010101010110101
    60  -10 B . . . .11010101010110101
    61   -9 A . . . .10010101010110101
    62   -8 B . . . .10110101010110101
    63   -7 A . . . .10100101010110101
    64   -6 B . . . .10101101010110101
    65   -5 A . . . .10101001010110101
    66   -4 B . . . .10101011010110101
    67   -3 A . . . .10101010010110101
    68   -2 B . . . .10101010110110101
    69   -1 A . . . .10101010100110101
    70    0 B . . . .10101010101110101
    71    1 A . . . .10101010101010101
    72    0 E . . . .10101010101000101
    73   -1 A . . . .10101010101100101
    74   -2 E . . . .10101010100100101
    75   -3 A . . . .10101010110100101
    76   -4 E . . . .10101010010100101
    77   -5 A . . . .10101011010100101
    78   -6 E . . . .10101001010100101
    79   -7 A . . . .10101101010100101
    80   -8 E . . . .10100101010100101
    81   -9 A . . . .10110101010100101
    82  -10 E . . . .10010101010100101
    83  -11 A . . . .11010101010100101
    84  -12 E . . . 001010101010100101
    85  -13 A . . .0101010101010100101
    86  -12 B . . .1101010101010100101
    87  -11 A . . .1001010101010100101
    88  -10 B . . .1011010101010100101
    89   -9 A . . .1010010101010100101
    90   -8 B . . .1010110101010100101
    91   -7 A . . .1010100101010100101
    92   -6 B . . .1010101101010100101
    93   -5 A . . .1010101001010100101
    94   -4 B . . .1010101011010100101
    95   -3 A . . .1010101010010100101
    96   -2 B . . .1010101010110100101
    97   -1 A . . .1010101010100100101
    98    0 B . . .1010101010101100101
    99    1 A . . .1010101010101000101
   100    2 B . . .1010101010101010101
   101    1 C . . .1010101010101011101
+  104    4 C . . .1010101010101000001   by C/1 * 3
   105    3 D . . .1010101010101000011
   106    2 E . . .1010101010101000111
   107    1 A . . .1010101010101001111
   108    2 B . . .1010101010101011111
   109    3 A . . .1010101010101010111
   110    2 E . . .1010101010101010011
   111    1 A . . .1010101010101011011
   112    0 E . . .1010101010101001011
   113   -1 A . . .1010101010101101011
   114   -2 E . . .1010101010100101011
   115   -3 A . . .1010101010110101011
   116   -4 E . . .1010101010010101011
   117   -5 A . . .1010101011010101011
   118   -6 E . . .1010101001010101011
   119   -7 A . . .1010101101010101011
   120   -8 E . . .1010100101010101011
   121   -9 A . . .1010110101010101011
   122  -10 E . . .1010010101010101011
   123  -11 A . . .1011010101010101011
   124  -12 E . . .1001010101010101011
   125  -13 A . . .1101010101010101011
   126  -14 E . . 00101010101010101011
   127  -15 A . .010101010101010101011
   128  -14 B . .110101010101010101011
   129  -13 A . .100101010101010101011
   130  -12 B . .101101010101010101011
   131  -11 A . .101001010101010101011
   132  -10 B . .101011010101010101011
   133   -9 A . .101010010101010101011
   134   -8 B . .101010110101010101011
   135   -7 A . .101010100101010101011
   136   -6 B . .101010101101010101011
   137   -5 A . .101010101001010101011
   138   -4 B . .101010101011010101011
   139   -3 A . .101010101010010101011
   140   -2 B . .101010101010110101011
   141   -1 A . .101010101010100101011
   142    0 B . .101010101010101101011
   143    1 A . .101010101010101001011
   144    2 B . .101010101010101011011
   145    3 A . .101010101010101010011
   146    4 B . .101010101010101010111
   147    5 A . .101010101010101010101
   148    4 E . .101010101010101010100
   149    3 A . .101010101010101010110
   150    2 E . .101010101010101010010
   151    1 A . .101010101010101011010
   152    0 E . .101010101010101001010
   153   -1 A . .101010101010101101010
   154   -2 E . .101010101010100101010
   155   -3 A . .101010101010110101010
   156   -4 E . .101010101010010101010
   157   -5 A . .101010101011010101010
   158   -6 E . .101010101001010101010
   159   -7 A . .101010101101010101010
   160   -8 E . .101010100101010101010
   161   -9 A . .101010110101010101010
   162  -10 E . .101010010101010101010
   163  -11 A . .101011010101010101010
   164  -12 E . .101001010101010101010
   165  -13 A . .101101010101010101010
   166  -14 E . .100101010101010101010
   167  -15 A . .110101010101010101010
   168  -16 E . 0010101010101010101010
   169  -17 A .01010101010101010101010
   170  -16 B .11010101010101010101010
   171  -15 A .10010101010101010101010
   172  -14 B .10110101010101010101010
   173  -13 A .10100101010101010101010
   174  -12 B .10101101010101010101010
   175  -11 A .10101001010101010101010
   176  -10 B .10101011010101010101010
   177   -9 A .10101010010101010101010
   178   -8 B .10101010110101010101010
   179   -7 A .10101010100101010101010
   180   -6 B .10101010101101010101010
   181   -5 A .10101010101001010101010
   182   -4 B .10101010101011010101010
   183   -3 A .10101010101010010101010
   184   -2 B .10101010101010110101010
   185   -1 A .10101010101010100101010
   186    0 B .10101010101010101101010
   187    1 A .10101010101010101001010
   188    2 B .10101010101010101011010
   189    3 A .10101010101010101010010
   190    4 B .10101010101010101010110
   191    5 A .10101010101010101010100
   192    6 B .101010101010101010101010
   193    5 C .101010101010101010101011
+  195    7 C .1010101010101010101010000  by C/1 * 2
   196    6 D .1010101010101010101010001
   197    5 E .1010101010101010101010011
   198    4 A .1010101010101010101010111
   199    5 B .1010101010101010101011111
   200    6 A .1010101010101010101011011
   201    5 E .1010101010101010101011001
   202    4 A .1010101010101010101011101
   203    3 E .1010101010101010101010101
   204    2 C .1010101010101010101010101
   205    1 D .1010101010101010101110101

After 205 steps (201 lines): state = D.
Produced     14 ones.
Tape index 1, scanned [-17 .. 7].
State Count Execution count First in step
on 0 on 1 on 0 on 1
A 88 49 39 0 9
B 49 4 45 1 8
C 16 7 9 4 2
D 6 5 1 5 33
E 45 42 3 6 31
F 1 1   34  
Execution statistics

The same TM just simple.
The same TM 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.

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:22 CEST 2010