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 $
| 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 | 1LA | 3LA | 3RC | 1 | right | B | 1 | left | A | 3 | left | A | 3 | right | C |
| B | 2LC | 2LB | 1RB | 1RA | 2 | left | C | 2 | left | B | 1 | right | B | 1 | right | A |
| C | 2LA | 3LC | 1RH | 1LB | 2 | left | A | 3 | left | C | 1 | right | H | 1 | left | B |
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 . . . . . . . . . . . . . . . . . . . . . . . . . 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
9 -1 A . . . . . . . . . . . . . . . . . . . . . . . . 1113
10 -2 A . . . . . . . . . . . . . . . . . . . . . . . . 1113
11 -3 A . . . . . . . . . . . . . . . . . . . . . . . .01113
12 -2 B . . . . . . . . . . . . . . . . . . . . . . . .11113
13 -3 B . . . . . . . . . . . . . . . . . . . . . . . .12113
14 -4 B . . . . . . . . . . . . . . . . . . . . . . . 022113
15 -5 C . . . . . . . . . . . . . . . . . . . . . . .0222113
16 -6 A . . . . . . . . . . . . . . . . . . . . . . 02222113
17 -5 B . . . . . . . . . . . . . . . . . . . . . . 12222113
18 -4 B . . . . . . . . . . . . . . . . . . . . . . 11222113
19 -3 B . . . . . . . . . . . . . . . . . . . . . . 11122113
20 -2 B . . . . . . . . . . . . . . . . . . . . . . 11112113
21 -1 B . . . . . . . . . . . . . . . . . . . . . . 11111113
22 -2 B . . . . . . . . . . . . . . . . . . . . . . 11111213
23 -3 B . . . . . . . . . . . . . . . . . . . . . . 11112213
24 -4 B . . . . . . . . . . . . . . . . . . . . . . 11122213
25 -5 B . . . . . . . . . . . . . . . . . . . . . . 11222213
26 -6 B . . . . . . . . . . . . . . . . . . . . . . 12222213
27 -7 B . . . . . . . . . . . . . . . . . . . . . .022222213
28 -8 C . . . . . . . . . . . . . . . . . . . . . 0222222213
29 -9 A . . . . . . . . . . . . . . . . . . . . .02222222213
30 -8 B . . . . . . . . . . . . . . . . . . . . .12222222213
31 -7 B . . . . . . . . . . . . . . . . . . . . .11222222213
32 -6 B . . . . . . . . . . . . . . . . . . . . .11122222213
33 -5 B . . . . . . . . . . . . . . . . . . . . .11112222213
34 -4 B . . . . . . . . . . . . . . . . . . . . .11111222213
35 -3 B . . . . . . . . . . . . . . . . . . . . .11111122213
36 -2 B . . . . . . . . . . . . . . . . . . . . .11111112213
37 -1 B . . . . . . . . . . . . . . . . . . . . .11111111213
38 0 B . . . . . . . . . . . . . . . . . . . . .11111111113
39 -1 B . . . . . . . . . . . . . . . . . . . . .11111111123
40 -2 B . . . . . . . . . . . . . . . . . . . . .11111111223
41 -3 B . . . . . . . . . . . . . . . . . . . . .11111112223
42 -4 B . . . . . . . . . . . . . . . . . . . . .11111122223
43 -5 B . . . . . . . . . . . . . . . . . . . . .11111222223
44 -6 B . . . . . . . . . . . . . . . . . . . . .11112222223
45 -7 B . . . . . . . . . . . . . . . . . . . . .11122222223
46 -8 B . . . . . . . . . . . . . . . . . . . . .11222222223
47 -9 B . . . . . . . . . . . . . . . . . . . . .12222222223
48 -10 B . . . . . . . . . . . . . . . . . . . . 022222222223
49 -11 C . . . . . . . . . . . . . . . . . . . .0222222222223
50 -12 A . . . . . . . . . . . . . . . . . . . 02222222222223
51 -11 B . . . . . . . . . . . . . . . . . . . 12222222222223
52 -10 B . . . . . . . . . . . . . . . . . . . 11222222222223
53 -9 B . . . . . . . . . . . . . . . . . . . 11122222222223
54 -8 B . . . . . . . . . . . . . . . . . . . 11112222222223
55 -7 B . . . . . . . . . . . . . . . . . . . 11111222222223
56 -6 B . . . . . . . . . . . . . . . . . . . 11111122222223
57 -5 B . . . . . . . . . . . . . . . . . . . 11111112222223
58 -4 B . . . . . . . . . . . . . . . . . . . 11111111222223
59 -3 B . . . . . . . . . . . . . . . . . . . 11111111122223
60 -2 B . . . . . . . . . . . . . . . . . . . 11111111112223
61 -1 B . . . . . . . . . . . . . . . . . . . 11111111111223
62 0 B . . . . . . . . . . . . . . . . . . . 11111111111123
63 1 B . . . . . . . . . . . . . . . . . . . 11111111111113
64 2 A . . . . . . . . . . . . . . . . . . . 111111111111110
65 3 B . . . . . . . . . . . . . . . . . . . 1111111111111110
66 2 C . . . . . . . . . . . . . . . . . . . 1111111111111112
67 1 C . . . . . . . . . . . . . . . . . . . 1111111111111132
68 0 C . . . . . . . . . . . . . . . . . . . 1111111111111332
69 -1 C . . . . . . . . . . . . . . . . . . . 1111111111113332
70 -2 C . . . . . . . . . . . . . . . . . . . 1111111111133332
71 -3 C . . . . . . . . . . . . . . . . . . . 1111111111333332
72 -4 C . . . . . . . . . . . . . . . . . . . 1111111113333332
73 -5 C . . . . . . . . . . . . . . . . . . . 1111111133333332
74 -6 C . . . . . . . . . . . . . . . . . . . 1111111333333332
75 -7 C . . . . . . . . . . . . . . . . . . . 1111113333333332
76 -8 C . . . . . . . . . . . . . . . . . . . 1111133333333332
77 -9 C . . . . . . . . . . . . . . . . . . . 1111333333333332
78 -10 C . . . . . . . . . . . . . . . . . . . 1113333333333332
79 -11 C . . . . . . . . . . . . . . . . . . . 1133333333333332
80 -12 C . . . . . . . . . . . . . . . . . . . 1333333333333332
81 -13 C . . . . . . . . . . . . . . . . . . .03333333333333332
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
89 -11 A . . . . . . . . . . . . . . . . . . 111113333333333332
90 -12 A . . . . . . . . . . . . . . . . . . 111113333333333332
91 -13 A . . . . . . . . . . . . . . . . . . 111113333333333332
92 -14 A . . . . . . . . . . . . . . . . . . 111113333333333332
93 -15 A . . . . . . . . . . . . . . . . . .0111113333333333332
94 -14 B . . . . . . . . . . . . . . . . . .1111113333333333332
95 -15 B . . . . . . . . . . . . . . . . . .1211113333333333332
96 -16 B . . . . . . . . . . . . . . . . . 02211113333333333332
97 -17 C . . . . . . . . . . . . . . . . .022211113333333333332
98 -18 A . . . . . . . . . . . . . . . . 0222211113333333333332
99 -17 B . . . . . . . . . . . . . . . . 1222211113333333333332
After 99 steps (100 lines): state = B.
Produced 22 nonzeros.
Tape index -17, scanned [-18 .. 3].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 20 | 10 | 8 | 1 | 1 | 0 | 8 | 7 | 85 |
| B | 56 | 6 | 20 | 26 | 4 | 1 | 12 | 5 | 6 |
| C | 23 | 6 | 16 | 1 | 3 | 2 | 86 | ||