Comment: Taken (cited) from P.Michel Comment: This TM produces 90 nonzeros in 7195 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 | 2RA | 3 | left | A | 1 | right | H | 2 | right | B | 2 | right | 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 2 A . . .1220 7 3 B . . .12210 8 2 A . . .12213 9 1 A . . .12223 + 11 3 A . . .12113 by A/2 * 2 12 2 A . . .12111 + 14 0 A . . .12221 by A/1 * 2 + 17 3 A . . .11111 by A/2 * 3 + 22 -2 A . . 022222 by A/1 * 5 23 -1 B . . 122222 + 28 4 B . . 1222220 by B/2 * 5 29 3 A . . 1222223 30 4 A . . 1222213 31 3 A . . 1222211 32 2 A . . 1222221 + 34 4 A . . 1222111 by A/2 * 2 + 37 1 A . . 1222222 by A/1 * 3 + 41 5 A . . 12211110 by A/2 * 4 42 6 B . . 122111110 43 5 A . . 122111113 + 48 0 A . . 122222223 by A/1 * 5 + 54 6 A . . 121111113 by A/2 * 6 55 5 A . . 121111111 + 61 -1 A . . 122222221 by A/1 * 6 + 68 6 A . . 111111111 by A/2 * 7 + 77 -3 A . .0222222222 by A/1 * 9 78 -2 B . .1222222222 + 87 7 B . .12222222220 by B/2 * 9 88 6 A . .12222222223 89 7 A . .12222222213 90 6 A . .12222222211 91 5 A . .12222222221 + 93 7 A . .12222222111 by A/2 * 2 + 96 4 A . .12222222222 by A/1 * 3 + 100 8 A . .122222211110 by A/2 * 4 101 9 B . .1222222111110 102 8 A . .1222222111113 + 107 3 A . .1222222222223 by A/1 * 5 + 113 9 A . .1222221111113 by A/2 * 6 114 8 A . .1222221111111 + 120 2 A . .1222222222221 by A/1 * 6 + 127 9 A . .1222211111111 by A/2 * 7 + 135 1 A . .1222222222222 by A/1 * 8 + 144 10 A . .12221111111110 by A/2 * 9 145 11 B . .122211111111110 146 10 A . .122211111111113 + 156 0 A . .122222222222223 by A/1 * 10 + 167 11 A . .122111111111113 by A/2 * 11 168 10 A . .122111111111111 + 179 -1 A . .122222222222221 by A/1 * 11 + 191 11 A . .121111111111111 by A/2 * 12 + 204 -2 A . .122222222222222 by A/1 * 13 + 218 12 A . .1111111111111110 by A/2 * 14 219 13 B . .11111111111111110 220 12 A . .11111111111111113 + 236 -4 A . 022222222222222223 by A/1 * 16 237 -3 B . 122222222222222223 + 253 13 B . 122222222222222223 by B/2 * 16 254 14 A . 1222222222222222220 255 15 B . 12222222222222222210 256 14 A . 12222222222222222213 257 13 A . 12222222222222222223 + 259 15 A . 12222222222222222113 by A/2 * 2 260 14 A . 12222222222222222111 + 262 12 A . 12222222222222222221 by A/1 * 2 + 265 15 A . 12222222222222221111 by A/2 * 3 + 269 11 A . 12222222222222222222 by A/1 * 4 + 274 16 A . 122222222222222111110 by A/2 * 5 275 17 B . 1222222222222221111110 276 16 A . 1222222222222221111113 + 282 10 A . 1222222222222222222223 by A/1 * 6 + 289 17 A . 1222222222222211111113 by A/2 * 7 290 16 A . 1222222222222211111111 + 297 9 A . 1222222222222222222221 by A/1 * 7 + 305 17 A . 1222222222222111111111 by A/2 * 8 + 314 8 A . 1222222222222222222222 by A/1 * 9 + 324 18 A . 12222222222211111111110 by A/2 * 10 325 19 B . 122222222222111111111110 326 18 A . 122222222222111111111113 + 337 7 A . 122222222222222222222223 by A/1 * 11 + 349 19 A . 122222222221111111111113 by A/2 * 12 350 18 A . 122222222221111111111111 + 362 6 A . 122222222222222222222221 by A/1 * 12 + 375 19 A . 122222222211111111111111 by A/2 * 13 + 389 5 A . 122222222222222222222222 by A/1 * 14 + 404 20 A . 1222222221111111111111110 by A/2 * 15 405 21 B . 12222222211111111111111110 406 20 A . 12222222211111111111111113 + 422 4 A . 12222222222222222222222223 by A/1 * 16 + 439 21 A . 12222222111111111111111113 by A/2 * 17 440 20 A . 12222222111111111111111111 + 457 3 A . 12222222222222222222222221 by A/1 * 17 + 475 21 A . 12222221111111111111111111 by A/2 * 18 + 494 2 A . 12222222222222222222222222 by A/1 * 19 + 514 22 A . 122222111111111111111111110 by A/2 * 20 515 23 B . 1222221111111111111111111110 516 22 A . 1222221111111111111111111113 + 537 1 A . 1222222222222222222222222223 by A/1 * 21 + 559 23 A . 1222211111111111111111111113 by A/2 * 22 560 22 A . 1222211111111111111111111111 + 582 0 A . 1222222222222222222222222221 by A/1 * 22 + 605 23 A . 1222111111111111111111111111 by A/2 * 23 + 629 -1 A . 1222222222222222222222222222 by A/1 * 24 + 654 24 A . 12211111111111111111111111110 by A/2 * 25 655 25 B . 122111111111111111111111111110 656 24 A . 122111111111111111111111111113 + 682 -2 A . 122222222222222222222222222223 by A/1 * 26 + 709 25 A . 121111111111111111111111111113 by A/2 * 27 710 24 A . 121111111111111111111111111111 + 737 -3 A . 122222222222222222222222222221 by A/1 * 27 + 765 25 A . 111111111111111111111111111111 by A/2 * 28 + 795 -5 A .0222222222222222222222222222222 by A/1 * 30 796 -4 B .1222222222222222222222222222222 + 826 26 B .12222222222222222222222222222220 by B/2 * 30 827 25 A .12222222222222222222222222222223 828 26 A .12222222222222222222222222222213 829 25 A .12222222222222222222222222222211 830 24 A .12222222222222222222222222222221 + 832 26 A .12222222222222222222222222222111 by A/2 * 2 + 835 23 A .12222222222222222222222222222222 by A/1 * 3 + 839 27 A .122222222222222222222222222211110 by A/2 * 4 840 28 B .1222222222222222222222222222111110 841 27 A .1222222222222222222222222222111113 + 846 22 A .1222222222222222222222222222222223 by A/1 * 5 + 852 28 A .1222222222222222222222222221111113 by A/2 * 6 853 27 A .1222222222222222222222222221111111 + 859 21 A .1222222222222222222222222222222221 by A/1 * 6 + 866 28 A .1222222222222222222222222211111111 by A/2 * 7 + 874 20 A .1222222222222222222222222222222222 by A/1 * 8 + 883 29 A .12222222222222222222222221111111110 by A/2 * 9 884 30 B .122222222222222222222222211111111110 885 29 A .122222222222222222222222211111111113 + 895 19 A .122222222222222222222222222222222223 by A/1 * 10 + 906 30 A .122222222222222222222222111111111113 by A/2 * 11 907 29 A .122222222222222222222222111111111111 + 918 18 A .122222222222222222222222222222222221 by A/1 * 11 + 930 30 A .122222222222222222222221111111111111 by A/2 * 12 + 943 17 A .122222222222222222222222222222222222 by A/1 * 13 + 957 31 A .1222222222222222222222111111111111110 by A/2 * 14 958 32 B .12222222222222222222221111111111111110 959 31 A .12222222222222222222221111111111111113 + 974 16 A .12222222222222222222222222222222222223 by A/1 * 15 + 990 32 A .12222222222222222222211111111111111113 by A/2 * 16 991 31 A .12222222222222222222211111111111111111 + 1007 15 A .12222222222222222222222222222222222221 by A/1 * 16 + 1024 32 A .12222222222222222222111111111111111111 by A/2 * 17 + 1042 14 A .12222222222222222222222222222222222222 by A/1 * 18 + 1061 33 A .122222222222222222211111111111111111110 by A/2 * 19 1062 34 B .1222222222222222222111111111111111111110 1063 33 A .1222222222222222222111111111111111111113 + 1083 13 A .1222222222222222222222222222222222222223 by A/1 * 20 + 1104 34 A .1222222222222222221111111111111111111113 by A/2 * 21 1105 33 A .1222222222222222221111111111111111111111 + 1126 12 A .1222222222222222222222222222222222222221 by A/1 * 21 + 1148 34 A .1222222222222222211111111111111111111111 by A/2 * 22 + 1171 11 A .1222222222222222222222222222222222222222 by A/1 * 23 + 1195 35 A .12222222222222221111111111111111111111110 by A/2 * 24 1196 36 B .122222222222222211111111111111111111111110 1197 35 A .122222222222222211111111111111111111111113 + 1222 10 A .122222222222222222222222222222222222222223 by A/1 * 25 + 1248 36 A .122222222222222111111111111111111111111113 by A/2 * 26 1249 35 A .122222222222222111111111111111111111111111 + 1275 9 A .122222222222222222222222222222222222222221 by A/1 * 26 + 1302 36 A .122222222222221111111111111111111111111111 by A/2 * 27 + 1330 8 A .122222222222222222222222222222222222222222 by A/1 * 28 + 1359 37 A .1222222222222111111111111111111111111111110 by A/2 * 29 1360 38 B .12222222222221111111111111111111111111111110 1361 37 A .12222222222221111111111111111111111111111113 + 1391 7 A .12222222222222222222222222222222222222222223 by A/1 * 30 + 1422 38 A .12222222222211111111111111111111111111111113 by A/2 * 31 1423 37 A .12222222222211111111111111111111111111111111 + 1454 6 A .12222222222222222222222222222222222222222221 by A/1 * 31 + 1486 38 A .12222222222111111111111111111111111111111111 by A/2 * 32 + 1519 5 A .12222222222222222222222222222222222222222222 by A/1 * 33 + 1553 39 A .122222222211111111111111111111111111111111110 by A/2 * 34 1554 40 B .1222222222111111111111111111111111111111111110 1555 39 A .1222222222111111111111111111111111111111111113 + 1590 4 A .1222222222222222222222222222222222222222222223 by A/1 * 35 + 1626 40 A .1222222221111111111111111111111111111111111113 by A/2 * 36 1627 39 A .1222222221111111111111111111111111111111111111 + 1663 3 A .1222222222222222222222222222222222222222222221 by A/1 * 36 + 1700 40 A .1222222211111111111111111111111111111111111111 by A/2 * 37 + 1738 2 A .1222222222222222222222222222222222222222222222 by A/1 * 38 + 1777 41 A .12222221111111111111111111111111111111111111110 by A/2 * 39 1778 42 B .122222211111111111111111111111111111111111111110 1779 41 A .122222211111111111111111111111111111111111111113 + 1819 1 A .122222222222222222222222222222222222222222222223 by A/1 * 40 + 1860 42 A .122222111111111111111111111111111111111111111113 by A/2 * 41 1861 41 A .122222111111111111111111111111111111111111111111 + 1902 0 A .122222222222222222222222222222222222222222222221 by A/1 * 41 + 1944 42 A .122221111111111111111111111111111111111111111111 by A/2 * 42 + 1987 -1 A .122222222222222222222222222222222222222222222222 by A/1 * 43 + 2031 43 A .1222111111111111111111111111111111111111111111110 by A/2 * 44 2032 44 B .12221111111111111111111111111111111111111111111110 2033 43 A .12221111111111111111111111111111111111111111111113 After 2033 steps (201 lines): state = A. Produced 50 nonzeros. Tape index 43, scanned [-5 .. 44].
State | Count | Execution count | First in step | ||||||
---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
A | 1946 | 26 | 950 | 949 | 21 | 0 | 2 | 9 | 11 |
B | 87 | 24 | 61 | 2 | 1 | 4 | 5 |