3-state 4-symbol formerly best (T.J. & S. Ligocki) 

Comment: This TM produces >6.0x10^140 nonzeros in >4.3x10^281 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State on
0		 on
1		 on
2		 on
3		 on 0 on 1 on 2 on 3
Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 3RB 2LC 3LA 1 right B 3 right B 2 left C 3 left A
B 0RC 1RH 2RC 1LB 0 right C 1 right H 2 right C 1 left B
C 1LB 2LA 3RC 2LC 1 left B 2 left A 3 right C 2 left C
Transition table 
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . . . . . . . . . 0
     1    1 B . . . . . . . . . . . . . 10
     2    2 C . . . . . . . . . . . . . 100
     3    1 B . . . . . . . . . . . . . 101
     4    2 C . . . . . . . . . . . . . 101
     5    1 A . . . . . . . . . . . . . 102
     6    2 B . . . . . . . . . . . . . 112
     7    3 C . . . . . . . . . . . . . 1120
     8    2 B . . . . . . . . . . . . . 1121
     9    3 C . . . . . . . . . . . . . 1121
    10    2 A . . . . . . . . . . . . . 1122
    11    1 C . . . . . . . . . . . . . 1122
    12    0 A . . . . . . . . . . . . . 1222
    13    1 B . . . . . . . . . . . . . 3222
    14    2 C . . . . . . . . . . . . . 3222
+   16    4 C . . . . . . . . . . . . . 32330   by C/2 * 2
    17    3 B . . . . . . . . . . . . . 32331
+   19    1 B . . . . . . . . . . . . . 32111  by B/3 * 2
    20    2 C . . . . . . . . . . . . . 32111
    21    1 A . . . . . . . . . . . . . 32211
    22    0 C . . . . . . . . . . . . . 32211
    23   -1 C . . . . . . . . . . . . .022211
    24   -2 B . . . . . . . . . . . . 0122211
    25   -1 C . . . . . . . . . . . . 0122211
    26   -2 A . . . . . . . . . . . . 0222211
    27   -1 B . . . . . . . . . . . . 1222211
    28    0 C . . . . . . . . . . . . 1222211
+   31    3 C . . . . . . . . . . . . 1233311  by C/2 * 3
    32    2 A . . . . . . . . . . . . 1233321
+   35   -1 A . . . . . . . . . . . . 1233321  by A/3 * 3
    36   -2 C . . . . . . . . . . . . 1233321
    37   -3 A . . . . . . . . . . . .02233321
    38   -2 B . . . . . . . . . . . .12233321
    39   -1 C . . . . . . . . . . . .12233321
    40    0 C . . . . . . . . . . . .12333321
+   42   -2 C . . . . . . . . . . . .12223321  by C/3 * 2
+   45    1 C . . . . . . . . . . . .13333321  by C/2 * 3
+   49   -3 C . . . . . . . . . . . .12222321  by C/3 * 4
    50   -4 A . . . . . . . . . . . 022222321
    51   -3 B . . . . . . . . . . . 122222321
    52   -2 C . . . . . . . . . . . 122222321
+   56    2 C . . . . . . . . . . . 123333321  by C/2 * 4
+   61   -3 C . . . . . . . . . . . 122222221  by C/3 * 5
+   68    4 C . . . . . . . . . . . 133333331  by C/2 * 7
    69    3 A . . . . . . . . . . . 133333332
+   76   -4 A . . . . . . . . . . . 133333332  by A/3 * 7
    77   -3 B . . . . . . . . . . . 333333332
+   79   -5 B . . . . . . . . . . .0113333332  by B/3 * 2
    80   -4 C . . . . . . . . . . .0113333332
    81   -5 A . . . . . . . . . . .0213333332
    82   -4 B . . . . . . . . . . .1213333332
    83   -3 C . . . . . . . . . . .1213333332
    84   -4 A . . . . . . . . . . .1223333332
    85   -5 C . . . . . . . . . . .1223333332
    86   -6 A . . . . . . . . . . 02223333332
    87   -5 B . . . . . . . . . . 12223333332
    88   -4 C . . . . . . . . . . 12223333332
+   90   -2 C . . . . . . . . . . 12333333332  by C/2 * 2
+   93   -5 C . . . . . . . . . . 12222333332  by C/3 * 3
+   97   -1 C . . . . . . . . . . 13333333332  by C/2 * 4
+  102   -6 C . . . . . . . . . . 12222233332  by C/3 * 5
   103   -7 A . . . . . . . . . .022222233332
   104   -6 B . . . . . . . . . .122222233332
   105   -5 C . . . . . . . . . .122222233332
