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. 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 1 1 7 -1 1 <E 0 1 1 8 -2 <B 1 0 1 1 9 -1 1 C> 1 0 1 1 10 0 1 1 C> 0 1 1 11 1 13 A> 1 1 12 0 13 <A 1 1 + 15 -3 <A 15 16 -4 <B 16 17 -3 1 C> 16 + 23 3 17 C> 24 4 18 A> 25 3 18 <B 1 26 2 17 <D 1 1 27 1 16 <E 0 1 1 28 0 15 <B 1 0 1 1 29 -1 14 <D 1 1 0 1 1 30 -2 13 <E 0 1 1 0 1 1 31 -3 1 1 <B 1 0 1 1 0 1 1 32 -4 1 <D 1 1 0 1 1 0 1 1 33 -5 <E 0 1 1 0 1 1 0 1 1 34 -4 1 C> 0 1 1 0 1 1 0 1 1 35 -3 1 1 A> 1 1 0 1 1 0 1 1 36 -4 1 1 <A 1 1 0 1 1 0 1 1 + 38 -6 <A 14 0 1 1 0 1 1 39 -7 <B 15 0 1 1 0 1 1 40 -6 1 C> 15 0 1 1 0 1 1 + 45 -1 16 C> 0 1 1 0 1 1 46 0 17 A> 1 1 0 1 1 47 -1 17 <A 1 1 0 1 1 + 54 -8 <A 19 0 1 1 55 -9 <B 110 0 1 1 56 -8 1 C> 110 0 1 1 + 66 2 111 C> 0 1 1 67 3 112 A> 1 1 68 2 112 <A 1 1 + 80 -10 <A 114 81 -11 <B 115 82 -10 1 C> 115 + 97 5 116 C> 98 6 117 A> 99 5 117 <B 1 100 4 116 <D 1 1 101 3 115 <E 0 1 1 102 2 114 <B 1 0 1 1 103 1 113 <D 1 1 0 1 1 104 0 112 <E 0 1 1 0 1 1 105 -1 111 <B 1 0 1 1 0 1 1 106 -2 110 <D 1 1 0 1 1 0 1 1 107 -3 19 <E 0 1 1 0 1 1 0 1 1 108 -4 18 <B 1 0 1 1 0 1 1 0 1 1 109 -5 17 <D 1 1 0 1 1 0 1 1 0 1 1 110 -6 16 <E 0 1 1 0 1 1 0 1 1 0 1 1 111 -7 15 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 112 -8 14 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 113 -9 13 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 114 -10 1 1 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 115 -11 1 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 116 -12 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 117 -11 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 118 -10 1 1 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 119 -11 1 1 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 121 -13 <A 14 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 122 -14 <B 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 123 -13 1 C> 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 128 -8 16 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 129 -7 17 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 130 -8 17 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 137 -15 <A 19 0 1 1 0 1 1 0 1 1 0 1 1 138 -16 <B 110 0 1 1 0 1 1 0 1 1 0 1 1 139 -15 1 C> 110 0 1 1 0 1 1 0 1 1 0 1 1 + 149 -5 111 C> 0 1 1 0 1 1 0 1 1 0 1 1 150 -4 112 A> 1 1 0 1 1 0 1 1 0 1 1 151 -5 112 <A 1 1 0 1 1 0 1 1 0 1 1 + 163 -17 <A 114 0 1 1 0 1 1 0 1 1 164 -18 <B 115 0 1 1 0 1 1 0 1 1 165 -17 1 C> 115 0 1 1 0 1 1 0 1 1 + 180 -2 116 C> 0 1 1 0 1 1 0 1 1 181 -1 117 A> 1 1 0 1 1 0 1 1 182 -2 117 <A 1 1 0 1 1 0 1 1 + 199 -19 <A 119 0 1 1 0 1 1 200 -20 <B 120 0 1 1 0 1 1 201 -19 1 C> 120 0 1 1 0 1 1 + 221 1 121 C> 0 1 1 0 1 1 222 2 122 A> 1 1 0 1 1 223 1 122 <A 1 1 0 1 1 + 245 -21 <A 124 0 1 1 246 -22 <B 125 0 1 1 247 -21 1 C> 125 0 1 1 + 272 4 126 C> 0 1 1 273 5 127 A> 1 1 274 4 127 <A 1 1 + 301 -23 <A 129 302 -24 <B 130 303 -23 1 C> 130 + 333 7 131 C> 334 8 132 A> 335 7 132 <B 1 336 6 131 <D 1 1 337 5 130 <E 0 1 1 338 4 129 <B 1 0 1 1 339 3 128 <D 1 1 0 1 1 340 2 127 <E 0 1 1 0 1 1 341 1 126 <B 1 0 1 1 0 1 1 342 0 125 <D 1 1 0 1 1 0 1 1 343 -1 124 <E 0 1 1 0 1 1 0 1 1 344 -2 123 <B 1 0 1 1 0 1 1 0 1 1 345 -3 122 <D 1 1 0 1 1 0 1 1 0 1 1 346 -4 121 <E 0 1 1 0 1 1 0 1 1 0 1 1 347 -5 120 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 348 -6 119 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 349 -7 118 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 350 -8 117 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 351 -9 116 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 352 -10 115 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 353 -11 114 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 354 -12 113 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 355 -13 112 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 356 -14 111 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 357 -15 110 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 358 -16 19 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 359 -17 18 <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 360 -18 17 <D 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 361 -19 16 <E 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 362 -20 15 <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 363 -21 14 <D 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 364 -22 13 <E 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 365 -23 1 1 <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 366 -24 1 <D 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 1 367 -25 <E 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 1 368 -24 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 1 369 -23 1 1 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 1 370 -24 1 1 <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 1 + 372 -26 <A 14 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 373 -27 <B 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 1 374 -26 1 C> 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 1 + 379 -21 16 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 380 -20 17 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 381 -21 17 <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 + 388 -28 <A 19 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 389 -29 <B 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 1 390 -28 1 C> 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 1 + 400 -18 111 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 401 -17 112 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 402 -18 112 <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 + 414 -30 <A 114 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 415 -31 <B 115 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 416 -30 1 C> 115 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 431 -15 116 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 432 -14 117 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 433 -15 117 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 450 -32 <A 119 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 451 -33 <B 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 452 -32 1 C> 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 472 -12 121 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 473 -11 122 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 474 -12 122 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 496 -34 <A 124 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 497 -35 <B 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 498 -34 1 C> 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 523 -9 126 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 524 -8 127 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 525 -9 127 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 552 -36 <A 129 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 553 -37 <B 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 554 -36 1 C> 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 584 -6 131 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 585 -5 132 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 586 -6 132 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 + 618 -38 <A 134 0 1 1 0 1 1 0 1 1 0 1 1 619 -39 <B 135 0 1 1 0 1 1 0 1 1 0 1 1 620 -38 1 C> 135 0 1 1 0 1 1 0 1 1 0 1 1 + 655 -3 136 C> 0 1 1 0 1 1 0 1 1 0 1 1 656 -2 137 A> 1 1 0 1 1 0 1 1 0 1 1 657 -3 137 <A 1 1 0 1 1 0 1 1 0 1 1 + 694 -40 <A 139 0 1 1 0 1 1 0 1 1 695 -41 <B 140 0 1 1 0 1 1 0 1 1 696 -40 1 C> 140 0 1 1 0 1 1 0 1 1 + 736 0 141 C> 0 1 1 0 1 1 0 1 1 737 1 142 A> 1 1 0 1 1 0 1 1 738 0 142 <A 1 1 0 1 1 0 1 1 + 780 -42 <A 144 0 1 1 0 1 1 781 -43 <B 145 0 1 1 0 1 1 782 -42 1 C> 145 0 1 1 0 1 1 + 827 3 146 C> 0 1 1 0 1 1 828 4 147 A> 1 1 0 1 1 829 3 147 <A 1 1 0 1 1 + 876 -44 <A 149 0 1 1 877 -45 <B 150 0 1 1 878 -44 1 C> 150 0 1 1 + 928 6 151 C> 0 1 1 929 7 152 A> 1 1 930 6 152 <A 1 1 + 982 -46 <A 154 983 -47 <B 155 After 983 steps (201 lines): state = B. Produced 55 ones. Tape index -47, scanned [-46 .. 8].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 455 | 26 | 429 | 0 | 11 |
B | 43 | 22 | 21 | 1 | 5 |
C | 443 | 25 | 418 | 3 | 2 |
D | 21 | 21 | 6 | ||
E | 21 | 3 | 18 | 33 | 7 |