Comment: This TM produces 1,194,050,967 nonzeros in 339,466,124,499,007,251 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 | 3LB | 0LB | 1RA | 1 | right | B | 3 | left | A | 3 | left | B | 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 <B 3
+ 8 -2 <B 4 4 3
9 -3 <A 2 4 4 3
10 -2 1 B> 2 4 4 3
11 -3 1 <A 43 3
12 -4 <A 3 43 3
13 -3 1 B> 3 43 3
14 -2 1 1 A> 43 3
+ 17 1 15 A> 3
18 0 15 <B
+ 23 -5 <B 45
24 -6 <A 2 45
25 -5 1 B> 2 45
26 -6 1 <A 46
27 -7 <A 3 46
28 -6 1 B> 3 46
29 -5 1 1 A> 46
+ 35 1 18 A>
36 2 19 B>
37 1 19 <A 2
+ 46 -8 <A 39 2
47 -7 1 B> 39 2
48 -6 1 1 A> 38 2
49 -7 1 1 <B 0 37 2
+ 51 -9 <B 4 4 0 37 2
52 -10 <A 2 4 4 0 37 2
53 -9 1 B> 2 4 4 0 37 2
54 -10 1 <A 43 0 37 2
55 -11 <A 3 43 0 37 2
56 -10 1 B> 3 43 0 37 2
57 -9 1 1 A> 43 0 37 2
+ 60 -6 15 A> 0 37 2
61 -5 16 B> 37 2
62 -4 17 A> 36 2
63 -5 17 <B 0 35 2
+ 70 -12 <B 47 0 35 2
71 -13 <A 2 47 0 35 2
72 -12 1 B> 2 47 0 35 2
73 -13 1 <A 48 0 35 2
74 -14 <A 3 48 0 35 2
75 -13 1 B> 3 48 0 35 2
76 -12 1 1 A> 48 0 35 2
+ 84 -4 110 A> 0 35 2
85 -3 111 B> 35 2
86 -2 112 A> 34 2
87 -3 112 <B 0 33 2
+ 99 -15 <B 412 0 33 2
100 -16 <A 2 412 0 33 2
101 -15 1 B> 2 412 0 33 2
102 -16 1 <A 413 0 33 2
103 -17 <A 3 413 0 33 2
104 -16 1 B> 3 413 0 33 2
105 -15 1 1 A> 413 0 33 2
+ 118 -2 115 A> 0 33 2
119 -1 116 B> 33 2
120 0 117 A> 3 3 2
121 -1 117 <B 0 3 2
+ 138 -18 <B 417 0 3 2
139 -19 <A 2 417 0 3 2
140 -18 1 B> 2 417 0 3 2
141 -19 1 <A 418 0 3 2
142 -20 <A 3 418 0 3 2
143 -19 1 B> 3 418 0 3 2
144 -18 1 1 A> 418 0 3 2
+ 162 0 120 A> 0 3 2
163 1 121 B> 3 2
164 2 122 A> 2
165 1 122 <B 3
+ 187 -21 <B 422 3
188 -22 <A 2 422 3
189 -21 1 B> 2 422 3
190 -22 1 <A 423 3
191 -23 <A 3 423 3
192 -22 1 B> 3 423 3
193 -21 1 1 A> 423 3
+ 216 2 125 A> 3
217 1 125 <B
+ 242 -24 <B 425
243 -25 <A 2 425
244 -24 1 B> 2 425
245 -25 1 <A 426
246 -26 <A 3 426
247 -25 1 B> 3 426
248 -24 1 1 A> 426
+ 274 2 128 A>
275 3 129 B>
276 2 129 <A 2
+ 305 -27 <A 329 2
306 -26 1 B> 329 2
307 -25 1 1 A> 328 2
308 -26 1 1 <B 0 327 2
+ 310 -28 <B 4 4 0 327 2
311 -29 <A 2 4 4 0 327 2
312 -28 1 B> 2 4 4 0 327 2
313 -29 1 <A 43 0 327 2
314 -30 <A 3 43 0 327 2
315 -29 1 B> 3 43 0 327 2
316 -28 1 1 A> 43 0 327 2
+ 319 -25 15 A> 0 327 2
320 -24 16 B> 327 2
321 -23 17 A> 326 2
322 -24 17 <B 0 325 2
+ 329 -31 <B 47 0 325 2
330 -32 <A 2 47 0 325 2
331 -31 1 B> 2 47 0 325 2
332 -32 1 <A 48 0 325 2
333 -33 <A 3 48 0 325 2
334 -32 1 B> 3 48 0 325 2
335 -31 1 1 A> 48 0 325 2
+ 343 -23 110 A> 0 325 2
344 -22 111 B> 325 2
345 -21 112 A> 324 2
346 -22 112 <B 0 323 2
+ 358 -34 <B 412 0 323 2
359 -35 <A 2 412 0 323 2
360 -34 1 B> 2 412 0 323 2
361 -35 1 <A 413 0 323 2
362 -36 <A 3 413 0 323 2
363 -35 1 B> 3 413 0 323 2
364 -34 1 1 A> 413 0 323 2
+ 377 -21 115 A> 0 323 2
378 -20 116 B> 323 2
379 -19 117 A> 322 2
380 -20 117 <B 0 321 2
+ 397 -37 <B 417 0 321 2
398 -38 <A 2 417 0 321 2
399 -37 1 B> 2 417 0 321 2
400 -38 1 <A 418 0 321 2
401 -39 <A 3 418 0 321 2
402 -38 1 B> 3 418 0 321 2
403 -37 1 1 A> 418 0 321 2
+ 421 -19 120 A> 0 321 2
422 -18 121 B> 321 2
423 -17 122 A> 320 2
424 -18 122 <B 0 319 2
+ 446 -40 <B 422 0 319 2
447 -41 <A 2 422 0 319 2
448 -40 1 B> 2 422 0 319 2
449 -41 1 <A 423 0 319 2
450 -42 <A 3 423 0 319 2
451 -41 1 B> 3 423 0 319 2
452 -40 1 1 A> 423 0 319 2
+ 475 -17 125 A> 0 319 2
476 -16 126 B> 319 2
477 -15 127 A> 318 2
478 -16 127 <B 0 317 2
+ 505 -43 <B 427 0 317 2
506 -44 <A 2 427 0 317 2
507 -43 1 B> 2 427 0 317 2
508 -44 1 <A 428 0 317 2
509 -45 <A 3 428 0 317 2
510 -44 1 B> 3 428 0 317 2
511 -43 1 1 A> 428 0 317 2
+ 539 -15 130 A> 0 317 2
540 -14 131 B> 317 2
541 -13 132 A> 316 2
542 -14 132 <B 0 315 2
+ 574 -46 <B 432 0 315 2
575 -47 <A 2 432 0 315 2
576 -46 1 B> 2 432 0 315 2
577 -47 1 <A 433 0 315 2
578 -48 <A 3 433 0 315 2
579 -47 1 B> 3 433 0 315 2
580 -46 1 1 A> 433 0 315 2
+ 613 -13 135 A> 0 315 2
614 -12 136 B> 315 2
615 -11 137 A> 314 2
616 -12 137 <B 0 313 2
+ 653 -49 <B 437 0 313 2
654 -50 <A 2 437 0 313 2
655 -49 1 B> 2 437 0 313 2
656 -50 1 <A 438 0 313 2
657 -51 <A 3 438 0 313 2
658 -50 1 B> 3 438 0 313 2
659 -49 1 1 A> 438 0 313 2
+ 697 -11 140 A> 0 313 2
698 -10 141 B> 313 2
699 -9 142 A> 312 2
700 -10 142 <B 0 311 2
+ 742 -52 <B 442 0 311 2
743 -53 <A 2 442 0 311 2
744 -52 1 B> 2 442 0 311 2
745 -53 1 <A 443 0 311 2
746 -54 <A 3 443 0 311 2
747 -53 1 B> 3 443 0 311 2
748 -52 1 1 A> 443 0 311 2
+ 791 -9 145 A> 0 311 2
792 -8 146 B> 311 2
793 -7 147 A> 310 2
794 -8 147 <B 0 39 2
+ 841 -55 <B 447 0 39 2
842 -56 <A 2 447 0 39 2
843 -55 1 B> 2 447 0 39 2
844 -56 1 <A 448 0 39 2
845 -57 <A 3 448 0 39 2
After 845 steps (201 lines): state = A.
Produced 59 nonzeros.
Tape index -57, scanned [-56 .. 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 | 436 | 54 | 57 | 2 | 16 | 307 | 0 | 2 | 5 | 17 | 14 |
| B | 409 | 21 | 337 | 18 | 33 | 1 | 6 | 10 | 4 | ||