Comment: This TM produces 136612 ones in 13122572797 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 | B1R | 1 | right | C | 1 | right | B |
C | F0R | D1R | 0 | right | F | 1 | right | D |
D | A1L | E0R | 1 | left | A | 0 | right | E |
E | A0L | C1R | 0 | left | A | 1 | right | C |
F | E1L | H1L | 1 | left | E | 1 | left | H |
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 D . . . . . . . . . .110 4 0 A . . . . . . . . . .111 + 6 -2 A . . . . . . . . . 0111 by A/1 * 2 7 -3 B . . . . . . . . .01111 8 -2 C . . . . . . . . .11111 9 -1 D . . . . . . . . .11111 10 0 E . . . . . . . . .11011 11 1 C . . . . . . . . .11011 12 2 D . . . . . . . . .110110 13 1 A . . . . . . . . .110111 + 15 -1 A . . . . . . . . .110111 by A/1 * 2 16 -2 B . . . . . . . . .111111 + 21 3 B . . . . . . . . .1111110 by B/1 * 5 22 4 C . . . . . . . . .11111110 23 5 F . . . . . . . . .111111100 24 4 E . . . . . . . . .111111101 25 3 A . . . . . . . . .111111101 + 32 -4 A . . . . . . . . 0111111101 by A/1 * 7 33 -5 B . . . . . . . .01111111101 34 -4 C . . . . . . . .11111111101 35 -3 D . . . . . . . .11111111101 36 -2 E . . . . . . . .11011111101 37 -1 C . . . . . . . .11011111101 38 0 D . . . . . . . .11011111101 39 1 E . . . . . . . .11011011101 40 2 C . . . . . . . .11011011101 41 3 D . . . . . . . .11011011101 42 4 E . . . . . . . .11011011001 43 3 A . . . . . . . .11011011001 44 2 B . . . . . . . .11011011101 + 46 4 B . . . . . . . .11011011101 by B/1 * 2 47 5 C . . . . . . . .11011011111 48 6 D . . . . . . . .110110111110 49 5 A . . . . . . . .110110111111 + 54 0 A . . . . . . . .110110111111 by A/1 * 5 55 -1 B . . . . . . . .110111111111 + 63 7 B . . . . . . . .1101111111110 by B/1 * 8 64 8 C . . . . . . . .11011111111110 65 9 F . . . . . . . .110111111111100 66 8 E . . . . . . . .110111111111101 67 7 A . . . . . . . .110111111111101 + 77 -3 A . . . . . . . .110111111111101 by A/1 * 10 78 -4 B . . . . . . . .111111111111101 + 90 8 B . . . . . . . .111111111111101 by B/1 * 12 91 9 C . . . . . . . .111111111111111 92 10 D . . . . . . . .1111111111111110 93 9 A . . . . . . . .1111111111111111 + 108 -6 A . . . . . . . 01111111111111111 by A/1 * 15 109 -7 B . . . . . . .011111111111111111 110 -6 C . . . . . . .111111111111111111 111 -5 D . . . . . . .111111111111111111 112 -4 E . . . . . . .110111111111111111 113 -3 C . . . . . . .110111111111111111 114 -2 D . . . . . . .110111111111111111 115 -1 E . . . . . . .110110111111111111 116 0 C . . . . . . .110110111111111111 117 1 D . . . . . . .110110111111111111 118 2 E . . . . . . .110110110111111111 119 3 C . . . . . . .110110110111111111 120 4 D . . . . . . .110110110111111111 121 5 E . . . . . . .110110110110111111 122 6 C . . . . . . .110110110110111111 123 7 D . . . . . . .110110110110111111 124 8 E . . . . . . .110110110110110111 125 9 C . . . . . . .110110110110110111 126 10 D . . . . . . .110110110110110111 127 11 E . . . . . . .1101101101101101100 128 10 A . . . . . . .1101101101101101100 129 9 B . . . . . . .1101101101101101110 + 131 11 B . . . . . . .1101101101101101110 by B/1 * 2 132 12 C . . . . . . .11011011011011011110 133 13 F . . . . . . .110110110110110111100 134 12 E . . . . . . .110110110110110111101 135 11 A . . . . . . .110110110110110111101 + 139 7 A . . . . . . .110110110110110111101 by A/1 * 4 140 6 B . . . . . . .110110110110111111101 + 146 12 B . . . . . . .110110110110111111101 by B/1 * 6 147 13 C . . . . . . .110110110110111111111 148 14 D . . . . . . .1101101101101111111110 149 13 A . . . . . . .1101101101101111111111 + 158 4 A . . . . . . .1101101101101111111111 by A/1 * 9 159 3 B . . . . . . .1101101101111111111111 + 171 15 B . . . . . . .11011011011111111111110 by B/1 * 12 172 16 C . . . . . . .110110110111111111111110 173 17 F . . . . . . .1101101101111111111111100 174 16 E . . . . . . .1101101101111111111111101 175 15 A . . . . . . .1101101101111111111111101 + 189 1 A . . . . . . .1101101101111111111111101 by A/1 * 14 190 0 B . . . . . . .1101101111111111111111101 + 206 16 B . . . . . . .1101101111111111111111101 by B/1 * 16 207 17 C . . . . . . .1101101111111111111111111 208 18 D . . . . . . .11011011111111111111111110 209 17 A . . . . . . .11011011111111111111111111 + 228 -2 A . . . . . . .11011011111111111111111111 by A/1 * 19 229 -3 B . . . . . . .11011111111111111111111111 + 251 19 B . . . . . . .110111111111111111111111110 by B/1 * 22 252 20 C . . . . . . .1101111111111111111111111110 253 21 F . . . . . . .11011111111111111111111111100 254 20 E . . . . . . .11011111111111111111111111101 255 19 A . . . . . . .11011111111111111111111111101 + 279 -5 A . . . . . . .11011111111111111111111111101 by A/1 * 24 280 -6 B . . . . . . .11111111111111111111111111101 + 306 20 B . . . . . . .11111111111111111111111111101 by B/1 * 26 307 21 C . . . . . . .11111111111111111111111111111 308 22 D . . . . . . .111111111111111111111111111110 309 21 A . . . . . . .111111111111111111111111111111 + 338 -8 A . . . . . . 0111111111111111111111111111111 by A/1 * 29 339 -9 B . . . . . .01111111111111111111111111111111 340 -8 C . . . . . .11111111111111111111111111111111 341 -7 D . . . . . .11111111111111111111111111111111 342 -6 E . . . . . .11011111111111111111111111111111 343 -5 C . . . . . .11011111111111111111111111111111 344 -4 D . . . . . .11011111111111111111111111111111 345 -3 E . . . . . .11011011111111111111111111111111 346 -2 C . . . . . .11011011111111111111111111111111 347 -1 D . . . . . .11011011111111111111111111111111 348 0 E . . . . . .11011011011111111111111111111111 349 1 C . . . . . .11011011011111111111111111111111 350 2 D . . . . . .11011011011111111111111111111111 351 3 E . . . . . .11011011011011111111111111111111 352 4 C . . . . . .11011011011011111111111111111111 353 5 D . . . . . .11011011011011111111111111111111 354 6 E . . . . . .11011011011011011111111111111111 355 7 C . . . . . .11011011011011011111111111111111 356 8 D . . . . . .11011011011011011111111111111111 357 9 E . . . . . .11011011011011011011111111111111 358 10 C . . . . . .11011011011011011011111111111111 359 11 D . . . . . .11011011011011011011111111111111 360 12 E . . . . . .11011011011011011011011111111111 361 13 C . . . . . .11011011011011011011011111111111 362 14 D . . . . . .11011011011011011011011111111111 363 15 E . . . . . .11011011011011011011011011111111 364 16 C . . . . . .11011011011011011011011011111111 365 17 D . . . . . .11011011011011011011011011111111 366 18 E . . . . . .11011011011011011011011011011111 367 19 C . . . . . .11011011011011011011011011011111 368 20 D . . . . . .11011011011011011011011011011111 369 21 E . . . . . .11011011011011011011011011011011 370 22 C . . . . . .11011011011011011011011011011011 371 23 D . . . . . .110110110110110110110110110110110 372 22 A . . . . . .110110110110110110110110110110111 + 374 20 A . . . . . .110110110110110110110110110110111 by A/1 * 2 375 19 B . . . . . .110110110110110110110110110111111 + 380 24 B . . . . . .1101101101101101101101101101111110 by B/1 * 5 381 25 C . . . . . .11011011011011011011011011011111110 382 26 F . . . . . .110110110110110110110110110111111100 383 25 E . . . . . .110110110110110110110110110111111101 384 24 A . . . . . .110110110110110110110110110111111101 + 391 17 A . . . . . .110110110110110110110110110111111101 by A/1 * 7 392 16 B . . . . . .110110110110110110110110111111111101 + 401 25 B . . . . . .110110110110110110110110111111111101 by B/1 * 9 402 26 C . . . . . .110110110110110110110110111111111111 403 27 D . . . . . .1101101101101101101101101111111111110 404 26 A . . . . . .1101101101101101101101101111111111111 + 416 14 A . . . . . .1101101101101101101101101111111111111 by A/1 * 12 417 13 B . . . . . .1101101101101101101101111111111111111 + 432 28 B . . . . . .11011011011011011011011111111111111110 by B/1 * 15 433 29 C . . . . . .110110110110110110110111111111111111110 434 30 F . . . . . .1101101101101101101101111111111111111100 435 29 E . . . . . .1101101101101101101101111111111111111101 436 28 A . . . . . .1101101101101101101101111111111111111101 + 453 11 A . . . . . .1101101101101101101101111111111111111101 by A/1 * 17 454 10 B . . . . . .1101101101101101101111111111111111111101 + 473 29 B . . . . . .1101101101101101101111111111111111111101 by B/1 * 19 474 30 C . . . . . .1101101101101101101111111111111111111111 475 31 D . . . . . .11011011011011011011111111111111111111110 476 30 A . . . . . .11011011011011011011111111111111111111111 + 498 8 A . . . . . .11011011011011011011111111111111111111111 by A/1 * 22 499 7 B . . . . . .11011011011011011111111111111111111111111 + 524 32 B . . . . . .110110110110110111111111111111111111111110 by B/1 * 25 525 33 C . . . . . .1101101101101101111111111111111111111111110 526 34 F . . . . . .11011011011011011111111111111111111111111100 527 33 E . . . . . .11011011011011011111111111111111111111111101 528 32 A . . . . . .11011011011011011111111111111111111111111101 + 555 5 A . . . . . .11011011011011011111111111111111111111111101 by A/1 * 27 556 4 B . . . . . .11011011011011111111111111111111111111111101 + 585 33 B . . . . . .11011011011011111111111111111111111111111101 by B/1 * 29 586 34 C . . . . . .11011011011011111111111111111111111111111111 587 35 D . . . . . .110110110110111111111111111111111111111111110 588 34 A . . . . . .110110110110111111111111111111111111111111111 + 620 2 A . . . . . .110110110110111111111111111111111111111111111 by A/1 * 32 621 1 B . . . . . .110110110111111111111111111111111111111111111 + 656 36 B . . . . . .1101101101111111111111111111111111111111111110 by B/1 * 35 657 37 C . . . . . .11011011011111111111111111111111111111111111110 658 38 F . . . . . .110110110111111111111111111111111111111111111100 659 37 E . . . . . .110110110111111111111111111111111111111111111101 660 36 A . . . . . .110110110111111111111111111111111111111111111101 + 697 -1 A . . . . . .110110110111111111111111111111111111111111111101 by A/1 * 37 698 -2 B . . . . . .110110111111111111111111111111111111111111111101 + 737 37 B . . . . . .110110111111111111111111111111111111111111111101 by B/1 * 39 738 38 C . . . . . .110110111111111111111111111111111111111111111111 739 39 D . . . . . .1101101111111111111111111111111111111111111111110 740 38 A . . . . . .1101101111111111111111111111111111111111111111111 + 782 -4 A . . . . . .1101101111111111111111111111111111111111111111111 by A/1 * 42 783 -5 B . . . . . .1101111111111111111111111111111111111111111111111 + 828 40 B . . . . . .11011111111111111111111111111111111111111111111110 by B/1 * 45 829 41 C . . . . . .110111111111111111111111111111111111111111111111110 830 42 F . . . . . .1101111111111111111111111111111111111111111111111100 After 830 steps (201 lines): state = F. Produced 49 ones. Tape index 42, scanned [-9 .. 41].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 362 | 24 | 338 | 0 | 4 |
B | 356 | 24 | 332 | 1 | 16 |
C | 42 | 10 | 32 | 22 | 2 |
D | 32 | 12 | 20 | 3 | 9 |
E | 29 | 11 | 18 | 24 | 10 |
F | 9 | 9 | 23 |