Comment: This TM produces 4099 nonzeros in 15754273 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 | 4LB | 1RH | 2RA | 0LB | 3LB | 4 | left | B | 1 | right | H | 2 | right | A | 0 | left | B | 3 | left | B |
B | 2RA | 3LB | 3RB | 2LB | 1LB | 2 | right | A | 3 | left | B | 3 | right | B | 2 | left | B | 1 | left | B |
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 . . . . .04 2 0 A . . . . .24 3 -1 B . . . . .23 4 0 B . . . . .33 + 6 -2 B . . . . 022 by B/3 * 2 7 -1 A . . . . 222 + 9 1 A . . . . 2220 by A/2 * 2 10 0 B . . . . 2224 11 1 B . . . . 2234 12 0 B . . . . 2231 13 -1 B . . . . 2221 + 15 1 B . . . . 2331 by B/2 * 2 16 0 B . . . . 2333 + 18 -2 B . . . . 2223 by B/3 * 2 + 21 1 B . . . . 3333 by B/2 * 3 + 25 -3 B . . . .02222 by B/3 * 4 26 -2 A . . . .22222 + 30 2 A . . . .222220 by A/2 * 4 31 1 B . . . .222224 32 2 B . . . .222234 33 1 B . . . .222231 34 0 B . . . .222221 + 36 2 B . . . .222331 by B/2 * 2 37 1 B . . . .222333 + 39 -1 B . . . .222223 by B/3 * 2 + 42 2 B . . . .223333 by B/2 * 3 + 46 -2 B . . . .222222 by B/3 * 4 + 51 3 B . . . .2333330 by B/2 * 5 52 4 A . . . .23333320 53 3 B . . . .23333324 54 4 B . . . .23333334 55 3 B . . . .23333331 + 61 -3 B . . . .22222221 by B/3 * 6 + 68 4 B . . . .33333331 by B/2 * 7 69 3 B . . . .33333333 + 76 -4 B . . . 022222223 by B/3 * 7 77 -3 A . . . 222222223 + 84 4 A . . . 222222223 by A/2 * 7 85 3 B . . . 222222220 86 4 B . . . 222222230 87 5 A . . . 2222222320 88 4 B . . . 2222222324 89 5 B . . . 2222222334 90 4 B . . . 2222222331 + 92 2 B . . . 2222222221 by B/3 * 2 + 95 5 B . . . 2222223331 by B/2 * 3 96 4 B . . . 2222223333 + 99 1 B . . . 2222222223 by B/3 * 3 + 103 5 B . . . 2222233333 by B/2 * 4 + 108 0 B . . . 2222222222 by B/3 * 5 + 114 6 B . . . 22223333330 by B/2 * 6 115 7 A . . . 222233333320 116 6 B . . . 222233333324 117 7 B . . . 222233333334 118 6 B . . . 222233333331 + 125 -1 B . . . 222222222221 by B/3 * 7 + 133 7 B . . . 222333333331 by B/2 * 8 134 6 B . . . 222333333333 + 142 -2 B . . . 222222222223 by B/3 * 8 + 151 7 B . . . 223333333333 by B/2 * 9 + 161 -3 B . . . 222222222222 by B/3 * 10 + 172 8 B . . . 2333333333330 by B/2 * 11 173 9 A . . . 23333333333320 174 8 B . . . 23333333333324 175 9 B . . . 23333333333334 176 8 B . . . 23333333333331 + 188 -4 B . . . 22222222222221 by B/3 * 12 + 201 9 B . . . 33333333333331 by B/2 * 13 202 8 B . . . 33333333333333 + 215 -5 B . . .022222222222223 by B/3 * 13 216 -4 A . . .222222222222223 + 229 9 A . . .222222222222223 by A/2 * 13 230 8 B . . .222222222222220 231 9 B . . .222222222222230 232 10 A . . .2222222222222320 233 9 B . . .2222222222222324 234 10 B . . .2222222222222334 235 9 B . . .2222222222222331 + 237 7 B . . .2222222222222221 by B/3 * 2 + 240 10 B . . .2222222222223331 by B/2 * 3 241 9 B . . .2222222222223333 + 244 6 B . . .2222222222222223 by B/3 * 3 + 248 10 B . . .2222222222233333 by B/2 * 4 + 253 5 B . . .2222222222222222 by B/3 * 5 + 259 11 B . . .22222222223333330 by B/2 * 6 260 12 A . . .222222222233333320 261 11 B . . .222222222233333324 262 12 B . . .222222222233333334 263 11 B . . .222222222233333331 + 270 4 B . . .222222222222222221 by B/3 * 7 + 278 12 B . . .222222222333333331 by B/2 * 8 279 11 B . . .222222222333333333 + 287 3 B . . .222222222222222223 by B/3 * 8 + 296 12 B . . .222222223333333333 by B/2 * 9 + 306 2 B . . .222222222222222222 by B/3 * 10 + 317 13 B . . .2222222333333333330 by B/2 * 11 318 14 A . . .22222223333333333320 319 13 B . . .22222223333333333324 320 14 B . . .22222223333333333334 321 13 B . . .22222223333333333331 + 333 1 B . . .22222222222222222221 by B/3 * 12 + 346 14 B . . .22222233333333333331 by B/2 * 13 347 13 B . . .22222233333333333333 + 360 0 B . . .22222222222222222223 by B/3 * 13 + 374 14 B . . .22222333333333333333 by B/2 * 14 + 389 -1 B . . .22222222222222222222 by B/3 * 15 + 405 15 B . . .222233333333333333330 by B/2 * 16 406 16 A . . .2222333333333333333320 407 15 B . . .2222333333333333333324 408 16 B . . .2222333333333333333334 409 15 B . . .2222333333333333333331 + 426 -2 B . . .2222222222222222222221 by B/3 * 17 + 444 16 B . . .2223333333333333333331 by B/2 * 18 445 15 B . . .2223333333333333333333 + 463 -3 B . . .2222222222222222222223 by B/3 * 18 + 482 16 B . . .2233333333333333333333 by B/2 * 19 + 502 -4 B . . .2222222222222222222222 by B/3 * 20 + 523 17 B . . .23333333333333333333330 by B/2 * 21 524 18 A . . .233333333333333333333320 525 17 B . . .233333333333333333333324 526 18 B . . .233333333333333333333334 527 17 B . . .233333333333333333333331 + 549 -5 B . . .222222222222222222222221 by B/3 * 22 + 572 18 B . . .333333333333333333333331 by B/2 * 23 573 17 B . . .333333333333333333333333 + 596 -6 B . . 0222222222222222222222223 by B/3 * 23 597 -5 A . . 2222222222222222222222223 + 620 18 A . . 2222222222222222222222223 by A/2 * 23 621 17 B . . 2222222222222222222222220 622 18 B . . 2222222222222222222222230 623 19 A . . 22222222222222222222222320 624 18 B . . 22222222222222222222222324 625 19 B . . 22222222222222222222222334 626 18 B . . 22222222222222222222222331 + 628 16 B . . 22222222222222222222222221 by B/3 * 2 + 631 19 B . . 22222222222222222222223331 by B/2 * 3 632 18 B . . 22222222222222222222223333 + 635 15 B . . 22222222222222222222222223 by B/3 * 3 + 639 19 B . . 22222222222222222222233333 by B/2 * 4 + 644 14 B . . 22222222222222222222222222 by B/3 * 5 + 650 20 B . . 222222222222222222223333330 by B/2 * 6 651 21 A . . 2222222222222222222233333320 652 20 B . . 2222222222222222222233333324 653 21 B . . 2222222222222222222233333334 654 20 B . . 2222222222222222222233333331 + 661 13 B . . 2222222222222222222222222221 by B/3 * 7 + 669 21 B . . 2222222222222222222333333331 by B/2 * 8 670 20 B . . 2222222222222222222333333333 + 678 12 B . . 2222222222222222222222222223 by B/3 * 8 + 687 21 B . . 2222222222222222223333333333 by B/2 * 9 + 697 11 B . . 2222222222222222222222222222 by B/3 * 10 + 708 22 B . . 22222222222222222333333333330 by B/2 * 11 709 23 A . . 222222222222222223333333333320 710 22 B . . 222222222222222223333333333324 711 23 B . . 222222222222222223333333333334 712 22 B . . 222222222222222223333333333331 + 724 10 B . . 222222222222222222222222222221 by B/3 * 12 + 737 23 B . . 222222222222222233333333333331 by B/2 * 13 738 22 B . . 222222222222222233333333333333 + 751 9 B . . 222222222222222222222222222223 by B/3 * 13 + 765 23 B . . 222222222222222333333333333333 by B/2 * 14 + 780 8 B . . 222222222222222222222222222222 by B/3 * 15 + 796 24 B . . 2222222222222233333333333333330 by B/2 * 16 797 25 A . . 22222222222222333333333333333320 798 24 B . . 22222222222222333333333333333324 799 25 B . . 22222222222222333333333333333334 800 24 B . . 22222222222222333333333333333331 + 817 7 B . . 22222222222222222222222222222221 by B/3 * 17 + 835 25 B . . 22222222222223333333333333333331 by B/2 * 18 836 24 B . . 22222222222223333333333333333333 + 854 6 B . . 22222222222222222222222222222223 by B/3 * 18 + 873 25 B . . 22222222222233333333333333333333 by B/2 * 19 + 893 5 B . . 22222222222222222222222222222222 by B/3 * 20 + 914 26 B . . 222222222223333333333333333333330 by B/2 * 21 915 27 A . . 2222222222233333333333333333333320 916 26 B . . 2222222222233333333333333333333324 917 27 B . . 2222222222233333333333333333333334 918 26 B . . 2222222222233333333333333333333331 + 940 4 B . . 2222222222222222222222222222222221 by B/3 * 22 + 963 27 B . . 2222222222333333333333333333333331 by B/2 * 23 964 26 B . . 2222222222333333333333333333333333 + 987 3 B . . 2222222222222222222222222222222223 by B/3 * 23 + 1011 27 B . . 2222222223333333333333333333333333 by B/2 * 24 + 1036 2 B . . 2222222222222222222222222222222222 by B/3 * 25 + 1062 28 B . . 22222222333333333333333333333333330 by B/2 * 26 1063 29 A . . 222222223333333333333333333333333320 1064 28 B . . 222222223333333333333333333333333324 1065 29 B . . 222222223333333333333333333333333334 1066 28 B . . 222222223333333333333333333333333331 + 1093 1 B . . 222222222222222222222222222222222221 by B/3 * 27 + 1121 29 B . . 222222233333333333333333333333333331 by B/2 * 28 1122 28 B . . 222222233333333333333333333333333333 + 1150 0 B . . 222222222222222222222222222222222223 by B/3 * 28 + 1179 29 B . . 222222333333333333333333333333333333 by B/2 * 29 + 1209 -1 B . . 222222222222222222222222222222222222 by B/3 * 30 + 1240 30 B . . 2222233333333333333333333333333333330 by B/2 * 31 1241 31 A . . 22222333333333333333333333333333333320 1242 30 B . . 22222333333333333333333333333333333324 1243 31 B . . 22222333333333333333333333333333333334 1244 30 B . . 22222333333333333333333333333333333331 After 1244 steps (201 lines): state = B. Produced 38 nonzeros. Tape index 30, scanned [-6 .. 31].
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 | 72 | 19 | 49 | 3 | 1 | 0 | 7 | 84 | 2 | ||
B | 1172 | 22 | 17 | 566 | 549 | 18 | 1 | 15 | 3 | 4 | 11 |