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

Comment: This TM produces 4099 nonzeros in 15754273 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 4LB 1RH 2RA 0LB 3LB 4 left B 1 right H 2 right A 0 left B 3 left B
B 2RA 3LB 3RB 2LB 1LB 2 right A 3 left B 3 right B 2 left B 1 left B
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 . . . . .04
     2    0 A . . . . .24
     3   -1 B . . . . .23
     4    0 B . . . . .33
     5   -1 B . . . . .32
     6   -2 B . . . . 022
     7   -1 A . . . . 222
     8    0 A . . . . 222
     9    1 A . . . . 2220
    10    0 B . . . . 2224
    11    1 B . . . . 2234
    12    0 B . . . . 2231
    13   -1 B . . . . 2221
    14    0 B . . . . 2321
    15    1 B . . . . 2331
    16    0 B . . . . 2333
    17   -1 B . . . . 2323
    18   -2 B . . . . 2223
    19   -1 B . . . . 3223
    20    0 B . . . . 3323
    21    1 B . . . . 3333
    22    0 B . . . . 3332
    23   -1 B . . . . 3322
    24   -2 B . . . . 3222
    25   -3 B . . . .02222
    26   -2 A . . . .22222
    27   -1 A . . . .22222
    28    0 A . . . .22222
    29    1 A . . . .22222
    30    2 A . . . .222220
    31    1 B . . . .222224
    32    2 B . . . .222234
    33    1 B . . . .222231
    34    0 B . . . .222221
    35    1 B . . . .222321
    36    2 B . . . .222331
    37    1 B . . . .222333
    38    0 B . . . .222323
    39   -1 B . . . .222223
    40    0 B . . . .223223
    41    1 B . . . .223323
    42    2 B . . . .223333
    43    1 B . . . .223332
    44    0 B . . . .223322
    45   -1 B . . . .223222
    46   -2 B . . . .222222
    47   -1 B . . . .232222
    48    0 B . . . .233222
    49    1 B . . . .233322
    50    2 B . . . .233332
    51    3 B . . . .2333330
    52    4 A . . . .23333320
    53    3 B . . . .23333324
    54    4 B . . . .23333334
    55    3 B . . . .23333331
    56    2 B . . . .23333321
    57    1 B . . . .23333221
    58    0 B . . . .23332221
    59   -1 B . . . .23322221
    60   -2 B . . . .23222221
    61   -3 B . . . .22222221
    62   -2 B . . . .32222221
    63   -1 B . . . .33222221
    64    0 B . . . .33322221
    65    1 B . . . .33332221
    66    2 B . . . .33333221
    67    3 B . . . .33333321
    68    4 B . . . .33333331
    69    3 B . . . .33333333
    70    2 B . . . .33333323
    71    1 B . . . .33333223
    72    0 B . . . .33332223
    73   -1 B . . . .33322223
    74   -2 B . . . .33222223
    75   -3 B . . . .32222223
    76   -4 B . . . 022222223
    77   -3 A . . . 222222223
    78   -2 A . . . 222222223
    79   -1 A . . . 222222223
    80    0 A . . . 222222223
    81    1 A . . . 222222223
    82    2 A . . . 222222223
    83    3 A . . . 222222223
    84    4 A . . . 222222223
    85    3 B . . . 222222220
    86    4 B . . . 222222230
    87    5 A . . . 2222222320
    88    4 B . . . 2222222324
    89    5 B . . . 2222222334
    90    4 B . . . 2222222331
    91    3 B . . . 2222222321
    92    2 B . . . 2222222221
    93    3 B . . . 2222223221
    94    4 B . . . 2222223321
    95    5 B . . . 2222223331
    96    4 B . . . 2222223333
    97    3 B . . . 2222223323
    98    2 B . . . 2222223223
    99    1 B . . . 2222222223
   100    2 B . . . 2222232223
   101    3 B . . . 2222233223
   102    4 B . . . 2222233323
   103    5 B . . . 2222233333
   104    4 B . . . 2222233332
   105    3 B . . . 2222233322
   106    2 B . . . 2222233222
   107    1 B . . . 2222232222
   108    0 B . . . 2222222222
   109    1 B . . . 2222322222
   110    2 B . . . 2222332222
   111    3 B . . . 2222333222
   112    4 B . . . 2222333322
   113    5 B . . . 2222333332
   114    6 B . . . 22223333330
   115    7 A . . . 222233333320
   116    6 B . . . 222233333324
   117    7 B . . . 222233333334
   118    6 B . . . 222233333331
   119    5 B . . . 222233333321
   120    4 B . . . 222233333221
   121    3 B . . . 222233332221
   122    2 B . . . 222233322221
   123    1 B . . . 222233222221
   124    0 B . . . 222232222221
   125   -1 B . . . 222222222221
   126    0 B . . . 222322222221
   127    1 B . . . 222332222221
   128    2 B . . . 222333222221
   129    3 B . . . 222333322221
   130    4 B . . . 222333332221
   131    5 B . . . 222333333221
   132    6 B . . . 222333333321
   133    7 B . . . 222333333331
   134    6 B . . . 222333333333
   135    5 B . . . 222333333323
   136    4 B . . . 222333333223
   137    3 B . . . 222333332223
   138    2 B . . . 222333322223
   139    1 B . . . 222333222223
   140    0 B . . . 222332222223
   141   -1 B . . . 222322222223
   142   -2 B . . . 222222222223
   143   -1 B . . . 223222222223
   144    0 B . . . 223322222223
   145    1 B . . . 223332222223
   146    2 B . . . 223333222223
   147    3 B . . . 223333322223
   148    4 B . . . 223333332223
   149    5 B . . . 223333333223
   150    6 B . . . 223333333323
   151    7 B . . . 223333333333
   152    6 B . . . 223333333332
   153    5 B . . . 223333333322
   154    4 B . . . 223333333222
   155    3 B . . . 223333332222
   156    2 B . . . 223333322222
   157    1 B . . . 223333222222
   158    0 B . . . 223332222222
   159   -1 B . . . 223322222222
   160   -2 B . . . 223222222222
   161   -3 B . . . 222222222222
   162   -2 B . . . 232222222222
   163   -1 B . . . 233222222222
   164    0 B . . . 233322222222
   165    1 B . . . 233332222222
   166    2 B . . . 233333222222
   167    3 B . . . 233333322222
   168    4 B . . . 233333332222
   169    5 B . . . 233333333222
   170    6 B . . . 233333333322
   171    7 B . . . 233333333332
   172    8 B . . . 2333333333330
   173    9 A . . . 23333333333320
   174    8 B . . . 23333333333324
   175    9 B . . . 23333333333334
   176    8 B . . . 23333333333331
   177    7 B . . . 23333333333321
   178    6 B . . . 23333333333221
   179    5 B . . . 23333333332221
   180    4 B . . . 23333333322221
   181    3 B . . . 23333333222221
   182    2 B . . . 23333332222221
   183    1 B . . . 23333322222221
   184    0 B . . . 23333222222221
   185   -1 B . . . 23332222222221
   186   -2 B . . . 23322222222221
   187   -3 B . . . 23222222222221
   188   -4 B . . . 22222222222221
   189   -3 B . . . 32222222222221
   190   -2 B . . . 33222222222221
   191   -1 B . . . 33322222222221
   192    0 B . . . 33332222222221
   193    1 B . . . 33333222222221
   194    2 B . . . 33333322222221
   195    3 B . . . 33333332222221
   196    4 B . . . 33333333222221
   197    5 B . . . 33333333322221
   198    6 B . . . 33333333332221
   199    7 B . . . 33333333333221
   200    8 B . . . 33333333333321

After 200 steps (201 lines): state = B.
Produced     14 nonzeros.
Tape index 8, scanned [-4 .. 9].
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 22 7   13 1 1 0   7 84 2
B 178 8 5 83 76 6 1 15 3 4 11
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:38 CEST 2010