2-state 4-symbol also formerly best (cited from P.Michel)

Comment: This TM produces 90 nonzeros in 7195 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 3LA 1LA 1RA 1 right B 3 left A 1 left A 1 right A
B 2LA 1RH 3RA 3RB 2 left A 1 right H 3 right A 3 right B
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    0 A . . . 12
     3   -1 A . . .032
     4    0 B . . .132
     5    1 B . . .132
     6    2 A . . .1330
     7    3 B . . .13310
     8    2 A . . .13312
     9    1 A . . .13332
+   11    3 A . . .13112   by A/3 * 2
    12    2 A . . .13111
+   14    0 A . . .13331   by A/1 * 2
+   17    3 A . . .11111   by A/3 * 3
+   22   -2 A . . 033333   by A/1 * 5
    23   -1 B . . 133333
+   28    4 B . . 1333330   by B/3 * 5
    29    3 A . . 1333332
    30    4 A . . 1333312
    31    3 A . . 1333311
    32    2 A . . 1333331
+   34    4 A . . 1333111  by A/3 * 2
+   37    1 A . . 1333333  by A/1 * 3
+   41    5 A . . 13311110  by A/3 * 4
    42    6 B . . 133111110
    43    5 A . . 133111112
+   48    0 A . . 133333332  by A/1 * 5
+   54    6 A . . 131111112  by A/3 * 6
    55    5 A . . 131111111
+   61   -1 A . . 133333331  by A/1 * 6
+   68    6 A . . 111111111  by A/3 * 7
+   77   -3 A . .0333333333  by A/1 * 9
    78   -2 B . .1333333333
+   87    7 B . .13333333330  by B/3 * 9
    88    6 A . .13333333332
    89    7 A . .13333333312
    90    6 A . .13333333311
    91    5 A . .13333333331
+   93    7 A . .13333333111   by A/3 * 2
+   96    4 A . .13333333333   by A/1 * 3
+  100    8 A . .133333311110   by A/3 * 4
   101    9 B . .1333333111110
   102    8 A . .1333333111112
+  107    3 A . .1333333333332   by A/1 * 5
+  113    9 A . .1333331111112   by A/3 * 6
   114    8 A . .1333331111111
+  120    2 A . .1333333333331   by A/1 * 6
+  127    9 A . .1333311111111   by A/3 * 7
+  135    1 A . .1333333333333   by A/1 * 8
+  144   10 A . .13331111111110   by A/3 * 9
   145   11 B . .133311111111110
   146   10 A . .133311111111112
+  156    0 A . .133333333333332   by A/1 * 10
+  167   11 A . .133111111111112   by A/3 * 11
   168   10 A . .133111111111111
+  179   -1 A . .133333333333331   by A/1 * 11
+  191   11 A . .131111111111111   by A/3 * 12
+  204   -2 A . .133333333333333   by A/1 * 13
+  218   12 A . .1111111111111110   by A/3 * 14
   219   13 B . .11111111111111110
   220   12 A . .11111111111111112
+  236   -4 A . 033333333333333332   by A/1 * 16
   237   -3 B . 133333333333333332
+  253   13 B . 133333333333333332   by B/3 * 16
   254   14 A . 1333333333333333330
   255   15 B . 13333333333333333310
   256   14 A . 13333333333333333312
   257   13 A . 13333333333333333332
+  259   15 A . 13333333333333333112   by A/3 * 2
   260   14 A . 13333333333333333111
+  262   12 A . 13333333333333333331   by A/1 * 2
+  265   15 A . 13333333333333331111   by A/3 * 3
+  269   11 A . 13333333333333333333   by A/1 * 4
+  274   16 A . 133333333333333111110   by A/3 * 5
   275   17 B . 1333333333333331111110
   276   16 A . 1333333333333331111112
+  282   10 A . 1333333333333333333332   by A/1 * 6
+  289   17 A . 1333333333333311111112   by A/3 * 7
   290   16 A . 1333333333333311111111
+  297    9 A . 1333333333333333333331   by A/1 * 7
+  305   17 A . 1333333333333111111111   by A/3 * 8
+  314    8 A . 1333333333333333333333   by A/1 * 9
+  324   18 A . 13333333333311111111110   by A/3 * 10
   325   19 B . 133333333333111111111110
   326   18 A . 133333333333111111111112
