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
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 . . . . . . . . . . . . . . . . . . . . . . 12
     3    1 A . . . . . . . . . . . . . . . . . . . . . . 22
+    5   -1 A . . . . . . . . . . . . . . . . . . . . . .011   by A/2 * 2
     6    0 B . . . . . . . . . . . . . . . . . . . . . .111
+    8    2 B . . . . . . . . . . . . . . . . . . . . . .1330   by B/1 * 2
     9    1 A . . . . . . . . . . . . . . . . . . . . . .1332
+   11   -1 A . . . . . . . . . . . . . . . . . . . . . .1332  by A/3 * 2
    12    0 A . . . . . . . . . . . . . . . . . . . . . .2332
    13   -1 A . . . . . . . . . . . . . . . . . . . . . .2332
    14   -2 A . . . . . . . . . . . . . . . . . . . . . 01332
    15   -1 B . . . . . . . . . . . . . . . . . . . . . 11332
    16    0 B . . . . . . . . . . . . . . . . . . . . . 13332
+   18   -2 B . . . . . . . . . . . . . . . . . . . . . 11132  by B/3 * 2
+   21    1 B . . . . . . . . . . . . . . . . . . . . . 33332  by B/1 * 3
+   25   -3 B . . . . . . . . . . . . . . . . . . . . .011112  by B/3 * 4
    26   -4 A . . . . . . . . . . . . . . . . . . . . 0211112
    27   -3 B . . . . . . . . . . . . . . . . . . . . 1211112
    28   -4 A . . . . . . . . . . . . . . . . . . . . 1411112
    29   -3 A . . . . . . . . . . . . . . . . . . . . 2411112
    30   -2 A . . . . . . . . . . . . . . . . . . . . 2211112
+   34    2 A . . . . . . . . . . . . . . . . . . . . 2222222  by A/1 * 4
+   41   -5 A . . . . . . . . . . . . . . . . . . . .01111111  by A/2 * 7
    42   -4 B . . . . . . . . . . . . . . . . . . . .11111111
+   49    3 B . . . . . . . . . . . . . . . . . . . .133333330  by B/1 * 7
    50    2 A . . . . . . . . . . . . . . . . . . . .133333332
+   57   -5 A . . . . . . . . . . . . . . . . . . . .133333332   by A/3 * 7
    58   -4 A . . . . . . . . . . . . . . . . . . . .233333332
    59   -5 A . . . . . . . . . . . . . . . . . . . .233333332
    60   -6 A . . . . . . . . . . . . . . . . . . . 0133333332
    61   -5 B . . . . . . . . . . . . . . . . . . . 1133333332
    62   -4 B . . . . . . . . . . . . . . . . . . . 1333333332
+   64   -6 B . . . . . . . . . . . . . . . . . . . 1113333332   by B/3 * 2
+   67   -3 B . . . . . . . . . . . . . . . . . . . 3333333332   by B/1 * 3
+   71   -7 B . . . . . . . . . . . . . . . . . . .01111333332   by B/3 * 4
    72   -8 A . . . . . . . . . . . . . . . . . . 021111333332
    73   -7 B . . . . . . . . . . . . . . . . . . 121111333332
    74   -8 A . . . . . . . . . . . . . . . . . . 141111333332
    75   -7 A . . . . . . . . . . . . . . . . . . 241111333332
    76   -6 A . . . . . . . . . . . . . . . . . . 221111333332
+   80   -2 A . . . . . . . . . . . . . . . . . . 222222333332   by A/1 * 4
    81   -3 A . . . . . . . . . . . . . . . . . . 222222333332
+   87   -9 A . . . . . . . . . . . . . . . . . .0111111333332   by A/2 * 6
    88   -8 B . . . . . . . . . . . . . . . . . .1111111333332
+   94   -2 B . . . . . . . . . . . . . . . . . .1333333333332   by B/1 * 6
+  101   -9 B . . . . . . . . . . . . . . . . . .1111111133332   by B/3 * 7
+  109   -1 B . . . . . . . . . . . . . . . . . .3333333333332   by B/1 * 8
+  118  -10 B . . . . . . . . . . . . . . . . . 01111111113332   by B/3 * 9
   119  -11 A . . . . . . . . . . . . . . . . .021111111113332
   120  -10 B . . . . . . . . . . . . . . . . .121111111113332
   121  -11 A . . . . . . . . . . . . . . . . .141111111113332
   122  -10 A . . . . . . . . . . . . . . . . .241111111113332
   123   -9 A . . . . . . . . . . . . . . . . .221111111113332
