Comment: This TM produces >8.0x10^986 nonzeros in >3.7x10^1973 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 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 1RA | 0LB | 1 | right | B | 1 | right | A | 0 | left | B |
| B | 2LC | 1LB | 1RC | 2 | left | C | 1 | left | B | 1 | right | C |
| C | 0RD | 2LC | 1RA | 0 | right | D | 2 | left | C | 1 | right | A |
| D | 2RA | 1RH | 1RC | 2 | right | A | 1 | right | H | 1 | right | C |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 0 1 <C 2
3 -1 <C 2 2
4 0 D> 2 2
5 1 1 C> 2
6 2 1 1 A>
7 3 13 B>
8 2 13 <C 2
+ 11 -1 <C 24
12 0 D> 24
13 1 1 C> 23
14 2 1 1 A> 2 2
15 1 1 1 <B 0 2
+ 17 -1 <B 1 1 0 2
18 -2 <C 2 1 1 0 2
19 -1 D> 2 1 1 0 2
20 0 1 C> 1 1 0 2
21 -1 1 <C 2 1 0 2
22 -2 <C 2 2 1 0 2
23 -1 D> 2 2 1 0 2
24 0 1 C> 2 1 0 2
25 1 1 1 A> 1 0 2
26 2 13 A> 0 2
27 3 14 B> 2
28 4 15 C>
29 5 15 0 D>
30 6 15 0 2 A>
31 7 15 0 2 1 B>
32 6 15 0 2 1 <C 2
33 5 15 0 2 <C 2 2
34 6 15 0 1 A> 2 2
35 5 15 0 1 <B 0 2
36 4 15 0 <B 1 0 2
37 3 15 <C 2 1 0 2
+ 42 -2 <C 26 1 0 2
43 -1 D> 26 1 0 2
44 0 1 C> 25 1 0 2
45 1 1 1 A> 24 1 0 2
46 0 1 1 <B 0 23 1 0 2
+ 48 -2 <B 1 1 0 23 1 0 2
49 -3 <C 2 1 1 0 23 1 0 2
50 -2 D> 2 1 1 0 23 1 0 2
51 -1 1 C> 1 1 0 23 1 0 2
52 -2 1 <C 2 1 0 23 1 0 2
53 -3 <C 2 2 1 0 23 1 0 2
54 -2 D> 2 2 1 0 23 1 0 2
55 -1 1 C> 2 1 0 23 1 0 2
56 0 1 1 A> 1 0 23 1 0 2
57 1 13 A> 0 23 1 0 2
58 2 14 B> 23 1 0 2
59 3 15 C> 2 2 1 0 2
60 4 16 A> 2 1 0 2
61 3 16 <B 0 1 0 2
+ 67 -3 <B 16 0 1 0 2
68 -4 <C 2 16 0 1 0 2
69 -3 D> 2 16 0 1 0 2
70 -2 1 C> 16 0 1 0 2
71 -3 1 <C 2 15 0 1 0 2
72 -4 <C 2 2 15 0 1 0 2
73 -3 D> 2 2 15 0 1 0 2
74 -2 1 C> 2 15 0 1 0 2
75 -1 1 1 A> 15 0 1 0 2
+ 80 4 17 A> 0 1 0 2
81 5 18 B> 1 0 2
82 4 18 <B 1 0 2
+ 90 -4 <B 19 0 2
91 -5 <C 2 19 0 2
92 -4 D> 2 19 0 2
93 -3 1 C> 19 0 2
94 -4 1 <C 2 18 0 2
95 -5 <C 2 2 18 0 2
96 -4 D> 2 2 18 0 2
97 -3 1 C> 2 18 0 2
98 -2 1 1 A> 18 0 2
+ 106 6 110 A> 0 2
107 7 111 B> 2
108 8 112 C>
109 9 112 0 D>
110 10 112 0 2 A>
111 11 112 0 2 1 B>
112 10 112 0 2 1 <C 2
113 9 112 0 2 <C 2 2
114 10 112 0 1 A> 2 2
115 9 112 0 1 <B 0 2
116 8 112 0 <B 1 0 2
117 7 112 <C 2 1 0 2
+ 129 -5 <C 213 1 0 2
130 -4 D> 213 1 0 2
131 -3 1 C> 212 1 0 2
132 -2 1 1 A> 211 1 0 2
133 -3 1 1 <B 0 210 1 0 2
+ 135 -5 <B 1 1 0 210 1 0 2
136 -6 <C 2 1 1 0 210 1 0 2
137 -5 D> 2 1 1 0 210 1 0 2
138 -4 1 C> 1 1 0 210 1 0 2
139 -5 1 <C 2 1 0 210 1 0 2
140 -6 <C 2 2 1 0 210 1 0 2
141 -5 D> 2 2 1 0 210 1 0 2
142 -4 1 C> 2 1 0 210 1 0 2
143 -3 1 1 A> 1 0 210 1 0 2
144 -2 13 A> 0 210 1 0 2
145 -1 14 B> 210 1 0 2
146 0 15 C> 29 1 0 2
147 1 16 A> 28 1 0 2
148 0 16 <B 0 27 1 0 2
+ 154 -6 <B 16 0 27 1 0 2
155 -7 <C 2 16 0 27 1 0 2
156 -6 D> 2 16 0 27 1 0 2
157 -5 1 C> 16 0 27 1 0 2
158 -6 1 <C 2 15 0 27 1 0 2
159 -7 <C 2 2 15 0 27 1 0 2
160 -6 D> 2 2 15 0 27 1 0 2
161 -5 1 C> 2 15 0 27 1 0 2
162 -4 1 1 A> 15 0 27 1 0 2
+ 167 1 17 A> 0 27 1 0 2
168 2 18 B> 27 1 0 2
169 3 19 C> 26 1 0 2
170 4 110 A> 25 1 0 2
171 3 110 <B 0 24 1 0 2
+ 181 -7 <B 110 0 24 1 0 2
182 -8 <C 2 110 0 24 1 0 2
183 -7 D> 2 110 0 24 1 0 2
184 -6 1 C> 110 0 24 1 0 2
185 -7 1 <C 2 19 0 24 1 0 2
186 -8 <C 2 2 19 0 24 1 0 2
187 -7 D> 2 2 19 0 24 1 0 2
188 -6 1 C> 2 19 0 24 1 0 2
189 -5 1 1 A> 19 0 24 1 0 2
+ 198 4 111 A> 0 24 1 0 2
199 5 112 B> 24 1 0 2
200 6 113 C> 23 1 0 2
201 7 114 A> 2 2 1 0 2
202 6 114 <B 0 2 1 0 2
+ 216 -8 <B 114 0 2 1 0 2
217 -9 <C 2 114 0 2 1 0 2
218 -8 D> 2 114 0 2 1 0 2
219 -7 1 C> 114 0 2 1 0 2
220 -8 1 <C 2 113 0 2 1 0 2
221 -9 <C 2 2 113 0 2 1 0 2
222 -8 D> 2 2 113 0 2 1 0 2
223 -7 1 C> 2 113 0 2 1 0 2
224 -6 1 1 A> 113 0 2 1 0 2
+ 237 7 115 A> 0 2 1 0 2
238 8 116 B> 2 1 0 2
239 9 117 C> 1 0 2
240 8 117 <C 2 0 2
+ 257 -9 <C 218 0 2
258 -8 D> 218 0 2
259 -7 1 C> 217 0 2
260 -6 1 1 A> 216 0 2
261 -7 1 1 <B 0 215 0 2
+ 263 -9 <B 1 1 0 215 0 2
264 -10 <C 2 1 1 0 215 0 2
265 -9 D> 2 1 1 0 215 0 2
266 -8 1 C> 1 1 0 215 0 2
267 -9 1 <C 2 1 0 215 0 2
268 -10 <C 2 2 1 0 215 0 2
269 -9 D> 2 2 1 0 215 0 2
270 -8 1 C> 2 1 0 215 0 2
271 -7 1 1 A> 1 0 215 0 2
272 -6 13 A> 0 215 0 2
273 -5 14 B> 215 0 2
274 -4 15 C> 214 0 2
275 -3 16 A> 213 0 2
276 -4 16 <B 0 212 0 2
+ 282 -10 <B 16 0 212 0 2
283 -11 <C 2 16 0 212 0 2
284 -10 D> 2 16 0 212 0 2
285 -9 1 C> 16 0 212 0 2
286 -10 1 <C 2 15 0 212 0 2
287 -11 <C 2 2 15 0 212 0 2
288 -10 D> 2 2 15 0 212 0 2
289 -9 1 C> 2 15 0 212 0 2
290 -8 1 1 A> 15 0 212 0 2
+ 295 -3 17 A> 0 212 0 2
296 -2 18 B> 212 0 2
297 -1 19 C> 211 0 2
298 0 110 A> 210 0 2
299 -1 110 <B 0 29 0 2
+ 309 -11 <B 110 0 29 0 2
310 -12 <C 2 110 0 29 0 2
311 -11 D> 2 110 0 29 0 2
312 -10 1 C> 110 0 29 0 2
313 -11 1 <C 2 19 0 29 0 2
314 -12 <C 2 2 19 0 29 0 2
315 -11 D> 2 2 19 0 29 0 2
316 -10 1 C> 2 19 0 29 0 2
317 -9 1 1 A> 19 0 29 0 2
+ 326 0 111 A> 0 29 0 2
327 1 112 B> 29 0 2
328 2 113 C> 28 0 2
329 3 114 A> 27 0 2
330 2 114 <B 0 26 0 2
+ 344 -12 <B 114 0 26 0 2
345 -13 <C 2 114 0 26 0 2
346 -12 D> 2 114 0 26 0 2
347 -11 1 C> 114 0 26 0 2
348 -12 1 <C 2 113 0 26 0 2
349 -13 <C 2 2 113 0 26 0 2
350 -12 D> 2 2 113 0 26 0 2
After 350 steps (201 lines): state = D.
Produced 22 nonzeros.
Tape index -12, scanned [-13 .. 11].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 86 | 15 | 58 | 13 | 0 | 25 | 14 |
| B | 113 | 18 | 85 | 10 | 1 | 15 | 27 |
| C | 121 | 31 | 65 | 25 | 3 | 2 | 5 |
| D | 30 | 2 | 28 | 29 | 4 | ||