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 |