+  132    0 A . . . . . . . . . . . . . . . . .222222222223332   by A/1 * 9
   133   -1 A . . . . . . . . . . . . . . . . .222222222223332
+  144  -12 A . . . . . . . . . . . . . . . . 0111111111113332   by A/2 * 11
   145  -11 B . . . . . . . . . . . . . . . . 1111111111113332
+  156    0 B . . . . . . . . . . . . . . . . 1333333333333332   by B/1 * 11
+  168  -12 B . . . . . . . . . . . . . . . . 1111111111111332   by B/3 * 12
+  181    1 B . . . . . . . . . . . . . . . . 3333333333333332   by B/1 * 13
+  195  -13 B . . . . . . . . . . . . . . . .01111111111111132   by B/3 * 14
   196  -14 A . . . . . . . . . . . . . . . 021111111111111132
   197  -13 B . . . . . . . . . . . . . . . 121111111111111132
   198  -14 A . . . . . . . . . . . . . . . 141111111111111132
   199  -13 A . . . . . . . . . . . . . . . 241111111111111132
   200  -12 A . . . . . . . . . . . . . . . 221111111111111132
+  214    2 A . . . . . . . . . . . . . . . 222222222222222232   by A/1 * 14
   215    1 A . . . . . . . . . . . . . . . 222222222222222232
+  231  -15 A . . . . . . . . . . . . . . .0111111111111111132   by A/2 * 16
   232  -14 B . . . . . . . . . . . . . . .1111111111111111132
+  248    2 B . . . . . . . . . . . . . . .1333333333333333332   by B/1 * 16
+  265  -15 B . . . . . . . . . . . . . . .1111111111111111112   by B/3 * 17
+  283    3 B . . . . . . . . . . . . . . .3333333333333333332   by B/1 * 18
   284    2 A . . . . . . . . . . . . . . .3333333333333333334
+  302  -16 A . . . . . . . . . . . . . . 03333333333333333334   by A/3 * 18
   303  -15 B . . . . . . . . . . . . . . 13333333333333333334
   304  -16 B . . . . . . . . . . . . . . 11333333333333333334
+  306  -14 B . . . . . . . . . . . . . . 33333333333333333334   by B/1 * 2
+  309  -17 B . . . . . . . . . . . . . .011133333333333333334   by B/3 * 3
   310  -18 A . . . . . . . . . . . . . 0211133333333333333334
   311  -17 B . . . . . . . . . . . . . 1211133333333333333334
   312  -18 A . . . . . . . . . . . . . 1411133333333333333334
   313  -17 A . . . . . . . . . . . . . 2411133333333333333334
   314  -16 A . . . . . . . . . . . . . 2211133333333333333334
+  317  -13 A . . . . . . . . . . . . . 2222233333333333333334   by A/1 * 3
   318  -14 A . . . . . . . . . . . . . 2222233333333333333334
+  323  -19 A . . . . . . . . . . . . .01111133333333333333334   by A/2 * 5
   324  -18 B . . . . . . . . . . . . .11111133333333333333334
+  329  -13 B . . . . . . . . . . . . .13333333333333333333334   by B/1 * 5
+  335  -19 B . . . . . . . . . . . . .11111113333333333333334   by B/3 * 6
+  342  -12 B . . . . . . . . . . . . .33333333333333333333334   by B/1 * 7
+  350  -20 B . . . . . . . . . . . . 011111111333333333333334   by B/3 * 8
   351  -21 A . . . . . . . . . . . .0211111111333333333333334
   352  -20 B . . . . . . . . . . . .1211111111333333333333334
   353  -21 A . . . . . . . . . . . .1411111111333333333333334
   354  -20 A . . . . . . . . . . . .2411111111333333333333334
   355  -19 A . . . . . . . . . . . .2211111111333333333333334
+  363  -11 A . . . . . . . . . . . .2222222222333333333333334   by A/1 * 8
   364  -12 A . . . . . . . . . . . .2222222222333333333333334
