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
Simulation is done just simple.
The same TM 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
    15    3 C . . . . . . . . . . . . . 3232
    16    4 C . . . . . . . . . . . . . 32330
    17    3 B . . . . . . . . . . . . . 32331
    18    2 B . . . . . . . . . . . . . 32311
    19    1 B . . . . . . . . . . . . . 32111
    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
    29    1 C . . . . . . . . . . . . 1232211
    30    2 C . . . . . . . . . . . . 1233211
    31    3 C . . . . . . . . . . . . 1233311
    32    2 A . . . . . . . . . . . . 1233321
    33    1 A . . . . . . . . . . . . 1233321
    34    0 A . . . . . . . . . . . . 1233321
    35   -1 A . . . . . . . . . . . . 1233321
    36   -2 C . . . . . . . . . . . . 1233321
    37   -3 A . . . . . . . . . . . .02233321
    38   -2 B . . . . . . . . . . . .12233321
    39   -1 C . . . . . . . . . . . .12233321
    40    0 C . . . . . . . . . . . .12333321
    41   -1 C . . . . . . . . . . . .12323321
    42   -2 C . . . . . . . . . . . .12223321
    43   -1 C . . . . . . . . . . . .13223321
    44    0 C . . . . . . . . . . . .13323321
    45    1 C . . . . . . . . . . . .13333321
    46    0 C . . . . . . . . . . . .13332321
    47   -1 C . . . . . . . . . . . .13322321
    48   -2 C . . . . . . . . . . . .13222321
    49   -3 C . . . . . . . . . . . .12222321
    50   -4 A . . . . . . . . . . . 022222321
    51   -3 B . . . . . . . . . . . 122222321
    52   -2 C . . . . . . . . . . . 122222321
    53   -1 C . . . . . . . . . . . 123222321
    54    0 C . . . . . . . . . . . 123322321
    55    1 C . . . . . . . . . . . 123332321
    56    2 C . . . . . . . . . . . 123333321
    57    1 C . . . . . . . . . . . 123333221
    58    0 C . . . . . . . . . . . 123332221
    59   -1 C . . . . . . . . . . . 123322221
    60   -2 C . . . . . . . . . . . 123222221
    61   -3 C . . . . . . . . . . . 122222221
    62   -2 C . . . . . . . . . . . 132222221
    63   -1 C . . . . . . . . . . . 133222221
    64    0 C . . . . . . . . . . . 133322221
    65    1 C . . . . . . . . . . . 133332221
    66    2 C . . . . . . . . . . . 133333221
    67    3 C . . . . . . . . . . . 133333321
    68    4 C . . . . . . . . . . . 133333331
    69    3 A . . . . . . . . . . . 133333332
    70    2 A . . . . . . . . . . . 133333332
    71    1 A . . . . . . . . . . . 133333332
    72    0 A . . . . . . . . . . . 133333332
    73   -1 A . . . . . . . . . . . 133333332
    74   -2 A . . . . . . . . . . . 133333332
    75   -3 A . . . . . . . . . . . 133333332
    76   -4 A . . . . . . . . . . . 133333332
    77   -3 B . . . . . . . . . . . 333333332
    78   -4 B . . . . . . . . . . . 313333332
    79   -5 B . . . . . . . . . . .0113333332
    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
    89   -3 C . . . . . . . . . . 12323333332
    90   -2 C . . . . . . . . . . 12333333332
    91   -3 C . . . . . . . . . . 12332333332
    92   -4 C . . . . . . . . . . 12322333332
    93   -5 C . . . . . . . . . . 12222333332
    94   -4 C . . . . . . . . . . 13222333332
    95   -3 C . . . . . . . . . . 13322333332
    96   -2 C . . . . . . . . . . 13332333332
    97   -1 C . . . . . . . . . . 13333333332
    98   -2 C . . . . . . . . . . 13333233332
    99   -3 C . . . . . . . . . . 13332233332
   100   -4 C . . . . . . . . . . 13322233332
   101   -5 C . . . . . . . . . . 13222233332
   102   -6 C . . . . . . . . . . 12222233332
   103   -7 A . . . . . . . . . .022222233332
   104   -6 B . . . . . . . . . .122222233332
   105   -5 C . . . . . . . . . .122222233332
   106   -4 C . . . . . . . . . .123222233332
   107   -3 C . . . . . . . . . .123322233332
   108   -2 C . . . . . . . . . .123332233332
   109   -1 C . . . . . . . . . .123333233332
   110    0 C . . . . . . . . . .123333333332
   111   -1 C . . . . . . . . . .123333323332
   112   -2 C . . . . . . . . . .123333223332
   113   -3 C . . . . . . . . . .123332223332
   114   -4 C . . . . . . . . . .123322223332
   115   -5 C . . . . . . . . . .123222223332
   116   -6 C . . . . . . . . . .122222223332
   117   -5 C . . . . . . . . . .132222223332
   118   -4 C . . . . . . . . . .133222223332
   119   -3 C . . . . . . . . . .133322223332
   120   -2 C . . . . . . . . . .133332223332
   121   -1 C . . . . . . . . . .133333223332
   122    0 C . . . . . . . . . .133333323332
   123    1 C . . . . . . . . . .133333333332
   124    0 C . . . . . . . . . .133333332332
   125   -1 C . . . . . . . . . .133333322332
   126   -2 C . . . . . . . . . .133333222332
   127   -3 C . . . . . . . . . .133332222332
   128   -4 C . . . . . . . . . .133322222332
   129   -5 C . . . . . . . . . .133222222332
   130   -6 C . . . . . . . . . .132222222332
   131   -7 C . . . . . . . . . .122222222332
   132   -8 A . . . . . . . . . 0222222222332
   133   -7 B . . . . . . . . . 1222222222332
   134   -6 C . . . . . . . . . 1222222222332
   135   -5 C . . . . . . . . . 1232222222332
   136   -4 C . . . . . . . . . 1233222222332
   137   -3 C . . . . . . . . . 1233322222332
   138   -2 C . . . . . . . . . 1233332222332
   139   -1 C . . . . . . . . . 1233333222332
   140    0 C . . . . . . . . . 1233333322332
   141    1 C . . . . . . . . . 1233333332332
   142    2 C . . . . . . . . . 1233333333332
   143    1 C . . . . . . . . . 1233333333232
   144    0 C . . . . . . . . . 1233333332232
   145   -1 C . . . . . . . . . 1233333322232
   146   -2 C . . . . . . . . . 1233333222232
   147   -3 C . . . . . . . . . 1233332222232
   148   -4 C . . . . . . . . . 1233322222232
   149   -5 C . . . . . . . . . 1233222222232
   150   -6 C . . . . . . . . . 1232222222232
   151   -7 C . . . . . . . . . 1222222222232
   152   -6 C . . . . . . . . . 1322222222232
   153   -5 C . . . . . . . . . 1332222222232
   154   -4 C . . . . . . . . . 1333222222232
   155   -3 C . . . . . . . . . 1333322222232
   156   -2 C . . . . . . . . . 1333332222232
   157   -1 C . . . . . . . . . 1333333222232
   158    0 C . . . . . . . . . 1333333322232
   159    1 C . . . . . . . . . 1333333332232
   160    2 C . . . . . . . . . 1333333333232
   161    3 C . . . . . . . . . 1333333333332
   162    2 C . . . . . . . . . 1333333333322
   163    1 C . . . . . . . . . 1333333333222
   164    0 C . . . . . . . . . 1333333332222
   165   -1 C . . . . . . . . . 1333333322222
   166   -2 C . . . . . . . . . 1333333222222
   167   -3 C . . . . . . . . . 1333332222222
   168   -4 C . . . . . . . . . 1333322222222
   169   -5 C . . . . . . . . . 1333222222222
   170   -6 C . . . . . . . . . 1332222222222
   171   -7 C . . . . . . . . . 1322222222222
   172   -8 C . . . . . . . . . 1222222222222
   173   -9 A . . . . . . . . .02222222222222
   174   -8 B . . . . . . . . .12222222222222
   175   -7 C . . . . . . . . .12222222222222
   176   -6 C . . . . . . . . .12322222222222
   177   -5 C . . . . . . . . .12332222222222
   178   -4 C . . . . . . . . .12333222222222
   179   -3 C . . . . . . . . .12333322222222
   180   -2 C . . . . . . . . .12333332222222
   181   -1 C . . . . . . . . .12333333222222
   182    0 C . . . . . . . . .12333333322222
   183    1 C . . . . . . . . .12333333332222
   184    2 C . . . . . . . . .12333333333222
   185    3 C . . . . . . . . .12333333333322
   186    4 C . . . . . . . . .12333333333332
   187    5 C . . . . . . . . .123333333333330
   188    4 B . . . . . . . . .123333333333331
   189    3 B . . . . . . . . .123333333333311
   190    2 B . . . . . . . . .123333333333111
   191    1 B . . . . . . . . .123333333331111
   192    0 B . . . . . . . . .123333333311111
   193   -1 B . . . . . . . . .123333333111111
   194   -2 B . . . . . . . . .123333331111111
   195   -3 B . . . . . . . . .123333311111111
   196   -4 B . . . . . . . . .123333111111111
   197   -5 B . . . . . . . . .123331111111111
   198   -6 B . . . . . . . . .123311111111111
   199   -7 B . . . . . . . . .123111111111111
   200   -8 B . . . . . . . . .121111111111111

After 200 steps (201 lines): state = B.
Produced     15 nonzeros.
Tape index -8, scanned [-9 .. 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 26 10 2 4 10 0 12 10 32
B 32 4   12 16 1   6 17
C 142 5 15 68 54 2 4 14 22
Execution statistics

The same TM 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.

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