Comment: This TM produces 398,005,342 nonzeros in 37,716,251,406,088,468 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 | 1RB | 3LA | 1LA | 0LB | 1RA | 1 | right | B | 3 | left | A | 1 | left | A | 0 | left | B | 1 | right | A |
| B | 2LA | 4LB | 4LA | 1RA | 1RH | 2 | left | A | 4 | left | B | 4 | left | A | 1 | right | A | 1 | right | H |
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 1 B>
2 0 1 <A 2
3 -1 <A 3 2
4 0 1 B> 3 2
5 1 1 1 A> 2
6 0 1 1 <A 1
+ 8 -2 <A 3 3 1
9 -1 1 B> 3 3 1
10 0 1 1 A> 3 1
11 -1 1 1 <B 0 1
+ 13 -3 <B 4 4 0 1
14 -4 <A 2 4 4 0 1
15 -3 1 B> 2 4 4 0 1
16 -4 1 <A 43 0 1
17 -5 <A 3 43 0 1
18 -4 1 B> 3 43 0 1
19 -3 1 1 A> 43 0 1
+ 22 0 15 A> 0 1
23 1 16 B> 1
24 0 16 <B 4
+ 30 -6 <B 47
31 -7 <A 2 47
32 -6 1 B> 2 47
33 -7 1 <A 48
34 -8 <A 3 48
35 -7 1 B> 3 48
36 -6 1 1 A> 48
+ 44 2 110 A>
45 3 111 B>
46 2 111 <A 2
+ 57 -9 <A 311 2
58 -8 1 B> 311 2
59 -7 1 1 A> 310 2
60 -8 1 1 <B 0 39 2
+ 62 -10 <B 4 4 0 39 2
63 -11 <A 2 4 4 0 39 2
64 -10 1 B> 2 4 4 0 39 2
65 -11 1 <A 43 0 39 2
66 -12 <A 3 43 0 39 2
67 -11 1 B> 3 43 0 39 2
68 -10 1 1 A> 43 0 39 2
+ 71 -7 15 A> 0 39 2
72 -6 16 B> 39 2
73 -5 17 A> 38 2
74 -6 17 <B 0 37 2
+ 81 -13 <B 47 0 37 2
82 -14 <A 2 47 0 37 2
83 -13 1 B> 2 47 0 37 2
84 -14 1 <A 48 0 37 2
85 -15 <A 3 48 0 37 2
86 -14 1 B> 3 48 0 37 2
87 -13 1 1 A> 48 0 37 2
+ 95 -5 110 A> 0 37 2
96 -4 111 B> 37 2
97 -3 112 A> 36 2
98 -4 112 <B 0 35 2
+ 110 -16 <B 412 0 35 2
111 -17 <A 2 412 0 35 2
112 -16 1 B> 2 412 0 35 2
113 -17 1 <A 413 0 35 2
114 -18 <A 3 413 0 35 2
115 -17 1 B> 3 413 0 35 2
116 -16 1 1 A> 413 0 35 2
+ 129 -3 115 A> 0 35 2
130 -2 116 B> 35 2
131 -1 117 A> 34 2
132 -2 117 <B 0 33 2
+ 149 -19 <B 417 0 33 2
150 -20 <A 2 417 0 33 2
151 -19 1 B> 2 417 0 33 2
152 -20 1 <A 418 0 33 2
153 -21 <A 3 418 0 33 2
154 -20 1 B> 3 418 0 33 2
155 -19 1 1 A> 418 0 33 2
+ 173 -1 120 A> 0 33 2
174 0 121 B> 33 2
175 1 122 A> 3 3 2
176 0 122 <B 0 3 2
+ 198 -22 <B 422 0 3 2
199 -23 <A 2 422 0 3 2
200 -22 1 B> 2 422 0 3 2
201 -23 1 <A 423 0 3 2
202 -24 <A 3 423 0 3 2
203 -23 1 B> 3 423 0 3 2
204 -22 1 1 A> 423 0 3 2
+ 227 1 125 A> 0 3 2
228 2 126 B> 3 2
229 3 127 A> 2
230 2 127 <A 1
+ 257 -25 <A 327 1
258 -24 1 B> 327 1
259 -23 1 1 A> 326 1
260 -24 1 1 <B 0 325 1
+ 262 -26 <B 4 4 0 325 1
263 -27 <A 2 4 4 0 325 1
264 -26 1 B> 2 4 4 0 325 1
265 -27 1 <A 43 0 325 1
266 -28 <A 3 43 0 325 1
267 -27 1 B> 3 43 0 325 1
268 -26 1 1 A> 43 0 325 1
+ 271 -23 15 A> 0 325 1
272 -22 16 B> 325 1
273 -21 17 A> 324 1
274 -22 17 <B 0 323 1
+ 281 -29 <B 47 0 323 1
282 -30 <A 2 47 0 323 1
283 -29 1 B> 2 47 0 323 1
284 -30 1 <A 48 0 323 1
285 -31 <A 3 48 0 323 1
286 -30 1 B> 3 48 0 323 1
287 -29 1 1 A> 48 0 323 1
+ 295 -21 110 A> 0 323 1
296 -20 111 B> 323 1
297 -19 112 A> 322 1
298 -20 112 <B 0 321 1
+ 310 -32 <B 412 0 321 1
311 -33 <A 2 412 0 321 1
312 -32 1 B> 2 412 0 321 1
313 -33 1 <A 413 0 321 1
314 -34 <A 3 413 0 321 1
315 -33 1 B> 3 413 0 321 1
316 -32 1 1 A> 413 0 321 1
+ 329 -19 115 A> 0 321 1
330 -18 116 B> 321 1
331 -17 117 A> 320 1
332 -18 117 <B 0 319 1
+ 349 -35 <B 417 0 319 1
350 -36 <A 2 417 0 319 1
351 -35 1 B> 2 417 0 319 1
352 -36 1 <A 418 0 319 1
353 -37 <A 3 418 0 319 1
354 -36 1 B> 3 418 0 319 1
355 -35 1 1 A> 418 0 319 1
+ 373 -17 120 A> 0 319 1
374 -16 121 B> 319 1
375 -15 122 A> 318 1
376 -16 122 <B 0 317 1
+ 398 -38 <B 422 0 317 1
399 -39 <A 2 422 0 317 1
400 -38 1 B> 2 422 0 317 1
401 -39 1 <A 423 0 317 1
402 -40 <A 3 423 0 317 1
403 -39 1 B> 3 423 0 317 1
404 -38 1 1 A> 423 0 317 1
+ 427 -15 125 A> 0 317 1
428 -14 126 B> 317 1
429 -13 127 A> 316 1
430 -14 127 <B 0 315 1
+ 457 -41 <B 427 0 315 1
458 -42 <A 2 427 0 315 1
459 -41 1 B> 2 427 0 315 1
460 -42 1 <A 428 0 315 1
461 -43 <A 3 428 0 315 1
462 -42 1 B> 3 428 0 315 1
463 -41 1 1 A> 428 0 315 1
+ 491 -13 130 A> 0 315 1
492 -12 131 B> 315 1
493 -11 132 A> 314 1
494 -12 132 <B 0 313 1
+ 526 -44 <B 432 0 313 1
527 -45 <A 2 432 0 313 1
528 -44 1 B> 2 432 0 313 1
529 -45 1 <A 433 0 313 1
530 -46 <A 3 433 0 313 1
531 -45 1 B> 3 433 0 313 1
532 -44 1 1 A> 433 0 313 1
+ 565 -11 135 A> 0 313 1
566 -10 136 B> 313 1
567 -9 137 A> 312 1
568 -10 137 <B 0 311 1
+ 605 -47 <B 437 0 311 1
606 -48 <A 2 437 0 311 1
607 -47 1 B> 2 437 0 311 1
608 -48 1 <A 438 0 311 1
609 -49 <A 3 438 0 311 1
610 -48 1 B> 3 438 0 311 1
611 -47 1 1 A> 438 0 311 1
+ 649 -9 140 A> 0 311 1
650 -8 141 B> 311 1
651 -7 142 A> 310 1
652 -8 142 <B 0 39 1
+ 694 -50 <B 442 0 39 1
695 -51 <A 2 442 0 39 1
696 -50 1 B> 2 442 0 39 1
697 -51 1 <A 443 0 39 1
698 -52 <A 3 443 0 39 1
699 -51 1 B> 3 443 0 39 1
700 -50 1 1 A> 443 0 39 1
+ 743 -7 145 A> 0 39 1
744 -6 146 B> 39 1
745 -5 147 A> 38 1
746 -6 147 <B 0 37 1
+ 793 -53 <B 447 0 37 1
794 -54 <A 2 447 0 37 1
795 -53 1 B> 2 447 0 37 1
796 -54 1 <A 448 0 37 1
797 -55 <A 3 448 0 37 1
798 -54 1 B> 3 448 0 37 1
799 -53 1 1 A> 448 0 37 1
+ 847 -5 150 A> 0 37 1
After 847 steps (201 lines): state = A.
Produced 58 nonzeros.
Tape index -5, scanned [-55 .. 3].
| 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 | 462 | 55 | 58 | 2 | 16 | 331 | 0 | 2 | 5 | 10 | 19 |
| B | 385 | 19 | 314 | 17 | 35 | 1 | 11 | 15 | 4 | ||