+  337    7 A . 133333333333333333333332   by A/1 * 11
+  349   19 A . 133333333331111111111112   by A/3 * 12
   350   18 A . 133333333331111111111111
+  362    6 A . 133333333333333333333331   by A/1 * 12
+  375   19 A . 133333333311111111111111   by A/3 * 13
+  389    5 A . 133333333333333333333333   by A/1 * 14
+  404   20 A . 1333333331111111111111110   by A/3 * 15
   405   21 B . 13333333311111111111111110
   406   20 A . 13333333311111111111111112
+  422    4 A . 13333333333333333333333332   by A/1 * 16
+  439   21 A . 13333333111111111111111112   by A/3 * 17
   440   20 A . 13333333111111111111111111
+  457    3 A . 13333333333333333333333331   by A/1 * 17
+  475   21 A . 13333331111111111111111111   by A/3 * 18
+  494    2 A . 13333333333333333333333333   by A/1 * 19
+  514   22 A . 133333111111111111111111110   by A/3 * 20
   515   23 B . 1333331111111111111111111110
   516   22 A . 1333331111111111111111111112
+  537    1 A . 1333333333333333333333333332   by A/1 * 21
+  559   23 A . 1333311111111111111111111112   by A/3 * 22
   560   22 A . 1333311111111111111111111111
+  582    0 A . 1333333333333333333333333331   by A/1 * 22
+  605   23 A . 1333111111111111111111111111   by A/3 * 23
+  629   -1 A . 1333333333333333333333333333   by A/1 * 24
+  654   24 A . 13311111111111111111111111110   by A/3 * 25
   655   25 B . 133111111111111111111111111110
   656   24 A . 133111111111111111111111111112
+  682   -2 A . 133333333333333333333333333332   by A/1 * 26
+  709   25 A . 131111111111111111111111111112   by A/3 * 27
   710   24 A . 131111111111111111111111111111
+  737   -3 A . 133333333333333333333333333331   by A/1 * 27
+  765   25 A . 111111111111111111111111111111   by A/3 * 28
+  795   -5 A .0333333333333333333333333333333   by A/1 * 30
   796   -4 B .1333333333333333333333333333333
+  826   26 B .13333333333333333333333333333330   by B/3 * 30
   827   25 A .13333333333333333333333333333332
   828   26 A .13333333333333333333333333333312
   829   25 A .13333333333333333333333333333311
   830   24 A .13333333333333333333333333333331
+  832   26 A .13333333333333333333333333333111  by A/3 * 2
+  835   23 A .13333333333333333333333333333333  by A/1 * 3
+  839   27 A .133333333333333333333333333311110  by A/3 * 4
   840   28 B .1333333333333333333333333333111110
   841   27 A .1333333333333333333333333333111112
+  846   22 A .1333333333333333333333333333333332  by A/1 * 5
+  852   28 A .1333333333333333333333333331111112  by A/3 * 6
   853   27 A .1333333333333333333333333331111111
+  859   21 A .1333333333333333333333333333333331  by A/1 * 6
+  866   28 A .1333333333333333333333333311111111  by A/3 * 7
+  874   20 A .1333333333333333333333333333333333  by A/1 * 8
+  883   29 A .13333333333333333333333331111111110  by A/3 * 9
   884   30 B .133333333333333333333333311111111110
   885   29 A .133333333333333333333333311111111112
+  895   19 A .133333333333333333333333333333333332  by A/1 * 10
+  906   30 A .133333333333333333333333111111111112  by A/3 * 11
   907   29 A .133333333333333333333333111111111111
+  918   18 A .133333333333333333333333333333333331  by A/1 * 11
+  930   30 A .133333333333333333333331111111111111  by A/3 * 12
+  943   17 A .133333333333333333333333333333333333  by A/1 * 13
+  957   31 A .1333333333333333333333111111111111110  by A/3 * 14
   958   32 B .13333333333333333333331111111111111110
   959   31 A .13333333333333333333331111111111111112
+  974   16 A .13333333333333333333333333333333333332  by A/1 * 15
+  990   32 A .13333333333333333333311111111111111112  by A/3 * 16
   991   31 A .13333333333333333333311111111111111111
