3-state 4-symbol #f (T.J. & S. Ligocki)

Comment: This TM produces >1.7x10^1301 nonzeros in >8.4x10^2601 steps.

Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $

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 C . . . . . . . . . . . . . . . . . . . . . . . . . 12
     3   -1 C . . . . . . . . . . . . . . . . . . . . . . . . .032
     4   -2 A . . . . . . . . . . . . . . . . . . . . . . . . 0232
     5   -1 B . . . . . . . . . . . . . . . . . . . . . . . . 1232
     6    0 B . . . . . . . . . . . . . . . . . . . . . . . . 1132
     7    1 A . . . . . . . . . . . . . . . . . . . . . . . . 1112
     8    0 A . . . . . . . . . . . . . . . . . . . . . . . . 1113
+   11   -3 A . . . . . . . . . . . . . . . . . . . . . . . .01113   by A/1 * 3
    12   -2 B . . . . . . . . . . . . . . . . . . . . . . . .11113
+   14   -4 B . . . . . . . . . . . . . . . . . . . . . . . 022113   by B/1 * 2
    15   -5 C . . . . . . . . . . . . . . . . . . . . . . .0222113
    16   -6 A . . . . . . . . . . . . . . . . . . . . . . 02222113
    17   -5 B . . . . . . . . . . . . . . . . . . . . . . 12222113
+   21   -1 B . . . . . . . . . . . . . . . . . . . . . . 11111113   by B/2 * 4
+   27   -7 B . . . . . . . . . . . . . . . . . . . . . .022222213   by B/1 * 6
    28   -8 C . . . . . . . . . . . . . . . . . . . . . 0222222213
    29   -9 A . . . . . . . . . . . . . . . . . . . . .02222222213
    30   -8 B . . . . . . . . . . . . . . . . . . . . .12222222213
+   38    0 B . . . . . . . . . . . . . . . . . . . . .11111111113   by B/2 * 8
+   48  -10 B . . . . . . . . . . . . . . . . . . . . 022222222223   by B/1 * 10
    49  -11 C . . . . . . . . . . . . . . . . . . . .0222222222223
    50  -12 A . . . . . . . . . . . . . . . . . . . 02222222222223
    51  -11 B . . . . . . . . . . . . . . . . . . . 12222222222223
+   63    1 B . . . . . . . . . . . . . . . . . . . 11111111111113   by B/2 * 12
    64    2 A . . . . . . . . . . . . . . . . . . . 111111111111110
    65    3 B . . . . . . . . . . . . . . . . . . . 1111111111111110
    66    2 C . . . . . . . . . . . . . . . . . . . 1111111111111112
+   81  -13 C . . . . . . . . . . . . . . . . . . .03333333333333332   by C/1 * 15
    82  -14 A . . . . . . . . . . . . . . . . . . 023333333333333332
    83  -13 B . . . . . . . . . . . . . . . . . . 123333333333333332
    84  -12 B . . . . . . . . . . . . . . . . . . 113333333333333332
    85  -11 A . . . . . . . . . . . . . . . . . . 111333333333333332
    86  -10 C . . . . . . . . . . . . . . . . . . 111333333333333332
    87  -11 B . . . . . . . . . . . . . . . . . . 111313333333333332
    88  -10 A . . . . . . . . . . . . . . . . . . 111113333333333332
+   93  -15 A . . . . . . . . . . . . . . . . . .0111113333333333332   by A/1 * 5
    94  -14 B . . . . . . . . . . . . . . . . . .1111113333333333332
+   96  -16 B . . . . . . . . . . . . . . . . . 02211113333333333332   by B/1 * 2
    97  -17 C . . . . . . . . . . . . . . . . .022211113333333333332
    98  -18 A . . . . . . . . . . . . . . . . 0222211113333333333332
    99  -17 B . . . . . . . . . . . . . . . . 1222211113333333333332
+  103  -13 B . . . . . . . . . . . . . . . . 1111111113333333333332   by B/2 * 4
+  109  -19 B . . . . . . . . . . . . . . . .02222221113333333333332   by B/1 * 6
   110  -20 C . . . . . . . . . . . . . . . 022222221113333333333332
   111  -21 A . . . . . . . . . . . . . . .0222222221113333333333332
   112  -20 B . . . . . . . . . . . . . . .1222222221113333333333332
