Comment: This TM produces 114,668,733 nonzeros in 9,392,084,729,807,219 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 | 2RA | 1LA | 3LA | 2RA | 1 | right | B | 2 | right | A | 1 | left | A | 3 | left | A | 2 | right | A |
| B | 2LA | 3RB | 4LA | 1LB | 1RH | 2 | left | A | 3 | right | B | 4 | left | A | 1 | left | B | 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 . . . . . . . . . . . . . . . . . . . . . . 22
+ 5 -1 A . . . . . . . . . . . . . . . . . . . . . .011 by A/2 * 2
6 0 B . . . . . . . . . . . . . . . . . . . . . .111
+ 8 2 B . . . . . . . . . . . . . . . . . . . . . .1330 by B/1 * 2
9 1 A . . . . . . . . . . . . . . . . . . . . . .1332
+ 11 -1 A . . . . . . . . . . . . . . . . . . . . . .1332 by A/3 * 2
12 0 A . . . . . . . . . . . . . . . . . . . . . .2332
13 -1 A . . . . . . . . . . . . . . . . . . . . . .2332
14 -2 A . . . . . . . . . . . . . . . . . . . . . 01332
15 -1 B . . . . . . . . . . . . . . . . . . . . . 11332
16 0 B . . . . . . . . . . . . . . . . . . . . . 13332
+ 18 -2 B . . . . . . . . . . . . . . . . . . . . . 11132 by B/3 * 2
+ 21 1 B . . . . . . . . . . . . . . . . . . . . . 33332 by B/1 * 3
+ 25 -3 B . . . . . . . . . . . . . . . . . . . . .011112 by B/3 * 4
26 -4 A . . . . . . . . . . . . . . . . . . . . 0211112
27 -3 B . . . . . . . . . . . . . . . . . . . . 1211112
28 -4 A . . . . . . . . . . . . . . . . . . . . 1411112
29 -3 A . . . . . . . . . . . . . . . . . . . . 2411112
30 -2 A . . . . . . . . . . . . . . . . . . . . 2211112
+ 34 2 A . . . . . . . . . . . . . . . . . . . . 2222222 by A/1 * 4
+ 41 -5 A . . . . . . . . . . . . . . . . . . . .01111111 by A/2 * 7
42 -4 B . . . . . . . . . . . . . . . . . . . .11111111
+ 49 3 B . . . . . . . . . . . . . . . . . . . .133333330 by B/1 * 7
50 2 A . . . . . . . . . . . . . . . . . . . .133333332
+ 57 -5 A . . . . . . . . . . . . . . . . . . . .133333332 by A/3 * 7
58 -4 A . . . . . . . . . . . . . . . . . . . .233333332
59 -5 A . . . . . . . . . . . . . . . . . . . .233333332
60 -6 A . . . . . . . . . . . . . . . . . . . 0133333332
61 -5 B . . . . . . . . . . . . . . . . . . . 1133333332
62 -4 B . . . . . . . . . . . . . . . . . . . 1333333332
+ 64 -6 B . . . . . . . . . . . . . . . . . . . 1113333332 by B/3 * 2
+ 67 -3 B . . . . . . . . . . . . . . . . . . . 3333333332 by B/1 * 3
+ 71 -7 B . . . . . . . . . . . . . . . . . . .01111333332 by B/3 * 4
72 -8 A . . . . . . . . . . . . . . . . . . 021111333332
73 -7 B . . . . . . . . . . . . . . . . . . 121111333332
74 -8 A . . . . . . . . . . . . . . . . . . 141111333332
75 -7 A . . . . . . . . . . . . . . . . . . 241111333332
76 -6 A . . . . . . . . . . . . . . . . . . 221111333332
+ 80 -2 A . . . . . . . . . . . . . . . . . . 222222333332 by A/1 * 4
81 -3 A . . . . . . . . . . . . . . . . . . 222222333332
+ 87 -9 A . . . . . . . . . . . . . . . . . .0111111333332 by A/2 * 6
88 -8 B . . . . . . . . . . . . . . . . . .1111111333332
+ 94 -2 B . . . . . . . . . . . . . . . . . .1333333333332 by B/1 * 6
+ 101 -9 B . . . . . . . . . . . . . . . . . .1111111133332 by B/3 * 7
+ 109 -1 B . . . . . . . . . . . . . . . . . .3333333333332 by B/1 * 8
+ 118 -10 B . . . . . . . . . . . . . . . . . 01111111113332 by B/3 * 9
119 -11 A . . . . . . . . . . . . . . . . .021111111113332
120 -10 B . . . . . . . . . . . . . . . . .121111111113332
121 -11 A . . . . . . . . . . . . . . . . .141111111113332
122 -10 A . . . . . . . . . . . . . . . . .241111111113332
123 -9 A . . . . . . . . . . . . . . . . .221111111113332
+ 132 0 A . . . . . . . . . . . . . . . . .222222222223332 by A/1 * 9
133 -1 A . . . . . . . . . . . . . . . . .222222222223332
+ 144 -12 A . . . . . . . . . . . . . . . . 0111111111113332 by A/2 * 11
145 -11 B . . . . . . . . . . . . . . . . 1111111111113332
+ 156 0 B . . . . . . . . . . . . . . . . 1333333333333332 by B/1 * 11
+ 168 -12 B . . . . . . . . . . . . . . . . 1111111111111332 by B/3 * 12
+ 181 1 B . . . . . . . . . . . . . . . . 3333333333333332 by B/1 * 13
+ 195 -13 B . . . . . . . . . . . . . . . .01111111111111132 by B/3 * 14
196 -14 A . . . . . . . . . . . . . . . 021111111111111132
197 -13 B . . . . . . . . . . . . . . . 121111111111111132
198 -14 A . . . . . . . . . . . . . . . 141111111111111132
199 -13 A . . . . . . . . . . . . . . . 241111111111111132
200 -12 A . . . . . . . . . . . . . . . 221111111111111132
+ 214 2 A . . . . . . . . . . . . . . . 222222222222222232 by A/1 * 14
215 1 A . . . . . . . . . . . . . . . 222222222222222232
+ 231 -15 A . . . . . . . . . . . . . . .0111111111111111132 by A/2 * 16
232 -14 B . . . . . . . . . . . . . . .1111111111111111132
+ 248 2 B . . . . . . . . . . . . . . .1333333333333333332 by B/1 * 16
+ 265 -15 B . . . . . . . . . . . . . . .1111111111111111112 by B/3 * 17
+ 283 3 B . . . . . . . . . . . . . . .3333333333333333332 by B/1 * 18
284 2 A . . . . . . . . . . . . . . .3333333333333333334
+ 302 -16 A . . . . . . . . . . . . . . 03333333333333333334 by A/3 * 18
303 -15 B . . . . . . . . . . . . . . 13333333333333333334
304 -16 B . . . . . . . . . . . . . . 11333333333333333334
+ 306 -14 B . . . . . . . . . . . . . . 33333333333333333334 by B/1 * 2
+ 309 -17 B . . . . . . . . . . . . . .011133333333333333334 by B/3 * 3
310 -18 A . . . . . . . . . . . . . 0211133333333333333334
311 -17 B . . . . . . . . . . . . . 1211133333333333333334
312 -18 A . . . . . . . . . . . . . 1411133333333333333334
313 -17 A . . . . . . . . . . . . . 2411133333333333333334
314 -16 A . . . . . . . . . . . . . 2211133333333333333334
+ 317 -13 A . . . . . . . . . . . . . 2222233333333333333334 by A/1 * 3
318 -14 A . . . . . . . . . . . . . 2222233333333333333334
+ 323 -19 A . . . . . . . . . . . . .01111133333333333333334 by A/2 * 5
324 -18 B . . . . . . . . . . . . .11111133333333333333334
+ 329 -13 B . . . . . . . . . . . . .13333333333333333333334 by B/1 * 5
+ 335 -19 B . . . . . . . . . . . . .11111113333333333333334 by B/3 * 6
+ 342 -12 B . . . . . . . . . . . . .33333333333333333333334 by B/1 * 7
+ 350 -20 B . . . . . . . . . . . . 011111111333333333333334 by B/3 * 8
351 -21 A . . . . . . . . . . . .0211111111333333333333334
352 -20 B . . . . . . . . . . . .1211111111333333333333334
353 -21 A . . . . . . . . . . . .1411111111333333333333334
354 -20 A . . . . . . . . . . . .2411111111333333333333334
355 -19 A . . . . . . . . . . . .2211111111333333333333334
+ 363 -11 A . . . . . . . . . . . .2222222222333333333333334 by A/1 * 8
364 -12 A . . . . . . . . . . . .2222222222333333333333334
+ 374 -22 A . . . . . . . . . . . 01111111111333333333333334 by A/2 * 10
375 -21 B . . . . . . . . . . . 11111111111333333333333334
+ 385 -11 B . . . . . . . . . . . 13333333333333333333333334 by B/1 * 10
+ 396 -22 B . . . . . . . . . . . 11111111111133333333333334 by B/3 * 11
+ 408 -10 B . . . . . . . . . . . 33333333333333333333333334 by B/1 * 12
+ 421 -23 B . . . . . . . . . . .011111111111113333333333334 by B/3 * 13
422 -24 A . . . . . . . . . . 0211111111111113333333333334
423 -23 B . . . . . . . . . . 1211111111111113333333333334
424 -24 A . . . . . . . . . . 1411111111111113333333333334
425 -23 A . . . . . . . . . . 2411111111111113333333333334
426 -22 A . . . . . . . . . . 2211111111111113333333333334
+ 439 -9 A . . . . . . . . . . 2222222222222223333333333334 by A/1 * 13
440 -10 A . . . . . . . . . . 2222222222222223333333333334
+ 455 -25 A . . . . . . . . . .01111111111111113333333333334 by A/2 * 15
456 -24 B . . . . . . . . . .11111111111111113333333333334
+ 471 -9 B . . . . . . . . . .13333333333333333333333333334 by B/1 * 15
+ 487 -25 B . . . . . . . . . .11111111111111111333333333334 by B/3 * 16
+ 504 -8 B . . . . . . . . . .33333333333333333333333333334 by B/1 * 17
+ 522 -26 B . . . . . . . . . 011111111111111111133333333334 by B/3 * 18
523 -27 A . . . . . . . . .0211111111111111111133333333334
524 -26 B . . . . . . . . .1211111111111111111133333333334
525 -27 A . . . . . . . . .1411111111111111111133333333334
526 -26 A . . . . . . . . .2411111111111111111133333333334
527 -25 A . . . . . . . . .2211111111111111111133333333334
+ 545 -7 A . . . . . . . . .2222222222222222222233333333334 by A/1 * 18
546 -8 A . . . . . . . . .2222222222222222222233333333334
+ 566 -28 A . . . . . . . . 01111111111111111111133333333334 by A/2 * 20
567 -27 B . . . . . . . . 11111111111111111111133333333334
+ 587 -7 B . . . . . . . . 13333333333333333333333333333334 by B/1 * 20
+ 608 -28 B . . . . . . . . 11111111111111111111113333333334 by B/3 * 21
+ 630 -6 B . . . . . . . . 33333333333333333333333333333334 by B/1 * 22
+ 653 -29 B . . . . . . . .011111111111111111111111333333334 by B/3 * 23
654 -30 A . . . . . . . 0211111111111111111111111333333334
655 -29 B . . . . . . . 1211111111111111111111111333333334
656 -30 A . . . . . . . 1411111111111111111111111333333334
657 -29 A . . . . . . . 2411111111111111111111111333333334
658 -28 A . . . . . . . 2211111111111111111111111333333334
+ 681 -5 A . . . . . . . 2222222222222222222222222333333334 by A/1 * 23
682 -6 A . . . . . . . 2222222222222222222222222333333334
+ 707 -31 A . . . . . . .01111111111111111111111111333333334 by A/2 * 25
708 -30 B . . . . . . .11111111111111111111111111333333334
+ 733 -5 B . . . . . . .13333333333333333333333333333333334 by B/1 * 25
+ 759 -31 B . . . . . . .11111111111111111111111111133333334 by B/3 * 26
+ 786 -4 B . . . . . . .33333333333333333333333333333333334 by B/1 * 27
+ 814 -32 B . . . . . . 011111111111111111111111111113333334 by B/3 * 28
815 -33 A . . . . . .0211111111111111111111111111113333334
816 -32 B . . . . . .1211111111111111111111111111113333334
817 -33 A . . . . . .1411111111111111111111111111113333334
818 -32 A . . . . . .2411111111111111111111111111113333334
819 -31 A . . . . . .2211111111111111111111111111113333334
+ 847 -3 A . . . . . .2222222222222222222222222222223333334 by A/1 * 28
848 -4 A . . . . . .2222222222222222222222222222223333334
+ 878 -34 A . . . . . 01111111111111111111111111111113333334 by A/2 * 30
879 -33 B . . . . . 11111111111111111111111111111113333334
+ 909 -3 B . . . . . 13333333333333333333333333333333333334 by B/1 * 30
+ 940 -34 B . . . . . 11111111111111111111111111111111333334 by B/3 * 31
+ 972 -2 B . . . . . 33333333333333333333333333333333333334 by B/1 * 32
+ 1005 -35 B . . . . .011111111111111111111111111111111133334 by B/3 * 33
1006 -36 A . . . . 0211111111111111111111111111111111133334
1007 -35 B . . . . 1211111111111111111111111111111111133334
1008 -36 A . . . . 1411111111111111111111111111111111133334
1009 -35 A . . . . 2411111111111111111111111111111111133334
1010 -34 A . . . . 2211111111111111111111111111111111133334
+ 1043 -1 A . . . . 2222222222222222222222222222222222233334 by A/1 * 33
1044 -2 A . . . . 2222222222222222222222222222222222233334
+ 1079 -37 A . . . .01111111111111111111111111111111111133334 by A/2 * 35
1080 -36 B . . . .11111111111111111111111111111111111133334
+ 1115 -1 B . . . .13333333333333333333333333333333333333334 by B/1 * 35
+ 1151 -37 B . . . .11111111111111111111111111111111111113334 by B/3 * 36
+ 1188 0 B . . . .33333333333333333333333333333333333333334 by B/1 * 37
+ 1226 -38 B . . . 011111111111111111111111111111111111111334 by B/3 * 38
1227 -39 A . . .0211111111111111111111111111111111111111334
1228 -38 B . . .1211111111111111111111111111111111111111334
1229 -39 A . . .1411111111111111111111111111111111111111334
1230 -38 A . . .2411111111111111111111111111111111111111334
1231 -37 A . . .2211111111111111111111111111111111111111334
+ 1269 1 A . . .2222222222222222222222222222222222222222334 by A/1 * 38
1270 0 A . . .2222222222222222222222222222222222222222334
+ 1310 -40 A . . 01111111111111111111111111111111111111111334 by A/2 * 40
1311 -39 B . . 11111111111111111111111111111111111111111334
+ 1351 1 B . . 13333333333333333333333333333333333333333334 by B/1 * 40
+ 1392 -40 B . . 11111111111111111111111111111111111111111134 by B/3 * 41
+ 1434 2 B . . 33333333333333333333333333333333333333333334 by B/1 * 42
+ 1477 -41 B . .011111111111111111111111111111111111111111114 by B/3 * 43
1478 -42 A . 0211111111111111111111111111111111111111111114
1479 -41 B . 1211111111111111111111111111111111111111111114
1480 -42 A . 1411111111111111111111111111111111111111111114
1481 -41 A . 2411111111111111111111111111111111111111111114
1482 -40 A . 2211111111111111111111111111111111111111111114
+ 1525 3 A . 2222222222222222222222222222222222222222222224 by A/1 * 43
1526 4 A . 22222222222222222222222222222222222222222222220
1527 5 B . 222222222222222222222222222222222222222222222210
1528 4 A . 222222222222222222222222222222222222222222222212
1529 5 A . 222222222222222222222222222222222222222222222222
+ 1577 -43 A .0111111111111111111111111111111111111111111111111 by A/2 * 48
1578 -42 B .1111111111111111111111111111111111111111111111111
+ 1626 6 B .13333333333333333333333333333333333333333333333330 by B/1 * 48
1627 5 A .13333333333333333333333333333333333333333333333332
+ 1675 -43 A .13333333333333333333333333333333333333333333333332 by A/3 * 48
1676 -42 A .23333333333333333333333333333333333333333333333332
1677 -43 A .23333333333333333333333333333333333333333333333332
After 1677 steps (201 lines): state = A.
Produced 50 nonzeros.
Tape index -43, scanned [-43 .. 6].
| 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 | 663 | 32 | 256 | 272 | 89 | 14 | 0 | 2 | 3 | 9 | 29 |
| B | 1014 | 18 | 515 | 14 | 467 | 1 | 6 | 27 | 16 | ||