+  374  -22 A . . . . . . . . . . . 01111111111333333333333334   by A/2 * 10
   375  -21 B . . . . . . . . . . . 11111111111333333333333334
+  385  -11 B . . . . . . . . . . . 13333333333333333333333334   by B/1 * 10
+  396  -22 B . . . . . . . . . . . 11111111111133333333333334   by B/3 * 11
+  408  -10 B . . . . . . . . . . . 33333333333333333333333334   by B/1 * 12
+  421  -23 B . . . . . . . . . . .011111111111113333333333334   by B/3 * 13
   422  -24 A . . . . . . . . . . 0211111111111113333333333334
   423  -23 B . . . . . . . . . . 1211111111111113333333333334
   424  -24 A . . . . . . . . . . 1411111111111113333333333334
   425  -23 A . . . . . . . . . . 2411111111111113333333333334
   426  -22 A . . . . . . . . . . 2211111111111113333333333334
+  439   -9 A . . . . . . . . . . 2222222222222223333333333334   by A/1 * 13
   440  -10 A . . . . . . . . . . 2222222222222223333333333334
+  455  -25 A . . . . . . . . . .01111111111111113333333333334   by A/2 * 15
   456  -24 B . . . . . . . . . .11111111111111113333333333334
+  471   -9 B . . . . . . . . . .13333333333333333333333333334   by B/1 * 15
+  487  -25 B . . . . . . . . . .11111111111111111333333333334   by B/3 * 16
+  504   -8 B . . . . . . . . . .33333333333333333333333333334   by B/1 * 17
+  522  -26 B . . . . . . . . . 011111111111111111133333333334   by B/3 * 18
   523  -27 A . . . . . . . . .0211111111111111111133333333334
   524  -26 B . . . . . . . . .1211111111111111111133333333334
   525  -27 A . . . . . . . . .1411111111111111111133333333334
   526  -26 A . . . . . . . . .2411111111111111111133333333334
   527  -25 A . . . . . . . . .2211111111111111111133333333334
+  545   -7 A . . . . . . . . .2222222222222222222233333333334   by A/1 * 18
   546   -8 A . . . . . . . . .2222222222222222222233333333334
+  566  -28 A . . . . . . . . 01111111111111111111133333333334   by A/2 * 20
   567  -27 B . . . . . . . . 11111111111111111111133333333334
+  587   -7 B . . . . . . . . 13333333333333333333333333333334   by B/1 * 20
+  608  -28 B . . . . . . . . 11111111111111111111113333333334   by B/3 * 21
+  630   -6 B . . . . . . . . 33333333333333333333333333333334   by B/1 * 22
+  653  -29 B . . . . . . . .011111111111111111111111333333334   by B/3 * 23
   654  -30 A . . . . . . . 0211111111111111111111111333333334
   655  -29 B . . . . . . . 1211111111111111111111111333333334
   656  -30 A . . . . . . . 1411111111111111111111111333333334
   657  -29 A . . . . . . . 2411111111111111111111111333333334
   658  -28 A . . . . . . . 2211111111111111111111111333333334
+  681   -5 A . . . . . . . 2222222222222222222222222333333334   by A/1 * 23
   682   -6 A . . . . . . . 2222222222222222222222222333333334
+  707  -31 A . . . . . . .01111111111111111111111111333333334   by A/2 * 25
   708  -30 B . . . . . . .11111111111111111111111111333333334
+  733   -5 B . . . . . . .13333333333333333333333333333333334   by B/1 * 25
+  759  -31 B . . . . . . .11111111111111111111111111133333334   by B/3 * 26
+  786   -4 B . . . . . . .33333333333333333333333333333333334   by B/1 * 27
+  814  -32 B . . . . . . 011111111111111111111111111113333334   by B/3 * 28
   815  -33 A . . . . . .0211111111111111111111111111113333334
   816  -32 B . . . . . .1211111111111111111111111111113333334
   817  -33 A . . . . . .1411111111111111111111111111113333334
   818  -32 A . . . . . .2411111111111111111111111111113333334
   819  -31 A . . . . . .2211111111111111111111111111113333334
+  847   -3 A . . . . . .2222222222222222222222222222223333334   by A/1 * 28
   848   -4 A . . . . . .2222222222222222222222222222223333334
