Comment: Current 5-state BB co-champion Comment: This TM produces 4098 ones in 11798826 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 | A1L | D1R | 1 | left | A | 1 | right | D |
D | A1L | E1R | 1 | left | A | 1 | right | E |
E | H1L | C0R | 1 | left | H | 0 | right | C |
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 D> 4 0 1 1 <A 1 + 6 -2 <A 13 7 -3 <B 14 8 -2 1 C> 14 9 -1 1 1 D> 13 10 0 13 E> 1 1 11 1 13 0 C> 1 12 2 13 0 1 D> 13 1 13 0 1 <A 1 14 0 13 0 <A 1 1 15 -1 13 <B 13 16 0 13 B> 13 + 19 3 16 B> 20 4 17 C> 21 3 17 <A 1 + 28 -4 <A 18 29 -5 <B 19 30 -4 1 C> 19 31 -3 1 1 D> 18 32 -2 13 E> 17 33 -1 13 0 C> 16 34 0 13 0 1 D> 15 35 1 13 0 1 1 E> 14 36 2 13 0 1 1 0 C> 13 37 3 13 0 1 1 0 1 D> 1 1 38 4 13 0 1 1 0 1 1 E> 1 39 5 13 0 1 1 0 1 1 0 C> 40 4 13 0 1 1 0 1 1 0 <A 1 41 3 13 0 1 1 0 1 1 <B 1 1 42 4 13 0 1 1 0 1 1 B> 1 1 + 44 6 13 0 1 1 0 14 B> 45 7 13 0 1 1 0 15 C> 46 6 13 0 1 1 0 15 <A 1 + 51 1 13 0 1 1 0 <A 16 52 0 13 0 1 1 <B 17 53 1 13 0 1 1 B> 17 + 60 8 13 0 19 B> 61 9 13 0 110 C> 62 8 13 0 110 <A 1 + 72 -2 13 0 <A 111 73 -3 13 <B 112 74 -2 13 B> 112 + 86 10 115 B> 87 11 116 C> 88 10 116 <A 1 + 104 -6 <A 117 105 -7 <B 118 106 -6 1 C> 118 107 -5 1 1 D> 117 108 -4 13 E> 116 109 -3 13 0 C> 115 110 -2 13 0 1 D> 114 111 -1 13 0 1 1 E> 113 112 0 13 0 1 1 0 C> 112 113 1 13 0 1 1 0 1 D> 111 114 2 13 0 1 1 0 1 1 E> 110 115 3 13 0 1 1 0 1 1 0 C> 19 116 4 13 0 1 1 0 1 1 0 1 D> 18 117 5 13 0 1 1 0 1 1 0 1 1 E> 17 118 6 13 0 1 1 0 1 1 0 1 1 0 C> 16 119 7 13 0 1 1 0 1 1 0 1 1 0 1 D> 15 120 8 13 0 1 1 0 1 1 0 1 1 0 1 1 E> 14 121 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 13 122 10 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 1 1 123 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 1 124 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 125 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 1 126 10 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 1 1 127 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 1 1 + 129 13 13 0 1 1 0 1 1 0 1 1 0 1 1 0 14 B> 130 14 13 0 1 1 0 1 1 0 1 1 0 1 1 0 15 C> 131 13 13 0 1 1 0 1 1 0 1 1 0 1 1 0 15 <A 1 + 136 8 13 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 16 137 7 13 0 1 1 0 1 1 0 1 1 0 1 1 <B 17 138 8 13 0 1 1 0 1 1 0 1 1 0 1 1 B> 17 + 145 15 13 0 1 1 0 1 1 0 1 1 0 19 B> 146 16 13 0 1 1 0 1 1 0 1 1 0 110 C> 147 15 13 0 1 1 0 1 1 0 1 1 0 110 <A 1 + 157 5 13 0 1 1 0 1 1 0 1 1 0 <A 111 158 4 13 0 1 1 0 1 1 0 1 1 <B 112 159 5 13 0 1 1 0 1 1 0 1 1 B> 112 + 171 17 13 0 1 1 0 1 1 0 114 B> 172 18 13 0 1 1 0 1 1 0 115 C> 173 17 13 0 1 1 0 1 1 0 115 <A 1 + 188 2 13 0 1 1 0 1 1 0 <A 116 189 1 13 0 1 1 0 1 1 <B 117 190 2 13 0 1 1 0 1 1 B> 117 + 207 19 13 0 1 1 0 119 B> 208 20 13 0 1 1 0 120 C> 209 19 13 0 1 1 0 120 <A 1 + 229 -1 13 0 1 1 0 <A 121 230 -2 13 0 1 1 <B 122 231 -1 13 0 1 1 B> 122 + 253 21 13 0 124 B> 254 22 13 0 125 C> 255 21 13 0 125 <A 1 + 280 -4 13 0 <A 126 281 -5 13 <B 127 282 -4 13 B> 127 + 309 23 130 B> 310 24 131 C> 311 23 131 <A 1 + 342 -8 <A 132 343 -9 <B 133 344 -8 1 C> 133 345 -7 1 1 D> 132 346 -6 13 E> 131 347 -5 13 0 C> 130 348 -4 13 0 1 D> 129 349 -3 13 0 1 1 E> 128 350 -2 13 0 1 1 0 C> 127 351 -1 13 0 1 1 0 1 D> 126 352 0 13 0 1 1 0 1 1 E> 125 353 1 13 0 1 1 0 1 1 0 C> 124 354 2 13 0 1 1 0 1 1 0 1 D> 123 355 3 13 0 1 1 0 1 1 0 1 1 E> 122 356 4 13 0 1 1 0 1 1 0 1 1 0 C> 121 357 5 13 0 1 1 0 1 1 0 1 1 0 1 D> 120 358 6 13 0 1 1 0 1 1 0 1 1 0 1 1 E> 119 359 7 13 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 118 360 8 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 117 361 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 116 362 10 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 115 363 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 114 364 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 113 365 13 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 112 366 14 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 111 367 15 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 110 368 16 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 19 369 17 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 18 370 18 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 17 371 19 13 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 C> 16 372 20 13 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 D> 15 373 21 13 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 E> 14 374 22 13 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 C> 13 375 23 13 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 D> 1 1 376 24 13 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 E> 1 377 25 13 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 C> 378 24 13 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 <A 1 379 23 13 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 <B 1 1 380 24 13 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 B> 1 1 + 382 26 13 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 14 B> 383 27 13 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 15 C> 384 26 13 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 15 <A 1 + 389 21 13 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 <A 16 390 20 13 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 <B 17 391 21 13 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 B> 17 + 398 28 13 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 19 B> 399 29 13 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 110 C> 400 28 13 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 110 <A 1 + 410 18 13 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 <A 111 411 17 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 112 412 18 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 112 + 424 30 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 114 B> 425 31 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 115 C> 426 30 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 115 <A 1 + 441 15 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 116 442 14 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 117 443 15 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 117 + 460 32 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 119 B> 461 33 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 C> 462 32 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 <A 1 + 482 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 121 483 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 122 484 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 122 + 506 34 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 124 B> 507 35 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 125 C> 508 34 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 125 <A 1 + 533 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 126 534 8 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 127 535 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 127 + 562 36 13 0 1 1 0 1 1 0 1 1 0 1 1 0 129 B> 563 37 13 0 1 1 0 1 1 0 1 1 0 1 1 0 130 C> 564 36 13 0 1 1 0 1 1 0 1 1 0 1 1 0 130 <A 1 + 594 6 13 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 131 595 5 13 0 1 1 0 1 1 0 1 1 0 1 1 <B 132 596 6 13 0 1 1 0 1 1 0 1 1 0 1 1 B> 132 + 628 38 13 0 1 1 0 1 1 0 1 1 0 134 B> 629 39 13 0 1 1 0 1 1 0 1 1 0 135 C> 630 38 13 0 1 1 0 1 1 0 1 1 0 135 <A 1 + 665 3 13 0 1 1 0 1 1 0 1 1 0 <A 136 666 2 13 0 1 1 0 1 1 0 1 1 <B 137 667 3 13 0 1 1 0 1 1 0 1 1 B> 137 + 704 40 13 0 1 1 0 1 1 0 139 B> 705 41 13 0 1 1 0 1 1 0 140 C> 706 40 13 0 1 1 0 1 1 0 140 <A 1 + 746 0 13 0 1 1 0 1 1 0 <A 141 747 -1 13 0 1 1 0 1 1 <B 142 748 0 13 0 1 1 0 1 1 B> 142 + 790 42 13 0 1 1 0 144 B> 791 43 13 0 1 1 0 145 C> 792 42 13 0 1 1 0 145 <A 1 + 837 -3 13 0 1 1 0 <A 146 838 -4 13 0 1 1 <B 147 839 -3 13 0 1 1 B> 147 + 886 44 13 0 149 B> 887 45 13 0 150 C> After 887 steps (201 lines): state = C. Produced 53 ones. Tape index 45, scanned [-9 .. 44].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 397 | 25 | 372 | 0 | 4 |
B | 401 | 25 | 376 | 1 | 15 |
C | 45 | 22 | 23 | 20 | 2 |
D | 23 | 2 | 21 | 3 | 9 |
E | 21 | 21 | 10 |