Comment: This TM produces 4096 ones in 11804896 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 | D0L | 1 | right | C | 0 | left | D |
C | A1R | C1R | 1 | right | A | 1 | right | C |
D | H1L | E1L | 1 | left | H | 1 | left | E |
E | C1R | B1L | 1 | right | C | 1 | left | B |
The same TM just simple. The same TM with repetitions reduced. Simulation is done 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 Tape contents 0 0 <A 1 -1 <B 1 2 0 1 C> 1 3 1 1 1 C> 4 2 13 A> 5 1 13 <B 1 6 0 1 1 <D 0 1 7 -1 1 <E 1 0 1 8 -2 <B 1 1 0 1 9 -1 1 C> 1 1 0 1 + 11 1 13 C> 0 1 12 2 14 A> 1 13 1 14 <A 1 + 17 -3 <A 15 18 -4 <B 16 19 -3 1 C> 16 + 25 3 17 C> 26 4 18 A> 27 3 18 <B 1 28 2 17 <D 0 1 29 1 16 <E 1 0 1 30 0 15 <B 1 1 0 1 31 -1 14 <D 0 1 1 0 1 32 -2 13 <E 1 0 1 1 0 1 33 -3 1 1 <B 1 1 0 1 1 0 1 34 -4 1 <D 0 1 1 0 1 1 0 1 35 -5 <E 1 0 1 1 0 1 1 0 1 36 -4 1 C> 1 0 1 1 0 1 1 0 1 37 -3 1 1 C> 0 1 1 0 1 1 0 1 38 -2 13 A> 1 1 0 1 1 0 1 39 -3 13 <A 1 1 0 1 1 0 1 + 42 -6 <A 15 0 1 1 0 1 43 -7 <B 16 0 1 1 0 1 44 -6 1 C> 16 0 1 1 0 1 + 50 0 17 C> 0 1 1 0 1 51 1 18 A> 1 1 0 1 52 0 18 <A 1 1 0 1 + 60 -8 <A 110 0 1 61 -9 <B 111 0 1 62 -8 1 C> 111 0 1 + 73 3 112 C> 0 1 74 4 113 A> 1 75 3 113 <A 1 + 88 -10 <A 114 89 -11 <B 115 90 -10 1 C> 115 + 105 5 116 C> 106 6 117 A> 107 5 117 <B 1 108 4 116 <D 0 1 109 3 115 <E 1 0 1 110 2 114 <B 1 1 0 1 111 1 113 <D 0 1 1 0 1 112 0 112 <E 1 0 1 1 0 1 113 -1 111 <B 1 1 0 1 1 0 1 114 -2 110 <D 0 1 1 0 1 1 0 1 115 -3 19 <E 1 0 1 1 0 1 1 0 1 116 -4 18 <B 1 1 0 1 1 0 1 1 0 1 117 -5 17 <D 0 1 1 0 1 1 0 1 1 0 1 118 -6 16 <E 1 0 1 1 0 1 1 0 1 1 0 1 119 -7 15 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 120 -8 14 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 121 -9 13 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 122 -10 1 1 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 123 -11 1 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 124 -12 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 125 -11 1 C> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 126 -10 1 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 127 -9 13 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 128 -10 13 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 131 -13 <A 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 132 -14 <B 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 133 -13 1 C> 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 139 -7 17 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 140 -6 18 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 141 -7 18 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 + 149 -15 <A 110 0 1 1 0 1 1 0 1 1 0 1 150 -16 <B 111 0 1 1 0 1 1 0 1 1 0 1 151 -15 1 C> 111 0 1 1 0 1 1 0 1 1 0 1 + 162 -4 112 C> 0 1 1 0 1 1 0 1 1 0 1 163 -3 113 A> 1 1 0 1 1 0 1 1 0 1 164 -4 113 <A 1 1 0 1 1 0 1 1 0 1 + 177 -17 <A 115 0 1 1 0 1 1 0 1 178 -18 <B 116 0 1 1 0 1 1 0 1 179 -17 1 C> 116 0 1 1 0 1 1 0 1 + 195 -1 117 C> 0 1 1 0 1 1 0 1 196 0 118 A> 1 1 0 1 1 0 1 197 -1 118 <A 1 1 0 1 1 0 1 + 215 -19 <A 120 0 1 1 0 1 216 -20 <B 121 0 1 1 0 1 217 -19 1 C> 121 0 1 1 0 1 + 238 2 122 C> 0 1 1 0 1 239 3 123 A> 1 1 0 1 240 2 123 <A 1 1 0 1 + 263 -21 <A 125 0 1 264 -22 <B 126 0 1 265 -21 1 C> 126 0 1 + 291 5 127 C> 0 1 292 6 128 A> 1 293 5 128 <A 1 + 321 -23 <A 129 322 -24 <B 130 323 -23 1 C> 130 + 353 7 131 C> 354 8 132 A> 355 7 132 <B 1 356 6 131 <D 0 1 357 5 130 <E 1 0 1 358 4 129 <B 1 1 0 1 359 3 128 <D 0 1 1 0 1 360 2 127 <E 1 0 1 1 0 1 361 1 126 <B 1 1 0 1 1 0 1 362 0 125 <D 0 1 1 0 1 1 0 1 363 -1 124 <E 1 0 1 1 0 1 1 0 1 364 -2 123 <B 1 1 0 1 1 0 1 1 0 1 365 -3 122 <D 0 1 1 0 1 1 0 1 1 0 1 366 -4 121 <E 1 0 1 1 0 1 1 0 1 1 0 1 367 -5 120 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 368 -6 119 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 369 -7 118 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 370 -8 117 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 371 -9 116 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 372 -10 115 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 373 -11 114 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 374 -12 113 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 375 -13 112 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 376 -14 111 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 377 -15 110 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 378 -16 19 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 379 -17 18 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 380 -18 17 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 381 -19 16 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 382 -20 15 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 383 -21 14 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 384 -22 13 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 385 -23 1 1 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 386 -24 1 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 387 -25 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 388 -24 1 C> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 389 -23 1 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 390 -22 13 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 391 -23 13 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 394 -26 <A 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 395 -27 <B 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 396 -26 1 C> 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 402 -20 17 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 403 -19 18 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 404 -20 18 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 412 -28 <A 110 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 413 -29 <B 111 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 414 -28 1 C> 111 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 425 -17 112 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 426 -16 113 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 427 -17 113 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 440 -30 <A 115 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 441 -31 <B 116 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 442 -30 1 C> 116 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 458 -14 117 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 459 -13 118 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 460 -14 118 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 478 -32 <A 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 479 -33 <B 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 480 -32 1 C> 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 501 -11 122 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 502 -10 123 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 503 -11 123 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 526 -34 <A 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 527 -35 <B 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 528 -34 1 C> 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 554 -8 127 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 555 -7 128 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 556 -8 128 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 584 -36 <A 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1 585 -37 <B 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1 586 -36 1 C> 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 617 -5 132 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 618 -4 133 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 619 -5 133 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 + 652 -38 <A 135 0 1 1 0 1 1 0 1 1 0 1 653 -39 <B 136 0 1 1 0 1 1 0 1 1 0 1 654 -38 1 C> 136 0 1 1 0 1 1 0 1 1 0 1 + 690 -2 137 C> 0 1 1 0 1 1 0 1 1 0 1 691 -1 138 A> 1 1 0 1 1 0 1 1 0 1 692 -2 138 <A 1 1 0 1 1 0 1 1 0 1 + 730 -40 <A 140 0 1 1 0 1 1 0 1 731 -41 <B 141 0 1 1 0 1 1 0 1 732 -40 1 C> 141 0 1 1 0 1 1 0 1 + 773 1 142 C> 0 1 1 0 1 1 0 1 774 2 143 A> 1 1 0 1 1 0 1 775 1 143 <A 1 1 0 1 1 0 1 + 818 -42 <A 145 0 1 1 0 1 819 -43 <B 146 0 1 1 0 1 820 -42 1 C> 146 0 1 1 0 1 + 866 4 147 C> 0 1 1 0 1 867 5 148 A> 1 1 0 1 868 4 148 <A 1 1 0 1 + 916 -44 <A 150 0 1 917 -45 <B 151 0 1 918 -44 1 C> 151 0 1 + 969 7 152 C> 0 1 970 8 153 A> 1 After 970 steps (201 lines): state = A. Produced 54 ones. Tape index 8, scanned [-45 .. 8].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 421 | 25 | 396 | 0 | 12 |
B | 43 | 22 | 21 | 1 | 5 |
C | 464 | 25 | 439 | 3 | 2 |
D | 21 | 21 | 6 | ||
E | 21 | 3 | 18 | 35 | 7 |