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.
Simulation is done 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 0 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3 -1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .032
4 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .132
5 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .112
6 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . . .113
+ 8 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 0443 by B/1 * 2
9 -3 A . . . . . . . . . . . . . . . . . . . . . . . . . . .02443
10 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . . .12443
11 -3 A . . . . . . . . . . . . . . . . . . . . . . . . . . .14443
12 -4 A . . . . . . . . . . . . . . . . . . . . . . . . . . 034443
13 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . 134443
14 -2 A . . . . . . . . . . . . . . . . . . . . . . . . . . 114443
+ 17 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . 111113 by A/4 * 3
18 0 B . . . . . . . . . . . . . . . . . . . . . . . . . . 111110
+ 23 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . .0444440 by B/1 * 5
24 -6 A . . . . . . . . . . . . . . . . . . . . . . . . . 02444440
25 -5 B . . . . . . . . . . . . . . . . . . . . . . . . . 12444440
26 -6 A . . . . . . . . . . . . . . . . . . . . . . . . . 14444440
27 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .034444440
28 -6 B . . . . . . . . . . . . . . . . . . . . . . . . .134444440
29 -5 A . . . . . . . . . . . . . . . . . . . . . . . . .114444440
+ 35 1 A . . . . . . . . . . . . . . . . . . . . . . . . .111111110 by A/4 * 6
36 2 B . . . . . . . . . . . . . . . . . . . . . . . . .1111111110
37 1 A . . . . . . . . . . . . . . . . . . . . . . . . .1111111112
+ 46 -8 A . . . . . . . . . . . . . . . . . . . . . . . . 03333333332 by A/1 * 9
47 -7 B . . . . . . . . . . . . . . . . . . . . . . . . 13333333332
48 -6 A . . . . . . . . . . . . . . . . . . . . . . . . 11333333332
49 -7 B . . . . . . . . . . . . . . . . . . . . . . . . 11033333332
+ 51 -9 B . . . . . . . . . . . . . . . . . . . . . . . .044033333332 by B/1 * 2
52 -10 A . . . . . . . . . . . . . . . . . . . . . . . 0244033333332
53 -9 B . . . . . . . . . . . . . . . . . . . . . . . 1244033333332
54 -10 A . . . . . . . . . . . . . . . . . . . . . . . 1444033333332
55 -11 A . . . . . . . . . . . . . . . . . . . . . . .03444033333332
56 -10 B . . . . . . . . . . . . . . . . . . . . . . .13444033333332
57 -9 A . . . . . . . . . . . . . . . . . . . . . . .11444033333332
+ 60 -6 A . . . . . . . . . . . . . . . . . . . . . . .11111033333332 by A/4 * 3
61 -5 B . . . . . . . . . . . . . . . . . . . . . . .11111133333332
62 -4 A . . . . . . . . . . . . . . . . . . . . . . .11111113333332
63 -5 B . . . . . . . . . . . . . . . . . . . . . . .11111110333332
+ 70 -12 B . . . . . . . . . . . . . . . . . . . . . . 044444440333332 by B/1 * 7
71 -13 A . . . . . . . . . . . . . . . . . . . . . .0244444440333332
72 -12 B . . . . . . . . . . . . . . . . . . . . . .1244444440333332
73 -13 A . . . . . . . . . . . . . . . . . . . . . .1444444440333332
74 -14 A . . . . . . . . . . . . . . . . . . . . . 03444444440333332
75 -13 B . . . . . . . . . . . . . . . . . . . . . 13444444440333332
76 -12 A . . . . . . . . . . . . . . . . . . . . . 11444444440333332
+ 84 -4 A . . . . . . . . . . . . . . . . . . . . . 11111111110333332 by A/4 * 8
85 -3 B . . . . . . . . . . . . . . . . . . . . . 11111111111333332
86 -2 A . . . . . . . . . . . . . . . . . . . . . 11111111111133332
87 -3 B . . . . . . . . . . . . . . . . . . . . . 11111111111103332
+ 99 -15 B . . . . . . . . . . . . . . . . . . . . .044444444444403332 by B/1 * 12
100 -16 A . . . . . . . . . . . . . . . . . . . . 0244444444444403332
101 -15 B . . . . . . . . . . . . . . . . . . . . 1244444444444403332
102 -16 A . . . . . . . . . . . . . . . . . . . . 1444444444444403332
103 -17 A . . . . . . . . . . . . . . . . . . . .03444444444444403332
104 -16 B . . . . . . . . . . . . . . . . . . . .13444444444444403332
105 -15 A . . . . . . . . . . . . . . . . . . . .11444444444444403332
+ 118 -2 A . . . . . . . . . . . . . . . . . . . .11111111111111103332 by A/4 * 13
119 -1 B . . . . . . . . . . . . . . . . . . . .11111111111111113332
120 0 A . . . . . . . . . . . . . . . . . . . .11111111111111111332
121 -1 B . . . . . . . . . . . . . . . . . . . .11111111111111111032
+ 138 -18 B . . . . . . . . . . . . . . . . . . . 044444444444444444032 by B/1 * 17
139 -19 A . . . . . . . . . . . . . . . . . . .0244444444444444444032
140 -18 B . . . . . . . . . . . . . . . . . . .1244444444444444444032
141 -19 A . . . . . . . . . . . . . . . . . . .1444444444444444444032
142 -20 A . . . . . . . . . . . . . . . . . . 03444444444444444444032
143 -19 B . . . . . . . . . . . . . . . . . . 13444444444444444444032
144 -18 A . . . . . . . . . . . . . . . . . . 11444444444444444444032
+ 162 0 A . . . . . . . . . . . . . . . . . . 11111111111111111111032 by A/4 * 18
163 1 B . . . . . . . . . . . . . . . . . . 11111111111111111111132
164 2 A . . . . . . . . . . . . . . . . . . 11111111111111111111112
165 1 B . . . . . . . . . . . . . . . . . . 11111111111111111111113
+ 187 -21 B . . . . . . . . . . . . . . . . . .044444444444444444444443 by B/1 * 22
188 -22 A . . . . . . . . . . . . . . . . . 0244444444444444444444443
189 -21 B . . . . . . . . . . . . . . . . . 1244444444444444444444443
190 -22 A . . . . . . . . . . . . . . . . . 1444444444444444444444443
191 -23 A . . . . . . . . . . . . . . . . .03444444444444444444444443
192 -22 B . . . . . . . . . . . . . . . . .13444444444444444444444443
193 -21 A . . . . . . . . . . . . . . . . .11444444444444444444444443
+ 216 2 A . . . . . . . . . . . . . . . . .11111111111111111111111113 by A/4 * 23
217 1 B . . . . . . . . . . . . . . . . .11111111111111111111111110
+ 242 -24 B . . . . . . . . . . . . . . . . 044444444444444444444444440 by B/1 * 25
243 -25 A . . . . . . . . . . . . . . . .0244444444444444444444444440
244 -24 B . . . . . . . . . . . . . . . .1244444444444444444444444440
245 -25 A . . . . . . . . . . . . . . . .1444444444444444444444444440
246 -26 A . . . . . . . . . . . . . . . 03444444444444444444444444440
247 -25 B . . . . . . . . . . . . . . . 13444444444444444444444444440
248 -24 A . . . . . . . . . . . . . . . 11444444444444444444444444440
+ 274 2 A . . . . . . . . . . . . . . . 11111111111111111111111111110 by A/4 * 26
275 3 B . . . . . . . . . . . . . . . 111111111111111111111111111110
276 2 A . . . . . . . . . . . . . . . 111111111111111111111111111112
+ 305 -27 A . . . . . . . . . . . . . . .0333333333333333333333333333332 by A/1 * 29
306 -26 B . . . . . . . . . . . . . . .1333333333333333333333333333332
307 -25 A . . . . . . . . . . . . . . .1133333333333333333333333333332
308 -26 B . . . . . . . . . . . . . . .1103333333333333333333333333332
+ 310 -28 B . . . . . . . . . . . . . . 04403333333333333333333333333332 by B/1 * 2
311 -29 A . . . . . . . . . . . . . .024403333333333333333333333333332
312 -28 B . . . . . . . . . . . . . .124403333333333333333333333333332
313 -29 A . . . . . . . . . . . . . .144403333333333333333333333333332
314 -30 A . . . . . . . . . . . . . 0344403333333333333333333333333332
315 -29 B . . . . . . . . . . . . . 1344403333333333333333333333333332
316 -28 A . . . . . . . . . . . . . 1144403333333333333333333333333332
+ 319 -25 A . . . . . . . . . . . . . 1111103333333333333333333333333332 by A/4 * 3
320 -24 B . . . . . . . . . . . . . 1111113333333333333333333333333332
321 -23 A . . . . . . . . . . . . . 1111111333333333333333333333333332
322 -24 B . . . . . . . . . . . . . 1111111033333333333333333333333332
+ 329 -31 B . . . . . . . . . . . . .04444444033333333333333333333333332 by B/1 * 7
330 -32 A . . . . . . . . . . . . 024444444033333333333333333333333332
331 -31 B . . . . . . . . . . . . 124444444033333333333333333333333332
332 -32 A . . . . . . . . . . . . 144444444033333333333333333333333332
333 -33 A . . . . . . . . . . . .0344444444033333333333333333333333332
334 -32 B . . . . . . . . . . . .1344444444033333333333333333333333332
335 -31 A . . . . . . . . . . . .1144444444033333333333333333333333332
+ 343 -23 A . . . . . . . . . . . .1111111111033333333333333333333333332 by A/4 * 8
344 -22 B . . . . . . . . . . . .1111111111133333333333333333333333332
345 -21 A . . . . . . . . . . . .1111111111113333333333333333333333332
346 -22 B . . . . . . . . . . . .1111111111110333333333333333333333332
+ 358 -34 B . . . . . . . . . . . 04444444444440333333333333333333333332 by B/1 * 12
359 -35 A . . . . . . . . . . .024444444444440333333333333333333333332
360 -34 B . . . . . . . . . . .124444444444440333333333333333333333332
361 -35 A . . . . . . . . . . .144444444444440333333333333333333333332
362 -36 A . . . . . . . . . . 0344444444444440333333333333333333333332
363 -35 B . . . . . . . . . . 1344444444444440333333333333333333333332
364 -34 A . . . . . . . . . . 1144444444444440333333333333333333333332
+ 377 -21 A . . . . . . . . . . 1111111111111110333333333333333333333332 by A/4 * 13
378 -20 B . . . . . . . . . . 1111111111111111333333333333333333333332
379 -19 A . . . . . . . . . . 1111111111111111133333333333333333333332
380 -20 B . . . . . . . . . . 1111111111111111103333333333333333333332
+ 397 -37 B . . . . . . . . . .04444444444444444403333333333333333333332 by B/1 * 17
398 -38 A . . . . . . . . . 024444444444444444403333333333333333333332
399 -37 B . . . . . . . . . 124444444444444444403333333333333333333332
400 -38 A . . . . . . . . . 144444444444444444403333333333333333333332
401 -39 A . . . . . . . . .0344444444444444444403333333333333333333332
402 -38 B . . . . . . . . .1344444444444444444403333333333333333333332
403 -37 A . . . . . . . . .1144444444444444444403333333333333333333332
+ 421 -19 A . . . . . . . . .1111111111111111111103333333333333333333332 by A/4 * 18
422 -18 B . . . . . . . . .1111111111111111111113333333333333333333332
423 -17 A . . . . . . . . .1111111111111111111111333333333333333333332
424 -18 B . . . . . . . . .1111111111111111111111033333333333333333332
+ 446 -40 B . . . . . . . . 04444444444444444444444033333333333333333332 by B/1 * 22
447 -41 A . . . . . . . .024444444444444444444444033333333333333333332
448 -40 B . . . . . . . .124444444444444444444444033333333333333333332
449 -41 A . . . . . . . .144444444444444444444444033333333333333333332
450 -42 A . . . . . . . 0344444444444444444444444033333333333333333332
451 -41 B . . . . . . . 1344444444444444444444444033333333333333333332
452 -40 A . . . . . . . 1144444444444444444444444033333333333333333332
+ 475 -17 A . . . . . . . 1111111111111111111111111033333333333333333332 by A/4 * 23
476 -16 B . . . . . . . 1111111111111111111111111133333333333333333332
477 -15 A . . . . . . . 1111111111111111111111111113333333333333333332
478 -16 B . . . . . . . 1111111111111111111111111110333333333333333332
+ 505 -43 B . . . . . . .04444444444444444444444444440333333333333333332 by B/1 * 27
506 -44 A . . . . . . 024444444444444444444444444440333333333333333332
507 -43 B . . . . . . 124444444444444444444444444440333333333333333332
508 -44 A . . . . . . 144444444444444444444444444440333333333333333332
509 -45 A . . . . . .0344444444444444444444444444440333333333333333332
510 -44 B . . . . . .1344444444444444444444444444440333333333333333332
511 -43 A . . . . . .1144444444444444444444444444440333333333333333332
+ 539 -15 A . . . . . .1111111111111111111111111111110333333333333333332 by A/4 * 28
540 -14 B . . . . . .1111111111111111111111111111111333333333333333332
541 -13 A . . . . . .1111111111111111111111111111111133333333333333332
542 -14 B . . . . . .1111111111111111111111111111111103333333333333332
+ 574 -46 B . . . . . 04444444444444444444444444444444403333333333333332 by B/1 * 32
575 -47 A . . . . .024444444444444444444444444444444403333333333333332
576 -46 B . . . . .124444444444444444444444444444444403333333333333332
577 -47 A . . . . .144444444444444444444444444444444403333333333333332
578 -48 A . . . . 0344444444444444444444444444444444403333333333333332
579 -47 B . . . . 1344444444444444444444444444444444403333333333333332
580 -46 A . . . . 1144444444444444444444444444444444403333333333333332
+ 613 -13 A . . . . 1111111111111111111111111111111111103333333333333332 by A/4 * 33
614 -12 B . . . . 1111111111111111111111111111111111113333333333333332
615 -11 A . . . . 1111111111111111111111111111111111111333333333333332
616 -12 B . . . . 1111111111111111111111111111111111111033333333333332
+ 653 -49 B . . . .04444444444444444444444444444444444444033333333333332 by B/1 * 37
654 -50 A . . . 024444444444444444444444444444444444444033333333333332
655 -49 B . . . 124444444444444444444444444444444444444033333333333332
656 -50 A . . . 144444444444444444444444444444444444444033333333333332
657 -51 A . . .0344444444444444444444444444444444444444033333333333332
658 -50 B . . .1344444444444444444444444444444444444444033333333333332
659 -49 A . . .1144444444444444444444444444444444444444033333333333332
+ 697 -11 A . . .1111111111111111111111111111111111111111033333333333332 by A/4 * 38
698 -10 B . . .1111111111111111111111111111111111111111133333333333332
699 -9 A . . .1111111111111111111111111111111111111111113333333333332
700 -10 B . . .1111111111111111111111111111111111111111110333333333332
+ 742 -52 B . . 04444444444444444444444444444444444444444440333333333332 by B/1 * 42
743 -53 A . .024444444444444444444444444444444444444444440333333333332
744 -52 B . .124444444444444444444444444444444444444444440333333333332
745 -53 A . .144444444444444444444444444444444444444444440333333333332
746 -54 A . 0344444444444444444444444444444444444444444440333333333332
747 -53 B . 1344444444444444444444444444444444444444444440333333333332
748 -52 A . 1144444444444444444444444444444444444444444440333333333332
+ 791 -9 A . 1111111111111111111111111111111111111111111110333333333332 by A/4 * 43
792 -8 B . 1111111111111111111111111111111111111111111111333333333332
793 -7 A . 1111111111111111111111111111111111111111111111133333333332
794 -8 B . 1111111111111111111111111111111111111111111111103333333332
+ 841 -55 B .04444444444444444444444444444444444444444444444403333333332 by B/1 * 47
842 -56 A 024444444444444444444444444444444444444444444444403333333332
843 -55 B 124444444444444444444444444444444444444444444444403333333332
844 -56 A 144444444444444444444444444444444444444444444444403333333332
845 -57 A .0344444444444444444444444444444444444444444444444403333333332
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 | ||