+  120  -12 B . . . . . . . . . . . . . . .1111111111113333333333332   by B/2 * 8
+  130  -22 B . . . . . . . . . . . . . . 02222222222113333333333332   by B/1 * 10
   131  -23 C . . . . . . . . . . . . . .022222222222113333333333332
   132  -24 A . . . . . . . . . . . . . 0222222222222113333333333332
   133  -23 B . . . . . . . . . . . . . 1222222222222113333333333332
+  145  -11 B . . . . . . . . . . . . . 1111111111111113333333333332   by B/2 * 12
+  159  -25 B . . . . . . . . . . . . .02222222222222213333333333332   by B/1 * 14
   160  -26 C . . . . . . . . . . . . 022222222222222213333333333332
   161  -27 A . . . . . . . . . . . .0222222222222222213333333333332
   162  -26 B . . . . . . . . . . . .1222222222222222213333333333332
+  178  -10 B . . . . . . . . . . . .1111111111111111113333333333332   by B/2 * 16
+  196  -28 B . . . . . . . . . . . 02222222222222222223333333333332   by B/1 * 18
   197  -29 C . . . . . . . . . . .022222222222222222223333333333332
   198  -30 A . . . . . . . . . . 0222222222222222222223333333333332
   199  -29 B . . . . . . . . . . 1222222222222222222223333333333332
+  219   -9 B . . . . . . . . . . 1111111111111111111113333333333332   by B/2 * 20
   220   -8 A . . . . . . . . . . 1111111111111111111111333333333332
   221   -7 C . . . . . . . . . . 1111111111111111111111333333333332
   222   -8 B . . . . . . . . . . 1111111111111111111111313333333332
   223   -7 A . . . . . . . . . . 1111111111111111111111113333333332
+  247  -31 A . . . . . . . . . .01111111111111111111111113333333332   by A/1 * 24
   248  -30 B . . . . . . . . . .11111111111111111111111113333333332
+  250  -32 B . . . . . . . . . 022111111111111111111111113333333332   by B/1 * 2
   251  -33 C . . . . . . . . .0222111111111111111111111113333333332
   252  -34 A . . . . . . . . 02222111111111111111111111113333333332
   253  -33 B . . . . . . . . 12222111111111111111111111113333333332
+  257  -29 B . . . . . . . . 11111111111111111111111111113333333332   by B/2 * 4
+  263  -35 B . . . . . . . .022222211111111111111111111113333333332   by B/1 * 6
   264  -36 C . . . . . . . 0222222211111111111111111111113333333332
   265  -37 A . . . . . . .02222222211111111111111111111113333333332
   266  -36 B . . . . . . .12222222211111111111111111111113333333332
+  274  -28 B . . . . . . .11111111111111111111111111111113333333332   by B/2 * 8
+  284  -38 B . . . . . . 022222222221111111111111111111113333333332   by B/1 * 10
   285  -39 C . . . . . .0222222222221111111111111111111113333333332
   286  -40 A . . . . . 02222222222221111111111111111111113333333332
   287  -39 B . . . . . 12222222222221111111111111111111113333333332
+  299  -27 B . . . . . 11111111111111111111111111111111113333333332   by B/2 * 12
+  313  -41 B . . . . .022222222222222111111111111111111113333333332   by B/1 * 14
   314  -42 C . . . . 0222222222222222111111111111111111113333333332
   315  -43 A . . . .02222222222222222111111111111111111113333333332
   316  -42 B . . . .12222222222222222111111111111111111113333333332
+  332  -26 B . . . .11111111111111111111111111111111111113333333332   by B/2 * 16
+  350  -44 B . . . 022222222222222222211111111111111111113333333332   by B/1 * 18
   351  -45 C . . .0222222222222222222211111111111111111113333333332
   352  -46 A . . 02222222222222222222211111111111111111113333333332
   353  -45 B . . 12222222222222222222211111111111111111113333333332
+  373  -25 B . . 11111111111111111111111111111111111111113333333332   by B/2 * 20
+  395  -47 B . .022222222222222222222221111111111111111113333333332   by B/1 * 22
   396  -48 C . 0222222222222222222222221111111111111111113333333332
   397  -49 A .02222222222222222222222221111111111111111113333333332
   398  -48 B .12222222222222222222222221111111111111111113333333332
+  422  -24 B .11111111111111111111111111111111111111111113333333332   by B/2 * 24

After 422 steps (100 lines): state = B.
Produced     53 nonzeros.
Tape index -24, scanned [-49 .. 3].