2-state 4-symbol formerly best (by Brady / Michel)

Comment: Taken (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 2LA 1RA 1LA 1 right B 2 left A 1 right A 1 left A
B 3LA 1RH 2RB 2RA 3 left A 1 right H 2 right B 2 right A
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 . . . 13
     3   -1 A . . .023
     4    0 B . . .123
     5    1 B . . .123
     6    2 A . . .1220
     7    3 B . . .12210
     8    2 A . . .12213
     9    1 A . . .12223
+   11    3 A . . .12113   by A/2 * 2
    12    2 A . . .12111
+   14    0 A . . .12221   by A/1 * 2
+   17    3 A . . .11111   by A/2 * 3
+   22   -2 A . . 022222   by A/1 * 5
    23   -1 B . . 122222
+   28    4 B . . 1222220   by B/2 * 5
    29    3 A . . 1222223
    30    4 A . . 1222213
    31    3 A . . 1222211
    32    2 A . . 1222221
+   34    4 A . . 1222111  by A/2 * 2
+   37    1 A . . 1222222  by A/1 * 3
+   41    5 A . . 12211110  by A/2 * 4
    42    6 B . . 122111110
    43    5 A . . 122111113
+   48    0 A . . 122222223  by A/1 * 5
+   54    6 A . . 121111113  by A/2 * 6
    55    5 A . . 121111111
+   61   -1 A . . 122222221  by A/1 * 6
+   68    6 A . . 111111111  by A/2 * 7
+   77   -3 A . .0222222222  by A/1 * 9
    78   -2 B . .1222222222
+   87    7 B . .12222222220  by B/2 * 9
    88    6 A . .12222222223
    89    7 A . .12222222213
    90    6 A . .12222222211
    91    5 A . .12222222221
+   93    7 A . .12222222111   by A/2 * 2
+   96    4 A . .12222222222   by A/1 * 3
+  100    8 A . .122222211110   by A/2 * 4
   101    9 B . .1222222111110
   102    8 A . .1222222111113
+  107    3 A . .1222222222223   by A/1 * 5
+  113    9 A . .1222221111113   by A/2 * 6
   114    8 A . .1222221111111
+  120    2 A . .1222222222221   by A/1 * 6
+  127    9 A . .1222211111111   by A/2 * 7
+  135    1 A . .1222222222222   by A/1 * 8
+  144   10 A . .12221111111110   by A/2 * 9
   145   11 B . .122211111111110
   146   10 A . .122211111111113
+  156    0 A . .122222222222223   by A/1 * 10
+  167   11 A . .122111111111113   by A/2 * 11
   168   10 A . .122111111111111
+  179   -1 A . .122222222222221   by A/1 * 11
+  191   11 A . .121111111111111   by A/2 * 12
+  204   -2 A . .122222222222222   by A/1 * 13
+  218   12 A . .1111111111111110   by A/2 * 14
   219   13 B . .11111111111111110
   220   12 A . .11111111111111113
+  236   -4 A . 022222222222222223   by A/1 * 16
   237   -3 B . 122222222222222223
+  253   13 B . 122222222222222223   by B/2 * 16
   254   14 A . 1222222222222222220
   255   15 B . 12222222222222222210
   256   14 A . 12222222222222222213
   257   13 A . 12222222222222222223
+  259   15 A . 12222222222222222113   by A/2 * 2
   260   14 A . 12222222222222222111
+  262   12 A . 12222222222222222221   by A/1 * 2
+  265   15 A . 12222222222222221111   by A/2 * 3
+  269   11 A . 12222222222222222222   by A/1 * 4
+  274   16 A . 122222222222222111110   by A/2 * 5
   275   17 B . 1222222222222221111110
   276   16 A . 1222222222222221111113
+  282   10 A . 1222222222222222222223   by A/1 * 6
+  289   17 A . 1222222222222211111113   by A/2 * 7
   290   16 A . 1222222222222211111111
+  297    9 A . 1222222222222222222221   by A/1 * 7
+  305   17 A . 1222222222222111111111   by A/2 * 8
+  314    8 A . 1222222222222222222222   by A/1 * 9
+  324   18 A . 12222222222211111111110   by A/2 * 10
   325   19 B . 122222222222111111111110
   326   18 A . 122222222222111111111113
+  337    7 A . 122222222222222222222223   by A/1 * 11
+  349   19 A . 122222222221111111111113   by A/2 * 12
   350   18 A . 122222222221111111111111
+  362    6 A . 122222222222222222222221   by A/1 * 12
+  375   19 A . 122222222211111111111111   by A/2 * 13
+  389    5 A . 122222222222222222222222   by A/1 * 14
+  404   20 A . 1222222221111111111111110   by A/2 * 15
   405   21 B . 12222222211111111111111110
   406   20 A . 12222222211111111111111113
+  422    4 A . 12222222222222222222222223   by A/1 * 16
+  439   21 A . 12222222111111111111111113   by A/2 * 17
   440   20 A . 12222222111111111111111111
+  457    3 A . 12222222222222222222222221   by A/1 * 17
+  475   21 A . 12222221111111111111111111   by A/2 * 18
+  494    2 A . 12222222222222222222222222   by A/1 * 19
+  514   22 A . 122222111111111111111111110   by A/2 * 20
   515   23 B . 1222221111111111111111111110
   516   22 A . 1222221111111111111111111113
+  537    1 A . 1222222222222222222222222223   by A/1 * 21
+  559   23 A . 1222211111111111111111111113   by A/2 * 22
   560   22 A . 1222211111111111111111111111
+  582    0 A . 1222222222222222222222222221   by A/1 * 22
+  605   23 A . 1222111111111111111111111111   by A/2 * 23
+  629   -1 A . 1222222222222222222222222222   by A/1 * 24
+  654   24 A . 12211111111111111111111111110   by A/2 * 25
   655   25 B . 122111111111111111111111111110
   656   24 A . 122111111111111111111111111113
+  682   -2 A . 122222222222222222222222222223   by A/1 * 26
+  709   25 A . 121111111111111111111111111113   by A/2 * 27
   710   24 A . 121111111111111111111111111111
+  737   -3 A . 122222222222222222222222222221   by A/1 * 27
+  765   25 A . 111111111111111111111111111111   by A/2 * 28
+  795   -5 A .0222222222222222222222222222222   by A/1 * 30
   796   -4 B .1222222222222222222222222222222
+  826   26 B .12222222222222222222222222222220   by B/2 * 30
   827   25 A .12222222222222222222222222222223
   828   26 A .12222222222222222222222222222213
   829   25 A .12222222222222222222222222222211
   830   24 A .12222222222222222222222222222221
+  832   26 A .12222222222222222222222222222111  by A/2 * 2
+  835   23 A .12222222222222222222222222222222  by A/1 * 3
+  839   27 A .122222222222222222222222222211110  by A/2 * 4
   840   28 B .1222222222222222222222222222111110
   841   27 A .1222222222222222222222222222111113
+  846   22 A .1222222222222222222222222222222223  by A/1 * 5
+  852   28 A .1222222222222222222222222221111113  by A/2 * 6
   853   27 A .1222222222222222222222222221111111
+  859   21 A .1222222222222222222222222222222221  by A/1 * 6
+  866   28 A .1222222222222222222222222211111111  by A/2 * 7
+  874   20 A .1222222222222222222222222222222222  by A/1 * 8
+  883   29 A .12222222222222222222222221111111110  by A/2 * 9
   884   30 B .122222222222222222222222211111111110
   885   29 A .122222222222222222222222211111111113
+  895   19 A .122222222222222222222222222222222223  by A/1 * 10
+  906   30 A .122222222222222222222222111111111113  by A/2 * 11
   907   29 A .122222222222222222222222111111111111
+  918   18 A .122222222222222222222222222222222221  by A/1 * 11
+  930   30 A .122222222222222222222221111111111111  by A/2 * 12
+  943   17 A .122222222222222222222222222222222222  by A/1 * 13
+  957   31 A .1222222222222222222222111111111111110  by A/2 * 14
   958   32 B .12222222222222222222221111111111111110
   959   31 A .12222222222222222222221111111111111113
+  974   16 A .12222222222222222222222222222222222223  by A/1 * 15
+  990   32 A .12222222222222222222211111111111111113  by A/2 * 16
   991   31 A .12222222222222222222211111111111111111
+ 1007   15 A .12222222222222222222222222222222222221  by A/1 * 16
+ 1024   32 A .12222222222222222222111111111111111111  by A/2 * 17
+ 1042   14 A .12222222222222222222222222222222222222  by A/1 * 18
+ 1061   33 A .122222222222222222211111111111111111110  by A/2 * 19
  1062   34 B .1222222222222222222111111111111111111110
  1063   33 A .1222222222222222222111111111111111111113
+ 1083   13 A .1222222222222222222222222222222222222223  by A/1 * 20
+ 1104   34 A .1222222222222222221111111111111111111113  by A/2 * 21
  1105   33 A .1222222222222222221111111111111111111111
+ 1126   12 A .1222222222222222222222222222222222222221  by A/1 * 21
+ 1148   34 A .1222222222222222211111111111111111111111  by A/2 * 22
+ 1171   11 A .1222222222222222222222222222222222222222  by A/1 * 23
+ 1195   35 A .12222222222222221111111111111111111111110  by A/2 * 24
  1196   36 B .122222222222222211111111111111111111111110
  1197   35 A .122222222222222211111111111111111111111113
+ 1222   10 A .122222222222222222222222222222222222222223  by A/1 * 25
+ 1248   36 A .122222222222222111111111111111111111111113  by A/2 * 26
  1249   35 A .122222222222222111111111111111111111111111
+ 1275    9 A .122222222222222222222222222222222222222221  by A/1 * 26
+ 1302   36 A .122222222222221111111111111111111111111111  by A/2 * 27
+ 1330    8 A .122222222222222222222222222222222222222222  by A/1 * 28
+ 1359   37 A .1222222222222111111111111111111111111111110  by A/2 * 29
  1360   38 B .12222222222221111111111111111111111111111110
  1361   37 A .12222222222221111111111111111111111111111113
+ 1391    7 A .12222222222222222222222222222222222222222223  by A/1 * 30
+ 1422   38 A .12222222222211111111111111111111111111111113  by A/2 * 31
  1423   37 A .12222222222211111111111111111111111111111111
+ 1454    6 A .12222222222222222222222222222222222222222221  by A/1 * 31
+ 1486   38 A .12222222222111111111111111111111111111111111  by A/2 * 32
+ 1519    5 A .12222222222222222222222222222222222222222222  by A/1 * 33
+ 1553   39 A .122222222211111111111111111111111111111111110  by A/2 * 34
  1554   40 B .1222222222111111111111111111111111111111111110
  1555   39 A .1222222222111111111111111111111111111111111113
+ 1590    4 A .1222222222222222222222222222222222222222222223  by A/1 * 35
+ 1626   40 A .1222222221111111111111111111111111111111111113  by A/2 * 36
  1627   39 A .1222222221111111111111111111111111111111111111
+ 1663    3 A .1222222222222222222222222222222222222222222221  by A/1 * 36
+ 1700   40 A .1222222211111111111111111111111111111111111111  by A/2 * 37
+ 1738    2 A .1222222222222222222222222222222222222222222222  by A/1 * 38
+ 1777   41 A .12222221111111111111111111111111111111111111110  by A/2 * 39
  1778   42 B .122222211111111111111111111111111111111111111110
  1779   41 A .122222211111111111111111111111111111111111111113
+ 1819    1 A .122222222222222222222222222222222222222222222223  by A/1 * 40
+ 1860   42 A .122222111111111111111111111111111111111111111113  by A/2 * 41
  1861   41 A .122222111111111111111111111111111111111111111111
+ 1902    0 A .122222222222222222222222222222222222222222222221  by A/1 * 41
+ 1944   42 A .122221111111111111111111111111111111111111111111  by A/2 * 42
+ 1987   -1 A .122222222222222222222222222222222222222222222222  by A/1 * 43
+ 2031   43 A .1222111111111111111111111111111111111111111111110  by A/2 * 44
  2032   44 B .12221111111111111111111111111111111111111111111110
  2033   43 A .12221111111111111111111111111111111111111111111113

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 949 21 0 2 9 11
B 87 24   61 2 1   4 5
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:36 CEST 2010