Comment: This TM produces 4096 ones in 11804910 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 | E0R | B1L | 0 | right | E | 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 E> 1 0 1 1 0 1 1 0 1 37 -5 <B 1 0 1 1 0 1 1 0 1 38 -4 1 C> 1 0 1 1 0 1 1 0 1 39 -3 1 1 C> 0 1 1 0 1 1 0 1 40 -2 13 A> 1 1 0 1 1 0 1 41 -3 13 <A 1 1 0 1 1 0 1 + 44 -6 <A 15 0 1 1 0 1 45 -7 <B 16 0 1 1 0 1 46 -6 1 C> 16 0 1 1 0 1 + 52 0 17 C> 0 1 1 0 1 53 1 18 A> 1 1 0 1 54 0 18 <A 1 1 0 1 + 62 -8 <A 110 0 1 63 -9 <B 111 0 1 64 -8 1 C> 111 0 1 + 75 3 112 C> 0 1 76 4 113 A> 1 77 3 113 <A 1 + 90 -10 <A 114 91 -11 <B 115 92 -10 1 C> 115 + 107 5 116 C> 108 6 117 A> 109 5 117 <B 1 110 4 116 <D 0 1 111 3 115 <E 1 0 1 112 2 114 <B 1 1 0 1 113 1 113 <D 0 1 1 0 1 114 0 112 <E 1 0 1 1 0 1 115 -1 111 <B 1 1 0 1 1 0 1 116 -2 110 <D 0 1 1 0 1 1 0 1 117 -3 19 <E 1 0 1 1 0 1 1 0 1 118 -4 18 <B 1 1 0 1 1 0 1 1 0 1 119 -5 17 <D 0 1 1 0 1 1 0 1 1 0 1 120 -6 16 <E 1 0 1 1 0 1 1 0 1 1 0 1 121 -7 15 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 122 -8 14 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 123 -9 13 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 124 -10 1 1 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 125 -11 1 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 126 -12 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 127 -11 E> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 128 -12 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 129 -11 1 C> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 130 -10 1 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 131 -9 13 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 132 -10 13 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 135 -13 <A 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 136 -14 <B 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 137 -13 1 C> 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 143 -7 17 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 144 -6 18 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 145 -7 18 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 + 153 -15 <A 110 0 1 1 0 1 1 0 1 1 0 1 154 -16 <B 111 0 1 1 0 1 1 0 1 1 0 1 155 -15 1 C> 111 0 1 1 0 1 1 0 1 1 0 1 + 166 -4 112 C> 0 1 1 0 1 1 0 1 1 0 1 167 -3 113 A> 1 1 0 1 1 0 1 1 0 1 168 -4 113 <A 1 1 0 1 1 0 1 1 0 1 + 181 -17 <A 115 0 1 1 0 1 1 0 1 182 -18 <B 116 0 1 1 0 1 1 0 1 183 -17 1 C> 116 0 1 1 0 1 1 0 1 + 199 -1 117 C> 0 1 1 0 1 1 0 1 200 0 118 A> 1 1 0 1 1 0 1 201 -1 118 <A 1 1 0 1 1 0 1 + 219 -19 <A 120 0 1 1 0 1 220 -20 <B 121 0 1 1 0 1 221 -19 1 C> 121 0 1 1 0 1 + 242 2 122 C> 0 1 1 0 1 243 3 123 A> 1 1 0 1 244 2 123 <A 1 1 0 1 + 267 -21 <A 125 0 1 268 -22 <B 126 0 1 269 -21 1 C> 126 0 1 + 295 5 127 C> 0 1 296 6 128 A> 1 297 5 128 <A 1 + 325 -23 <A 129 326 -24 <B 130 327 -23 1 C> 130 + 357 7 131 C> 358 8 132 A> 359 7 132 <B 1 360 6 131 <D 0 1 361 5 130 <E 1 0 1 362 4 129 <B 1 1 0 1 363 3 128 <D 0 1 1 0 1 364 2 127 <E 1 0 1 1 0 1 365 1 126 <B 1 1 0 1 1 0 1 366 0 125 <D 0 1 1 0 1 1 0 1 367 -1 124 <E 1 0 1 1 0 1 1 0 1 368 -2 123 <B 1 1 0 1 1 0 1 1 0 1 369 -3 122 <D 0 1 1 0 1 1 0 1 1 0 1 370 -4 121 <E 1 0 1 1 0 1 1 0 1 1 0 1 371 -5 120 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 372 -6 119 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 373 -7 118 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 374 -8 117 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 375 -9 116 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 376 -10 115 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 377 -11 114 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 378 -12 113 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 379 -13 112 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 380 -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 381 -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 382 -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 383 -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 384 -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 385 -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 386 -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 387 -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 388 -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 389 -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 390 -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 391 -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 392 -24 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 393 -25 <B 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 394 -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 395 -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 396 -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 397 -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 + 400 -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 401 -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 402 -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 + 408 -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 409 -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 410 -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 + 418 -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 419 -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 420 -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 + 431 -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 432 -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 433 -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 + 446 -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 447 -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 448 -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 + 464 -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 465 -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 466 -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 + 484 -32 <A 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 485 -33 <B 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 486 -32 1 C> 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 507 -11 122 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 508 -10 123 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 509 -11 123 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 532 -34 <A 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 533 -35 <B 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 534 -34 1 C> 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 560 -8 127 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 561 -7 128 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 562 -8 128 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 590 -36 <A 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1 591 -37 <B 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1 592 -36 1 C> 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1 + 623 -5 132 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 624 -4 133 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 625 -5 133 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 + 658 -38 <A 135 0 1 1 0 1 1 0 1 1 0 1 659 -39 <B 136 0 1 1 0 1 1 0 1 1 0 1 660 -38 1 C> 136 0 1 1 0 1 1 0 1 1 0 1 + 696 -2 137 C> 0 1 1 0 1 1 0 1 1 0 1 697 -1 138 A> 1 1 0 1 1 0 1 1 0 1 698 -2 138 <A 1 1 0 1 1 0 1 1 0 1 + 736 -40 <A 140 0 1 1 0 1 1 0 1 737 -41 <B 141 0 1 1 0 1 1 0 1 738 -40 1 C> 141 0 1 1 0 1 1 0 1 + 779 1 142 C> 0 1 1 0 1 1 0 1 780 2 143 A> 1 1 0 1 1 0 1 781 1 143 <A 1 1 0 1 1 0 1 + 824 -42 <A 145 0 1 1 0 1 825 -43 <B 146 0 1 1 0 1 826 -42 1 C> 146 0 1 1 0 1 + 872 4 147 C> 0 1 1 0 1 873 5 148 A> 1 1 0 1 After 873 steps (201 lines): state = A. Produced 51 ones. Tape index 5, scanned [-43 .. 8].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 371 | 24 | 347 | 0 | 12 |
B | 45 | 24 | 21 | 1 | 5 |
C | 412 | 24 | 388 | 3 | 2 |
D | 21 | 21 | 6 | ||
E | 24 | 3 | 21 | 35 | 7 |