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.
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 A . . . . . . . . . . . . . . . . . . . . . . . . . . . .111
+ 8 -2 A . . . . . . . . . . . . . . . . . . . . . . . . . . . 0331 by A/1 * 2
9 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 1331
10 0 A . . . . . . . . . . . . . . . . . . . . . . . . . . . 1131
11 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . . . 1101
+ 13 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . .04401 by B/1 * 2
14 -4 A . . . . . . . . . . . . . . . . . . . . . . . . . . 024401
15 -3 B . . . . . . . . . . . . . . . . . . . . . . . . . . 124401
16 -4 A . . . . . . . . . . . . . . . . . . . . . . . . . . 144401
17 -5 A . . . . . . . . . . . . . . . . . . . . . . . . . .0344401
18 -4 B . . . . . . . . . . . . . . . . . . . . . . . . . .1344401
19 -3 A . . . . . . . . . . . . . . . . . . . . . . . . . .1144401
+ 22 0 A . . . . . . . . . . . . . . . . . . . . . . . . . .1111101 by A/4 * 3
23 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111111
+ 30 -6 B . . . . . . . . . . . . . . . . . . . . . . . . . 04444444 by B/1 * 7
31 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .024444444
32 -6 B . . . . . . . . . . . . . . . . . . . . . . . . .124444444
33 -7 A . . . . . . . . . . . . . . . . . . . . . . . . .144444444
34 -8 A . . . . . . . . . . . . . . . . . . . . . . . . 0344444444
35 -7 B . . . . . . . . . . . . . . . . . . . . . . . . 1344444444
36 -6 A . . . . . . . . . . . . . . . . . . . . . . . . 1144444444
+ 44 2 A . . . . . . . . . . . . . . . . . . . . . . . . 11111111110 by A/4 * 8
45 3 B . . . . . . . . . . . . . . . . . . . . . . . . 111111111110
46 2 A . . . . . . . . . . . . . . . . . . . . . . . . 111111111112
+ 57 -9 A . . . . . . . . . . . . . . . . . . . . . . . .0333333333332 by A/1 * 11
58 -8 B . . . . . . . . . . . . . . . . . . . . . . . .1333333333332
59 -7 A . . . . . . . . . . . . . . . . . . . . . . . .1133333333332
60 -8 B . . . . . . . . . . . . . . . . . . . . . . . .1103333333332
+ 62 -10 B . . . . . . . . . . . . . . . . . . . . . . . 04403333333332 by B/1 * 2
63 -11 A . . . . . . . . . . . . . . . . . . . . . . .024403333333332
64 -10 B . . . . . . . . . . . . . . . . . . . . . . .124403333333332
65 -11 A . . . . . . . . . . . . . . . . . . . . . . .144403333333332
66 -12 A . . . . . . . . . . . . . . . . . . . . . . 0344403333333332
67 -11 B . . . . . . . . . . . . . . . . . . . . . . 1344403333333332
68 -10 A . . . . . . . . . . . . . . . . . . . . . . 1144403333333332
+ 71 -7 A . . . . . . . . . . . . . . . . . . . . . . 1111103333333332 by A/4 * 3
72 -6 B . . . . . . . . . . . . . . . . . . . . . . 1111113333333332
73 -5 A . . . . . . . . . . . . . . . . . . . . . . 1111111333333332
74 -6 B . . . . . . . . . . . . . . . . . . . . . . 1111111033333332
+ 81 -13 B . . . . . . . . . . . . . . . . . . . . . .04444444033333332 by B/1 * 7
82 -14 A . . . . . . . . . . . . . . . . . . . . . 024444444033333332
83 -13 B . . . . . . . . . . . . . . . . . . . . . 124444444033333332
84 -14 A . . . . . . . . . . . . . . . . . . . . . 144444444033333332
85 -15 A . . . . . . . . . . . . . . . . . . . . .0344444444033333332
86 -14 B . . . . . . . . . . . . . . . . . . . . .1344444444033333332
87 -13 A . . . . . . . . . . . . . . . . . . . . .1144444444033333332
+ 95 -5 A . . . . . . . . . . . . . . . . . . . . .1111111111033333332 by A/4 * 8
96 -4 B . . . . . . . . . . . . . . . . . . . . .1111111111133333332
97 -3 A . . . . . . . . . . . . . . . . . . . . .1111111111113333332
98 -4 B . . . . . . . . . . . . . . . . . . . . .1111111111110333332
+ 110 -16 B . . . . . . . . . . . . . . . . . . . . 04444444444440333332 by B/1 * 12
111 -17 A . . . . . . . . . . . . . . . . . . . .024444444444440333332
112 -16 B . . . . . . . . . . . . . . . . . . . .124444444444440333332
113 -17 A . . . . . . . . . . . . . . . . . . . .144444444444440333332
114 -18 A . . . . . . . . . . . . . . . . . . . 0344444444444440333332
115 -17 B . . . . . . . . . . . . . . . . . . . 1344444444444440333332
116 -16 A . . . . . . . . . . . . . . . . . . . 1144444444444440333332
+ 129 -3 A . . . . . . . . . . . . . . . . . . . 1111111111111110333332 by A/4 * 13
130 -2 B . . . . . . . . . . . . . . . . . . . 1111111111111111333332
131 -1 A . . . . . . . . . . . . . . . . . . . 1111111111111111133332
132 -2 B . . . . . . . . . . . . . . . . . . . 1111111111111111103332
+ 149 -19 B . . . . . . . . . . . . . . . . . . .04444444444444444403332 by B/1 * 17
150 -20 A . . . . . . . . . . . . . . . . . . 024444444444444444403332
151 -19 B . . . . . . . . . . . . . . . . . . 124444444444444444403332
152 -20 A . . . . . . . . . . . . . . . . . . 144444444444444444403332
153 -21 A . . . . . . . . . . . . . . . . . .0344444444444444444403332
154 -20 B . . . . . . . . . . . . . . . . . .1344444444444444444403332
155 -19 A . . . . . . . . . . . . . . . . . .1144444444444444444403332
+ 173 -1 A . . . . . . . . . . . . . . . . . .1111111111111111111103332 by A/4 * 18
174 0 B . . . . . . . . . . . . . . . . . .1111111111111111111113332
175 1 A . . . . . . . . . . . . . . . . . .1111111111111111111111332
176 0 B . . . . . . . . . . . . . . . . . .1111111111111111111111032
+ 198 -22 B . . . . . . . . . . . . . . . . . 04444444444444444444444032 by B/1 * 22
199 -23 A . . . . . . . . . . . . . . . . .024444444444444444444444032
200 -22 B . . . . . . . . . . . . . . . . .124444444444444444444444032
201 -23 A . . . . . . . . . . . . . . . . .144444444444444444444444032
202 -24 A . . . . . . . . . . . . . . . . 0344444444444444444444444032
203 -23 B . . . . . . . . . . . . . . . . 1344444444444444444444444032
204 -22 A . . . . . . . . . . . . . . . . 1144444444444444444444444032
+ 227 1 A . . . . . . . . . . . . . . . . 1111111111111111111111111032 by A/4 * 23
228 2 B . . . . . . . . . . . . . . . . 1111111111111111111111111132
229 3 A . . . . . . . . . . . . . . . . 1111111111111111111111111112
230 2 A . . . . . . . . . . . . . . . . 1111111111111111111111111111
+ 257 -25 A . . . . . . . . . . . . . . . .03333333333333333333333333331 by A/1 * 27
258 -24 B . . . . . . . . . . . . . . . .13333333333333333333333333331
259 -23 A . . . . . . . . . . . . . . . .11333333333333333333333333331
260 -24 B . . . . . . . . . . . . . . . .11033333333333333333333333331
+ 262 -26 B . . . . . . . . . . . . . . . 044033333333333333333333333331 by B/1 * 2
263 -27 A . . . . . . . . . . . . . . .0244033333333333333333333333331
264 -26 B . . . . . . . . . . . . . . .1244033333333333333333333333331
265 -27 A . . . . . . . . . . . . . . .1444033333333333333333333333331
266 -28 A . . . . . . . . . . . . . . 03444033333333333333333333333331
267 -27 B . . . . . . . . . . . . . . 13444033333333333333333333333331
268 -26 A . . . . . . . . . . . . . . 11444033333333333333333333333331
+ 271 -23 A . . . . . . . . . . . . . . 11111033333333333333333333333331 by A/4 * 3
272 -22 B . . . . . . . . . . . . . . 11111133333333333333333333333331
273 -21 A . . . . . . . . . . . . . . 11111113333333333333333333333331
274 -22 B . . . . . . . . . . . . . . 11111110333333333333333333333331
+ 281 -29 B . . . . . . . . . . . . . .044444440333333333333333333333331 by B/1 * 7
282 -30 A . . . . . . . . . . . . . 0244444440333333333333333333333331
283 -29 B . . . . . . . . . . . . . 1244444440333333333333333333333331
284 -30 A . . . . . . . . . . . . . 1444444440333333333333333333333331
285 -31 A . . . . . . . . . . . . .03444444440333333333333333333333331
286 -30 B . . . . . . . . . . . . .13444444440333333333333333333333331
287 -29 A . . . . . . . . . . . . .11444444440333333333333333333333331
+ 295 -21 A . . . . . . . . . . . . .11111111110333333333333333333333331 by A/4 * 8
296 -20 B . . . . . . . . . . . . .11111111111333333333333333333333331
297 -19 A . . . . . . . . . . . . .11111111111133333333333333333333331
298 -20 B . . . . . . . . . . . . .11111111111103333333333333333333331
+ 310 -32 B . . . . . . . . . . . . 044444444444403333333333333333333331 by B/1 * 12
311 -33 A . . . . . . . . . . . .0244444444444403333333333333333333331
312 -32 B . . . . . . . . . . . .1244444444444403333333333333333333331
313 -33 A . . . . . . . . . . . .1444444444444403333333333333333333331
314 -34 A . . . . . . . . . . . 03444444444444403333333333333333333331
315 -33 B . . . . . . . . . . . 13444444444444403333333333333333333331
316 -32 A . . . . . . . . . . . 11444444444444403333333333333333333331
+ 329 -19 A . . . . . . . . . . . 11111111111111103333333333333333333331 by A/4 * 13
330 -18 B . . . . . . . . . . . 11111111111111113333333333333333333331
331 -17 A . . . . . . . . . . . 11111111111111111333333333333333333331
332 -18 B . . . . . . . . . . . 11111111111111111033333333333333333331
+ 349 -35 B . . . . . . . . . . .044444444444444444033333333333333333331 by B/1 * 17
350 -36 A . . . . . . . . . . 0244444444444444444033333333333333333331
351 -35 B . . . . . . . . . . 1244444444444444444033333333333333333331
352 -36 A . . . . . . . . . . 1444444444444444444033333333333333333331
353 -37 A . . . . . . . . . .03444444444444444444033333333333333333331
354 -36 B . . . . . . . . . .13444444444444444444033333333333333333331
355 -35 A . . . . . . . . . .11444444444444444444033333333333333333331
+ 373 -17 A . . . . . . . . . .11111111111111111111033333333333333333331 by A/4 * 18
374 -16 B . . . . . . . . . .11111111111111111111133333333333333333331
375 -15 A . . . . . . . . . .11111111111111111111113333333333333333331
376 -16 B . . . . . . . . . .11111111111111111111110333333333333333331
+ 398 -38 B . . . . . . . . . 044444444444444444444440333333333333333331 by B/1 * 22
399 -39 A . . . . . . . . .0244444444444444444444440333333333333333331
400 -38 B . . . . . . . . .1244444444444444444444440333333333333333331
401 -39 A . . . . . . . . .1444444444444444444444440333333333333333331
402 -40 A . . . . . . . . 03444444444444444444444440333333333333333331
403 -39 B . . . . . . . . 13444444444444444444444440333333333333333331
404 -38 A . . . . . . . . 11444444444444444444444440333333333333333331
+ 427 -15 A . . . . . . . . 11111111111111111111111110333333333333333331 by A/4 * 23
428 -14 B . . . . . . . . 11111111111111111111111111333333333333333331
429 -13 A . . . . . . . . 11111111111111111111111111133333333333333331
430 -14 B . . . . . . . . 11111111111111111111111111103333333333333331
+ 457 -41 B . . . . . . . .044444444444444444444444444403333333333333331 by B/1 * 27
458 -42 A . . . . . . . 0244444444444444444444444444403333333333333331
459 -41 B . . . . . . . 1244444444444444444444444444403333333333333331
460 -42 A . . . . . . . 1444444444444444444444444444403333333333333331
461 -43 A . . . . . . .03444444444444444444444444444403333333333333331
462 -42 B . . . . . . .13444444444444444444444444444403333333333333331
463 -41 A . . . . . . .11444444444444444444444444444403333333333333331
+ 491 -13 A . . . . . . .11111111111111111111111111111103333333333333331 by A/4 * 28
492 -12 B . . . . . . .11111111111111111111111111111113333333333333331
493 -11 A . . . . . . .11111111111111111111111111111111333333333333331
494 -12 B . . . . . . .11111111111111111111111111111111033333333333331
+ 526 -44 B . . . . . . 044444444444444444444444444444444033333333333331 by B/1 * 32
527 -45 A . . . . . .0244444444444444444444444444444444033333333333331
528 -44 B . . . . . .1244444444444444444444444444444444033333333333331
529 -45 A . . . . . .1444444444444444444444444444444444033333333333331
530 -46 A . . . . . 03444444444444444444444444444444444033333333333331
531 -45 B . . . . . 13444444444444444444444444444444444033333333333331
532 -44 A . . . . . 11444444444444444444444444444444444033333333333331
+ 565 -11 A . . . . . 11111111111111111111111111111111111033333333333331 by A/4 * 33
566 -10 B . . . . . 11111111111111111111111111111111111133333333333331
567 -9 A . . . . . 11111111111111111111111111111111111113333333333331
568 -10 B . . . . . 11111111111111111111111111111111111110333333333331
+ 605 -47 B . . . . .044444444444444444444444444444444444440333333333331 by B/1 * 37
606 -48 A . . . . 0244444444444444444444444444444444444440333333333331
607 -47 B . . . . 1244444444444444444444444444444444444440333333333331
608 -48 A . . . . 1444444444444444444444444444444444444440333333333331
609 -49 A . . . .03444444444444444444444444444444444444440333333333331
610 -48 B . . . .13444444444444444444444444444444444444440333333333331
611 -47 A . . . .11444444444444444444444444444444444444440333333333331
+ 649 -9 A . . . .11111111111111111111111111111111111111110333333333331 by A/4 * 38
650 -8 B . . . .11111111111111111111111111111111111111111333333333331
651 -7 A . . . .11111111111111111111111111111111111111111133333333331
652 -8 B . . . .11111111111111111111111111111111111111111103333333331
+ 694 -50 B . . . 044444444444444444444444444444444444444444403333333331 by B/1 * 42
695 -51 A . . .0244444444444444444444444444444444444444444403333333331
696 -50 B . . .1244444444444444444444444444444444444444444403333333331
697 -51 A . . .1444444444444444444444444444444444444444444403333333331
698 -52 A . . 03444444444444444444444444444444444444444444403333333331
699 -51 B . . 13444444444444444444444444444444444444444444403333333331
700 -50 A . . 11444444444444444444444444444444444444444444403333333331
+ 743 -7 A . . 11111111111111111111111111111111111111111111103333333331 by A/4 * 43
744 -6 B . . 11111111111111111111111111111111111111111111113333333331
745 -5 A . . 11111111111111111111111111111111111111111111111333333331
746 -6 B . . 11111111111111111111111111111111111111111111111033333331
+ 793 -53 B . .044444444444444444444444444444444444444444444444033333331 by B/1 * 47
794 -54 A . 0244444444444444444444444444444444444444444444444033333331
795 -53 B . 1244444444444444444444444444444444444444444444444033333331
796 -54 A . 1444444444444444444444444444444444444444444444444033333331
797 -55 A .03444444444444444444444444444444444444444444444444033333331
798 -54 B .13444444444444444444444444444444444444444444444444033333331
799 -53 A .11444444444444444444444444444444444444444444444444033333331
+ 847 -5 A .11111111111111111111111111111111111111111111111111033333331 by A/4 * 48
848 -4 B .11111111111111111111111111111111111111111111111111133333331
After 848 steps (201 lines): state = B.
Produced 59 nonzeros.
Tape index -4, 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 | 463 | 56 | 58 | 2 | 16 | 331 | 0 | 2 | 5 | 10 | 19 |
| B | 385 | 19 | 314 | 17 | 35 | 1 | 11 | 15 | 4 | ||