Comment: This TM produces 4099 nonzeros in 15754273 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 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | 4LB | 1RH | 2RA | 0LB | 3LB | 4 | left | B | 1 | right | H | 2 | right | A | 0 | left | B | 3 | left | B |
| B | 2RA | 3LB | 3RB | 2LB | 1LB | 2 | right | A | 3 | left | B | 3 | right | B | 2 | left | B | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done 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 Tape contents
0 0 <A
1 -1 <B 4
2 0 2 A> 4
3 -1 2 <B 3
4 0 3 B> 3
5 -1 3 <B 2
6 -2 <B 2 2
7 -1 2 A> 2 2
+ 9 1 23 A>
10 0 23 <B 4
11 1 2 2 3 B> 4
12 0 2 2 3 <B 1
13 -1 2 2 <B 2 1
14 0 2 3 B> 2 1
15 1 2 3 3 B> 1
16 0 2 3 3 <B 3
+ 18 -2 2 <B 2 2 3
19 -1 3 B> 2 2 3
+ 21 1 33 B> 3
22 0 33 <B 2
+ 25 -3 <B 24
26 -2 2 A> 24
+ 30 2 25 A>
31 1 25 <B 4
32 2 24 3 B> 4
33 1 24 3 <B 1
34 0 24 <B 2 1
35 1 23 3 B> 2 1
36 2 23 3 3 B> 1
37 1 23 3 3 <B 3
+ 39 -1 23 <B 2 2 3
40 0 2 2 3 B> 2 2 3
+ 42 2 2 2 33 B> 3
43 1 2 2 33 <B 2
+ 46 -2 2 2 <B 24
47 -1 2 3 B> 24
+ 51 3 2 35 B>
52 4 2 35 2 A>
53 3 2 35 2 <B 4
54 4 2 36 B> 4
55 3 2 36 <B 1
+ 61 -3 2 <B 26 1
62 -2 3 B> 26 1
+ 68 4 37 B> 1
69 3 37 <B 3
+ 76 -4 <B 27 3
77 -3 2 A> 27 3
+ 84 4 28 A> 3
85 3 28 <B
86 4 27 3 B>
87 5 27 3 2 A>
88 4 27 3 2 <B 4
89 5 27 3 3 B> 4
90 4 27 3 3 <B 1
+ 92 2 27 <B 2 2 1
93 3 26 3 B> 2 2 1
+ 95 5 26 33 B> 1
96 4 26 33 <B 3
+ 99 1 26 <B 23 3
100 2 25 3 B> 23 3
+ 103 5 25 34 B> 3
104 4 25 34 <B 2
+ 108 0 25 <B 25
109 1 24 3 B> 25
+ 114 6 24 36 B>
115 7 24 36 2 A>
116 6 24 36 2 <B 4
117 7 24 37 B> 4
118 6 24 37 <B 1
+ 125 -1 24 <B 27 1
126 0 23 3 B> 27 1
+ 133 7 23 38 B> 1
134 6 23 38 <B 3
+ 142 -2 23 <B 28 3
143 -1 2 2 3 B> 28 3
+ 151 7 2 2 39 B> 3
152 6 2 2 39 <B 2
+ 161 -3 2 2 <B 210
162 -2 2 3 B> 210
+ 172 8 2 311 B>
173 9 2 311 2 A>
174 8 2 311 2 <B 4
175 9 2 312 B> 4
176 8 2 312 <B 1
+ 188 -4 2 <B 212 1
189 -3 3 B> 212 1
+ 201 9 313 B> 1
202 8 313 <B 3
+ 215 -5 <B 213 3
216 -4 2 A> 213 3
+ 229 9 214 A> 3
230 8 214 <B
231 9 213 3 B>
232 10 213 3 2 A>
233 9 213 3 2 <B 4
234 10 213 3 3 B> 4
235 9 213 3 3 <B 1
+ 237 7 213 <B 2 2 1
238 8 212 3 B> 2 2 1
+ 240 10 212 33 B> 1
241 9 212 33 <B 3
+ 244 6 212 <B 23 3
245 7 211 3 B> 23 3
+ 248 10 211 34 B> 3
249 9 211 34 <B 2
+ 253 5 211 <B 25
254 6 210 3 B> 25
+ 259 11 210 36 B>
260 12 210 36 2 A>
261 11 210 36 2 <B 4
262 12 210 37 B> 4
263 11 210 37 <B 1
+ 270 4 210 <B 27 1
271 5 29 3 B> 27 1
+ 278 12 29 38 B> 1
279 11 29 38 <B 3
+ 287 3 29 <B 28 3
288 4 28 3 B> 28 3
+ 296 12 28 39 B> 3
297 11 28 39 <B 2
+ 306 2 28 <B 210
307 3 27 3 B> 210
+ 317 13 27 311 B>
318 14 27 311 2 A>
319 13 27 311 2 <B 4
320 14 27 312 B> 4
321 13 27 312 <B 1
+ 333 1 27 <B 212 1
334 2 26 3 B> 212 1
+ 346 14 26 313 B> 1
347 13 26 313 <B 3
+ 360 0 26 <B 213 3
361 1 25 3 B> 213 3
+ 374 14 25 314 B> 3
375 13 25 314 <B 2
+ 389 -1 25 <B 215
390 0 24 3 B> 215
+ 405 15 24 316 B>
406 16 24 316 2 A>
407 15 24 316 2 <B 4
408 16 24 317 B> 4
409 15 24 317 <B 1
+ 426 -2 24 <B 217 1
427 -1 23 3 B> 217 1
+ 444 16 23 318 B> 1
445 15 23 318 <B 3
+ 463 -3 23 <B 218 3
464 -2 2 2 3 B> 218 3
+ 482 16 2 2 319 B> 3
483 15 2 2 319 <B 2
+ 502 -4 2 2 <B 220
503 -3 2 3 B> 220
+ 523 17 2 321 B>
524 18 2 321 2 A>
525 17 2 321 2 <B 4
526 18 2 322 B> 4
527 17 2 322 <B 1
+ 549 -5 2 <B 222 1
550 -4 3 B> 222 1
+ 572 18 323 B> 1
573 17 323 <B 3
+ 596 -6 <B 223 3
597 -5 2 A> 223 3
+ 620 18 224 A> 3
621 17 224 <B
622 18 223 3 B>
623 19 223 3 2 A>
624 18 223 3 2 <B 4
625 19 223 3 3 B> 4
626 18 223 3 3 <B 1
+ 628 16 223 <B 2 2 1
629 17 222 3 B> 2 2 1
+ 631 19 222 33 B> 1
632 18 222 33 <B 3
+ 635 15 222 <B 23 3
636 16 221 3 B> 23 3
+ 639 19 221 34 B> 3
640 18 221 34 <B 2
+ 644 14 221 <B 25
645 15 220 3 B> 25
+ 650 20 220 36 B>
651 21 220 36 2 A>
652 20 220 36 2 <B 4
653 21 220 37 B> 4
654 20 220 37 <B 1
+ 661 13 220 <B 27 1
662 14 219 3 B> 27 1
+ 669 21 219 38 B> 1
670 20 219 38 <B 3
+ 678 12 219 <B 28 3
679 13 218 3 B> 28 3
+ 687 21 218 39 B> 3
688 20 218 39 <B 2
+ 697 11 218 <B 210
698 12 217 3 B> 210
+ 708 22 217 311 B>
709 23 217 311 2 A>
710 22 217 311 2 <B 4
711 23 217 312 B> 4
712 22 217 312 <B 1
+ 724 10 217 <B 212 1
After 724 steps (201 lines): state = B.
Produced 30 nonzeros.
Tape index 10, scanned [-6 .. 23].
| 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 | 68 | 15 | 49 | 3 | 1 | 0 | 7 | 84 | 2 | ||
| B | 656 | 18 | 13 | 300 | 311 | 14 | 1 | 15 | 3 | 4 | 11 |