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

Comment: This TM produces >1.9x10^27 nonzeros in >2.3x10^54 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
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 0RB 3LA 5LA 1RH 4LB 1 right B 0 right B 3 left A 5 left A 1 right H 4 left B
B 1LA 2RB 3LA 4LB 3RB 3RA 1 left A 2 right B 3 left A 4 left B 3 right B 3 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 B . . . . . . . . . . . 01
     4    2 B . . . . . . . . . . . 020
     5    1 A . . . . . . . . . . . 021
     6    0 A . . . . . . . . . . . 031
     7    1 B . . . . . . . . . . . 131
     8    0 B . . . . . . . . . . . 141
     9    1 B . . . . . . . . . . . 241
    10    2 B . . . . . . . . . . . 231
    11    3 B . . . . . . . . . . . 2320
    12    2 A . . . . . . . . . . . 2321
    13    1 A . . . . . . . . . . . 2331
    14    0 A . . . . . . . . . . . 2531
    15   -1 A . . . . . . . . . . .03531
    16    0 B . . . . . . . . . . .13531
    17   -1 B . . . . . . . . . . .14531
    18    0 B . . . . . . . . . . .24531
    19    1 B . . . . . . . . . . .23531
    20    2 A . . . . . . . . . . .23331
+   23   -1 A . . . . . . . . . . .25551   by A/3 * 3
    24   -2 A . . . . . . . . . . 035551
    25   -1 B . . . . . . . . . . 135551
    26   -2 B . . . . . . . . . . 145551
    27   -1 B . . . . . . . . . . 245551
    28    0 B . . . . . . . . . . 235551
    29    1 A . . . . . . . . . . 233551
    30    0 B . . . . . . . . . . 233451
+   32   -2 B . . . . . . . . . . 244451   by B/3 * 2
    33   -3 A . . . . . . . . . .0344451
    34   -2 B . . . . . . . . . .1344451
    35   -3 B . . . . . . . . . .1444451
    36   -2 B . . . . . . . . . .2444451
+   40    2 B . . . . . . . . . .2333351   by B/4 * 4
    41    3 A . . . . . . . . . .2333331
    42    4 B . . . . . . . . . .23333300
    43    3 A . . . . . . . . . .23333301
    44    4 B . . . . . . . . . .23333311
    45    5 B . . . . . . . . . .233333120
    46    4 A . . . . . . . . . .233333121
    47    3 A . . . . . . . . . .233333131
    48    4 B . . . . . . . . . .233333031
    49    3 B . . . . . . . . . .233333041
    50    2 A . . . . . . . . . .233333141
+   55   -3 A . . . . . . . . . .255555141   by A/3 * 5
    56   -4 A . . . . . . . . . 0355555141
    57   -3 B . . . . . . . . . 1355555141
    58   -4 B . . . . . . . . . 1455555141
    59   -3 B . . . . . . . . . 2455555141
    60   -2 B . . . . . . . . . 2355555141
    61   -1 A . . . . . . . . . 2335555141
    62   -2 B . . . . . . . . . 2334555141
+   64   -4 B . . . . . . . . . 2444555141   by B/3 * 2
    65   -5 A . . . . . . . . .03444555141
    66   -4 B . . . . . . . . .13444555141
    67   -5 B . . . . . . . . .14444555141
    68   -4 B . . . . . . . . .24444555141
+   72    0 B . . . . . . . . .23333555141   by B/4 * 4
    73    1 A . . . . . . . . .23333355141
    74    0 B . . . . . . . . .23333345141
+   79   -5 B . . . . . . . . .24444445141   by B/3 * 5
    80   -6 A . . . . . . . . 034444445141
    81   -5 B . . . . . . . . 134444445141
    82   -6 B . . . . . . . . 144444445141
    83   -5 B . . . . . . . . 244444445141
