2-state 5-symbol #e from T.J. & S. Ligocki

Comment: This TM produces 114,668,733 nonzeros in 9,392,084,729,807,219 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
4
on 0 on 1 on 2 on 3 on 4
Print Move Goto Print Move Goto Print Move Goto Print Move Goto Print Move Goto
A 1RB 2RA 1LA 3LA 2RA 1 right B 2 right A 1 left A 3 left A 2 right A
B 2LA 3RB 4LA 1LB 1RH 2 left A 3 right B 4 left A 1 left B 1 right H
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    0 A . . . . . . . . . . . . . . . . . . . . . . 12
     3    1 A . . . . . . . . . . . . . . . . . . . . . . 22
     4    0 A . . . . . . . . . . . . . . . . . . . . . . 21
     5   -1 A . . . . . . . . . . . . . . . . . . . . . .011
     6    0 B . . . . . . . . . . . . . . . . . . . . . .111
     7    1 B . . . . . . . . . . . . . . . . . . . . . .131
     8    2 B . . . . . . . . . . . . . . . . . . . . . .1330
     9    1 A . . . . . . . . . . . . . . . . . . . . . .1332
    10    0 A . . . . . . . . . . . . . . . . . . . . . .1332
    11   -1 A . . . . . . . . . . . . . . . . . . . . . .1332
    12    0 A . . . . . . . . . . . . . . . . . . . . . .2332
    13   -1 A . . . . . . . . . . . . . . . . . . . . . .2332
    14   -2 A . . . . . . . . . . . . . . . . . . . . . 01332
    15   -1 B . . . . . . . . . . . . . . . . . . . . . 11332
    16    0 B . . . . . . . . . . . . . . . . . . . . . 13332
    17   -1 B . . . . . . . . . . . . . . . . . . . . . 13132
    18   -2 B . . . . . . . . . . . . . . . . . . . . . 11132
    19   -1 B . . . . . . . . . . . . . . . . . . . . . 31132
    20    0 B . . . . . . . . . . . . . . . . . . . . . 33132
    21    1 B . . . . . . . . . . . . . . . . . . . . . 33332
    22    0 B . . . . . . . . . . . . . . . . . . . . . 33312
    23   -1 B . . . . . . . . . . . . . . . . . . . . . 33112
    24   -2 B . . . . . . . . . . . . . . . . . . . . . 31112
    25   -3 B . . . . . . . . . . . . . . . . . . . . .011112
    26   -4 A . . . . . . . . . . . . . . . . . . . . 0211112
    27   -3 B . . . . . . . . . . . . . . . . . . . . 1211112
    28   -4 A . . . . . . . . . . . . . . . . . . . . 1411112
    29   -3 A . . . . . . . . . . . . . . . . . . . . 2411112
    30   -2 A . . . . . . . . . . . . . . . . . . . . 2211112
    31   -1 A . . . . . . . . . . . . . . . . . . . . 2221112
    32    0 A . . . . . . . . . . . . . . . . . . . . 2222112
    33    1 A . . . . . . . . . . . . . . . . . . . . 2222212
    34    2 A . . . . . . . . . . . . . . . . . . . . 2222222
    35    1 A . . . . . . . . . . . . . . . . . . . . 2222221
    36    0 A . . . . . . . . . . . . . . . . . . . . 2222211
    37   -1 A . . . . . . . . . . . . . . . . . . . . 2222111
    38   -2 A . . . . . . . . . . . . . . . . . . . . 2221111
    39   -3 A . . . . . . . . . . . . . . . . . . . . 2211111
    40   -4 A . . . . . . . . . . . . . . . . . . . . 2111111
    41   -5 A . . . . . . . . . . . . . . . . . . . .01111111
    42   -4 B . . . . . . . . . . . . . . . . . . . .11111111
    43   -3 B . . . . . . . . . . . . . . . . . . . .13111111
    44   -2 B . . . . . . . . . . . . . . . . . . . .13311111
    45   -1 B . . . . . . . . . . . . . . . . . . . .13331111
    46    0 B . . . . . . . . . . . . . . . . . . . .13333111
    47    1 B . . . . . . . . . . . . . . . . . . . .13333311
    48    2 B . . . . . . . . . . . . . . . . . . . .13333331
    49    3 B . . . . . . . . . . . . . . . . . . . .133333330
    50    2 A . . . . . . . . . . . . . . . . . . . .133333332
    51    1 A . . . . . . . . . . . . . . . . . . . .133333332
    52    0 A . . . . . . . . . . . . . . . . . . . .133333332
    53   -1 A . . . . . . . . . . . . . . . . . . . .133333332
    54   -2 A . . . . . . . . . . . . . . . . . . . .133333332
    55   -3 A . . . . . . . . . . . . . . . . . . . .133333332
    56   -4 A . . . . . . . . . . . . . . . . . . . .133333332
    57   -5 A . . . . . . . . . . . . . . . . . . . .133333332
    58   -4 A . . . . . . . . . . . . . . . . . . . .233333332
    59   -5 A . . . . . . . . . . . . . . . . . . . .233333332
    60   -6 A . . . . . . . . . . . . . . . . . . . 0133333332
    61   -5 B . . . . . . . . . . . . . . . . . . . 1133333332
    62   -4 B . . . . . . . . . . . . . . . . . . . 1333333332
    63   -5 B . . . . . . . . . . . . . . . . . . . 1313333332
    64   -6 B . . . . . . . . . . . . . . . . . . . 1113333332
    65   -5 B . . . . . . . . . . . . . . . . . . . 3113333332
    66   -4 B . . . . . . . . . . . . . . . . . . . 3313333332
    67   -3 B . . . . . . . . . . . . . . . . . . . 3333333332
    68   -4 B . . . . . . . . . . . . . . . . . . . 3331333332
    69   -5 B . . . . . . . . . . . . . . . . . . . 3311333332
    70   -6 B . . . . . . . . . . . . . . . . . . . 3111333332
    71   -7 B . . . . . . . . . . . . . . . . . . .01111333332
    72   -8 A . . . . . . . . . . . . . . . . . . 021111333332
    73   -7 B . . . . . . . . . . . . . . . . . . 121111333332
    74   -8 A . . . . . . . . . . . . . . . . . . 141111333332
    75   -7 A . . . . . . . . . . . . . . . . . . 241111333332
    76   -6 A . . . . . . . . . . . . . . . . . . 221111333332
    77   -5 A . . . . . . . . . . . . . . . . . . 222111333332
    78   -4 A . . . . . . . . . . . . . . . . . . 222211333332
    79   -3 A . . . . . . . . . . . . . . . . . . 222221333332
    80   -2 A . . . . . . . . . . . . . . . . . . 222222333332
    81   -3 A . . . . . . . . . . . . . . . . . . 222222333332
    82   -4 A . . . . . . . . . . . . . . . . . . 222221333332
    83   -5 A . . . . . . . . . . . . . . . . . . 222211333332
    84   -6 A . . . . . . . . . . . . . . . . . . 222111333332
    85   -7 A . . . . . . . . . . . . . . . . . . 221111333332
    86   -8 A . . . . . . . . . . . . . . . . . . 211111333332
    87   -9 A . . . . . . . . . . . . . . . . . .0111111333332
    88   -8 B . . . . . . . . . . . . . . . . . .1111111333332
    89   -7 B . . . . . . . . . . . . . . . . . .1311111333332
    90   -6 B . . . . . . . . . . . . . . . . . .1331111333332
    91   -5 B . . . . . . . . . . . . . . . . . .1333111333332
    92   -4 B . . . . . . . . . . . . . . . . . .1333311333332
    93   -3 B . . . . . . . . . . . . . . . . . .1333331333332
    94   -2 B . . . . . . . . . . . . . . . . . .1333333333332
    95   -3 B . . . . . . . . . . . . . . . . . .1333333133332
    96   -4 B . . . . . . . . . . . . . . . . . .1333331133332
    97   -5 B . . . . . . . . . . . . . . . . . .1333311133332
    98   -6 B . . . . . . . . . . . . . . . . . .1333111133332
    99   -7 B . . . . . . . . . . . . . . . . . .1331111133332
   100   -8 B . . . . . . . . . . . . . . . . . .1311111133332
   101   -9 B . . . . . . . . . . . . . . . . . .1111111133332
   102   -8 B . . . . . . . . . . . . . . . . . .3111111133332
   103   -7 B . . . . . . . . . . . . . . . . . .3311111133332
   104   -6 B . . . . . . . . . . . . . . . . . .3331111133332
   105   -5 B . . . . . . . . . . . . . . . . . .3333111133332
   106   -4 B . . . . . . . . . . . . . . . . . .3333311133332
   107   -3 B . . . . . . . . . . . . . . . . . .3333331133332
   108   -2 B . . . . . . . . . . . . . . . . . .3333333133332
   109   -1 B . . . . . . . . . . . . . . . . . .3333333333332
   110   -2 B . . . . . . . . . . . . . . . . . .3333333313332
   111   -3 B . . . . . . . . . . . . . . . . . .3333333113332
   112   -4 B . . . . . . . . . . . . . . . . . .3333331113332
   113   -5 B . . . . . . . . . . . . . . . . . .3333311113332
   114   -6 B . . . . . . . . . . . . . . . . . .3333111113332
   115   -7 B . . . . . . . . . . . . . . . . . .3331111113332
   116   -8 B . . . . . . . . . . . . . . . . . .3311111113332
   117   -9 B . . . . . . . . . . . . . . . . . .3111111113332
   118  -10 B . . . . . . . . . . . . . . . . . 01111111113332
   119  -11 A . . . . . . . . . . . . . . . . .021111111113332
   120  -10 B . . . . . . . . . . . . . . . . .121111111113332
   121  -11 A . . . . . . . . . . . . . . . . .141111111113332
   122  -10 A . . . . . . . . . . . . . . . . .241111111113332
   123   -9 A . . . . . . . . . . . . . . . . .221111111113332
   124   -8 A . . . . . . . . . . . . . . . . .222111111113332
   125   -7 A . . . . . . . . . . . . . . . . .222211111113332
   126   -6 A . . . . . . . . . . . . . . . . .222221111113332
   127   -5 A . . . . . . . . . . . . . . . . .222222111113332
   128   -4 A . . . . . . . . . . . . . . . . .222222211113332
   129   -3 A . . . . . . . . . . . . . . . . .222222221113332
   130   -2 A . . . . . . . . . . . . . . . . .222222222113332
   131   -1 A . . . . . . . . . . . . . . . . .222222222213332
   132    0 A . . . . . . . . . . . . . . . . .222222222223332
   133   -1 A . . . . . . . . . . . . . . . . .222222222223332
   134   -2 A . . . . . . . . . . . . . . . . .222222222213332
   135   -3 A . . . . . . . . . . . . . . . . .222222222113332
   136   -4 A . . . . . . . . . . . . . . . . .222222221113332
   137   -5 A . . . . . . . . . . . . . . . . .222222211113332
   138   -6 A . . . . . . . . . . . . . . . . .222222111113332
   139   -7 A . . . . . . . . . . . . . . . . .222221111113332
   140   -8 A . . . . . . . . . . . . . . . . .222211111113332
   141   -9 A . . . . . . . . . . . . . . . . .222111111113332
   142  -10 A . . . . . . . . . . . . . . . . .221111111113332
   143  -11 A . . . . . . . . . . . . . . . . .211111111113332
   144  -12 A . . . . . . . . . . . . . . . . 0111111111113332
   145  -11 B . . . . . . . . . . . . . . . . 1111111111113332
   146  -10 B . . . . . . . . . . . . . . . . 1311111111113332
   147   -9 B . . . . . . . . . . . . . . . . 1331111111113332
   148   -8 B . . . . . . . . . . . . . . . . 1333111111113332
   149   -7 B . . . . . . . . . . . . . . . . 1333311111113332
   150   -6 B . . . . . . . . . . . . . . . . 1333331111113332
   151   -5 B . . . . . . . . . . . . . . . . 1333333111113332
   152   -4 B . . . . . . . . . . . . . . . . 1333333311113332
   153   -3 B . . . . . . . . . . . . . . . . 1333333331113332
   154   -2 B . . . . . . . . . . . . . . . . 1333333333113332
   155   -1 B . . . . . . . . . . . . . . . . 1333333333313332
   156    0 B . . . . . . . . . . . . . . . . 1333333333333332
   157   -1 B . . . . . . . . . . . . . . . . 1333333333331332
   158   -2 B . . . . . . . . . . . . . . . . 1333333333311332
   159   -3 B . . . . . . . . . . . . . . . . 1333333333111332
   160   -4 B . . . . . . . . . . . . . . . . 1333333331111332
   161   -5 B . . . . . . . . . . . . . . . . 1333333311111332
   162   -6 B . . . . . . . . . . . . . . . . 1333333111111332
   163   -7 B . . . . . . . . . . . . . . . . 1333331111111332
   164   -8 B . . . . . . . . . . . . . . . . 1333311111111332
   165   -9 B . . . . . . . . . . . . . . . . 1333111111111332
   166  -10 B . . . . . . . . . . . . . . . . 1331111111111332
   167  -11 B . . . . . . . . . . . . . . . . 1311111111111332
   168  -12 B . . . . . . . . . . . . . . . . 1111111111111332
   169  -11 B . . . . . . . . . . . . . . . . 3111111111111332
   170  -10 B . . . . . . . . . . . . . . . . 3311111111111332
   171   -9 B . . . . . . . . . . . . . . . . 3331111111111332
   172   -8 B . . . . . . . . . . . . . . . . 3333111111111332
   173   -7 B . . . . . . . . . . . . . . . . 3333311111111332
   174   -6 B . . . . . . . . . . . . . . . . 3333331111111332
   175   -5 B . . . . . . . . . . . . . . . . 3333333111111332
   176   -4 B . . . . . . . . . . . . . . . . 3333333311111332
   177   -3 B . . . . . . . . . . . . . . . . 3333333331111332
   178   -2 B . . . . . . . . . . . . . . . . 3333333333111332
   179   -1 B . . . . . . . . . . . . . . . . 3333333333311332
   180    0 B . . . . . . . . . . . . . . . . 3333333333331332
   181    1 B . . . . . . . . . . . . . . . . 3333333333333332
   182    0 B . . . . . . . . . . . . . . . . 3333333333333132
   183   -1 B . . . . . . . . . . . . . . . . 3333333333331132
   184   -2 B . . . . . . . . . . . . . . . . 3333333333311132
   185   -3 B . . . . . . . . . . . . . . . . 3333333333111132
   186   -4 B . . . . . . . . . . . . . . . . 3333333331111132
   187   -5 B . . . . . . . . . . . . . . . . 3333333311111132
   188   -6 B . . . . . . . . . . . . . . . . 3333333111111132
   189   -7 B . . . . . . . . . . . . . . . . 3333331111111132
   190   -8 B . . . . . . . . . . . . . . . . 3333311111111132
   191   -9 B . . . . . . . . . . . . . . . . 3333111111111132
   192  -10 B . . . . . . . . . . . . . . . . 3331111111111132
   193  -11 B . . . . . . . . . . . . . . . . 3311111111111132
   194  -12 B . . . . . . . . . . . . . . . . 3111111111111132
   195  -13 B . . . . . . . . . . . . . . . .01111111111111132
   196  -14 A . . . . . . . . . . . . . . . 021111111111111132
   197  -13 B . . . . . . . . . . . . . . . 121111111111111132
   198  -14 A . . . . . . . . . . . . . . . 141111111111111132
   199  -13 A . . . . . . . . . . . . . . . 241111111111111132
   200  -12 A . . . . . . . . . . . . . . . 221111111111111132

After 200 steps (201 lines): state = A.
Produced     18 nonzeros.
Tape index -12, scanned [-14 .. 3].
State Count Execution count First in step
on 0 on 1 on 2 on 3 on 4 on 0 on 1 on 2 on 3 on 4
A 80 11 24 28 13 4 0 2 3 9 29
B 120 7 55 4 54   1 6 27 16  
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:12:43 CEST 2010