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

Comment: This TM produces >1.9x10^4933 nonzeros in >2.4x10^9866 steps.
Comment: This is the currently best known 2x6 TM

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
4
on
5
on 0 on 1 on 2 on 3 on 4 on 5
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 2LA 1RH 5LB 5LA 4LB 1 right B 2 left A 1 right H 5 left B 5 left A 4 left B
B 1LA 4RB 3RB 5LB 1LB 4RA 1 left A 4 right B 3 right B 5 left B 1 left B 4 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 . . . . . . . . . . . . . . . . . . . . . . 11
     3   -1 A . . . . . . . . . . . . . . . . . . . . . .021
     4    0 B . . . . . . . . . . . . . . . . . . . . . .121
     5    1 B . . . . . . . . . . . . . . . . . . . . . .131
     6    2 B . . . . . . . . . . . . . . . . . . . . . .1340
     7    1 A . . . . . . . . . . . . . . . . . . . . . .1341
     8    0 A . . . . . . . . . . . . . . . . . . . . . .1351
     9   -1 B . . . . . . . . . . . . . . . . . . . . . .1551
    10    0 B . . . . . . . . . . . . . . . . . . . . . .4551
    11    1 A . . . . . . . . . . . . . . . . . . . . . .4451
    12    0 B . . . . . . . . . . . . . . . . . . . . . .4441
+   14   -2 B . . . . . . . . . . . . . . . . . . . . . 01141  by B/4 * 2
    15   -3 A . . . . . . . . . . . . . . . . . . . . .011141
    16   -2 B . . . . . . . . . . . . . . . . . . . . .111141
+   19    1 B . . . . . . . . . . . . . . . . . . . . .144441  by B/1 * 3
+   23   -3 B . . . . . . . . . . . . . . . . . . . . .111111  by B/4 * 4
+   29    3 B . . . . . . . . . . . . . . . . . . . . .4444440  by B/1 * 6
    30    2 A . . . . . . . . . . . . . . . . . . . . .4444441
+   36   -4 A . . . . . . . . . . . . . . . . . . . . 05555551   by A/4 * 6
    37   -3 B . . . . . . . . . . . . . . . . . . . . 15555551
    38   -2 A . . . . . . . . . . . . . . . . . . . . 14555551
    39   -3 B . . . . . . . . . . . . . . . . . . . . 14455551
    40   -4 B . . . . . . . . . . . . . . . . . . . . 11455551
+   42   -2 B . . . . . . . . . . . . . . . . . . . . 44455551   by B/1 * 2
+   45   -5 B . . . . . . . . . . . . . . . . . . . .011155551   by B/4 * 3
    46   -6 A . . . . . . . . . . . . . . . . . . . 0111155551
    47   -5 B . . . . . . . . . . . . . . . . . . . 1111155551
+   51   -1 B . . . . . . . . . . . . . . . . . . . 1444455551   by B/1 * 4
    52    0 A . . . . . . . . . . . . . . . . . . . 1444445551
    53   -1 B . . . . . . . . . . . . . . . . . . . 1444444551
+   58   -6 B . . . . . . . . . . . . . . . . . . . 1111114551   by B/4 * 5
+   64    0 B . . . . . . . . . . . . . . . . . . . 4444444551   by B/1 * 6
+   71   -7 B . . . . . . . . . . . . . . . . . . .01111111551   by B/4 * 7
    72   -8 A . . . . . . . . . . . . . . . . . . 011111111551
    73   -7 B . . . . . . . . . . . . . . . . . . 111111111551
+   81    1 B . . . . . . . . . . . . . . . . . . 144444444551   by B/1 * 8
    82    2 A . . . . . . . . . . . . . . . . . . 144444444451
    83    1 B . . . . . . . . . . . . . . . . . . 144444444441
+   92   -8 B . . . . . . . . . . . . . . . . . . 111111111141   by B/4 * 9
+  102    2 B . . . . . . . . . . . . . . . . . . 444444444441   by B/1 * 10
+  113   -9 B . . . . . . . . . . . . . . . . . .0111111111111   by B/4 * 11
   114  -10 A . . . . . . . . . . . . . . . . . 01111111111111
   115   -9 B . . . . . . . . . . . . . . . . . 11111111111111
+  128    4 B . . . . . . . . . . . . . . . . . 144444444444440   by B/1 * 13
   129    3 A . . . . . . . . . . . . . . . . . 144444444444441