+ 1007   15 A .13333333333333333333333333333333333331  by A/1 * 16
+ 1024   32 A .13333333333333333333111111111111111111  by A/3 * 17
+ 1042   14 A .13333333333333333333333333333333333333  by A/1 * 18
+ 1061   33 A .133333333333333333311111111111111111110  by A/3 * 19
  1062   34 B .1333333333333333333111111111111111111110
  1063   33 A .1333333333333333333111111111111111111112
+ 1083   13 A .1333333333333333333333333333333333333332  by A/1 * 20
+ 1104   34 A .1333333333333333331111111111111111111112  by A/3 * 21
  1105   33 A .1333333333333333331111111111111111111111
+ 1126   12 A .1333333333333333333333333333333333333331  by A/1 * 21
+ 1148   34 A .1333333333333333311111111111111111111111  by A/3 * 22
+ 1171   11 A .1333333333333333333333333333333333333333  by A/1 * 23
+ 1195   35 A .13333333333333331111111111111111111111110  by A/3 * 24
  1196   36 B .133333333333333311111111111111111111111110
  1197   35 A .133333333333333311111111111111111111111112
+ 1222   10 A .133333333333333333333333333333333333333332  by A/1 * 25
+ 1248   36 A .133333333333333111111111111111111111111112  by A/3 * 26
  1249   35 A .133333333333333111111111111111111111111111
+ 1275    9 A .133333333333333333333333333333333333333331  by A/1 * 26
+ 1302   36 A .133333333333331111111111111111111111111111  by A/3 * 27
+ 1330    8 A .133333333333333333333333333333333333333333  by A/1 * 28
+ 1359   37 A .1333333333333111111111111111111111111111110  by A/3 * 29
  1360   38 B .13333333333331111111111111111111111111111110
  1361   37 A .13333333333331111111111111111111111111111112
+ 1391    7 A .13333333333333333333333333333333333333333332  by A/1 * 30
+ 1422   38 A .13333333333311111111111111111111111111111112  by A/3 * 31
  1423   37 A .13333333333311111111111111111111111111111111
+ 1454    6 A .13333333333333333333333333333333333333333331  by A/1 * 31
+ 1486   38 A .13333333333111111111111111111111111111111111  by A/3 * 32
+ 1519    5 A .13333333333333333333333333333333333333333333  by A/1 * 33
+ 1553   39 A .133333333311111111111111111111111111111111110  by A/3 * 34
  1554   40 B .1333333333111111111111111111111111111111111110
  1555   39 A .1333333333111111111111111111111111111111111112
+ 1590    4 A .1333333333333333333333333333333333333333333332  by A/1 * 35
+ 1626   40 A .1333333331111111111111111111111111111111111112  by A/3 * 36
  1627   39 A .1333333331111111111111111111111111111111111111
+ 1663    3 A .1333333333333333333333333333333333333333333331  by A/1 * 36
+ 1700   40 A .1333333311111111111111111111111111111111111111  by A/3 * 37
+ 1738    2 A .1333333333333333333333333333333333333333333333  by A/1 * 38
+ 1777   41 A .13333331111111111111111111111111111111111111110  by A/3 * 39
  1778   42 B .133333311111111111111111111111111111111111111110
  1779   41 A .133333311111111111111111111111111111111111111112
+ 1819    1 A .133333333333333333333333333333333333333333333332  by A/1 * 40
+ 1860   42 A .133333111111111111111111111111111111111111111112  by A/3 * 41
  1861   41 A .133333111111111111111111111111111111111111111111
+ 1902    0 A .133333333333333333333333333333333333333333333331  by A/1 * 41
+ 1944   42 A .133331111111111111111111111111111111111111111111  by A/3 * 42
+ 1987   -1 A .133333333333333333333333333333333333333333333333  by A/1 * 43
+ 2031   43 A .1333111111111111111111111111111111111111111111110  by A/3 * 44
  2032   44 B .13331111111111111111111111111111111111111111111110
  2033   43 A .13331111111111111111111111111111111111111111111112

After 2033 steps (201 lines): state = A.
Produced     50 nonzeros.
Tape index 43, scanned [-5 .. 44].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 0 on 1 on 2 on 3
A 1946 26 950 21 949 0 2 11 9
B 87 24   2 61 1   5 4
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:12:35 CEST 2010