Comment: This has the same score as the (2,4) #a from Ligocki Comment: This TM produces 2050 nonzeros in 3932964 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 0 | on 1 | on 2 | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | |||||||
A | B1R | C1L | H2R | 1 | right | B | 1 | left | C | 2 | right | H |
B | A1L | C1L | B2R | 1 | left | A | 1 | left | C | 2 | right | B |
C | B1R | C2L | C1R | 1 | right | B | 2 | left | C | 1 | right | C |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 2-macro machine. The same TM as 2-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . 0 1 1 B . . . . . 10 2 0 A . . . . . 11 3 -1 C . . . . .011 4 0 B . . . . .111 5 -1 C . . . . .111 6 -2 C . . . . 0211 7 -1 B . . . . 1211 8 0 B . . . . 1211 9 -1 C . . . . 1211 10 0 C . . . . 1111 + 13 -3 C . . . .02221 by C/1 * 3 14 -2 B . . . .12221 + 17 1 B . . . .12221 by B/2 * 3 18 0 C . . . .12221 19 1 C . . . .12211 + 21 -1 C . . . .12222 by C/1 * 2 + 24 2 C . . . .121110 by C/2 * 3 25 3 B . . . .1211110 26 2 A . . . .1211111 27 1 C . . . .1211111 + 30 -2 C . . . .1222211 by C/1 * 3 + 34 2 C . . . .1111111 by C/2 * 4 + 40 -4 C . . . 02222221 by C/1 * 6 41 -3 B . . . 12222221 + 47 3 B . . . 12222221 by B/2 * 6 48 2 C . . . 12222221 49 3 C . . . 12222211 + 51 1 C . . . 12222222 by C/1 * 2 + 54 4 C . . . 122221110 by C/2 * 3 55 5 B . . . 1222211110 56 4 A . . . 1222211111 57 3 C . . . 1222211111 + 60 0 C . . . 1222222211 by C/1 * 3 + 64 4 C . . . 1222111111 by C/2 * 4 + 69 -1 C . . . 1222222221 by C/1 * 5 + 75 5 C . . . 1221111111 by C/2 * 6 + 82 -2 C . . . 1222222222 by C/1 * 7 + 90 6 C . . . 12111111110 by C/2 * 8 91 7 B . . . 121111111110 92 6 A . . . 121111111111 93 5 C . . . 121111111111 + 101 -3 C . . . 122222222211 by C/1 * 8 + 110 6 C . . . 111111111111 by C/2 * 9 + 121 -5 C . . .0222222222221 by C/1 * 11 122 -4 B . . .1222222222221 + 133 7 B . . .1222222222221 by B/2 * 11 134 6 C . . .1222222222221 135 7 C . . .1222222222211 + 137 5 C . . .1222222222222 by C/1 * 2 + 140 8 C . . .12222222221110 by C/2 * 3 141 9 B . . .122222222211110 142 8 A . . .122222222211111 143 7 C . . .122222222211111 + 146 4 C . . .122222222222211 by C/1 * 3 + 150 8 C . . .122222222111111 by C/2 * 4 + 155 3 C . . .122222222222221 by C/1 * 5 + 161 9 C . . .122222221111111 by C/2 * 6 + 168 2 C . . .122222222222222 by C/1 * 7 + 176 10 C . . .1222222111111110 by C/2 * 8 177 11 B . . .12222221111111110 178 10 A . . .12222221111111111 179 9 C . . .12222221111111111 + 187 1 C . . .12222222222222211 by C/1 * 8 + 196 10 C . . .12222211111111111 by C/2 * 9 + 206 0 C . . .12222222222222221 by C/1 * 10 + 217 11 C . . .12222111111111111 by C/2 * 11 + 229 -1 C . . .12222222222222222 by C/1 * 12 + 242 12 C . . .122211111111111110 by C/2 * 13 243 13 B . . .1222111111111111110 244 12 A . . .1222111111111111111 245 11 C . . .1222111111111111111 + 258 -2 C . . .1222222222222222211 by C/1 * 13 + 272 12 C . . .1221111111111111111 by C/2 * 14 + 287 -3 C . . .1222222222222222221 by C/1 * 15 + 303 13 C . . .1211111111111111111 by C/2 * 16 + 320 -4 C . . .1222222222222222222 by C/1 * 17 + 338 14 C . . .11111111111111111110 by C/2 * 18 339 15 B . . .111111111111111111110 340 14 A . . .111111111111111111111 341 13 C . . .111111111111111111111 + 360 -6 C . . 0222222222222222222211 by C/1 * 19 361 -5 B . . 1222222222222222222211 + 380 14 B . . 1222222222222222222211 by B/2 * 19 381 13 C . . 1222222222222222222211 382 14 C . . 1222222222222222222111 + 384 12 C . . 1222222222222222222221 by C/1 * 2 + 387 15 C . . 1222222222222222221111 by C/2 * 3 + 391 11 C . . 1222222222222222222222 by C/1 * 4 + 396 16 C . . 12222222222222222111110 by C/2 * 5 397 17 B . . 122222222222222221111110 398 16 A . . 122222222222222221111111 399 15 C . . 122222222222222221111111 + 404 10 C . . 122222222222222222222211 by C/1 * 5 + 410 16 C . . 122222222222222211111111 by C/2 * 6 + 417 9 C . . 122222222222222222222221 by C/1 * 7 + 425 17 C . . 122222222222222111111111 by C/2 * 8 + 434 8 C . . 122222222222222222222222 by C/1 * 9 + 444 18 C . . 1222222222222211111111110 by C/2 * 10 445 19 B . . 12222222222222111111111110 446 18 A . . 12222222222222111111111111 447 17 C . . 12222222222222111111111111 + 457 7 C . . 12222222222222222222222211 by C/1 * 10 + 468 18 C . . 12222222222221111111111111 by C/2 * 11 + 480 6 C . . 12222222222222222222222221 by C/1 * 12 + 493 19 C . . 12222222222211111111111111 by C/2 * 13 + 507 5 C . . 12222222222222222222222222 by C/1 * 14 + 522 20 C . . 122222222221111111111111110 by C/2 * 15 523 21 B . . 1222222222211111111111111110 524 20 A . . 1222222222211111111111111111 525 19 C . . 1222222222211111111111111111 + 540 4 C . . 1222222222222222222222222211 by C/1 * 15 + 556 20 C . . 1222222222111111111111111111 by C/2 * 16 + 573 3 C . . 1222222222222222222222222221 by C/1 * 17 + 591 21 C . . 1222222221111111111111111111 by C/2 * 18 + 610 2 C . . 1222222222222222222222222222 by C/1 * 19 + 630 22 C . . 12222222111111111111111111110 by C/2 * 20 631 23 B . . 122222221111111111111111111110 632 22 A . . 122222221111111111111111111111 633 21 C . . 122222221111111111111111111111 + 653 1 C . . 122222222222222222222222222211 by C/1 * 20 + 674 22 C . . 122222211111111111111111111111 by C/2 * 21 + 696 0 C . . 122222222222222222222222222221 by C/1 * 22 + 719 23 C . . 122222111111111111111111111111 by C/2 * 23 + 743 -1 C . . 122222222222222222222222222222 by C/1 * 24 + 768 24 C . . 1222211111111111111111111111110 by C/2 * 25 769 25 B . . 12222111111111111111111111111110 770 24 A . . 12222111111111111111111111111111 771 23 C . . 12222111111111111111111111111111 + 796 -2 C . . 12222222222222222222222222222211 by C/1 * 25 + 822 24 C . . 12221111111111111111111111111111 by C/2 * 26 + 849 -3 C . . 12222222222222222222222222222221 by C/1 * 27 + 877 25 C . . 12211111111111111111111111111111 by C/2 * 28 + 906 -4 C . . 12222222222222222222222222222222 by C/1 * 29 + 936 26 C . . 121111111111111111111111111111110 by C/2 * 30 937 27 B . . 1211111111111111111111111111111110 938 26 A . . 1211111111111111111111111111111111 939 25 C . . 1211111111111111111111111111111111 + 969 -5 C . . 1222222222222222222222222222222211 by C/1 * 30 + 1000 26 C . . 1111111111111111111111111111111111 by C/2 * 31 + 1033 -7 C . .02222222222222222222222222222222221 by C/1 * 33 1034 -6 B . .12222222222222222222222222222222221 + 1067 27 B . .12222222222222222222222222222222221 by B/2 * 33 1068 26 C . .12222222222222222222222222222222221 1069 27 C . .12222222222222222222222222222222211 + 1071 25 C . .12222222222222222222222222222222222 by C/1 * 2 + 1074 28 C . .122222222222222222222222222222221110 by C/2 * 3 1075 29 B . .1222222222222222222222222222222211110 1076 28 A . .1222222222222222222222222222222211111 1077 27 C . .1222222222222222222222222222222211111 + 1080 24 C . .1222222222222222222222222222222222211 by C/1 * 3 + 1084 28 C . .1222222222222222222222222222222111111 by C/2 * 4 + 1089 23 C . .1222222222222222222222222222222222221 by C/1 * 5 + 1095 29 C . .1222222222222222222222222222221111111 by C/2 * 6 + 1102 22 C . .1222222222222222222222222222222222222 by C/1 * 7 + 1110 30 C . .12222222222222222222222222222111111110 by C/2 * 8 1111 31 B . .122222222222222222222222222221111111110 1112 30 A . .122222222222222222222222222221111111111 1113 29 C . .122222222222222222222222222221111111111 + 1121 21 C . .122222222222222222222222222222222222211 by C/1 * 8 + 1130 30 C . .122222222222222222222222222211111111111 by C/2 * 9 + 1140 20 C . .122222222222222222222222222222222222221 by C/1 * 10 + 1151 31 C . .122222222222222222222222222111111111111 by C/2 * 11 + 1163 19 C . .122222222222222222222222222222222222222 by C/1 * 12 + 1176 32 C . .1222222222222222222222222211111111111110 by C/2 * 13 1177 33 B . .12222222222222222222222222111111111111110 1178 32 A . .12222222222222222222222222111111111111111 1179 31 C . .12222222222222222222222222111111111111111 + 1192 18 C . .12222222222222222222222222222222222222211 by C/1 * 13 + 1206 32 C . .12222222222222222222222221111111111111111 by C/2 * 14 + 1221 17 C . .12222222222222222222222222222222222222221 by C/1 * 15 + 1237 33 C . .12222222222222222222222211111111111111111 by C/2 * 16 + 1254 16 C . .12222222222222222222222222222222222222222 by C/1 * 17 + 1272 34 C . .122222222222222222222221111111111111111110 by C/2 * 18 1273 35 B . .1222222222222222222222211111111111111111110 1274 34 A . .1222222222222222222222211111111111111111111 1275 33 C . .1222222222222222222222211111111111111111111 + 1293 15 C . .1222222222222222222222222222222222222222211 by C/1 * 18 + 1312 34 C . .1222222222222222222222111111111111111111111 by C/2 * 19 + 1332 14 C . .1222222222222222222222222222222222222222221 by C/1 * 20 + 1353 35 C . .1222222222222222222221111111111111111111111 by C/2 * 21 + 1375 13 C . .1222222222222222222222222222222222222222222 by C/1 * 22 + 1398 36 C . .12222222222222222222111111111111111111111110 by C/2 * 23 1399 37 B . .122222222222222222221111111111111111111111110 1400 36 A . .122222222222222222221111111111111111111111111 1401 35 C . .122222222222222222221111111111111111111111111 + 1424 12 C . .122222222222222222222222222222222222222222211 by C/1 * 23 + 1448 36 C . .122222222222222222211111111111111111111111111 by C/2 * 24 + 1473 11 C . .122222222222222222222222222222222222222222221 by C/1 * 25 + 1499 37 C . .122222222222222222111111111111111111111111111 by C/2 * 26 + 1526 10 C . .122222222222222222222222222222222222222222222 by C/1 * 27 + 1554 38 C . .1222222222222222211111111111111111111111111110 by C/2 * 28 1555 39 B . .12222222222222222111111111111111111111111111110 1556 38 A . .12222222222222222111111111111111111111111111111 1557 37 C . .12222222222222222111111111111111111111111111111 + 1585 9 C . .12222222222222222222222222222222222222222222211 by C/1 * 28 + 1614 38 C . .12222222222222221111111111111111111111111111111 by C/2 * 29 + 1644 8 C . .12222222222222222222222222222222222222222222221 by C/1 * 30 + 1675 39 C . .12222222222222211111111111111111111111111111111 by C/2 * 31 + 1707 7 C . .12222222222222222222222222222222222222222222222 by C/1 * 32 + 1740 40 C . .122222222222221111111111111111111111111111111110 by C/2 * 33 After 1740 steps (201 lines): state = C. Produced 47 nonzeros. Tape index 40, scanned [-7 .. 39].
State | Count | Execution count | First in step | ||||
---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
A | 21 | 1 | 20 | 0 | 2 | ||
B | 100 | 20 | 7 | 73 | 1 | 4 | 7 |
C | 1619 | 26 | 803 | 790 | 3 | 5 | 9 |