Comment: This TM produces 17485734 ones in 95547257425490 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 | B1R | C0L | 1 | right | B | 0 | left | C |
B | A1L | A0R | 1 | left | A | 0 | right | A |
C | D0L | Z1R | 0 | left | D | 1 | right | Z |
D | E1R | D1L | 1 | right | E | 1 | left | D |
E | F0L | E0L | 0 | left | F | 0 | left | E |
F | F1R | B0L | 1 | right | F | 0 | left | B |
The same TM just simple. The same TM with repetitions reduced. Simulation is done with tape symbol exponents. The same TM as 1-bck-macro machine. The same TM as 1-bck-macro machine with pure additive config-TRs. Step Tpos Tape contents 0 0 <A 1 1 1 B> 2 0 1 <A 1 3 -1 <C 0 1 4 -2 <D 0 0 1 5 -1 1 E> 0 0 1 6 -2 1 <F 0 0 1 7 -3 <B 03 1 8 -4 <A 1 03 1 9 -3 1 B> 1 03 1 10 -2 1 0 A> 03 1 11 -1 1 0 1 B> 0 0 1 12 -2 1 0 1 <A 1 0 1 13 -3 1 0 <C 0 1 0 1 14 -4 1 <D 0 0 1 0 1 15 -5 <D 1 0 0 1 0 1 16 -4 1 E> 1 0 0 1 0 1 17 -5 1 <E 03 1 0 1 18 -6 <E 04 1 0 1 19 -7 <F 05 1 0 1 20 -6 1 F> 05 1 0 1 + 25 -1 16 F> 1 0 1 26 -2 16 <B 0 0 1 27 -1 15 0 A> 0 0 1 28 0 15 0 1 B> 0 1 29 -1 15 0 1 <A 1 1 30 -2 15 0 <C 0 1 1 31 -3 15 <D 0 0 1 1 + 36 -8 <D 15 0 0 1 1 37 -7 1 E> 15 0 0 1 1 38 -8 1 <E 0 14 0 0 1 1 39 -9 <E 0 0 14 0 0 1 1 40 -10 <F 03 14 0 0 1 1 41 -9 1 F> 03 14 0 0 1 1 + 44 -6 14 F> 14 0 0 1 1 45 -7 14 <B 0 13 0 0 1 1 46 -6 13 0 A> 0 13 0 0 1 1 47 -5 13 0 1 B> 13 0 0 1 1 48 -4 13 0 1 0 A> 1 1 0 0 1 1 49 -5 13 0 1 0 <C 0 1 0 0 1 1 50 -6 13 0 1 <D 0 0 1 0 0 1 1 51 -7 13 0 <D 1 0 0 1 0 0 1 1 52 -6 14 E> 1 0 0 1 0 0 1 1 53 -7 14 <E 03 1 0 0 1 1 + 57 -11 <E 07 1 0 0 1 1 58 -12 <F 08 1 0 0 1 1 59 -11 1 F> 08 1 0 0 1 1 + 67 -3 19 F> 1 0 0 1 1 68 -4 19 <B 03 1 1 69 -3 18 0 A> 03 1 1 70 -2 18 0 1 B> 0 0 1 1 71 -3 18 0 1 <A 1 0 1 1 72 -4 18 0 <C 0 1 0 1 1 73 -5 18 <D 0 0 1 0 1 1 + 81 -13 <D 18 0 0 1 0 1 1 82 -12 1 E> 18 0 0 1 0 1 1 83 -13 1 <E 0 17 0 0 1 0 1 1 84 -14 <E 0 0 17 0 0 1 0 1 1 85 -15 <F 03 17 0 0 1 0 1 1 86 -14 1 F> 03 17 0 0 1 0 1 1 + 89 -11 14 F> 17 0 0 1 0 1 1 90 -12 14 <B 0 16 0 0 1 0 1 1 91 -11 13 0 A> 0 16 0 0 1 0 1 1 92 -10 13 0 1 B> 16 0 0 1 0 1 1 93 -9 13 0 1 0 A> 15 0 0 1 0 1 1 94 -10 13 0 1 0 <C 0 14 0 0 1 0 1 1 95 -11 13 0 1 <D 0 0 14 0 0 1 0 1 1 96 -12 13 0 <D 1 0 0 14 0 0 1 0 1 1 97 -11 14 E> 1 0 0 14 0 0 1 0 1 1 98 -12 14 <E 03 14 0 0 1 0 1 1 + 102 -16 <E 07 14 0 0 1 0 1 1 103 -17 <F 08 14 0 0 1 0 1 1 104 -16 1 F> 08 14 0 0 1 0 1 1 + 112 -8 19 F> 14 0 0 1 0 1 1 113 -9 19 <B 0 13 0 0 1 0 1 1 114 -8 18 0 A> 0 13 0 0 1 0 1 1 115 -7 18 0 1 B> 13 0 0 1 0 1 1 116 -6 18 0 1 0 A> 1 1 0 0 1 0 1 1 117 -7 18 0 1 0 <C 0 1 0 0 1 0 1 1 118 -8 18 0 1 <D 0 0 1 0 0 1 0 1 1 119 -9 18 0 <D 1 0 0 1 0 0 1 0 1 1 120 -8 19 E> 1 0 0 1 0 0 1 0 1 1 121 -9 19 <E 03 1 0 0 1 0 1 1 + 130 -18 <E 012 1 0 0 1 0 1 1 131 -19 <F 013 1 0 0 1 0 1 1 132 -18 1 F> 013 1 0 0 1 0 1 1 + 145 -5 114 F> 1 0 0 1 0 1 1 146 -6 114 <B 03 1 0 1 1 147 -5 113 0 A> 03 1 0 1 1 148 -4 113 0 1 B> 0 0 1 0 1 1 149 -5 113 0 1 <A 1 0 1 0 1 1 150 -6 113 0 <C 0 1 0 1 0 1 1 151 -7 113 <D 0 0 1 0 1 0 1 1 + 164 -20 <D 113 0 0 1 0 1 0 1 1 165 -19 1 E> 113 0 0 1 0 1 0 1 1 166 -20 1 <E 0 112 0 0 1 0 1 0 1 1 167 -21 <E 0 0 112 0 0 1 0 1 0 1 1 168 -22 <F 03 112 0 0 1 0 1 0 1 1 169 -21 1 F> 03 112 0 0 1 0 1 0 1 1 + 172 -18 14 F> 112 0 0 1 0 1 0 1 1 173 -19 14 <B 0 111 0 0 1 0 1 0 1 1 174 -18 13 0 A> 0 111 0 0 1 0 1 0 1 1 175 -17 13 0 1 B> 111 0 0 1 0 1 0 1 1 176 -16 13 0 1 0 A> 110 0 0 1 0 1 0 1 1 177 -17 13 0 1 0 <C 0 19 0 0 1 0 1 0 1 1 178 -18 13 0 1 <D 0 0 19 0 0 1 0 1 0 1 1 179 -19 13 0 <D 1 0 0 19 0 0 1 0 1 0 1 1 180 -18 14 E> 1 0 0 19 0 0 1 0 1 0 1 1 181 -19 14 <E 03 19 0 0 1 0 1 0 1 1 + 185 -23 <E 07 19 0 0 1 0 1 0 1 1 186 -24 <F 08 19 0 0 1 0 1 0 1 1 187 -23 1 F> 08 19 0 0 1 0 1 0 1 1 + 195 -15 19 F> 19 0 0 1 0 1 0 1 1 196 -16 19 <B 0 18 0 0 1 0 1 0 1 1 197 -15 18 0 A> 0 18 0 0 1 0 1 0 1 1 198 -14 18 0 1 B> 18 0 0 1 0 1 0 1 1 199 -13 18 0 1 0 A> 17 0 0 1 0 1 0 1 1 200 -14 18 0 1 0 <C 0 16 0 0 1 0 1 0 1 1 201 -15 18 0 1 <D 0 0 16 0 0 1 0 1 0 1 1 202 -16 18 0 <D 1 0 0 16 0 0 1 0 1 0 1 1 203 -15 19 E> 1 0 0 16 0 0 1 0 1 0 1 1 204 -16 19 <E 03 16 0 0 1 0 1 0 1 1 + 213 -25 <E 012 16 0 0 1 0 1 0 1 1 214 -26 <F 013 16 0 0 1 0 1 0 1 1 215 -25 1 F> 013 16 0 0 1 0 1 0 1 1 + 228 -12 114 F> 16 0 0 1 0 1 0 1 1 229 -13 114 <B 0 15 0 0 1 0 1 0 1 1 230 -12 113 0 A> 0 15 0 0 1 0 1 0 1 1 231 -11 113 0 1 B> 15 0 0 1 0 1 0 1 1 232 -10 113 0 1 0 A> 14 0 0 1 0 1 0 1 1 233 -11 113 0 1 0 <C 0 13 0 0 1 0 1 0 1 1 234 -12 113 0 1 <D 0 0 13 0 0 1 0 1 0 1 1 235 -13 113 0 <D 1 0 0 13 0 0 1 0 1 0 1 1 236 -12 114 E> 1 0 0 13 0 0 1 0 1 0 1 1 237 -13 114 <E 03 13 0 0 1 0 1 0 1 1 + 251 -27 <E 017 13 0 0 1 0 1 0 1 1 252 -28 <F 018 13 0 0 1 0 1 0 1 1 253 -27 1 F> 018 13 0 0 1 0 1 0 1 1 + 271 -9 119 F> 13 0 0 1 0 1 0 1 1 272 -10 119 <B 0 1 1 0 0 1 0 1 0 1 1 273 -9 118 0 A> 0 1 1 0 0 1 0 1 0 1 1 274 -8 118 0 1 B> 1 1 0 0 1 0 1 0 1 1 275 -7 118 0 1 0 A> 1 0 0 1 0 1 0 1 1 276 -8 118 0 1 0 <C 03 1 0 1 0 1 1 277 -9 118 0 1 <D 04 1 0 1 0 1 1 278 -10 118 0 <D 1 04 1 0 1 0 1 1 279 -9 119 E> 1 04 1 0 1 0 1 1 280 -10 119 <E 05 1 0 1 0 1 1 + 299 -29 <E 024 1 0 1 0 1 1 300 -30 <F 025 1 0 1 0 1 1 301 -29 1 F> 025 1 0 1 0 1 1 + 326 -4 126 F> 1 0 1 0 1 1 327 -5 126 <B 0 0 1 0 1 1 328 -4 125 0 A> 0 0 1 0 1 1 329 -3 125 0 1 B> 0 1 0 1 1 330 -4 125 0 1 <A 1 1 0 1 1 331 -5 125 0 <C 0 1 1 0 1 1 332 -6 125 <D 0 0 1 1 0 1 1 + 357 -31 <D 125 0 0 1 1 0 1 1 358 -30 1 E> 125 0 0 1 1 0 1 1 359 -31 1 <E 0 124 0 0 1 1 0 1 1 360 -32 <E 0 0 124 0 0 1 1 0 1 1 361 -33 <F 03 124 0 0 1 1 0 1 1 362 -32 1 F> 03 124 0 0 1 1 0 1 1 + 365 -29 14 F> 124 0 0 1 1 0 1 1 366 -30 14 <B 0 123 0 0 1 1 0 1 1 367 -29 13 0 A> 0 123 0 0 1 1 0 1 1 368 -28 13 0 1 B> 123 0 0 1 1 0 1 1 369 -27 13 0 1 0 A> 122 0 0 1 1 0 1 1 370 -28 13 0 1 0 <C 0 121 0 0 1 1 0 1 1 371 -29 13 0 1 <D 0 0 121 0 0 1 1 0 1 1 372 -30 13 0 <D 1 0 0 121 0 0 1 1 0 1 1 373 -29 14 E> 1 0 0 121 0 0 1 1 0 1 1 374 -30 14 <E 03 121 0 0 1 1 0 1 1 + 378 -34 <E 07 121 0 0 1 1 0 1 1 379 -35 <F 08 121 0 0 1 1 0 1 1 380 -34 1 F> 08 121 0 0 1 1 0 1 1 + 388 -26 19 F> 121 0 0 1 1 0 1 1 389 -27 19 <B 0 120 0 0 1 1 0 1 1 390 -26 18 0 A> 0 120 0 0 1 1 0 1 1 391 -25 18 0 1 B> 120 0 0 1 1 0 1 1 392 -24 18 0 1 0 A> 119 0 0 1 1 0 1 1 393 -25 18 0 1 0 <C 0 118 0 0 1 1 0 1 1 394 -26 18 0 1 <D 0 0 118 0 0 1 1 0 1 1 395 -27 18 0 <D 1 0 0 118 0 0 1 1 0 1 1 396 -26 19 E> 1 0 0 118 0 0 1 1 0 1 1 397 -27 19 <E 03 118 0 0 1 1 0 1 1 + 406 -36 <E 012 118 0 0 1 1 0 1 1 407 -37 <F 013 118 0 0 1 1 0 1 1 408 -36 1 F> 013 118 0 0 1 1 0 1 1 + 421 -23 114 F> 118 0 0 1 1 0 1 1 422 -24 114 <B 0 117 0 0 1 1 0 1 1 423 -23 113 0 A> 0 117 0 0 1 1 0 1 1 424 -22 113 0 1 B> 117 0 0 1 1 0 1 1 425 -21 113 0 1 0 A> 116 0 0 1 1 0 1 1 426 -22 113 0 1 0 <C 0 115 0 0 1 1 0 1 1 427 -23 113 0 1 <D 0 0 115 0 0 1 1 0 1 1 428 -24 113 0 <D 1 0 0 115 0 0 1 1 0 1 1 429 -23 114 E> 1 0 0 115 0 0 1 1 0 1 1 430 -24 114 <E 03 115 0 0 1 1 0 1 1 + 444 -38 <E 017 115 0 0 1 1 0 1 1 445 -39 <F 018 115 0 0 1 1 0 1 1 446 -38 1 F> 018 115 0 0 1 1 0 1 1 + 464 -20 119 F> 115 0 0 1 1 0 1 1 465 -21 119 <B 0 114 0 0 1 1 0 1 1 466 -20 118 0 A> 0 114 0 0 1 1 0 1 1 467 -19 118 0 1 B> 114 0 0 1 1 0 1 1 468 -18 118 0 1 0 A> 113 0 0 1 1 0 1 1 469 -19 118 0 1 0 <C 0 112 0 0 1 1 0 1 1 470 -20 118 0 1 <D 0 0 112 0 0 1 1 0 1 1 471 -21 118 0 <D 1 0 0 112 0 0 1 1 0 1 1 472 -20 119 E> 1 0 0 112 0 0 1 1 0 1 1 473 -21 119 <E 03 112 0 0 1 1 0 1 1 + 492 -40 <E 022 112 0 0 1 1 0 1 1 493 -41 <F 023 112 0 0 1 1 0 1 1 494 -40 1 F> 023 112 0 0 1 1 0 1 1 + 517 -17 124 F> 112 0 0 1 1 0 1 1 518 -18 124 <B 0 111 0 0 1 1 0 1 1 519 -17 123 0 A> 0 111 0 0 1 1 0 1 1 520 -16 123 0 1 B> 111 0 0 1 1 0 1 1 521 -15 123 0 1 0 A> 110 0 0 1 1 0 1 1 522 -16 123 0 1 0 <C 0 19 0 0 1 1 0 1 1 523 -17 123 0 1 <D 0 0 19 0 0 1 1 0 1 1 524 -18 123 0 <D 1 0 0 19 0 0 1 1 0 1 1 525 -17 124 E> 1 0 0 19 0 0 1 1 0 1 1 526 -18 124 <E 03 19 0 0 1 1 0 1 1 + 550 -42 <E 027 19 0 0 1 1 0 1 1 551 -43 <F 028 19 0 0 1 1 0 1 1 552 -42 1 F> 028 19 0 0 1 1 0 1 1 + 580 -14 129 F> 19 0 0 1 1 0 1 1 581 -15 129 <B 0 18 0 0 1 1 0 1 1 582 -14 128 0 A> 0 18 0 0 1 1 0 1 1 583 -13 128 0 1 B> 18 0 0 1 1 0 1 1 584 -12 128 0 1 0 A> 17 0 0 1 1 0 1 1 585 -13 128 0 1 0 <C 0 16 0 0 1 1 0 1 1 586 -14 128 0 1 <D 0 0 16 0 0 1 1 0 1 1 587 -15 128 0 <D 1 0 0 16 0 0 1 1 0 1 1 588 -14 129 E> 1 0 0 16 0 0 1 1 0 1 1 589 -15 129 <E 03 16 0 0 1 1 0 1 1 + 618 -44 <E 032 16 0 0 1 1 0 1 1 619 -45 <F 033 16 0 0 1 1 0 1 1 620 -44 1 F> 033 16 0 0 1 1 0 1 1 + 653 -11 134 F> 16 0 0 1 1 0 1 1 654 -12 134 <B 0 15 0 0 1 1 0 1 1 655 -11 133 0 A> 0 15 0 0 1 1 0 1 1 656 -10 133 0 1 B> 15 0 0 1 1 0 1 1 657 -9 133 0 1 0 A> 14 0 0 1 1 0 1 1 658 -10 133 0 1 0 <C 0 13 0 0 1 1 0 1 1 659 -11 133 0 1 <D 0 0 13 0 0 1 1 0 1 1 660 -12 133 0 <D 1 0 0 13 0 0 1 1 0 1 1 661 -11 134 E> 1 0 0 13 0 0 1 1 0 1 1 662 -12 134 <E 03 13 0 0 1 1 0 1 1 + 696 -46 <E 037 13 0 0 1 1 0 1 1 697 -47 <F 038 13 0 0 1 1 0 1 1 698 -46 1 F> 038 13 0 0 1 1 0 1 1 + 736 -8 139 F> 13 0 0 1 1 0 1 1 737 -9 139 <B 0 1 1 0 0 1 1 0 1 1 738 -8 138 0 A> 0 1 1 0 0 1 1 0 1 1 739 -7 138 0 1 B> 1 1 0 0 1 1 0 1 1 740 -6 138 0 1 0 A> 1 0 0 1 1 0 1 1 741 -7 138 0 1 0 <C 03 1 1 0 1 1 742 -8 138 0 1 <D 04 1 1 0 1 1 743 -9 138 0 <D 1 04 1 1 0 1 1 744 -8 139 E> 1 04 1 1 0 1 1 745 -9 139 <E 05 1 1 0 1 1 + 784 -48 <E 044 1 1 0 1 1 785 -49 <F 045 1 1 0 1 1 786 -48 1 F> 045 1 1 0 1 1 + 831 -3 146 F> 1 1 0 1 1 832 -4 146 <B 0 1 0 1 1 833 -3 145 0 A> 0 1 0 1 1 834 -2 145 0 1 B> 1 0 1 1 835 -1 145 0 1 0 A> 0 1 1 836 0 145 0 1 0 1 B> 1 1 837 1 145 0 1 0 1 0 A> 1 838 0 145 0 1 0 1 0 <C 839 -1 145 0 1 0 1 <D 840 -2 145 0 1 0 <D 1 841 -1 145 0 1 1 E> 1 842 -2 145 0 1 1 <E + 844 -4 145 0 <E 845 -5 145 <F 846 -6 144 <B 847 -5 143 0 A> 848 -4 143 0 1 B> 849 -5 143 0 1 <A 1 850 -6 143 0 <C 0 1 851 -7 143 <D 0 0 1 + 894 -50 <D 143 0 0 1 895 -49 1 E> 143 0 0 1 896 -50 1 <E 0 142 0 0 1 897 -51 <E 0 0 142 0 0 1 898 -52 <F 03 142 0 0 1 899 -51 1 F> 03 142 0 0 1 + 902 -48 14 F> 142 0 0 1 903 -49 14 <B 0 141 0 0 1 904 -48 13 0 A> 0 141 0 0 1 905 -47 13 0 1 B> 141 0 0 1 906 -46 13 0 1 0 A> 140 0 0 1 907 -47 13 0 1 0 <C 0 139 0 0 1 908 -48 13 0 1 <D 0 0 139 0 0 1 After 908 steps (301 lines): state = D. Produced 44 ones. Tape index -48, scanned [-52 .. 1].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 50 | 26 | 24 | 0 | 2 |
B | 49 | 8 | 41 | 1 | 9 |
C | 24 | 24 | 3 | ||
D | 134 | 23 | 111 | 4 | 14 |
E | 288 | 23 | 265 | 5 | 16 |
F | 363 | 340 | 23 | 19 | 6 |