Comment: This TM produces 84 nonzeros in 6445 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 0 | on 1 | on 2 | on 3 | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
A | 1RB | 2LA | 1RA | 1LA | 1 | right | B | 2 | left | A | 1 | right | A | 1 | left | A |
B | 3LA | 1RH | 2RB | 2LA | 3 | left | A | 1 | right | H | 2 | right | B | 2 | left | A |
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 . . .023 4 0 B . . .123 5 1 B . . .123 6 0 A . . .122 + 8 2 A . . .1110 by A/2 * 2 9 3 B . . .11110 10 2 A . . .11113 + 14 -2 A . . 022223 by A/1 * 4 15 -1 B . . 122223 + 19 3 B . . 122223 by B/2 * 4 20 2 A . . 122222 + 22 4 A . . 1222110 by A/2 * 2 23 5 B . . 12221110 24 4 A . . 12221113 + 27 1 A . . 12222223 by A/1 * 3 + 31 5 A . . 12211113 by A/2 * 4 32 4 A . . 12211111 + 36 0 A . . 12222221 by A/1 * 4 + 41 5 A . . 12111111 by A/2 * 5 + 47 -1 A . . 12222222 by A/1 * 6 + 54 6 A . . 111111110 by A/2 * 7 55 7 B . . 1111111110 56 6 A . . 1111111113 + 65 -3 A . .02222222223 by A/1 * 9 66 -2 B . .12222222223 + 75 7 B . .12222222223 by B/2 * 9 76 6 A . .12222222222 + 78 8 A . .122222222110 by A/2 * 2 79 9 B . .1222222221110 80 8 A . .1222222221113 + 83 5 A . .1222222222223 by A/1 * 3 + 87 9 A . .1222222211113 by A/2 * 4 88 8 A . .1222222211111 + 92 4 A . .1222222222221 by A/1 * 4 + 97 9 A . .1222222111111 by A/2 * 5 + 103 3 A . .1222222222222 by A/1 * 6 + 110 10 A . .12222211111110 by A/2 * 7 111 11 B . .122222111111110 112 10 A . .122222111111113 + 120 2 A . .122222222222223 by A/1 * 8 + 129 11 A . .122221111111113 by A/2 * 9 130 10 A . .122221111111111 + 139 1 A . .122222222222221 by A/1 * 9 + 149 11 A . .122211111111111 by A/2 * 10 + 160 0 A . .122222222222222 by A/1 * 11 + 172 12 A . .1221111111111110 by A/2 * 12 173 13 B . .12211111111111110 174 12 A . .12211111111111113 + 187 -1 A . .12222222222222223 by A/1 * 13 + 201 13 A . .12111111111111113 by A/2 * 14 202 12 A . .12111111111111111 + 216 -2 A . .12222222222222221 by A/1 * 14 + 231 13 A . .11111111111111111 by A/2 * 15 + 248 -4 A . 022222222222222222 by A/1 * 17 249 -3 B . 122222222222222222 + 266 14 B . 1222222222222222220 by B/2 * 17 267 13 A . 1222222222222222223 268 14 A . 1222222222222222213 269 13 A . 1222222222222222211 270 12 A . 1222222222222222221 + 272 14 A . 1222222222222222111 by A/2 * 2 + 275 11 A . 1222222222222222222 by A/1 * 3 + 279 15 A . 12222222222222211110 by A/2 * 4 280 16 B . 122222222222222111110 281 15 A . 122222222222222111113 + 286 10 A . 122222222222222222223 by A/1 * 5 + 292 16 A . 122222222222221111113 by A/2 * 6 293 15 A . 122222222222221111111 + 299 9 A . 122222222222222222221 by A/1 * 6 + 306 16 A . 122222222222211111111 by A/2 * 7 + 314 8 A . 122222222222222222222 by A/1 * 8 + 323 17 A . 1222222222221111111110 by A/2 * 9 324 18 B . 12222222222211111111110 325 17 A . 12222222222211111111113 + 335 7 A . 12222222222222222222223 by A/1 * 10 + 346 18 A . 12222222222111111111113 by A/2 * 11 347 17 A . 12222222222111111111111 + 358 6 A . 12222222222222222222221 by A/1 * 11 + 370 18 A . 12222222221111111111111 by A/2 * 12 + 383 5 A . 12222222222222222222222 by A/1 * 13 + 397 19 A . 122222222111111111111110 by A/2 * 14 398 20 B . 1222222221111111111111110 399 19 A . 1222222221111111111111113 + 414 4 A . 1222222222222222222222223 by A/1 * 15 + 430 20 A . 1222222211111111111111113 by A/2 * 16 431 19 A . 1222222211111111111111111 + 447 3 A . 1222222222222222222222221 by A/1 * 16 + 464 20 A . 1222222111111111111111111 by A/2 * 17 + 482 2 A . 1222222222222222222222222 by A/1 * 18 + 501 21 A . 12222211111111111111111110 by A/2 * 19 502 22 B . 122222111111111111111111110 503 21 A . 122222111111111111111111113 + 523 1 A . 122222222222222222222222223 by A/1 * 20 + 544 22 A . 122221111111111111111111113 by A/2 * 21 545 21 A . 122221111111111111111111111 + 566 0 A . 122222222222222222222222221 by A/1 * 21 + 588 22 A . 122211111111111111111111111 by A/2 * 22 + 611 -1 A . 122222222222222222222222222 by A/1 * 23 + 635 23 A . 1221111111111111111111111110 by A/2 * 24 636 24 B . 12211111111111111111111111110 637 23 A . 12211111111111111111111111113 + 662 -2 A . 12222222222222222222222222223 by A/1 * 25 + 688 24 A . 12111111111111111111111111113 by A/2 * 26 689 23 A . 12111111111111111111111111111 + 715 -3 A . 12222222222222222222222222221 by A/1 * 26 + 742 24 A . 11111111111111111111111111111 by A/2 * 27 + 771 -5 A .022222222222222222222222222222 by A/1 * 29 772 -4 B .122222222222222222222222222222 + 801 25 B .1222222222222222222222222222220 by B/2 * 29 802 24 A .1222222222222222222222222222223 803 25 A .1222222222222222222222222222213 804 24 A .1222222222222222222222222222211 805 23 A .1222222222222222222222222222221 + 807 25 A .1222222222222222222222222222111 by A/2 * 2 + 810 22 A .1222222222222222222222222222222 by A/1 * 3 + 814 26 A .12222222222222222222222222211110 by A/2 * 4 815 27 B .122222222222222222222222222111110 816 26 A .122222222222222222222222222111113 + 821 21 A .122222222222222222222222222222223 by A/1 * 5 + 827 27 A .122222222222222222222222221111113 by A/2 * 6 828 26 A .122222222222222222222222221111111 + 834 20 A .122222222222222222222222222222221 by A/1 * 6 + 841 27 A .122222222222222222222222211111111 by A/2 * 7 + 849 19 A .122222222222222222222222222222222 by A/1 * 8 + 858 28 A .1222222222222222222222221111111110 by A/2 * 9 859 29 B .12222222222222222222222211111111110 860 28 A .12222222222222222222222211111111113 + 870 18 A .12222222222222222222222222222222223 by A/1 * 10 + 881 29 A .12222222222222222222222111111111113 by A/2 * 11 882 28 A .12222222222222222222222111111111111 + 893 17 A .12222222222222222222222222222222221 by A/1 * 11 + 905 29 A .12222222222222222222221111111111111 by A/2 * 12 + 918 16 A .12222222222222222222222222222222222 by A/1 * 13 + 932 30 A .122222222222222222222111111111111110 by A/2 * 14 933 31 B .1222222222222222222221111111111111110 934 30 A .1222222222222222222221111111111111113 + 949 15 A .1222222222222222222222222222222222223 by A/1 * 15 + 965 31 A .1222222222222222222211111111111111113 by A/2 * 16 966 30 A .1222222222222222222211111111111111111 + 982 14 A .1222222222222222222222222222222222221 by A/1 * 16 + 999 31 A .1222222222222222222111111111111111111 by A/2 * 17 + 1017 13 A .1222222222222222222222222222222222222 by A/1 * 18 + 1036 32 A .12222222222222222211111111111111111110 by A/2 * 19 1037 33 B .122222222222222222111111111111111111110 1038 32 A .122222222222222222111111111111111111113 + 1058 12 A .122222222222222222222222222222222222223 by A/1 * 20 + 1079 33 A .122222222222222221111111111111111111113 by A/2 * 21 1080 32 A .122222222222222221111111111111111111111 + 1101 11 A .122222222222222222222222222222222222221 by A/1 * 21 + 1123 33 A .122222222222222211111111111111111111111 by A/2 * 22 + 1146 10 A .122222222222222222222222222222222222222 by A/1 * 23 + 1170 34 A .1222222222222221111111111111111111111110 by A/2 * 24 1171 35 B .12222222222222211111111111111111111111110 1172 34 A .12222222222222211111111111111111111111113 + 1197 9 A .12222222222222222222222222222222222222223 by A/1 * 25 + 1223 35 A .12222222222222111111111111111111111111113 by A/2 * 26 1224 34 A .12222222222222111111111111111111111111111 + 1250 8 A .12222222222222222222222222222222222222221 by A/1 * 26 + 1277 35 A .12222222222221111111111111111111111111111 by A/2 * 27 + 1305 7 A .12222222222222222222222222222222222222222 by A/1 * 28 + 1334 36 A .122222222222111111111111111111111111111110 by A/2 * 29 1335 37 B .1222222222221111111111111111111111111111110 1336 36 A .1222222222221111111111111111111111111111113 + 1366 6 A .1222222222222222222222222222222222222222223 by A/1 * 30 + 1397 37 A .1222222222211111111111111111111111111111113 by A/2 * 31 1398 36 A .1222222222211111111111111111111111111111111 + 1429 5 A .1222222222222222222222222222222222222222221 by A/1 * 31 + 1461 37 A .1222222222111111111111111111111111111111111 by A/2 * 32 + 1494 4 A .1222222222222222222222222222222222222222222 by A/1 * 33 + 1528 38 A .12222222211111111111111111111111111111111110 by A/2 * 34 1529 39 B .122222222111111111111111111111111111111111110 1530 38 A .122222222111111111111111111111111111111111113 + 1565 3 A .122222222222222222222222222222222222222222223 by A/1 * 35 + 1601 39 A .122222221111111111111111111111111111111111113 by A/2 * 36 1602 38 A .122222221111111111111111111111111111111111111 + 1638 2 A .122222222222222222222222222222222222222222221 by A/1 * 36 + 1675 39 A .122222211111111111111111111111111111111111111 by A/2 * 37 + 1713 1 A .122222222222222222222222222222222222222222222 by A/1 * 38 + 1752 40 A .1222221111111111111111111111111111111111111110 by A/2 * 39 1753 41 B .12222211111111111111111111111111111111111111110 1754 40 A .12222211111111111111111111111111111111111111113 + 1794 0 A .12222222222222222222222222222222222222222222223 by A/1 * 40 + 1835 41 A .12222111111111111111111111111111111111111111113 by A/2 * 41 1836 40 A .12222111111111111111111111111111111111111111111 + 1877 -1 A .12222222222222222222222222222222222222222222221 by A/1 * 41 + 1919 41 A .12221111111111111111111111111111111111111111111 by A/2 * 42 + 1962 -2 A .12222222222222222222222222222222222222222222222 by A/1 * 43 + 2006 42 A .122111111111111111111111111111111111111111111110 by A/2 * 44 2007 43 B .1221111111111111111111111111111111111111111111110 2008 42 A .1221111111111111111111111111111111111111111111113 + 2053 -3 A .1222222222222222222222222222222222222222222222223 by A/1 * 45 + 2099 43 A .1211111111111111111111111111111111111111111111113 by A/2 * 46 2100 42 A .1211111111111111111111111111111111111111111111111 + 2146 -4 A .1222222222222222222222222222222222222222222222221 by A/1 * 46 + 2193 43 A .1111111111111111111111111111111111111111111111111 by A/2 * 47 + 2242 -6 A 02222222222222222222222222222222222222222222222222 by A/1 * 49 2243 -5 B 12222222222222222222222222222222222222222222222222 + 2292 44 B 122222222222222222222222222222222222222222222222220 by B/2 * 49 After 2292 steps (201 lines): state = B. Produced 50 nonzeros. Tape index 44, scanned [-6 .. 43].
State | Count | Execution count | First in step | ||||||
---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
A | 2157 | 27 | 1078 | 1032 | 20 | 0 | 2 | 6 | 31 |
B | 135 | 23 | 109 | 3 | 1 | 4 | 5 |