Comment: This TM produces >2.1x10^628 nonzeros in >3.1x10^1256 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 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 3LA | 3RC | 1RA | 1 | right | B | 3 | left | A | 3 | right | C | 1 | right | A |
| B | 2RC | 1LA | 1RH | 2RB | 2 | right | C | 1 | left | A | 1 | right | H | 2 | right | B |
| C | 1LC | 1RB | 1LB | 2RA | 1 | left | C | 1 | right | B | 1 | left | B | 2 | right | A |
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 2 C . . 120
3 1 C . . 121
4 0 B . . 111
5 -1 A . .0111
6 0 B . .1111
7 -1 A . .1111
8 -2 A . 03111
9 -1 B . 13111
10 0 B . 12111
11 -1 A . 12111
12 0 C . 13111
13 1 B . 13111
14 0 A . 13111
15 -1 A . 13311
+ 17 1 A . 11111 by A/3 * 2
+ 21 -3 A .033331 by A/1 * 4
22 -2 B .133331
+ 26 2 B .122221 by B/3 * 4
27 1 A .122221
28 2 C .122231
29 3 B .1222310
30 4 C .12223120
31 3 C .12223121
32 2 B .12223111
33 1 A .12223111
34 2 A .12221111
+ 36 0 A .12223311 by A/1 * 2
37 1 C .12233311
38 2 A .12232311
39 3 A .12232111
+ 41 1 A .12232331 by A/1 * 2
42 2 C .12233331
43 3 A .12233231
44 4 A .12233211
+ 46 2 A .12233233 by A/1 * 2
47 3 C .12233333
48 4 A .12233323
49 5 A .122333210
50 6 B .1223332110
51 7 C .12233321120
52 6 C .12233321121
53 5 B .12233321111
54 4 A .12233321111
55 3 A .12233323111
56 4 C .12233333111
57 5 A .12233332111
58 4 A .12233332311
59 5 C .12233333311
60 6 A .12233333211
61 5 A .12233333231
62 6 C .12233333331
63 7 A .12233333321
64 6 A .12233333323
65 7 C .12233333333
66 8 A .122333333320
67 9 B .1223333333210
68 10 C .12233333332120
69 9 C .12233333332121
70 8 B .12233333332111
71 7 A .12233333332111
72 8 C .12233333333111
73 9 B .12233333333111
74 8 A .12233333333111
75 7 A .12233333333311
+ 77 9 A .12233333331111 by A/3 * 2
+ 80 6 A .12233333333331 by A/1 * 3
+ 84 10 A .12233333311111 by A/3 * 4
+ 89 5 A .12233333333333 by A/1 * 5
+ 95 11 A .122333331111110 by A/3 * 6
96 12 B .1223333311111110
97 13 C .12233333111111120
98 12 C .12233333111111121
99 11 B .12233333111111111
100 10 A .12233333111111111
+ 106 4 A .12233333333333111 by A/1 * 6
+ 113 11 A .12233331111111111 by A/3 * 7
+ 121 3 A .12233333333333311 by A/1 * 8
+ 130 12 A .12233311111111111 by A/3 * 9
+ 140 2 A .12233333333333331 by A/1 * 10
+ 151 13 A .12233111111111111 by A/3 * 11
+ 163 1 A .12233333333333333 by A/1 * 12
+ 176 14 A .122311111111111110 by A/3 * 13
177 15 B .1223111111111111110
178 16 C .12231111111111111120
179 15 C .12231111111111111121
180 14 B .12231111111111111111
181 13 A .12231111111111111111
+ 194 0 A .12233333333333333111 by A/1 * 13
+ 208 14 A .12211111111111111111 by A/3 * 14
+ 223 -1 A .12233333333333333311 by A/1 * 15
224 0 C .12333333333333333311
225 1 A .12323333333333333311
+ 239 15 A .12321111111111111111 by A/3 * 14
+ 254 0 A .12323333333333333331 by A/1 * 15
255 1 C .12333333333333333331
256 2 A .12332333333333333331
+ 270 16 A .12332111111111111111 by A/3 * 14
+ 285 1 A .12332333333333333333 by A/1 * 15
286 2 C .12333333333333333333
287 3 A .12333233333333333333
+ 301 17 A .123332111111111111110 by A/3 * 14
302 18 B .1233321111111111111110
303 19 C .12333211111111111111120
304 18 C .12333211111111111111121
305 17 B .12333211111111111111111
306 16 A .12333211111111111111111
+ 320 2 A .12333233333333333333111 by A/1 * 14
321 3 C .12333333333333333333111
322 4 A .12333323333333333333111
+ 335 17 A .12333321111111111111111 by A/3 * 13
+ 349 3 A .12333323333333333333311 by A/1 * 14
350 4 C .12333333333333333333311
351 5 A .12333332333333333333311
+ 364 18 A .12333332111111111111111 by A/3 * 13
+ 378 4 A .12333332333333333333331 by A/1 * 14
379 5 C .12333333333333333333331
380 6 A .12333333233333333333331
+ 393 19 A .12333333211111111111111 by A/3 * 13
+ 407 5 A .12333333233333333333333 by A/1 * 14
408 6 C .12333333333333333333333
409 7 A .12333333323333333333333
+ 422 20 A .123333333211111111111110 by A/3 * 13
423 21 B .1233333332111111111111110
424 22 C .12333333321111111111111120
425 21 C .12333333321111111111111121
426 20 B .12333333321111111111111111
427 19 A .12333333321111111111111111
+ 440 6 A .12333333323333333333333111 by A/1 * 13
441 7 C .12333333333333333333333111
442 8 A .12333333332333333333333111
+ 454 20 A .12333333332111111111111111 by A/3 * 12
+ 467 7 A .12333333332333333333333311 by A/1 * 13
468 8 C .12333333333333333333333311
469 9 A .12333333333233333333333311
+ 481 21 A .12333333333211111111111111 by A/3 * 12
+ 494 8 A .12333333333233333333333331 by A/1 * 13
495 9 C .12333333333333333333333331
496 10 A .12333333333323333333333331
+ 508 22 A .12333333333321111111111111 by A/3 * 12
+ 521 9 A .12333333333323333333333333 by A/1 * 13
522 10 C .12333333333333333333333333
523 11 A .12333333333332333333333333
+ 535 23 A .123333333333321111111111110 by A/3 * 12
536 24 B .1233333333333211111111111110
537 25 C .12333333333332111111111111120
538 24 C .12333333333332111111111111121
539 23 B .12333333333332111111111111111
540 22 A .12333333333332111111111111111
+ 552 10 A .12333333333332333333333333111 by A/1 * 12
553 11 C .12333333333333333333333333111
554 12 A .12333333333333233333333333111
+ 565 23 A .12333333333333211111111111111 by A/3 * 11
+ 577 11 A .12333333333333233333333333311 by A/1 * 12
578 12 C .12333333333333333333333333311
579 13 A .12333333333333323333333333311
+ 590 24 A .12333333333333321111111111111 by A/3 * 11
+ 602 12 A .12333333333333323333333333331 by A/1 * 12
603 13 C .12333333333333333333333333331
604 14 A .12333333333333332333333333331
+ 615 25 A .12333333333333332111111111111 by A/3 * 11
+ 627 13 A .12333333333333332333333333333 by A/1 * 12
628 14 C .12333333333333333333333333333
629 15 A .12333333333333333233333333333
+ 640 26 A .123333333333333332111111111110 by A/3 * 11
641 27 B .1233333333333333321111111111110
642 28 C .12333333333333333211111111111120
643 27 C .12333333333333333211111111111121
644 26 B .12333333333333333211111111111111
645 25 A .12333333333333333211111111111111
+ 656 14 A .12333333333333333233333333333111 by A/1 * 11
657 15 C .12333333333333333333333333333111
658 16 A .12333333333333333323333333333111
+ 668 26 A .12333333333333333321111111111111 by A/3 * 10
+ 679 15 A .12333333333333333323333333333311 by A/1 * 11
680 16 C .12333333333333333333333333333311
681 17 A .12333333333333333332333333333311
+ 691 27 A .12333333333333333332111111111111 by A/3 * 10
+ 702 16 A .12333333333333333332333333333331 by A/1 * 11
703 17 C .12333333333333333333333333333331
704 18 A .12333333333333333333233333333331
+ 714 28 A .12333333333333333333211111111111 by A/3 * 10
+ 725 17 A .12333333333333333333233333333333 by A/1 * 11
726 18 C .12333333333333333333333333333333
727 19 A .12333333333333333333323333333333
+ 737 29 A .123333333333333333333211111111110 by A/3 * 10
738 30 B .1233333333333333333332111111111110
739 31 C .12333333333333333333321111111111120
740 30 C .12333333333333333333321111111111121
741 29 B .12333333333333333333321111111111111
742 28 A .12333333333333333333321111111111111
+ 752 18 A .12333333333333333333323333333333111 by A/1 * 10
753 19 C .12333333333333333333333333333333111
754 20 A .12333333333333333333332333333333111
+ 763 29 A .12333333333333333333332111111111111 by A/3 * 9
+ 773 19 A .12333333333333333333332333333333311 by A/1 * 10
774 20 C .12333333333333333333333333333333311
775 21 A .12333333333333333333333233333333311
+ 784 30 A .12333333333333333333333211111111111 by A/3 * 9
+ 794 20 A .12333333333333333333333233333333331 by A/1 * 10
After 794 steps (201 lines): state = A.
Produced 35 nonzeros.
Tape index 20, scanned [-3 .. 31].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 709 | 13 | 349 | 31 | 316 | 0 | 7 | 11 | 15 |
| B | 32 | 11 | 16 | 5 | 1 | 4 | 9 | ||
| C | 53 | 11 | 3 | 11 | 28 | 2 | 12 | 3 | 37 |