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 |
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 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
16 0 A . 11311
17 1 A . 11111
18 0 A . 11131
19 -1 A . 11331
20 -2 A . 13331
21 -3 A .033331
22 -2 B .133331
23 -1 B .123331
24 0 B .122331
25 1 B .122231
26 2 B .122221
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
35 1 A .12221311
36 0 A .12223311
37 1 C .12233311
38 2 A .12232311
39 3 A .12232111
40 2 A .12232131
41 1 A .12232331
42 2 C .12233331
43 3 A .12233231
44 4 A .12233211
45 3 A .12233213
46 2 A .12233233
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
76 8 A .12233333331311
77 9 A .12233333331111
78 8 A .12233333331131
79 7 A .12233333331331
80 6 A .12233333333331
81 7 A .12233333313331
82 8 A .12233333311331
83 9 A .12233333311131
84 10 A .12233333311111
85 9 A .12233333311113
86 8 A .12233333311133
87 7 A .12233333311333
88 6 A .12233333313333
89 5 A .12233333333333
90 6 A .12233333133333
91 7 A .12233333113333
92 8 A .12233333111333
93 9 A .12233333111133
94 10 A .12233333111113
95 11 A .122333331111110
96 12 B .1223333311111110
97 13 C .12233333111111120
98 12 C .12233333111111121
99 11 B .12233333111111111
100 10 A .12233333111111111
101 9 A .12233333111113111
102 8 A .12233333111133111
103 7 A .12233333111333111
104 6 A .12233333113333111
105 5 A .12233333133333111
106 4 A .12233333333333111
107 5 A .12233331333333111
108 6 A .12233331133333111
109 7 A .12233331113333111
110 8 A .12233331111333111
111 9 A .12233331111133111
112 10 A .12233331111113111
113 11 A .12233331111111111
114 10 A .12233331111111311
115 9 A .12233331111113311
116 8 A .12233331111133311
117 7 A .12233331111333311
118 6 A .12233331113333311
119 5 A .12233331133333311
120 4 A .12233331333333311
121 3 A .12233333333333311
122 4 A .12233313333333311
123 5 A .12233311333333311
124 6 A .12233311133333311
125 7 A .12233311113333311
126 8 A .12233311111333311
127 9 A .12233311111133311
128 10 A .12233311111113311
129 11 A .12233311111111311
130 12 A .12233311111111111
131 11 A .12233311111111131
132 10 A .12233311111111331
133 9 A .12233311111113331
134 8 A .12233311111133331
135 7 A .12233311111333331
136 6 A .12233311113333331
137 5 A .12233311133333331
138 4 A .12233311333333331
139 3 A .12233313333333331
140 2 A .12233333333333331
141 3 A .12233133333333331
142 4 A .12233113333333331
143 5 A .12233111333333331
144 6 A .12233111133333331
145 7 A .12233111113333331
146 8 A .12233111111333331
147 9 A .12233111111133331
148 10 A .12233111111113331
149 11 A .12233111111111331
150 12 A .12233111111111131
151 13 A .12233111111111111
152 12 A .12233111111111113
153 11 A .12233111111111133
154 10 A .12233111111111333
155 9 A .12233111111113333
156 8 A .12233111111133333
157 7 A .12233111111333333
158 6 A .12233111113333333
159 5 A .12233111133333333
160 4 A .12233111333333333
161 3 A .12233113333333333
162 2 A .12233133333333333
163 1 A .12233333333333333
164 2 A .12231333333333333
165 3 A .12231133333333333
166 4 A .12231113333333333
167 5 A .12231111333333333
168 6 A .12231111133333333
169 7 A .12231111113333333
170 8 A .12231111111333333
171 9 A .12231111111133333
172 10 A .12231111111113333
173 11 A .12231111111111333
174 12 A .12231111111111133
175 13 A .12231111111111113
176 14 A .122311111111111110
177 15 B .1223111111111111110
178 16 C .12231111111111111120
179 15 C .12231111111111111121
180 14 B .12231111111111111111
181 13 A .12231111111111111111
182 12 A .12231111111111113111
183 11 A .12231111111111133111
184 10 A .12231111111111333111
185 9 A .12231111111113333111
186 8 A .12231111111133333111
187 7 A .12231111111333333111
188 6 A .12231111113333333111
189 5 A .12231111133333333111
190 4 A .12231111333333333111
191 3 A .12231113333333333111
192 2 A .12231133333333333111
193 1 A .12231333333333333111
194 0 A .12233333333333333111
195 1 A .12213333333333333111
196 2 A .12211333333333333111
197 3 A .12211133333333333111
198 4 A .12211113333333333111
199 5 A .12211111333333333111
200 6 A .12211111133333333111
After 200 steps (201 lines): state = A.
Produced 20 nonzeros.
Tape index 6, scanned [-3 .. 16].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 156 | 8 | 74 | 10 | 64 | 0 | 7 | 11 | 15 |
| B | 22 | 6 | 11 | 5 | 1 | 4 | 9 | ||
| C | 22 | 6 | 3 | 6 | 7 | 2 | 12 | 3 | 37 |