+   90    2 B . . . . . . . . 233333335141   by B/4 * 7
    91    3 A . . . . . . . . 233333333141
    92    4 B . . . . . . . . 233333333041
    93    5 B . . . . . . . . 233333333031
    94    6 B . . . . . . . . 2333333330320
    95    5 A . . . . . . . . 2333333330321
    96    4 A . . . . . . . . 2333333330331
    97    3 A . . . . . . . . 2333333330531
    98    4 B . . . . . . . . 2333333331531
    99    5 A . . . . . . . . 2333333331331
+  101    3 A . . . . . . . . 2333333331551  by A/3 * 2
   102    4 B . . . . . . . . 2333333330551
   103    5 A . . . . . . . . 2333333330351
   104    4 B . . . . . . . . 2333333330341
   105    3 B . . . . . . . . 2333333330441
   106    2 A . . . . . . . . 2333333331441
+  114   -6 A . . . . . . . . 2555555551441  by A/3 * 8
   115   -7 A . . . . . . . .03555555551441
   116   -6 B . . . . . . . .13555555551441
   117   -7 B . . . . . . . .14555555551441
   118   -6 B . . . . . . . .24555555551441
   119   -5 B . . . . . . . .23555555551441
   120   -4 A . . . . . . . .23355555551441
   121   -5 B . . . . . . . .23345555551441
+  123   -7 B . . . . . . . .24445555551441  by B/3 * 2
   124   -8 A . . . . . . . 034445555551441
   125   -7 B . . . . . . . 134445555551441
   126   -8 B . . . . . . . 144445555551441
   127   -7 B . . . . . . . 244445555551441
+  131   -3 B . . . . . . . 233335555551441  by B/4 * 4
   132   -2 A . . . . . . . 233333555551441
   133   -3 B . . . . . . . 233333455551441
+  138   -8 B . . . . . . . 244444455551441  by B/3 * 5
   139   -9 A . . . . . . .0344444455551441
   140   -8 B . . . . . . .1344444455551441
   141   -9 B . . . . . . .1444444455551441
   142   -8 B . . . . . . .2444444455551441
+  149   -1 B . . . . . . .2333333355551441  by B/4 * 7
   150    0 A . . . . . . .2333333335551441
   151   -1 B . . . . . . .2333333334551441
+  159   -9 B . . . . . . .2444444444551441  by B/3 * 8
   160  -10 A . . . . . . 03444444444551441
   161   -9 B . . . . . . 13444444444551441
   162  -10 B . . . . . . 14444444444551441
   163   -9 B . . . . . . 24444444444551441
+  173    1 B . . . . . . 23333333333551441  by B/4 * 10
   174    2 A . . . . . . 23333333333351441
   175    1 B . . . . . . 23333333333341441
+  186  -10 B . . . . . . 24444444444441441  by B/3 * 11
   187  -11 A . . . . . .034444444444441441
   188  -10 B . . . . . .134444444444441441
   189  -11 B . . . . . .144444444444441441
   190  -10 B . . . . . .244444444444441441
+  203    3 B . . . . . .233333333333331441  by B/4 * 13
   204    4 B . . . . . .233333333333332441
+  206    6 B . . . . . .233333333333332331  by B/4 * 2
   207    7 B . . . . . .2333333333333323320
   208    6 A . . . . . .2333333333333323321
   209    5 A . . . . . .2333333333333323331
+  211    3 A . . . . . .2333333333333325531   by A/3 * 2
   212    2 A . . . . . .2333333333333335531
+  225  -11 A . . . . . .2555555555555535531   by A/3 * 13
   226  -12 A . . . . . 03555555555555535531
   227  -11 B . . . . . 13555555555555535531
   228  -12 B . . . . . 14555555555555535531
   229  -11 B . . . . . 24555555555555535531
   230  -10 B . . . . . 23555555555555535531
   231   -9 A . . . . . 23355555555555535531
   232  -10 B . . . . . 23345555555555535531
