Comment: This TM produces 11120 nonzeros in 148,304,214 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 | 4LA | 1LA | 2LA | 1RA | 1 | right | B | 4 | left | A | 1 | left | A | 2 | left | A | 1 | right | A |
B | 3LA | 1RH | 1RA | 2RA | 4RB | 3 | left | A | 1 | right | H | 1 | right | A | 2 | right | A | 4 | right | 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 . . . . . 10 2 0 A . . . . . 13 3 -1 A . . . . .043 4 0 B . . . . .143 5 1 B . . . . .143 6 2 A . . . . .1420 7 3 B . . . . .14210 8 2 A . . . . .14213 9 1 A . . . . .14243 10 0 A . . . . .14143 11 1 A . . . . .11143 + 14 -2 A . . . . 044443 by A/1 * 3 15 -1 B . . . . 144443 + 19 3 B . . . . 144443 by B/4 * 4 20 4 A . . . . 1444420 21 5 B . . . . 14444210 22 4 A . . . . 14444213 23 3 A . . . . 14444243 24 2 A . . . . 14444143 25 3 A . . . . 14441143 + 27 1 A . . . . 14444443 by A/1 * 2 + 31 5 A . . . . 14411113 by A/4 * 4 32 4 A . . . . 14411112 + 36 0 A . . . . 14444442 by A/1 * 4 + 41 5 A . . . . 14111112 by A/4 * 5 42 4 A . . . . 14111111 + 47 -1 A . . . . 14444441 by A/1 * 5 + 53 5 A . . . . 11111111 by A/4 * 6 + 61 -3 A . . . .044444444 by A/1 * 8 62 -2 B . . . .144444444 + 70 6 B . . . .1444444440 by B/4 * 8 71 5 A . . . .1444444443 72 6 A . . . .1444444413 73 5 A . . . .1444444412 74 4 A . . . .1444444442 + 76 6 A . . . .1444444112 by A/4 * 2 77 5 A . . . .1444444111 + 79 3 A . . . .1444444441 by A/1 * 2 + 82 6 A . . . .1444441111 by A/4 * 3 + 86 2 A . . . .1444444444 by A/1 * 4 + 91 7 A . . . .14444111110 by A/4 * 5 92 8 B . . . .144441111110 93 7 A . . . .144441111113 + 99 1 A . . . .144444444443 by A/1 * 6 + 106 8 A . . . .144411111113 by A/4 * 7 107 7 A . . . .144411111112 + 114 0 A . . . .144444444442 by A/1 * 7 + 122 8 A . . . .144111111112 by A/4 * 8 123 7 A . . . .144111111111 + 131 -1 A . . . .144444444441 by A/1 * 8 + 140 8 A . . . .141111111111 by A/4 * 9 + 150 -2 A . . . .144444444444 by A/1 * 10 + 161 9 A . . . .1111111111110 by A/4 * 11 162 10 B . . . .11111111111110 163 9 A . . . .11111111111113 + 176 -4 A . . . 044444444444443 by A/1 * 13 177 -3 B . . . 144444444444443 + 190 10 B . . . 144444444444443 by B/4 * 13 191 11 A . . . 1444444444444420 192 12 B . . . 14444444444444210 193 11 A . . . 14444444444444213 194 10 A . . . 14444444444444243 195 9 A . . . 14444444444444143 196 10 A . . . 14444444444441143 + 198 8 A . . . 14444444444444443 by A/1 * 2 + 202 12 A . . . 14444444444411113 by A/4 * 4 203 11 A . . . 14444444444411112 + 207 7 A . . . 14444444444444442 by A/1 * 4 + 212 12 A . . . 14444444444111112 by A/4 * 5 213 11 A . . . 14444444444111111 + 218 6 A . . . 14444444444444441 by A/1 * 5 + 224 12 A . . . 14444444441111111 by A/4 * 6 + 231 5 A . . . 14444444444444444 by A/1 * 7 + 239 13 A . . . 144444444111111110 by A/4 * 8 240 14 B . . . 1444444441111111110 241 13 A . . . 1444444441111111113 + 250 4 A . . . 1444444444444444443 by A/1 * 9 + 260 14 A . . . 1444444411111111113 by A/4 * 10 261 13 A . . . 1444444411111111112 + 271 3 A . . . 1444444444444444442 by A/1 * 10 + 282 14 A . . . 1444444111111111112 by A/4 * 11 283 13 A . . . 1444444111111111111 + 294 2 A . . . 1444444444444444441 by A/1 * 11 + 306 14 A . . . 1444441111111111111 by A/4 * 12 + 319 1 A . . . 1444444444444444444 by A/1 * 13 + 333 15 A . . . 14444111111111111110 by A/4 * 14 334 16 B . . . 144441111111111111110 335 15 A . . . 144441111111111111113 + 350 0 A . . . 144444444444444444443 by A/1 * 15 + 366 16 A . . . 144411111111111111113 by A/4 * 16 367 15 A . . . 144411111111111111112 + 383 -1 A . . . 144444444444444444442 by A/1 * 16 + 400 16 A . . . 144111111111111111112 by A/4 * 17 401 15 A . . . 144111111111111111111 + 418 -2 A . . . 144444444444444444441 by A/1 * 17 + 436 16 A . . . 141111111111111111111 by A/4 * 18 + 455 -3 A . . . 144444444444444444444 by A/1 * 19 + 475 17 A . . . 1111111111111111111110 by A/4 * 20 476 18 B . . . 11111111111111111111110 477 17 A . . . 11111111111111111111113 + 499 -5 A . . .044444444444444444444443 by A/1 * 22 500 -4 B . . .144444444444444444444443 + 522 18 B . . .144444444444444444444443 by B/4 * 22 523 19 A . . .1444444444444444444444420 524 20 B . . .14444444444444444444444210 525 19 A . . .14444444444444444444444213 526 18 A . . .14444444444444444444444243 527 17 A . . .14444444444444444444444143 528 18 A . . .14444444444444444444441143 + 530 16 A . . .14444444444444444444444443 by A/1 * 2 + 534 20 A . . .14444444444444444444411113 by A/4 * 4 535 19 A . . .14444444444444444444411112 + 539 15 A . . .14444444444444444444444442 by A/1 * 4 + 544 20 A . . .14444444444444444444111112 by A/4 * 5 545 19 A . . .14444444444444444444111111 + 550 14 A . . .14444444444444444444444441 by A/1 * 5 + 556 20 A . . .14444444444444444441111111 by A/4 * 6 + 563 13 A . . .14444444444444444444444444 by A/1 * 7 + 571 21 A . . .144444444444444444111111110 by A/4 * 8 572 22 B . . .1444444444444444441111111110 573 21 A . . .1444444444444444441111111113 + 582 12 A . . .1444444444444444444444444443 by A/1 * 9 + 592 22 A . . .1444444444444444411111111113 by A/4 * 10 593 21 A . . .1444444444444444411111111112 + 603 11 A . . .1444444444444444444444444442 by A/1 * 10 + 614 22 A . . .1444444444444444111111111112 by A/4 * 11 615 21 A . . .1444444444444444111111111111 + 626 10 A . . .1444444444444444444444444441 by A/1 * 11 + 638 22 A . . .1444444444444441111111111111 by A/4 * 12 + 651 9 A . . .1444444444444444444444444444 by A/1 * 13 + 665 23 A . . .14444444444444111111111111110 by A/4 * 14 666 24 B . . .144444444444441111111111111110 667 23 A . . .144444444444441111111111111113 + 682 8 A . . .144444444444444444444444444443 by A/1 * 15 + 698 24 A . . .144444444444411111111111111113 by A/4 * 16 699 23 A . . .144444444444411111111111111112 + 715 7 A . . .144444444444444444444444444442 by A/1 * 16 + 732 24 A . . .144444444444111111111111111112 by A/4 * 17 733 23 A . . .144444444444111111111111111111 + 750 6 A . . .144444444444444444444444444441 by A/1 * 17 + 768 24 A . . .144444444441111111111111111111 by A/4 * 18 + 787 5 A . . .144444444444444444444444444444 by A/1 * 19 + 807 25 A . . .1444444444111111111111111111110 by A/4 * 20 808 26 B . . .14444444441111111111111111111110 809 25 A . . .14444444441111111111111111111113 + 830 4 A . . .14444444444444444444444444444443 by A/1 * 21 + 852 26 A . . .14444444411111111111111111111113 by A/4 * 22 853 25 A . . .14444444411111111111111111111112 + 875 3 A . . .14444444444444444444444444444442 by A/1 * 22 + 898 26 A . . .14444444111111111111111111111112 by A/4 * 23 899 25 A . . .14444444111111111111111111111111 + 922 2 A . . .14444444444444444444444444444441 by A/1 * 23 + 946 26 A . . .14444441111111111111111111111111 by A/4 * 24 + 971 1 A . . .14444444444444444444444444444444 by A/1 * 25 + 997 27 A . . .144444111111111111111111111111110 by A/4 * 26 998 28 B . . .1444441111111111111111111111111110 999 27 A . . .1444441111111111111111111111111113 + 1026 0 A . . .1444444444444444444444444444444443 by A/1 * 27 + 1054 28 A . . .1444411111111111111111111111111113 by A/4 * 28 1055 27 A . . .1444411111111111111111111111111112 + 1083 -1 A . . .1444444444444444444444444444444442 by A/1 * 28 + 1112 28 A . . .1444111111111111111111111111111112 by A/4 * 29 1113 27 A . . .1444111111111111111111111111111111 + 1142 -2 A . . .1444444444444444444444444444444441 by A/1 * 29 + 1172 28 A . . .1441111111111111111111111111111111 by A/4 * 30 + 1203 -3 A . . .1444444444444444444444444444444444 by A/1 * 31 + 1235 29 A . . .14111111111111111111111111111111110 by A/4 * 32 1236 30 B . . .141111111111111111111111111111111110 1237 29 A . . .141111111111111111111111111111111113 + 1270 -4 A . . .144444444444444444444444444444444443 by A/1 * 33 + 1304 30 A . . .111111111111111111111111111111111113 by A/4 * 34 1305 29 A . . .111111111111111111111111111111111112 + 1340 -6 A . . 0444444444444444444444444444444444442 by A/1 * 35 1341 -5 B . . 1444444444444444444444444444444444442 + 1376 30 B . . 1444444444444444444444444444444444442 by B/4 * 35 1377 31 A . . 14444444444444444444444444444444444410 1378 32 B . . 144444444444444444444444444444444444110 1379 31 A . . 144444444444444444444444444444444444113 + 1381 29 A . . 144444444444444444444444444444444444443 by A/1 * 2 + 1384 32 A . . 144444444444444444444444444444444441113 by A/4 * 3 1385 31 A . . 144444444444444444444444444444444441112 + 1388 28 A . . 144444444444444444444444444444444444442 by A/1 * 3 + 1392 32 A . . 144444444444444444444444444444444411112 by A/4 * 4 1393 31 A . . 144444444444444444444444444444444411111 + 1397 27 A . . 144444444444444444444444444444444444441 by A/1 * 4 + 1402 32 A . . 144444444444444444444444444444444111111 by A/4 * 5 + 1408 26 A . . 144444444444444444444444444444444444444 by A/1 * 6 + 1415 33 A . . 1444444444444444444444444444444411111110 by A/4 * 7 1416 34 B . . 14444444444444444444444444444444111111110 1417 33 A . . 14444444444444444444444444444444111111113 + 1425 25 A . . 14444444444444444444444444444444444444443 by A/1 * 8 + 1434 34 A . . 14444444444444444444444444444441111111113 by A/4 * 9 1435 33 A . . 14444444444444444444444444444441111111112 + 1444 24 A . . 14444444444444444444444444444444444444442 by A/1 * 9 + 1454 34 A . . 14444444444444444444444444444411111111112 by A/4 * 10 1455 33 A . . 14444444444444444444444444444411111111111 + 1465 23 A . . 14444444444444444444444444444444444444441 by A/1 * 10 + 1476 34 A . . 14444444444444444444444444444111111111111 by A/4 * 11 + 1488 22 A . . 14444444444444444444444444444444444444444 by A/1 * 12 + 1501 35 A . . 144444444444444444444444444411111111111110 by A/4 * 13 After 1501 steps (201 lines): state = A. Produced 41 nonzeros. Tape index 35, scanned [-6 .. 34].
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 | 1395 | 23 | 684 | 17 | 14 | 657 | 0 | 2 | 9 | 31 | 10 |
B | 106 | 18 | 1 | 4 | 83 | 1 | 1376 | 5 | 4 |