+  110    0 C . . . . . . . . . .123333333332  by C/2 * 5
+  116   -6 C . . . . . . . . . .122222223332  by C/3 * 6
+  123    1 C . . . . . . . . . .133333333332  by C/2 * 7
+  131   -7 C . . . . . . . . . .122222222332  by C/3 * 8
   132   -8 A . . . . . . . . . 0222222222332
   133   -7 B . . . . . . . . . 1222222222332
   134   -6 C . . . . . . . . . 1222222222332
+  142    2 C . . . . . . . . . 1233333333332  by C/2 * 8
+  151   -7 C . . . . . . . . . 1222222222232  by C/3 * 9
+  161    3 C . . . . . . . . . 1333333333332  by C/2 * 10
+  172   -8 C . . . . . . . . . 1222222222222  by C/3 * 11
   173   -9 A . . . . . . . . .02222222222222
   174   -8 B . . . . . . . . .12222222222222
   175   -7 C . . . . . . . . .12222222222222
+  187    5 C . . . . . . . . .123333333333330  by C/2 * 12
   188    4 B . . . . . . . . .123333333333331
+  200   -8 B . . . . . . . . .121111111111111   by B/3 * 12
   201   -7 C . . . . . . . . .121111111111111
   202   -8 A . . . . . . . . .122111111111111
   203   -9 C . . . . . . . . .122111111111111
   204  -10 A . . . . . . . . 0222111111111111
   205   -9 B . . . . . . . . 1222111111111111
   206   -8 C . . . . . . . . 1222111111111111
+  208   -6 C . . . . . . . . 1233111111111111   by C/2 * 2
   209   -7 A . . . . . . . . 1233211111111111
+  211   -9 A . . . . . . . . 1233211111111111   by A/3 * 2
   212  -10 C . . . . . . . . 1233211111111111
   213  -11 A . . . . . . . .02233211111111111
   214  -10 B . . . . . . . .12233211111111111
   215   -9 C . . . . . . . .12233211111111111
   216   -8 C . . . . . . . .12333211111111111
+  218  -10 C . . . . . . . .12223211111111111   by C/3 * 2
+  221   -7 C . . . . . . . .13333211111111111   by C/2 * 3
+  225  -11 C . . . . . . . .12222211111111111   by C/3 * 4
   226  -12 A . . . . . . . 022222211111111111
   227  -11 B . . . . . . . 122222211111111111
   228  -10 C . . . . . . . 122222211111111111
+  233   -5 C . . . . . . . 123333311111111111   by C/2 * 5
   234   -6 A . . . . . . . 123333321111111111
+  239  -11 A . . . . . . . 123333321111111111   by A/3 * 5
   240  -12 C . . . . . . . 123333321111111111
   241  -13 A . . . . . . .0223333321111111111
   242  -12 B . . . . . . .1223333321111111111
   243  -11 C . . . . . . .1223333321111111111
   244  -10 C . . . . . . .1233333321111111111
+  246  -12 C . . . . . . .1222333321111111111   by C/3 * 2
+  249   -9 C . . . . . . .1333333321111111111   by C/2 * 3
+  253  -13 C . . . . . . .1222233321111111111   by C/3 * 4
   254  -14 A . . . . . . 02222233321111111111
   255  -13 B . . . . . . 12222233321111111111
   256  -12 C . . . . . . 12222233321111111111
+  260   -8 C . . . . . . 12333333321111111111   by C/2 * 4
+  265  -13 C . . . . . . 12222223321111111111   by C/3 * 5
+  271   -7 C . . . . . . 13333333321111111111   by C/2 * 6
+  278  -14 C . . . . . . 12222222321111111111   by C/3 * 7
   279  -15 A . . . . . .022222222321111111111
   280  -14 B . . . . . .122222222321111111111
   281  -13 C . . . . . .122222222321111111111
+  288   -6 C . . . . . .123333333321111111111   by C/2 * 7
+  296  -14 C . . . . . .122222222221111111111   by C/3 * 8
+  306   -4 C . . . . . .133333333331111111111   by C/2 * 10
   307   -5 A . . . . . .133333333332111111111
+  317  -15 A . . . . . .133333333332111111111   by A/3 * 10
   318  -14 B . . . . . .333333333332111111111
+  320  -16 B . . . . . 0113333333332111111111   by B/3 * 2
   321  -15 C . . . . . 0113333333332111111111
   322  -16 A . . . . . 0213333333332111111111
   323  -15 B . . . . . 1213333333332111111111
   324  -14 C . . . . . 1213333333332111111111
   325  -15 A . . . . . 1223333333332111111111
   326  -16 C . . . . . 1223333333332111111111
   327  -17 A . . . . .02223333333332111111111
   328  -16 B . . . . .12223333333332111111111
   329  -15 C . . . . .12223333333332111111111