+  142  -10 A . . . . . . . . . . . . . . . . . 155555555555551  by A/4 * 13
   143  -11 A . . . . . . . . . . . . . . . . .0255555555555551
   144  -10 B . . . . . . . . . . . . . . . . .1255555555555551
   145   -9 B . . . . . . . . . . . . . . . . .1355555555555551
   146   -8 A . . . . . . . . . . . . . . . . .1345555555555551
   147   -9 B . . . . . . . . . . . . . . . . .1344555555555551
   148  -10 B . . . . . . . . . . . . . . . . .1314555555555551
   149  -11 B . . . . . . . . . . . . . . . . .1514555555555551
   150  -10 B . . . . . . . . . . . . . . . . .4514555555555551
   151   -9 A . . . . . . . . . . . . . . . . .4414555555555551
   152  -10 A . . . . . . . . . . . . . . . . .4424555555555551
+  154  -12 A . . . . . . . . . . . . . . . . 05524555555555551  by A/4 * 2
   155  -11 B . . . . . . . . . . . . . . . . 15524555555555551
   156  -10 A . . . . . . . . . . . . . . . . 14524555555555551
   157  -11 B . . . . . . . . . . . . . . . . 14424555555555551
   158  -12 B . . . . . . . . . . . . . . . . 11424555555555551
+  160  -10 B . . . . . . . . . . . . . . . . 44424555555555551  by B/1 * 2
+  163  -13 B . . . . . . . . . . . . . . . .011124555555555551  by B/4 * 3
   164  -14 A . . . . . . . . . . . . . . . 0111124555555555551
   165  -13 B . . . . . . . . . . . . . . . 1111124555555555551
+  169   -9 B . . . . . . . . . . . . . . . 1444424555555555551  by B/1 * 4
   170   -8 B . . . . . . . . . . . . . . . 1444434555555555551
   171   -9 B . . . . . . . . . . . . . . . 1444431555555555551
   172  -10 B . . . . . . . . . . . . . . . 1444451555555555551
+  176  -14 B . . . . . . . . . . . . . . . 1111151555555555551  by B/4 * 4
+  181   -9 B . . . . . . . . . . . . . . . 4444451555555555551  by B/1 * 5
   182   -8 A . . . . . . . . . . . . . . . 4444441555555555551
   183   -9 A . . . . . . . . . . . . . . . 4444442555555555551
+  189  -15 A . . . . . . . . . . . . . . .05555552555555555551  by A/4 * 6
   190  -14 B . . . . . . . . . . . . . . .15555552555555555551
   191  -13 A . . . . . . . . . . . . . . .14555552555555555551
   192  -14 B . . . . . . . . . . . . . . .14455552555555555551
   193  -15 B . . . . . . . . . . . . . . .11455552555555555551
+  195  -13 B . . . . . . . . . . . . . . .44455552555555555551  by B/1 * 2
+  198  -16 B . . . . . . . . . . . . . . 011155552555555555551  by B/4 * 3
   199  -17 A . . . . . . . . . . . . . .0111155552555555555551
   200  -16 B . . . . . . . . . . . . . .1111155552555555555551
+  204  -12 B . . . . . . . . . . . . . .1444455552555555555551  by B/1 * 4
   205  -11 A . . . . . . . . . . . . . .1444445552555555555551
   206  -12 B . . . . . . . . . . . . . .1444444552555555555551
+  211  -17 B . . . . . . . . . . . . . .1111114552555555555551  by B/4 * 5
+  217  -11 B . . . . . . . . . . . . . .4444444552555555555551  by B/1 * 6
+  224  -18 B . . . . . . . . . . . . . 01111111552555555555551  by B/4 * 7
   225  -19 A . . . . . . . . . . . . .011111111552555555555551
   226  -18 B . . . . . . . . . . . . .111111111552555555555551
+  234  -10 B . . . . . . . . . . . . .144444444552555555555551  by B/1 * 8
   235   -9 A . . . . . . . . . . . . .144444444452555555555551
   236  -10 B . . . . . . . . . . . . .144444444442555555555551
+  245  -19 B . . . . . . . . . . . . .111111111142555555555551  by B/4 * 9
+  255   -9 B . . . . . . . . . . . . .444444444442555555555551  by B/1 * 10
+  266  -20 B . . . . . . . . . . . . 0111111111112555555555551  by B/4 * 11
   267  -21 A . . . . . . . . . . . .01111111111112555555555551
   268  -20 B . . . . . . . . . . . .11111111111112555555555551