+  878  -34 A . . . . . 01111111111111111111111111111113333334   by A/2 * 30
   879  -33 B . . . . . 11111111111111111111111111111113333334
+  909   -3 B . . . . . 13333333333333333333333333333333333334   by B/1 * 30
+  940  -34 B . . . . . 11111111111111111111111111111111333334   by B/3 * 31
+  972   -2 B . . . . . 33333333333333333333333333333333333334   by B/1 * 32
+ 1005  -35 B . . . . .011111111111111111111111111111111133334   by B/3 * 33
  1006  -36 A . . . . 0211111111111111111111111111111111133334
  1007  -35 B . . . . 1211111111111111111111111111111111133334
  1008  -36 A . . . . 1411111111111111111111111111111111133334
  1009  -35 A . . . . 2411111111111111111111111111111111133334
  1010  -34 A . . . . 2211111111111111111111111111111111133334
+ 1043   -1 A . . . . 2222222222222222222222222222222222233334   by A/1 * 33
  1044   -2 A . . . . 2222222222222222222222222222222222233334
+ 1079  -37 A . . . .01111111111111111111111111111111111133334   by A/2 * 35
  1080  -36 B . . . .11111111111111111111111111111111111133334
+ 1115   -1 B . . . .13333333333333333333333333333333333333334   by B/1 * 35
+ 1151  -37 B . . . .11111111111111111111111111111111111113334   by B/3 * 36
+ 1188    0 B . . . .33333333333333333333333333333333333333334   by B/1 * 37
+ 1226  -38 B . . . 011111111111111111111111111111111111111334   by B/3 * 38
  1227  -39 A . . .0211111111111111111111111111111111111111334
  1228  -38 B . . .1211111111111111111111111111111111111111334
  1229  -39 A . . .1411111111111111111111111111111111111111334
  1230  -38 A . . .2411111111111111111111111111111111111111334
  1231  -37 A . . .2211111111111111111111111111111111111111334
+ 1269    1 A . . .2222222222222222222222222222222222222222334   by A/1 * 38
  1270    0 A . . .2222222222222222222222222222222222222222334
+ 1310  -40 A . . 01111111111111111111111111111111111111111334   by A/2 * 40
  1311  -39 B . . 11111111111111111111111111111111111111111334
+ 1351    1 B . . 13333333333333333333333333333333333333333334   by B/1 * 40
+ 1392  -40 B . . 11111111111111111111111111111111111111111134   by B/3 * 41
+ 1434    2 B . . 33333333333333333333333333333333333333333334   by B/1 * 42
+ 1477  -41 B . .011111111111111111111111111111111111111111114   by B/3 * 43
  1478  -42 A . 0211111111111111111111111111111111111111111114
  1479  -41 B . 1211111111111111111111111111111111111111111114
  1480  -42 A . 1411111111111111111111111111111111111111111114
  1481  -41 A . 2411111111111111111111111111111111111111111114
  1482  -40 A . 2211111111111111111111111111111111111111111114
+ 1525    3 A . 2222222222222222222222222222222222222222222224   by A/1 * 43
  1526    4 A . 22222222222222222222222222222222222222222222220
  1527    5 B . 222222222222222222222222222222222222222222222210
  1528    4 A . 222222222222222222222222222222222222222222222212
  1529    5 A . 222222222222222222222222222222222222222222222222
+ 1577  -43 A .0111111111111111111111111111111111111111111111111   by A/2 * 48
  1578  -42 B .1111111111111111111111111111111111111111111111111
+ 1626    6 B .13333333333333333333333333333333333333333333333330   by B/1 * 48
  1627    5 A .13333333333333333333333333333333333333333333333332
+ 1675  -43 A .13333333333333333333333333333333333333333333333332  by A/3 * 48
  1676  -42 A .23333333333333333333333333333333333333333333333332
  1677  -43 A .23333333333333333333333333333333333333333333333332

After 1677 steps (201 lines): state = A.
Produced     50 nonzeros.
Tape index -43, scanned [-43 .. 6].
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 663 32 256 272 89 14 0 2 3 9 29
B 1014 18 515 14 467   1 6 27 16  
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:12:43 CEST 2010