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 | 3LA | 1LA | 1RA | 1 | right | B | 3 | left | A | 1 | left | A | 1 | right | A |
B | 2LA | 1RH | 3RA | 3RB | 2 | left | A | 1 | right | H | 3 | right | A | 3 | 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 . . . 12 3 -1 A . . .032 4 0 B . . .132 5 1 B . . .132 6 2 A . . .1330 7 3 B . . .13310 8 2 A . . .13312 9 1 A . . .13332 + 11 3 A . . .13112 by A/3 * 2 12 2 A . . .13111 + 14 0 A . . .13331 by A/1 * 2 + 17 3 A . . .11111 by A/3 * 3 + 22 -2 A . . 033333 by A/1 * 5 23 -1 B . . 133333 + 28 4 B . . 1333330 by B/3 * 5 29 3 A . . 1333332 30 4 A . . 1333312 31 3 A . . 1333311 32 2 A . . 1333331 + 34 4 A . . 1333111 by A/3 * 2 + 37 1 A . . 1333333 by A/1 * 3 + 41 5 A . . 13311110 by A/3 * 4 42 6 B . . 133111110 43 5 A . . 133111112 + 48 0 A . . 133333332 by A/1 * 5 + 54 6 A . . 131111112 by A/3 * 6 55 5 A . . 131111111 + 61 -1 A . . 133333331 by A/1 * 6 + 68 6 A . . 111111111 by A/3 * 7 + 77 -3 A . .0333333333 by A/1 * 9 78 -2 B . .1333333333 + 87 7 B . .13333333330 by B/3 * 9 88 6 A . .13333333332 89 7 A . .13333333312 90 6 A . .13333333311 91 5 A . .13333333331 + 93 7 A . .13333333111 by A/3 * 2 + 96 4 A . .13333333333 by A/1 * 3 + 100 8 A . .133333311110 by A/3 * 4 101 9 B . .1333333111110 102 8 A . .1333333111112 + 107 3 A . .1333333333332 by A/1 * 5 + 113 9 A . .1333331111112 by A/3 * 6 114 8 A . .1333331111111 + 120 2 A . .1333333333331 by A/1 * 6 + 127 9 A . .1333311111111 by A/3 * 7 + 135 1 A . .1333333333333 by A/1 * 8 + 144 10 A . .13331111111110 by A/3 * 9 145 11 B . .133311111111110 146 10 A . .133311111111112 + 156 0 A . .133333333333332 by A/1 * 10 + 167 11 A . .133111111111112 by A/3 * 11 168 10 A . .133111111111111 + 179 -1 A . .133333333333331 by A/1 * 11 + 191 11 A . .131111111111111 by A/3 * 12 + 204 -2 A . .133333333333333 by A/1 * 13 + 218 12 A . .1111111111111110 by A/3 * 14 219 13 B . .11111111111111110 220 12 A . .11111111111111112 + 236 -4 A . 033333333333333332 by A/1 * 16 237 -3 B . 133333333333333332 + 253 13 B . 133333333333333332 by B/3 * 16 254 14 A . 1333333333333333330 255 15 B . 13333333333333333310 256 14 A . 13333333333333333312 257 13 A . 13333333333333333332 + 259 15 A . 13333333333333333112 by A/3 * 2 260 14 A . 13333333333333333111 + 262 12 A . 13333333333333333331 by A/1 * 2 + 265 15 A . 13333333333333331111 by A/3 * 3 + 269 11 A . 13333333333333333333 by A/1 * 4 + 274 16 A . 133333333333333111110 by A/3 * 5 275 17 B . 1333333333333331111110 276 16 A . 1333333333333331111112 + 282 10 A . 1333333333333333333332 by A/1 * 6 + 289 17 A . 1333333333333311111112 by A/3 * 7 290 16 A . 1333333333333311111111 + 297 9 A . 1333333333333333333331 by A/1 * 7 + 305 17 A . 1333333333333111111111 by A/3 * 8 + 314 8 A . 1333333333333333333333 by A/1 * 9 + 324 18 A . 13333333333311111111110 by A/3 * 10 325 19 B . 133333333333111111111110 326 18 A . 133333333333111111111112 + 337 7 A . 133333333333333333333332 by A/1 * 11 + 349 19 A . 133333333331111111111112 by A/3 * 12 350 18 A . 133333333331111111111111 + 362 6 A . 133333333333333333333331 by A/1 * 12 + 375 19 A . 133333333311111111111111 by A/3 * 13 + 389 5 A . 133333333333333333333333 by A/1 * 14 + 404 20 A . 1333333331111111111111110 by A/3 * 15 405 21 B . 13333333311111111111111110 406 20 A . 13333333311111111111111112 + 422 4 A . 13333333333333333333333332 by A/1 * 16 + 439 21 A . 13333333111111111111111112 by A/3 * 17 440 20 A . 13333333111111111111111111 + 457 3 A . 13333333333333333333333331 by A/1 * 17 + 475 21 A . 13333331111111111111111111 by A/3 * 18 + 494 2 A . 13333333333333333333333333 by A/1 * 19 + 514 22 A . 133333111111111111111111110 by A/3 * 20 515 23 B . 1333331111111111111111111110 516 22 A . 1333331111111111111111111112 + 537 1 A . 1333333333333333333333333332 by A/1 * 21 + 559 23 A . 1333311111111111111111111112 by A/3 * 22 560 22 A . 1333311111111111111111111111 + 582 0 A . 1333333333333333333333333331 by A/1 * 22 + 605 23 A . 1333111111111111111111111111 by A/3 * 23 + 629 -1 A . 1333333333333333333333333333 by A/1 * 24 + 654 24 A . 13311111111111111111111111110 by A/3 * 25 655 25 B . 133111111111111111111111111110 656 24 A . 133111111111111111111111111112 + 682 -2 A . 133333333333333333333333333332 by A/1 * 26 + 709 25 A . 131111111111111111111111111112 by A/3 * 27 710 24 A . 131111111111111111111111111111 + 737 -3 A . 133333333333333333333333333331 by A/1 * 27 + 765 25 A . 111111111111111111111111111111 by A/3 * 28 + 795 -5 A .0333333333333333333333333333333 by A/1 * 30 796 -4 B .1333333333333333333333333333333 + 826 26 B .13333333333333333333333333333330 by B/3 * 30 827 25 A .13333333333333333333333333333332 828 26 A .13333333333333333333333333333312 829 25 A .13333333333333333333333333333311 830 24 A .13333333333333333333333333333331 + 832 26 A .13333333333333333333333333333111 by A/3 * 2 + 835 23 A .13333333333333333333333333333333 by A/1 * 3 + 839 27 A .133333333333333333333333333311110 by A/3 * 4 840 28 B .1333333333333333333333333333111110 841 27 A .1333333333333333333333333333111112 + 846 22 A .1333333333333333333333333333333332 by A/1 * 5 + 852 28 A .1333333333333333333333333331111112 by A/3 * 6 853 27 A .1333333333333333333333333331111111 + 859 21 A .1333333333333333333333333333333331 by A/1 * 6 + 866 28 A .1333333333333333333333333311111111 by A/3 * 7 + 874 20 A .1333333333333333333333333333333333 by A/1 * 8 + 883 29 A .13333333333333333333333331111111110 by A/3 * 9 884 30 B .133333333333333333333333311111111110 885 29 A .133333333333333333333333311111111112 + 895 19 A .133333333333333333333333333333333332 by A/1 * 10 + 906 30 A .133333333333333333333333111111111112 by A/3 * 11 907 29 A .133333333333333333333333111111111111 + 918 18 A .133333333333333333333333333333333331 by A/1 * 11 + 930 30 A .133333333333333333333331111111111111 by A/3 * 12 + 943 17 A .133333333333333333333333333333333333 by A/1 * 13 + 957 31 A .1333333333333333333333111111111111110 by A/3 * 14 958 32 B .13333333333333333333331111111111111110 959 31 A .13333333333333333333331111111111111112 + 974 16 A .13333333333333333333333333333333333332 by A/1 * 15 + 990 32 A .13333333333333333333311111111111111112 by A/3 * 16 991 31 A .13333333333333333333311111111111111111 + 1007 15 A .13333333333333333333333333333333333331 by A/1 * 16 + 1024 32 A .13333333333333333333111111111111111111 by A/3 * 17 + 1042 14 A .13333333333333333333333333333333333333 by A/1 * 18 + 1061 33 A .133333333333333333311111111111111111110 by A/3 * 19 1062 34 B .1333333333333333333111111111111111111110 1063 33 A .1333333333333333333111111111111111111112 + 1083 13 A .1333333333333333333333333333333333333332 by A/1 * 20 + 1104 34 A .1333333333333333331111111111111111111112 by A/3 * 21 1105 33 A .1333333333333333331111111111111111111111 + 1126 12 A .1333333333333333333333333333333333333331 by A/1 * 21 + 1148 34 A .1333333333333333311111111111111111111111 by A/3 * 22 + 1171 11 A .1333333333333333333333333333333333333333 by A/1 * 23 + 1195 35 A .13333333333333331111111111111111111111110 by A/3 * 24 1196 36 B .133333333333333311111111111111111111111110 1197 35 A .133333333333333311111111111111111111111112 + 1222 10 A .133333333333333333333333333333333333333332 by A/1 * 25 + 1248 36 A .133333333333333111111111111111111111111112 by A/3 * 26 1249 35 A .133333333333333111111111111111111111111111 + 1275 9 A .133333333333333333333333333333333333333331 by A/1 * 26 + 1302 36 A .133333333333331111111111111111111111111111 by A/3 * 27 + 1330 8 A .133333333333333333333333333333333333333333 by A/1 * 28 + 1359 37 A .1333333333333111111111111111111111111111110 by A/3 * 29 1360 38 B .13333333333331111111111111111111111111111110 1361 37 A .13333333333331111111111111111111111111111112 + 1391 7 A .13333333333333333333333333333333333333333332 by A/1 * 30 + 1422 38 A .13333333333311111111111111111111111111111112 by A/3 * 31 1423 37 A .13333333333311111111111111111111111111111111 + 1454 6 A .13333333333333333333333333333333333333333331 by A/1 * 31 + 1486 38 A .13333333333111111111111111111111111111111111 by A/3 * 32 + 1519 5 A .13333333333333333333333333333333333333333333 by A/1 * 33 + 1553 39 A .133333333311111111111111111111111111111111110 by A/3 * 34 1554 40 B .1333333333111111111111111111111111111111111110 1555 39 A .1333333333111111111111111111111111111111111112 + 1590 4 A .1333333333333333333333333333333333333333333332 by A/1 * 35 + 1626 40 A .1333333331111111111111111111111111111111111112 by A/3 * 36 1627 39 A .1333333331111111111111111111111111111111111111 + 1663 3 A .1333333333333333333333333333333333333333333331 by A/1 * 36 + 1700 40 A .1333333311111111111111111111111111111111111111 by A/3 * 37 + 1738 2 A .1333333333333333333333333333333333333333333333 by A/1 * 38 + 1777 41 A .13333331111111111111111111111111111111111111110 by A/3 * 39 1778 42 B .133333311111111111111111111111111111111111111110 1779 41 A .133333311111111111111111111111111111111111111112 + 1819 1 A .133333333333333333333333333333333333333333333332 by A/1 * 40 + 1860 42 A .133333111111111111111111111111111111111111111112 by A/3 * 41 1861 41 A .133333111111111111111111111111111111111111111111 + 1902 0 A .133333333333333333333333333333333333333333333331 by A/1 * 41 + 1944 42 A .133331111111111111111111111111111111111111111111 by A/3 * 42 + 1987 -1 A .133333333333333333333333333333333333333333333333 by A/1 * 43 + 2031 43 A .1333111111111111111111111111111111111111111111110 by A/3 * 44 2032 44 B .13331111111111111111111111111111111111111111111110 2033 43 A .13331111111111111111111111111111111111111111111112 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 | 21 | 949 | 0 | 2 | 11 | 9 |
B | 87 | 24 | 2 | 61 | 1 | 5 | 4 |