+  234  -12 B . . . . . 24445555555555535531   by B/3 * 2
   235  -13 A . . . . .034445555555555535531
   236  -12 B . . . . .134445555555555535531
   237  -13 B . . . . .144445555555555535531
   238  -12 B . . . . .244445555555555535531
+  242   -8 B . . . . .233335555555555535531   by B/4 * 4
   243   -7 A . . . . .233333555555555535531
   244   -8 B . . . . .233333455555555535531
+  249  -13 B . . . . .244444455555555535531   by B/3 * 5
   250  -14 A . . . . 0344444455555555535531
   251  -13 B . . . . 1344444455555555535531
   252  -14 B . . . . 1444444455555555535531
   253  -13 B . . . . 2444444455555555535531
+  260   -6 B . . . . 2333333355555555535531   by B/4 * 7
   261   -5 A . . . . 2333333335555555535531
   262   -6 B . . . . 2333333334555555535531
+  270  -14 B . . . . 2444444444555555535531   by B/3 * 8
   271  -15 A . . . .03444444444555555535531
   272  -14 B . . . .13444444444555555535531
   273  -15 B . . . .14444444444555555535531
   274  -14 B . . . .24444444444555555535531
+  284   -4 B . . . .23333333333555555535531   by B/4 * 10
   285   -3 A . . . .23333333333355555535531
   286   -4 B . . . .23333333333345555535531
+  297  -15 B . . . .24444444444445555535531   by B/3 * 11
   298  -16 A . . . 034444444444445555535531
   299  -15 B . . . 134444444444445555535531
   300  -16 B . . . 144444444444445555535531
   301  -15 B . . . 244444444444445555535531
+  314   -2 B . . . 233333333333335555535531   by B/4 * 13
   315   -1 A . . . 233333333333333555535531
   316   -2 B . . . 233333333333333455535531
+  330  -16 B . . . 244444444444444455535531   by B/3 * 14
   331  -17 A . . .0344444444444444455535531
   332  -16 B . . .1344444444444444455535531
   333  -17 B . . .1444444444444444455535531
   334  -16 B . . .2444444444444444455535531
+  350    0 B . . .2333333333333333355535531   by B/4 * 16
   351    1 A . . .2333333333333333335535531
   352    0 B . . .2333333333333333334535531
+  369  -17 B . . .2444444444444444444535531   by B/3 * 17
   370  -18 A . . 03444444444444444444535531
   371  -17 B . . 13444444444444444444535531
   372  -18 B . . 14444444444444444444535531
   373  -17 B . . 24444444444444444444535531
+  392    2 B . . 23333333333333333333535531   by B/4 * 19
   393    3 A . . 23333333333333333333335531
+  414  -18 A . . 25555555555555555555555531   by A/3 * 21
   415  -19 A . .035555555555555555555555531
   416  -18 B . .135555555555555555555555531
   417  -19 B . .145555555555555555555555531
   418  -18 B . .245555555555555555555555531
   419  -17 B . .235555555555555555555555531
   420  -16 A . .233555555555555555555555531
   421  -17 B . .233455555555555555555555531
+  423  -19 B . .244455555555555555555555531   by B/3 * 2
   424  -20 A . 0344455555555555555555555531
   425  -19 B . 1344455555555555555555555531
   426  -20 B . 1444455555555555555555555531
   427  -19 B . 2444455555555555555555555531
+  431  -15 B . 2333355555555555555555555531   by B/4 * 4
   432  -14 A . 2333335555555555555555555531
   433  -15 B . 2333334555555555555555555531
+  438  -20 B . 2444444555555555555555555531   by B/3 * 5
   439  -21 A .03444444555555555555555555531
   440  -20 B .13444444555555555555555555531

After 440 steps (201 lines): state = B.
Produced     29 nonzeros.
Tape index -20, scanned [-21 .. 7].
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 114 25 5 12 56   16 0 2 5 13   29
B 326 9 27 15 122 132 21 1 3 32 7 9 19
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:16 CEST 2010