+  331  -13 C . . . . .12333333333332111111111   by C/2 * 2
+  334  -16 C . . . . .12222333333332111111111   by C/3 * 3
+  338  -12 C . . . . .13333333333332111111111   by C/2 * 4
+  343  -17 C . . . . .12222233333332111111111   by C/3 * 5
   344  -18 A . . . . 022222233333332111111111
   345  -17 B . . . . 122222233333332111111111
   346  -16 C . . . . 122222233333332111111111
+  351  -11 C . . . . 123333333333332111111111   by C/2 * 5
+  357  -17 C . . . . 122222223333332111111111   by C/3 * 6
+  364  -10 C . . . . 133333333333332111111111   by C/2 * 7
+  372  -18 C . . . . 122222222333332111111111   by C/3 * 8
   373  -19 A . . . .0222222222333332111111111
   374  -18 B . . . .1222222222333332111111111
   375  -17 C . . . .1222222222333332111111111
+  383   -9 C . . . .1233333333333332111111111   by C/2 * 8
+  392  -18 C . . . .1222222222233332111111111   by C/3 * 9
+  402   -8 C . . . .1333333333333332111111111   by C/2 * 10
+  413  -19 C . . . .1222222222223332111111111   by C/3 * 11
   414  -20 A . . . 02222222222223332111111111
   415  -19 B . . . 12222222222223332111111111
   416  -18 C . . . 12222222222223332111111111
+  427   -7 C . . . 12333333333333332111111111   by C/2 * 11
+  439  -19 C . . . 12222222222222332111111111   by C/3 * 12
+  452   -6 C . . . 13333333333333332111111111   by C/2 * 13
+  466  -20 C . . . 12222222222222232111111111   by C/3 * 14
   467  -21 A . . .022222222222222232111111111
   468  -20 B . . .122222222222222232111111111
   469  -19 C . . .122222222222222232111111111
+  483   -5 C . . .123333333333333332111111111   by C/2 * 14
+  498  -20 C . . .122222222222222222111111111   by C/3 * 15
+  515   -3 C . . .133333333333333333111111111   by C/2 * 17
   516   -4 A . . .133333333333333333211111111
+  533  -21 A . . .133333333333333333211111111   by A/3 * 17
   534  -20 B . . .333333333333333333211111111
+  536  -22 B . . 0113333333333333333211111111   by B/3 * 2
   537  -21 C . . 0113333333333333333211111111
   538  -22 A . . 0213333333333333333211111111
   539  -21 B . . 1213333333333333333211111111
   540  -20 C . . 1213333333333333333211111111
   541  -21 A . . 1223333333333333333211111111
   542  -22 C . . 1223333333333333333211111111
   543  -23 A . .02223333333333333333211111111
   544  -22 B . .12223333333333333333211111111
   545  -21 C . .12223333333333333333211111111
+  547  -19 C . .12333333333333333333211111111   by C/2 * 2
+  550  -22 C . .12222333333333333333211111111   by C/3 * 3
+  554  -18 C . .13333333333333333333211111111   by C/2 * 4
+  559  -23 C . .12222233333333333333211111111   by C/3 * 5
   560  -24 A . 022222233333333333333211111111
   561  -23 B . 122222233333333333333211111111
   562  -22 C . 122222233333333333333211111111
+  567  -17 C . 123333333333333333333211111111   by C/2 * 5
+  573  -23 C . 122222223333333333333211111111   by C/3 * 6
+  580  -16 C . 133333333333333333333211111111   by C/2 * 7
+  588  -24 C . 122222222333333333333211111111   by C/3 * 8
   589  -25 A .0222222222333333333333211111111
   590  -24 B .1222222222333333333333211111111
   591  -23 C .1222222222333333333333211111111
+  599  -15 C .1233333333333333333333211111111   by C/2 * 8
+  608  -24 C .1222222222233333333333211111111   by C/3 * 9
+  618  -14 C .1333333333333333333333211111111   by C/2 * 10
+  629  -25 C .1222222222223333333333211111111   by C/3 * 11
   630  -26 A 02222222222223333333333211111111

After 630 steps (201 lines): state = A.
Produced     31 nonzeros.
Tape index -26, scanned [-25 .. 5].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 0 on 1 on 2 on 3
A 83 26 4 9 44 0 12 10 32
B 55 6   29 20 1   6 17
C 492 5 39 237 211 2 4 14 22
Execution statistics 

The same TM just simple.

The same TM with tape symbol exponents.

The same TM as 1-macro machine.

The same TM as 1-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:13:35 CEST 2010