2-state 4-symbol currently best (T.J. & S. Ligocki)

Comment: This TM produces 2050 nonzeros in 3932964 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 3RB 3RA 3RA 1LA 3 right B 3 right A 3 right A 1 left A
B 3LB 2RB 2LH 3LA 3 left B 2 right B 2 left H 3 left A
Transition table
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

  Step Tpos St Tape contents
     0    0 A . . . . . 0
     1    1 B . . . . . 30
     2    0 B . . . . . 33
     3   -1 A . . . . .033
     4    0 B . . . . .333
     5   -1 A . . . . .333
     6   -2 A . . . . 0133
     7   -1 B . . . . 3133
     8    0 B . . . . 3233
     9   -1 A . . . . 3233
    10    0 A . . . . 3333
    11   -1 A . . . . 3313
    12   -2 A . . . . 3113
    13   -3 A . . . .01113
    14   -2 B . . . .31113
    15   -1 B . . . .32113
    16    0 B . . . .32213
    17    1 B . . . .32223
    18    0 A . . . .32223
    19    1 A . . . .32233
    20    0 A . . . .32231
    21   -1 A . . . .32211
    22    0 A . . . .32311
    23    1 A . . . .32331
    24    2 A . . . .323330
    25    3 B . . . .3233330
    26    2 B . . . .3233333
    27    1 A . . . .3233333
    28    0 A . . . .3233133
    29   -1 A . . . .3231133
    30   -2 A . . . .3211133
    31   -1 A . . . .3311133
    32    0 A . . . .3331133
    33    1 A . . . .3333133
    34    2 A . . . .3333333
    35    1 A . . . .3333313
    36    0 A . . . .3333113
    37   -1 A . . . .3331113
    38   -2 A . . . .3311113
    39   -3 A . . . .3111113
    40   -4 A . . . 01111113
    41   -3 B . . . 31111113
    42   -2 B . . . 32111113
    43   -1 B . . . 32211113
    44    0 B . . . 32221113
    45    1 B . . . 32222113
    46    2 B . . . 32222213
    47    3 B . . . 32222223
    48    2 A . . . 32222223
    49    3 A . . . 32222233
    50    2 A . . . 32222231
    51    1 A . . . 32222211
    52    2 A . . . 32222311
    53    3 A . . . 32222331
    54    4 A . . . 322223330
    55    5 B . . . 3222233330
    56    4 B . . . 3222233333
    57    3 A . . . 3222233333
    58    2 A . . . 3222233133
    59    1 A . . . 3222231133
    60    0 A . . . 3222211133
    61    1 A . . . 3222311133
    62    2 A . . . 3222331133
    63    3 A . . . 3222333133
    64    4 A . . . 3222333333
    65    3 A . . . 3222333313
    66    2 A . . . 3222333113
    67    1 A . . . 3222331113
    68    0 A . . . 3222311113
    69   -1 A . . . 3222111113
    70    0 A . . . 3223111113
    71    1 A . . . 3223311113
    72    2 A . . . 3223331113
    73    3 A . . . 3223333113
    74    4 A . . . 3223333313
    75    5 A . . . 3223333333
    76    4 A . . . 3223333331
    77    3 A . . . 3223333311
    78    2 A . . . 3223333111
    79    1 A . . . 3223331111
    80    0 A . . . 3223311111
    81   -1 A . . . 3223111111
    82   -2 A . . . 3221111111
    83   -1 A . . . 3231111111
    84    0 A . . . 3233111111
    85    1 A . . . 3233311111
    86    2 A . . . 3233331111
    87    3 A . . . 3233333111
    88    4 A . . . 3233333311
    89    5 A . . . 3233333331
    90    6 A . . . 32333333330
    91    7 B . . . 323333333330
    92    6 B . . . 323333333333
    93    5 A . . . 323333333333
    94    4 A . . . 323333333133
    95    3 A . . . 323333331133
    96    2 A . . . 323333311133
    97    1 A . . . 323333111133
    98    0 A . . . 323331111133
    99   -1 A . . . 323311111133
   100   -2 A . . . 323111111133
   101   -3 A . . . 321111111133
   102   -2 A . . . 331111111133
   103   -1 A . . . 333111111133
   104    0 A . . . 333311111133
   105    1 A . . . 333331111133
   106    2 A . . . 333333111133
   107    3 A . . . 333333311133
   108    4 A . . . 333333331133
   109    5 A . . . 333333333133
   110    6 A . . . 333333333333
   111    5 A . . . 333333333313
   112    4 A . . . 333333333113
   113    3 A . . . 333333331113
   114    2 A . . . 333333311113
   115    1 A . . . 333333111113
   116    0 A . . . 333331111113
   117   -1 A . . . 333311111113
   118   -2 A . . . 333111111113
   119   -3 A . . . 331111111113
   120   -4 A . . . 311111111113
   121   -5 A . . .0111111111113
   122   -4 B . . .3111111111113
   123   -3 B . . .3211111111113
   124   -2 B . . .3221111111113
   125   -1 B . . .3222111111113
   126    0 B . . .3222211111113
   127    1 B . . .3222221111113
   128    2 B . . .3222222111113
   129    3 B . . .3222222211113
   130    4 B . . .3222222221113
   131    5 B . . .3222222222113
   132    6 B . . .3222222222213
   133    7 B . . .3222222222223
   134    6 A . . .3222222222223
   135    7 A . . .3222222222233
   136    6 A . . .3222222222231
   137    5 A . . .3222222222211
   138    6 A . . .3222222222311
   139    7 A . . .3222222222331
   140    8 A . . .32222222223330
   141    9 B . . .322222222233330
   142    8 B . . .322222222233333
   143    7 A . . .322222222233333
   144    6 A . . .322222222233133
   145    5 A . . .322222222231133
   146    4 A . . .322222222211133
   147    5 A . . .322222222311133
   148    6 A . . .322222222331133
   149    7 A . . .322222222333133
   150    8 A . . .322222222333333
   151    7 A . . .322222222333313
   152    6 A . . .322222222333113
   153    5 A . . .322222222331113
   154    4 A . . .322222222311113
   155    3 A . . .322222222111113
   156    4 A . . .322222223111113
   157    5 A . . .322222223311113
   158    6 A . . .322222223331113
   159    7 A . . .322222223333113
   160    8 A . . .322222223333313
   161    9 A . . .322222223333333
   162    8 A . . .322222223333331
   163    7 A . . .322222223333311
   164    6 A . . .322222223333111
   165    5 A . . .322222223331111
   166    4 A . . .322222223311111
   167    3 A . . .322222223111111
   168    2 A . . .322222221111111
   169    3 A . . .322222231111111
   170    4 A . . .322222233111111
   171    5 A . . .322222233311111
   172    6 A . . .322222233331111
   173    7 A . . .322222233333111
   174    8 A . . .322222233333311
   175    9 A . . .322222233333331
   176   10 A . . .3222222333333330
   177   11 B . . .32222223333333330
   178   10 B . . .32222223333333333
   179    9 A . . .32222223333333333
   180    8 A . . .32222223333333133
   181    7 A . . .32222223333331133
   182    6 A . . .32222223333311133
   183    5 A . . .32222223333111133
   184    4 A . . .32222223331111133
   185    3 A . . .32222223311111133
   186    2 A . . .32222223111111133
   187    1 A . . .32222221111111133
   188    2 A . . .32222231111111133
   189    3 A . . .32222233111111133
   190    4 A . . .32222233311111133
   191    5 A . . .32222233331111133
   192    6 A . . .32222233333111133
   193    7 A . . .32222233333311133
   194    8 A . . .32222233333331133
   195    9 A . . .32222233333333133
   196   10 A . . .32222233333333333
   197    9 A . . .32222233333333313
   198    8 A . . .32222233333333113
   199    7 A . . .32222233333331113
   200    6 A . . .32222233333311113

After 200 steps (201 lines): state = A.
Produced     17 nonzeros.
Tape index 6, scanned [-5 .. 11].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 0 on 1 on 2 on 3
A 162 11 55 16 80 0 22 9 5
B 38 6 21   11 1 7   2
Execution statistics

The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 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:12:37 CEST 2010