+  280   -8 B . . . . . . . . . . . .14444444444442555555555551  by B/1 * 12
   281   -7 B . . . . . . . . . . . .14444444444443555555555551
   282   -6 A . . . . . . . . . . . .14444444444443455555555551
   283   -7 B . . . . . . . . . . . .14444444444443445555555551
   284   -8 B . . . . . . . . . . . .14444444444443145555555551
   285   -9 B . . . . . . . . . . . .14444444444445145555555551
+  297  -21 B . . . . . . . . . . . .11111111111115145555555551  by B/4 * 12
+  310   -8 B . . . . . . . . . . . .44444444444445145555555551  by B/1 * 13
   311   -7 A . . . . . . . . . . . .44444444444444145555555551
   312   -8 A . . . . . . . . . . . .44444444444444245555555551
+  326  -22 A . . . . . . . . . . . 055555555555555245555555551  by A/4 * 14
   327  -21 B . . . . . . . . . . . 155555555555555245555555551
   328  -20 A . . . . . . . . . . . 145555555555555245555555551
   329  -21 B . . . . . . . . . . . 144555555555555245555555551
   330  -22 B . . . . . . . . . . . 114555555555555245555555551
+  332  -20 B . . . . . . . . . . . 444555555555555245555555551  by B/1 * 2
+  335  -23 B . . . . . . . . . . .0111555555555555245555555551  by B/4 * 3
   336  -24 A . . . . . . . . . . 01111555555555555245555555551
   337  -23 B . . . . . . . . . . 11111555555555555245555555551
+  341  -19 B . . . . . . . . . . 14444555555555555245555555551  by B/1 * 4
   342  -18 A . . . . . . . . . . 14444455555555555245555555551
   343  -19 B . . . . . . . . . . 14444445555555555245555555551
+  348  -24 B . . . . . . . . . . 11111145555555555245555555551  by B/4 * 5
+  354  -18 B . . . . . . . . . . 44444445555555555245555555551  by B/1 * 6
+  361  -25 B . . . . . . . . . .011111115555555555245555555551  by B/4 * 7
   362  -26 A . . . . . . . . . 0111111115555555555245555555551
   363  -25 B . . . . . . . . . 1111111115555555555245555555551
+  371  -17 B . . . . . . . . . 1444444445555555555245555555551  by B/1 * 8
   372  -16 A . . . . . . . . . 1444444444555555555245555555551
   373  -17 B . . . . . . . . . 1444444444455555555245555555551
+  382  -26 B . . . . . . . . . 1111111111455555555245555555551  by B/4 * 9
+  392  -16 B . . . . . . . . . 4444444444455555555245555555551  by B/1 * 10
+  403  -27 B . . . . . . . . .01111111111155555555245555555551  by B/4 * 11
   404  -28 A . . . . . . . . 011111111111155555555245555555551
   405  -27 B . . . . . . . . 111111111111155555555245555555551
+  417  -15 B . . . . . . . . 144444444444455555555245555555551  by B/1 * 12
   418  -14 A . . . . . . . . 144444444444445555555245555555551
   419  -15 B . . . . . . . . 144444444444444555555245555555551
+  432  -28 B . . . . . . . . 111111111111114555555245555555551  by B/4 * 13
+  446  -14 B . . . . . . . . 444444444444444555555245555555551  by B/1 * 14
+  461  -29 B . . . . . . . .0111111111111111555555245555555551  by B/4 * 15
   462  -30 A . . . . . . . 01111111111111111555555245555555551
   463  -29 B . . . . . . . 11111111111111111555555245555555551
+  479  -13 B . . . . . . . 14444444444444444555555245555555551  by B/1 * 16
   480  -12 A . . . . . . . 14444444444444444455555245555555551
   481  -13 B . . . . . . . 14444444444444444445555245555555551
+  498  -30 B . . . . . . . 11111111111111111145555245555555551  by B/4 * 17
+  516  -12 B . . . . . . . 44444444444444444445555245555555551  by B/1 * 18
+  535  -31 B . . . . . . .011111111111111111115555245555555551  by B/4 * 19
   536  -32 A . . . . . . 0111111111111111111115555245555555551
   537  -31 B . . . . . . 1111111111111111111115555245555555551
