Comment: This TM produces 4097 ones in 11798796 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State | on 0 |
on 1 |
on 0 | on 1 | ||||
---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | |||||
A | B1L | A1L | 1 | left | B | 1 | left | A |
B | C1R | D1L | 1 | right | C | 1 | left | D |
C | A1R | C1R | 1 | right | A | 1 | right | C |
D | H1L | E0L | 1 | left | H | 0 | left | E |
E | C1R | B1L | 1 | right | C | 1 | left | B |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 3-macro machine. The same TM as 3-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . . . . . . . . . . . . . . . . . . . . . 0 1 -1 B . . . . . . . . . . . . . . . . . . . . . . .01 2 0 C . . . . . . . . . . . . . . . . . . . . . . .11 3 1 C . . . . . . . . . . . . . . . . . . . . . . .110 4 2 A . . . . . . . . . . . . . . . . . . . . . . .1110 5 1 B . . . . . . . . . . . . . . . . . . . . . . .1111 6 0 D . . . . . . . . . . . . . . . . . . . . . . .1111 7 -1 E . . . . . . . . . . . . . . . . . . . . . . .1011 8 -2 B . . . . . . . . . . . . . . . . . . . . . . 01011 9 -1 C . . . . . . . . . . . . . . . . . . . . . . 11011 10 0 C . . . . . . . . . . . . . . . . . . . . . . 11011 11 1 A . . . . . . . . . . . . . . . . . . . . . . 11111 + 15 -3 A . . . . . . . . . . . . . . . . . . . . . .011111 by A/1 * 4 16 -4 B . . . . . . . . . . . . . . . . . . . . . 0111111 17 -3 C . . . . . . . . . . . . . . . . . . . . . 1111111 + 23 3 C . . . . . . . . . . . . . . . . . . . . . 11111110 by C/1 * 6 24 4 A . . . . . . . . . . . . . . . . . . . . . 111111110 25 3 B . . . . . . . . . . . . . . . . . . . . . 111111111 26 2 D . . . . . . . . . . . . . . . . . . . . . 111111111 27 1 E . . . . . . . . . . . . . . . . . . . . . 111111011 28 0 B . . . . . . . . . . . . . . . . . . . . . 111111011 29 -1 D . . . . . . . . . . . . . . . . . . . . . 111111011 30 -2 E . . . . . . . . . . . . . . . . . . . . . 111011011 31 -3 B . . . . . . . . . . . . . . . . . . . . . 111011011 32 -4 D . . . . . . . . . . . . . . . . . . . . . 111011011 33 -5 E . . . . . . . . . . . . . . . . . . . . .0011011011 34 -4 C . . . . . . . . . . . . . . . . . . . . .1011011011 35 -3 A . . . . . . . . . . . . . . . . . . . . .1111011011 + 38 -6 A . . . . . . . . . . . . . . . . . . . . 01111011011 by A/1 * 3 39 -7 B . . . . . . . . . . . . . . . . . . . .011111011011 40 -6 C . . . . . . . . . . . . . . . . . . . .111111011011 + 45 -1 C . . . . . . . . . . . . . . . . . . . .111111011011 by C/1 * 5 46 0 A . . . . . . . . . . . . . . . . . . . .111111111011 + 54 -8 A . . . . . . . . . . . . . . . . . . . 0111111111011 by A/1 * 8 55 -9 B . . . . . . . . . . . . . . . . . . .01111111111011 56 -8 C . . . . . . . . . . . . . . . . . . .11111111111011 + 66 2 C . . . . . . . . . . . . . . . . . . .11111111111011 by C/1 * 10 67 3 A . . . . . . . . . . . . . . . . . . .11111111111111 + 80 -10 A . . . . . . . . . . . . . . . . . . 011111111111111 by A/1 * 13 81 -11 B . . . . . . . . . . . . . . . . . .0111111111111111 82 -10 C . . . . . . . . . . . . . . . . . .1111111111111111 + 97 5 C . . . . . . . . . . . . . . . . . .11111111111111110 by C/1 * 15 98 6 A . . . . . . . . . . . . . . . . . .111111111111111110 99 5 B . . . . . . . . . . . . . . . . . .111111111111111111 100 4 D . . . . . . . . . . . . . . . . . .111111111111111111 101 3 E . . . . . . . . . . . . . . . . . .111111111111111011 102 2 B . . . . . . . . . . . . . . . . . .111111111111111011 103 1 D . . . . . . . . . . . . . . . . . .111111111111111011 104 0 E . . . . . . . . . . . . . . . . . .111111111111011011 105 -1 B . . . . . . . . . . . . . . . . . .111111111111011011 106 -2 D . . . . . . . . . . . . . . . . . .111111111111011011 107 -3 E . . . . . . . . . . . . . . . . . .111111111011011011 108 -4 B . . . . . . . . . . . . . . . . . .111111111011011011 109 -5 D . . . . . . . . . . . . . . . . . .111111111011011011 110 -6 E . . . . . . . . . . . . . . . . . .111111011011011011 111 -7 B . . . . . . . . . . . . . . . . . .111111011011011011 112 -8 D . . . . . . . . . . . . . . . . . .111111011011011011 113 -9 E . . . . . . . . . . . . . . . . . .111011011011011011 114 -10 B . . . . . . . . . . . . . . . . . .111011011011011011 115 -11 D . . . . . . . . . . . . . . . . . .111011011011011011 116 -12 E . . . . . . . . . . . . . . . . . 0011011011011011011 117 -11 C . . . . . . . . . . . . . . . . . 1011011011011011011 118 -10 A . . . . . . . . . . . . . . . . . 1111011011011011011 + 121 -13 A . . . . . . . . . . . . . . . . .01111011011011011011 by A/1 * 3 122 -14 B . . . . . . . . . . . . . . . . 011111011011011011011 123 -13 C . . . . . . . . . . . . . . . . 111111011011011011011 + 128 -8 C . . . . . . . . . . . . . . . . 111111011011011011011 by C/1 * 5 129 -7 A . . . . . . . . . . . . . . . . 111111111011011011011 + 137 -15 A . . . . . . . . . . . . . . . .0111111111011011011011 by A/1 * 8 138 -16 B . . . . . . . . . . . . . . . 01111111111011011011011 139 -15 C . . . . . . . . . . . . . . . 11111111111011011011011 + 149 -5 C . . . . . . . . . . . . . . . 11111111111011011011011 by C/1 * 10 150 -4 A . . . . . . . . . . . . . . . 11111111111111011011011 + 163 -17 A . . . . . . . . . . . . . . .011111111111111011011011 by A/1 * 13 164 -18 B . . . . . . . . . . . . . . 0111111111111111011011011 165 -17 C . . . . . . . . . . . . . . 1111111111111111011011011 + 180 -2 C . . . . . . . . . . . . . . 1111111111111111011011011 by C/1 * 15 181 -1 A . . . . . . . . . . . . . . 1111111111111111111011011 + 199 -19 A . . . . . . . . . . . . . .01111111111111111111011011 by A/1 * 18 200 -20 B . . . . . . . . . . . . . 011111111111111111111011011 201 -19 C . . . . . . . . . . . . . 111111111111111111111011011 + 221 1 C . . . . . . . . . . . . . 111111111111111111111011011 by C/1 * 20 222 2 A . . . . . . . . . . . . . 111111111111111111111111011 + 245 -21 A . . . . . . . . . . . . .0111111111111111111111111011 by A/1 * 23 246 -22 B . . . . . . . . . . . . 01111111111111111111111111011 247 -21 C . . . . . . . . . . . . 11111111111111111111111111011 + 272 4 C . . . . . . . . . . . . 11111111111111111111111111011 by C/1 * 25 273 5 A . . . . . . . . . . . . 11111111111111111111111111111 + 301 -23 A . . . . . . . . . . . .011111111111111111111111111111 by A/1 * 28 302 -24 B . . . . . . . . . . . 0111111111111111111111111111111 303 -23 C . . . . . . . . . . . 1111111111111111111111111111111 + 333 7 C . . . . . . . . . . . 11111111111111111111111111111110 by C/1 * 30 334 8 A . . . . . . . . . . . 111111111111111111111111111111110 335 7 B . . . . . . . . . . . 111111111111111111111111111111111 336 6 D . . . . . . . . . . . 111111111111111111111111111111111 337 5 E . . . . . . . . . . . 111111111111111111111111111111011 338 4 B . . . . . . . . . . . 111111111111111111111111111111011 339 3 D . . . . . . . . . . . 111111111111111111111111111111011 340 2 E . . . . . . . . . . . 111111111111111111111111111011011 341 1 B . . . . . . . . . . . 111111111111111111111111111011011 342 0 D . . . . . . . . . . . 111111111111111111111111111011011 343 -1 E . . . . . . . . . . . 111111111111111111111111011011011 344 -2 B . . . . . . . . . . . 111111111111111111111111011011011 345 -3 D . . . . . . . . . . . 111111111111111111111111011011011 346 -4 E . . . . . . . . . . . 111111111111111111111011011011011 347 -5 B . . . . . . . . . . . 111111111111111111111011011011011 348 -6 D . . . . . . . . . . . 111111111111111111111011011011011 349 -7 E . . . . . . . . . . . 111111111111111111011011011011011 350 -8 B . . . . . . . . . . . 111111111111111111011011011011011 351 -9 D . . . . . . . . . . . 111111111111111111011011011011011 352 -10 E . . . . . . . . . . . 111111111111111011011011011011011 353 -11 B . . . . . . . . . . . 111111111111111011011011011011011 354 -12 D . . . . . . . . . . . 111111111111111011011011011011011 355 -13 E . . . . . . . . . . . 111111111111011011011011011011011 356 -14 B . . . . . . . . . . . 111111111111011011011011011011011 357 -15 D . . . . . . . . . . . 111111111111011011011011011011011 358 -16 E . . . . . . . . . . . 111111111011011011011011011011011 359 -17 B . . . . . . . . . . . 111111111011011011011011011011011 360 -18 D . . . . . . . . . . . 111111111011011011011011011011011 361 -19 E . . . . . . . . . . . 111111011011011011011011011011011 362 -20 B . . . . . . . . . . . 111111011011011011011011011011011 363 -21 D . . . . . . . . . . . 111111011011011011011011011011011 364 -22 E . . . . . . . . . . . 111011011011011011011011011011011 365 -23 B . . . . . . . . . . . 111011011011011011011011011011011 366 -24 D . . . . . . . . . . . 111011011011011011011011011011011 367 -25 E . . . . . . . . . . .0011011011011011011011011011011011 368 -24 C . . . . . . . . . . .1011011011011011011011011011011011 369 -23 A . . . . . . . . . . .1111011011011011011011011011011011 + 372 -26 A . . . . . . . . . . 01111011011011011011011011011011011 by A/1 * 3 373 -27 B . . . . . . . . . .011111011011011011011011011011011011 374 -26 C . . . . . . . . . .111111011011011011011011011011011011 + 379 -21 C . . . . . . . . . .111111011011011011011011011011011011 by C/1 * 5 380 -20 A . . . . . . . . . .111111111011011011011011011011011011 + 388 -28 A . . . . . . . . . 0111111111011011011011011011011011011 by A/1 * 8 389 -29 B . . . . . . . . .01111111111011011011011011011011011011 390 -28 C . . . . . . . . .11111111111011011011011011011011011011 + 400 -18 C . . . . . . . . .11111111111011011011011011011011011011 by C/1 * 10 401 -17 A . . . . . . . . .11111111111111011011011011011011011011 + 414 -30 A . . . . . . . . 011111111111111011011011011011011011011 by A/1 * 13 415 -31 B . . . . . . . .0111111111111111011011011011011011011011 416 -30 C . . . . . . . .1111111111111111011011011011011011011011 + 431 -15 C . . . . . . . .1111111111111111011011011011011011011011 by C/1 * 15 432 -14 A . . . . . . . .1111111111111111111011011011011011011011 + 450 -32 A . . . . . . . 01111111111111111111011011011011011011011 by A/1 * 18 451 -33 B . . . . . . .011111111111111111111011011011011011011011 452 -32 C . . . . . . .111111111111111111111011011011011011011011 + 472 -12 C . . . . . . .111111111111111111111011011011011011011011 by C/1 * 20 473 -11 A . . . . . . .111111111111111111111111011011011011011011 + 496 -34 A . . . . . . 0111111111111111111111111011011011011011011 by A/1 * 23 497 -35 B . . . . . .01111111111111111111111111011011011011011011 498 -34 C . . . . . .11111111111111111111111111011011011011011011 + 523 -9 C . . . . . .11111111111111111111111111011011011011011011 by C/1 * 25 524 -8 A . . . . . .11111111111111111111111111111011011011011011 + 552 -36 A . . . . . 011111111111111111111111111111011011011011011 by A/1 * 28 553 -37 B . . . . .0111111111111111111111111111111011011011011011 554 -36 C . . . . .1111111111111111111111111111111011011011011011 + 584 -6 C . . . . .1111111111111111111111111111111011011011011011 by C/1 * 30 585 -5 A . . . . .1111111111111111111111111111111111011011011011 + 618 -38 A . . . . 01111111111111111111111111111111111011011011011 by A/1 * 33 619 -39 B . . . .011111111111111111111111111111111111011011011011 620 -38 C . . . .111111111111111111111111111111111111011011011011 + 655 -3 C . . . .111111111111111111111111111111111111011011011011 by C/1 * 35 656 -2 A . . . .111111111111111111111111111111111111111011011011 + 694 -40 A . . . 0111111111111111111111111111111111111111011011011 by A/1 * 38 695 -41 B . . .01111111111111111111111111111111111111111011011011 696 -40 C . . .11111111111111111111111111111111111111111011011011 + 736 0 C . . .11111111111111111111111111111111111111111011011011 by C/1 * 40 737 1 A . . .11111111111111111111111111111111111111111111011011 + 780 -42 A . . 011111111111111111111111111111111111111111111011011 by A/1 * 43 781 -43 B . .0111111111111111111111111111111111111111111111011011 782 -42 C . .1111111111111111111111111111111111111111111111011011 + 827 3 C . .1111111111111111111111111111111111111111111111011011 by C/1 * 45 828 4 A . .1111111111111111111111111111111111111111111111111011 + 876 -44 A . 01111111111111111111111111111111111111111111111111011 by A/1 * 48 877 -45 B .011111111111111111111111111111111111111111111111111011 878 -44 C .111111111111111111111111111111111111111111111111111011 + 928 6 C .111111111111111111111111111111111111111111111111111011 by C/1 * 50 929 7 A .111111111111111111111111111111111111111111111111111111 + 982 -46 A 0111111111111111111111111111111111111111111111111111111 by A/1 * 53 983 -47 B .01111111111111111111111111111111111111111111111111111111 984 -46 C .11111111111111111111111111111111111111111111111111111111 + 1039 9 C .111111111111111111111111111111111111111111111111111111110 by C/1 * 55 1040 10 A .1111111111111111111111111111111111111111111111111111111110 1041 9 B .1111111111111111111111111111111111111111111111111111111111 1042 8 D .1111111111111111111111111111111111111111111111111111111111 1043 7 E .1111111111111111111111111111111111111111111111111111111011 1044 6 B .1111111111111111111111111111111111111111111111111111111011 1045 5 D .1111111111111111111111111111111111111111111111111111111011 1046 4 E .1111111111111111111111111111111111111111111111111111011011 1047 3 B .1111111111111111111111111111111111111111111111111111011011 1048 2 D .1111111111111111111111111111111111111111111111111111011011 1049 1 E .1111111111111111111111111111111111111111111111111011011011 1050 0 B .1111111111111111111111111111111111111111111111111011011011 1051 -1 D .1111111111111111111111111111111111111111111111111011011011 1052 -2 E .1111111111111111111111111111111111111111111111011011011011 1053 -3 B .1111111111111111111111111111111111111111111111011011011011 1054 -4 D .1111111111111111111111111111111111111111111111011011011011 1055 -5 E .1111111111111111111111111111111111111111111011011011011011 1056 -6 B .1111111111111111111111111111111111111111111011011011011011 1057 -7 D .1111111111111111111111111111111111111111111011011011011011 1058 -8 E .1111111111111111111111111111111111111111011011011011011011 After 1058 steps (201 lines): state = E. Produced 52 ones. Tape index -8, scanned [-47 .. 10].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 456 | 27 | 429 | 0 | 11 |
B | 50 | 23 | 27 | 1 | 5 |
C | 499 | 26 | 473 | 3 | 2 |
D | 27 | 27 | 6 | ||
E | 26 | 3 | 23 | 33 | 7 |