Comment: This TM produces >1.9x10^4933 nonzeros in >2.4x10^9866 steps. Comment: This is the currently best known 2x6 TM 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 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
A | 1RB | 2LA | 1RH | 5LB | 5LA | 4LB | 1 | right | B | 2 | left | A | 1 | right | H | 5 | left | B | 5 | left | A | 4 | left | B |
B | 1LA | 4RB | 3RB | 5LB | 1LB | 4RA | 1 | left | A | 4 | right | B | 3 | right | B | 5 | left | B | 1 | left | B | 4 | 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 . . . . . . . . . . . . . . . . . . . . . . 11 3 -1 A . . . . . . . . . . . . . . . . . . . . . .021 4 0 B . . . . . . . . . . . . . . . . . . . . . .121 5 1 B . . . . . . . . . . . . . . . . . . . . . .131 6 2 B . . . . . . . . . . . . . . . . . . . . . .1340 7 1 A . . . . . . . . . . . . . . . . . . . . . .1341 8 0 A . . . . . . . . . . . . . . . . . . . . . .1351 9 -1 B . . . . . . . . . . . . . . . . . . . . . .1551 10 0 B . . . . . . . . . . . . . . . . . . . . . .4551 11 1 A . . . . . . . . . . . . . . . . . . . . . .4451 12 0 B . . . . . . . . . . . . . . . . . . . . . .4441 + 14 -2 B . . . . . . . . . . . . . . . . . . . . . 01141 by B/4 * 2 15 -3 A . . . . . . . . . . . . . . . . . . . . .011141 16 -2 B . . . . . . . . . . . . . . . . . . . . .111141 + 19 1 B . . . . . . . . . . . . . . . . . . . . .144441 by B/1 * 3 + 23 -3 B . . . . . . . . . . . . . . . . . . . . .111111 by B/4 * 4 + 29 3 B . . . . . . . . . . . . . . . . . . . . .4444440 by B/1 * 6 30 2 A . . . . . . . . . . . . . . . . . . . . .4444441 + 36 -4 A . . . . . . . . . . . . . . . . . . . . 05555551 by A/4 * 6 37 -3 B . . . . . . . . . . . . . . . . . . . . 15555551 38 -2 A . . . . . . . . . . . . . . . . . . . . 14555551 39 -3 B . . . . . . . . . . . . . . . . . . . . 14455551 40 -4 B . . . . . . . . . . . . . . . . . . . . 11455551 + 42 -2 B . . . . . . . . . . . . . . . . . . . . 44455551 by B/1 * 2 + 45 -5 B . . . . . . . . . . . . . . . . . . . .011155551 by B/4 * 3 46 -6 A . . . . . . . . . . . . . . . . . . . 0111155551 47 -5 B . . . . . . . . . . . . . . . . . . . 1111155551 + 51 -1 B . . . . . . . . . . . . . . . . . . . 1444455551 by B/1 * 4 52 0 A . . . . . . . . . . . . . . . . . . . 1444445551 53 -1 B . . . . . . . . . . . . . . . . . . . 1444444551 + 58 -6 B . . . . . . . . . . . . . . . . . . . 1111114551 by B/4 * 5 + 64 0 B . . . . . . . . . . . . . . . . . . . 4444444551 by B/1 * 6 + 71 -7 B . . . . . . . . . . . . . . . . . . .01111111551 by B/4 * 7 72 -8 A . . . . . . . . . . . . . . . . . . 011111111551 73 -7 B . . . . . . . . . . . . . . . . . . 111111111551 + 81 1 B . . . . . . . . . . . . . . . . . . 144444444551 by B/1 * 8 82 2 A . . . . . . . . . . . . . . . . . . 144444444451 83 1 B . . . . . . . . . . . . . . . . . . 144444444441 + 92 -8 B . . . . . . . . . . . . . . . . . . 111111111141 by B/4 * 9 + 102 2 B . . . . . . . . . . . . . . . . . . 444444444441 by B/1 * 10 + 113 -9 B . . . . . . . . . . . . . . . . . .0111111111111 by B/4 * 11 114 -10 A . . . . . . . . . . . . . . . . . 01111111111111 115 -9 B . . . . . . . . . . . . . . . . . 11111111111111 + 128 4 B . . . . . . . . . . . . . . . . . 144444444444440 by B/1 * 13 129 3 A . . . . . . . . . . . . . . . . . 144444444444441 + 142 -10 A . . . . . . . . . . . . . . . . . 155555555555551 by A/4 * 13 143 -11 A . . . . . . . . . . . . . . . . .0255555555555551 144 -10 B . . . . . . . . . . . . . . . . .1255555555555551 145 -9 B . . . . . . . . . . . . . . . . .1355555555555551 146 -8 A . . . . . . . . . . . . . . . . .1345555555555551 147 -9 B . . . . . . . . . . . . . . . . .1344555555555551 148 -10 B . . . . . . . . . . . . . . . . .1314555555555551 149 -11 B . . . . . . . . . . . . . . . . .1514555555555551 150 -10 B . . . . . . . . . . . . . . . . .4514555555555551 151 -9 A . . . . . . . . . . . . . . . . .4414555555555551 152 -10 A . . . . . . . . . . . . . . . . .4424555555555551 + 154 -12 A . . . . . . . . . . . . . . . . 05524555555555551 by A/4 * 2 155 -11 B . . . . . . . . . . . . . . . . 15524555555555551 156 -10 A . . . . . . . . . . . . . . . . 14524555555555551 157 -11 B . . . . . . . . . . . . . . . . 14424555555555551 158 -12 B . . . . . . . . . . . . . . . . 11424555555555551 + 160 -10 B . . . . . . . . . . . . . . . . 44424555555555551 by B/1 * 2 + 163 -13 B . . . . . . . . . . . . . . . .011124555555555551 by B/4 * 3 164 -14 A . . . . . . . . . . . . . . . 0111124555555555551 165 -13 B . . . . . . . . . . . . . . . 1111124555555555551 + 169 -9 B . . . . . . . . . . . . . . . 1444424555555555551 by B/1 * 4 170 -8 B . . . . . . . . . . . . . . . 1444434555555555551 171 -9 B . . . . . . . . . . . . . . . 1444431555555555551 172 -10 B . . . . . . . . . . . . . . . 1444451555555555551 + 176 -14 B . . . . . . . . . . . . . . . 1111151555555555551 by B/4 * 4 + 181 -9 B . . . . . . . . . . . . . . . 4444451555555555551 by B/1 * 5 182 -8 A . . . . . . . . . . . . . . . 4444441555555555551 183 -9 A . . . . . . . . . . . . . . . 4444442555555555551 + 189 -15 A . . . . . . . . . . . . . . .05555552555555555551 by A/4 * 6 190 -14 B . . . . . . . . . . . . . . .15555552555555555551 191 -13 A . . . . . . . . . . . . . . .14555552555555555551 192 -14 B . . . . . . . . . . . . . . .14455552555555555551 193 -15 B . . . . . . . . . . . . . . .11455552555555555551 + 195 -13 B . . . . . . . . . . . . . . .44455552555555555551 by B/1 * 2 + 198 -16 B . . . . . . . . . . . . . . 011155552555555555551 by B/4 * 3 199 -17 A . . . . . . . . . . . . . .0111155552555555555551 200 -16 B . . . . . . . . . . . . . .1111155552555555555551 + 204 -12 B . . . . . . . . . . . . . .1444455552555555555551 by B/1 * 4 205 -11 A . . . . . . . . . . . . . .1444445552555555555551 206 -12 B . . . . . . . . . . . . . .1444444552555555555551 + 211 -17 B . . . . . . . . . . . . . .1111114552555555555551 by B/4 * 5 + 217 -11 B . . . . . . . . . . . . . .4444444552555555555551 by B/1 * 6 + 224 -18 B . . . . . . . . . . . . . 01111111552555555555551 by B/4 * 7 225 -19 A . . . . . . . . . . . . .011111111552555555555551 226 -18 B . . . . . . . . . . . . .111111111552555555555551 + 234 -10 B . . . . . . . . . . . . .144444444552555555555551 by B/1 * 8 235 -9 A . . . . . . . . . . . . .144444444452555555555551 236 -10 B . . . . . . . . . . . . .144444444442555555555551 + 245 -19 B . . . . . . . . . . . . .111111111142555555555551 by B/4 * 9 + 255 -9 B . . . . . . . . . . . . .444444444442555555555551 by B/1 * 10 + 266 -20 B . . . . . . . . . . . . 0111111111112555555555551 by B/4 * 11 267 -21 A . . . . . . . . . . . .01111111111112555555555551 268 -20 B . . . . . . . . . . . .11111111111112555555555551 + 280 -8 B . . . . . . . . . . . .14444444444442555555555551 by B/1 * 12 281 -7 B . . . . . . . . . . . .14444444444443555555555551 282 -6 A . . . . . . . . . . . .14444444444443455555555551 283 -7 B . . . . . . . . . . . .14444444444443445555555551 284 -8 B . . . . . . . . . . . .14444444444443145555555551 285 -9 B . . . . . . . . . . . .14444444444445145555555551 + 297 -21 B . . . . . . . . . . . .11111111111115145555555551 by B/4 * 12 + 310 -8 B . . . . . . . . . . . .44444444444445145555555551 by B/1 * 13 311 -7 A . . . . . . . . . . . .44444444444444145555555551 312 -8 A . . . . . . . . . . . .44444444444444245555555551 + 326 -22 A . . . . . . . . . . . 055555555555555245555555551 by A/4 * 14 327 -21 B . . . . . . . . . . . 155555555555555245555555551 328 -20 A . . . . . . . . . . . 145555555555555245555555551 329 -21 B . . . . . . . . . . . 144555555555555245555555551 330 -22 B . . . . . . . . . . . 114555555555555245555555551 + 332 -20 B . . . . . . . . . . . 444555555555555245555555551 by B/1 * 2 + 335 -23 B . . . . . . . . . . .0111555555555555245555555551 by B/4 * 3 336 -24 A . . . . . . . . . . 01111555555555555245555555551 337 -23 B . . . . . . . . . . 11111555555555555245555555551 + 341 -19 B . . . . . . . . . . 14444555555555555245555555551 by B/1 * 4 342 -18 A . . . . . . . . . . 14444455555555555245555555551 343 -19 B . . . . . . . . . . 14444445555555555245555555551 + 348 -24 B . . . . . . . . . . 11111145555555555245555555551 by B/4 * 5 + 354 -18 B . . . . . . . . . . 44444445555555555245555555551 by B/1 * 6 + 361 -25 B . . . . . . . . . .011111115555555555245555555551 by B/4 * 7 362 -26 A . . . . . . . . . 0111111115555555555245555555551 363 -25 B . . . . . . . . . 1111111115555555555245555555551 + 371 -17 B . . . . . . . . . 1444444445555555555245555555551 by B/1 * 8 372 -16 A . . . . . . . . . 1444444444555555555245555555551 373 -17 B . . . . . . . . . 1444444444455555555245555555551 + 382 -26 B . . . . . . . . . 1111111111455555555245555555551 by B/4 * 9 + 392 -16 B . . . . . . . . . 4444444444455555555245555555551 by B/1 * 10 + 403 -27 B . . . . . . . . .01111111111155555555245555555551 by B/4 * 11 404 -28 A . . . . . . . . 011111111111155555555245555555551 405 -27 B . . . . . . . . 111111111111155555555245555555551 + 417 -15 B . . . . . . . . 144444444444455555555245555555551 by B/1 * 12 418 -14 A . . . . . . . . 144444444444445555555245555555551 419 -15 B . . . . . . . . 144444444444444555555245555555551 + 432 -28 B . . . . . . . . 111111111111114555555245555555551 by B/4 * 13 + 446 -14 B . . . . . . . . 444444444444444555555245555555551 by B/1 * 14 + 461 -29 B . . . . . . . .0111111111111111555555245555555551 by B/4 * 15 462 -30 A . . . . . . . 01111111111111111555555245555555551 463 -29 B . . . . . . . 11111111111111111555555245555555551 + 479 -13 B . . . . . . . 14444444444444444555555245555555551 by B/1 * 16 480 -12 A . . . . . . . 14444444444444444455555245555555551 481 -13 B . . . . . . . 14444444444444444445555245555555551 + 498 -30 B . . . . . . . 11111111111111111145555245555555551 by B/4 * 17 + 516 -12 B . . . . . . . 44444444444444444445555245555555551 by B/1 * 18 + 535 -31 B . . . . . . .011111111111111111115555245555555551 by B/4 * 19 536 -32 A . . . . . . 0111111111111111111115555245555555551 537 -31 B . . . . . . 1111111111111111111115555245555555551 + 557 -11 B . . . . . . 1444444444444444444445555245555555551 by B/1 * 20 558 -10 A . . . . . . 1444444444444444444444555245555555551 559 -11 B . . . . . . 1444444444444444444444455245555555551 + 580 -32 B . . . . . . 1111111111111111111111455245555555551 by B/4 * 21 + 602 -10 B . . . . . . 4444444444444444444444455245555555551 by B/1 * 22 + 625 -33 B . . . . . .01111111111111111111111155245555555551 by B/4 * 23 626 -34 A . . . . . 011111111111111111111111155245555555551 627 -33 B . . . . . 111111111111111111111111155245555555551 + 651 -9 B . . . . . 144444444444444444444444455245555555551 by B/1 * 24 652 -8 A . . . . . 144444444444444444444444445245555555551 653 -9 B . . . . . 144444444444444444444444444245555555551 + 678 -34 B . . . . . 111111111111111111111111114245555555551 by B/4 * 25 + 704 -8 B . . . . . 444444444444444444444444444245555555551 by B/1 * 26 + 731 -35 B . . . . .0111111111111111111111111111245555555551 by B/4 * 27 732 -36 A . . . . 01111111111111111111111111111245555555551 733 -35 B . . . . 11111111111111111111111111111245555555551 + 761 -7 B . . . . 14444444444444444444444444444245555555551 by B/1 * 28 762 -6 B . . . . 14444444444444444444444444444345555555551 763 -7 B . . . . 14444444444444444444444444444315555555551 764 -8 B . . . . 14444444444444444444444444444515555555551 + 792 -36 B . . . . 11111111111111111111111111111515555555551 by B/4 * 28 + 821 -7 B . . . . 44444444444444444444444444444515555555551 by B/1 * 29 822 -6 A . . . . 44444444444444444444444444444415555555551 823 -7 A . . . . 44444444444444444444444444444425555555551 + 853 -37 A . . . .055555555555555555555555555555525555555551 by A/4 * 30 854 -36 B . . . .155555555555555555555555555555525555555551 855 -35 A . . . .145555555555555555555555555555525555555551 856 -36 B . . . .144555555555555555555555555555525555555551 857 -37 B . . . .114555555555555555555555555555525555555551 + 859 -35 B . . . .444555555555555555555555555555525555555551 by B/1 * 2 + 862 -38 B . . . 0111555555555555555555555555555525555555551 by B/4 * 3 863 -39 A . . .01111555555555555555555555555555525555555551 864 -38 B . . .11111555555555555555555555555555525555555551 + 868 -34 B . . .14444555555555555555555555555555525555555551 by B/1 * 4 869 -33 A . . .14444455555555555555555555555555525555555551 870 -34 B . . .14444445555555555555555555555555525555555551 + 875 -39 B . . .11111145555555555555555555555555525555555551 by B/4 * 5 + 881 -33 B . . .44444445555555555555555555555555525555555551 by B/1 * 6 + 888 -40 B . . 011111115555555555555555555555555525555555551 by B/4 * 7 889 -41 A . .0111111115555555555555555555555555525555555551 890 -40 B . .1111111115555555555555555555555555525555555551 + 898 -32 B . .1444444445555555555555555555555555525555555551 by B/1 * 8 899 -31 A . .1444444444555555555555555555555555525555555551 900 -32 B . .1444444444455555555555555555555555525555555551 + 909 -41 B . .1111111111455555555555555555555555525555555551 by B/4 * 9 + 919 -31 B . .4444444444455555555555555555555555525555555551 by B/1 * 10 + 930 -42 B . 01111111111155555555555555555555555525555555551 by B/4 * 11 931 -43 A .011111111111155555555555555555555555525555555551 932 -42 B .111111111111155555555555555555555555525555555551 + 944 -30 B .144444444444455555555555555555555555525555555551 by B/1 * 12 After 944 steps (201 lines): state = B. Produced 48 nonzeros. Tape index -30, scanned [-43 .. 4].
State | Count | Execution count | First in step | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||
A | 125 | 26 | 6 | 1 | 72 | 20 | 0 | 2 | 8 | 7 | 11 | ||
B | 819 | 22 | 402 | 5 | 4 | 362 | 24 | 1 | 5 | 4 | 148 | 12 | 10 |