+  557  -11 B . . . . . . 1444444444444444444445555245555555551  by B/1 * 20
   558  -10 A . . . . . . 1444444444444444444444555245555555551
   559  -11 B . . . . . . 1444444444444444444444455245555555551
+  580  -32 B . . . . . . 1111111111111111111111455245555555551  by B/4 * 21
+  602  -10 B . . . . . . 4444444444444444444444455245555555551  by B/1 * 22
+  625  -33 B . . . . . .01111111111111111111111155245555555551  by B/4 * 23
   626  -34 A . . . . . 011111111111111111111111155245555555551
   627  -33 B . . . . . 111111111111111111111111155245555555551
+  651   -9 B . . . . . 144444444444444444444444455245555555551  by B/1 * 24
   652   -8 A . . . . . 144444444444444444444444445245555555551
   653   -9 B . . . . . 144444444444444444444444444245555555551
+  678  -34 B . . . . . 111111111111111111111111114245555555551  by B/4 * 25
+  704   -8 B . . . . . 444444444444444444444444444245555555551  by B/1 * 26
+  731  -35 B . . . . .0111111111111111111111111111245555555551  by B/4 * 27
   732  -36 A . . . . 01111111111111111111111111111245555555551
   733  -35 B . . . . 11111111111111111111111111111245555555551
+  761   -7 B . . . . 14444444444444444444444444444245555555551  by B/1 * 28
   762   -6 B . . . . 14444444444444444444444444444345555555551
   763   -7 B . . . . 14444444444444444444444444444315555555551
   764   -8 B . . . . 14444444444444444444444444444515555555551
+  792  -36 B . . . . 11111111111111111111111111111515555555551  by B/4 * 28
+  821   -7 B . . . . 44444444444444444444444444444515555555551  by B/1 * 29
   822   -6 A . . . . 44444444444444444444444444444415555555551
   823   -7 A . . . . 44444444444444444444444444444425555555551
+  853  -37 A . . . .055555555555555555555555555555525555555551  by A/4 * 30
   854  -36 B . . . .155555555555555555555555555555525555555551
   855  -35 A . . . .145555555555555555555555555555525555555551
   856  -36 B . . . .144555555555555555555555555555525555555551
   857  -37 B . . . .114555555555555555555555555555525555555551
+  859  -35 B . . . .444555555555555555555555555555525555555551  by B/1 * 2
+  862  -38 B . . . 0111555555555555555555555555555525555555551  by B/4 * 3
   863  -39 A . . .01111555555555555555555555555555525555555551
   864  -38 B . . .11111555555555555555555555555555525555555551
+  868  -34 B . . .14444555555555555555555555555555525555555551  by B/1 * 4
   869  -33 A . . .14444455555555555555555555555555525555555551
   870  -34 B . . .14444445555555555555555555555555525555555551
+  875  -39 B . . .11111145555555555555555555555555525555555551  by B/4 * 5
+  881  -33 B . . .44444445555555555555555555555555525555555551  by B/1 * 6
+  888  -40 B . . 011111115555555555555555555555555525555555551  by B/4 * 7
   889  -41 A . .0111111115555555555555555555555555525555555551
   890  -40 B . .1111111115555555555555555555555555525555555551
+  898  -32 B . .1444444445555555555555555555555555525555555551  by B/1 * 8
   899  -31 A . .1444444444555555555555555555555555525555555551
   900  -32 B . .1444444444455555555555555555555555525555555551
+  909  -41 B . .1111111111455555555555555555555555525555555551  by B/4 * 9
+  919  -31 B . .4444444444455555555555555555555555525555555551  by B/1 * 10
+  930  -42 B . 01111111111155555555555555555555555525555555551  by B/4 * 11
   931  -43 A .011111111111155555555555555555555555525555555551
   932  -42 B .111111111111155555555555555555555555525555555551
+  944  -30 B .144444444444455555555555555555555555525555555551  by B/1 * 12

After 944 steps (201 lines): state = B.
Produced     48 nonzeros.
Tape index -30, scanned [-43 .. 4].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 4 on 5 on 0 on 1 on 2 on 3 on 4 on 5
A 125 26 6   1 72 20 0 2   8 7 11
B 819 22 402 5 4 362 24 1 5 4 148 12 10
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:24 CEST 2010