Comment: This TM produces 136612 ones in 13122572797 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 | F0R | D1R | 0 | right | F | 1 | right | D |
D | A1L | E0R | 1 | left | A | 0 | right | E |
E | A0L | C1R | 0 | left | A | 1 | right | C |
F | E1L | H1L | 1 | left | E | 1 | left | H |
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 1 1 0 E> 1 1 11 1 1 1 0 1 C> 1 12 2 1 1 0 1 1 D> 13 1 1 1 0 1 1 <A 1 + 15 -1 1 1 0 <A 13 16 -2 1 1 <B 14 17 -1 1 1 B> 14 + 21 3 16 B> 22 4 17 C> 23 5 17 0 F> 24 4 17 0 <E 1 25 3 17 <A 0 1 + 32 -4 <A 17 0 1 33 -5 <B 18 0 1 34 -4 1 C> 18 0 1 35 -3 1 1 D> 17 0 1 36 -2 1 1 0 E> 16 0 1 37 -1 1 1 0 1 C> 15 0 1 38 0 1 1 0 1 1 D> 14 0 1 39 1 1 1 0 1 1 0 E> 13 0 1 40 2 1 1 0 1 1 0 1 C> 1 1 0 1 41 3 1 1 0 1 1 0 1 1 D> 1 0 1 42 4 1 1 0 1 1 0 1 1 0 E> 0 1 43 3 1 1 0 1 1 0 1 1 0 <A 0 1 44 2 1 1 0 1 1 0 1 1 <B 1 0 1 45 3 1 1 0 1 1 0 1 1 B> 1 0 1 46 4 1 1 0 1 1 0 13 B> 0 1 47 5 1 1 0 1 1 0 14 C> 1 48 6 1 1 0 1 1 0 15 D> 49 5 1 1 0 1 1 0 15 <A 1 + 54 0 1 1 0 1 1 0 <A 16 55 -1 1 1 0 1 1 <B 17 56 0 1 1 0 1 1 B> 17 + 63 7 1 1 0 19 B> 64 8 1 1 0 110 C> 65 9 1 1 0 110 0 F> 66 8 1 1 0 110 0 <E 1 67 7 1 1 0 110 <A 0 1 + 77 -3 1 1 0 <A 110 0 1 78 -4 1 1 <B 111 0 1 79 -3 1 1 B> 111 0 1 + 90 8 113 B> 0 1 91 9 114 C> 1 92 10 115 D> 93 9 115 <A 1 + 108 -6 <A 116 109 -7 <B 117 110 -6 1 C> 117 111 -5 1 1 D> 116 112 -4 1 1 0 E> 115 113 -3 1 1 0 1 C> 114 114 -2 1 1 0 1 1 D> 113 115 -1 1 1 0 1 1 0 E> 112 116 0 1 1 0 1 1 0 1 C> 111 117 1 1 1 0 1 1 0 1 1 D> 110 118 2 1 1 0 1 1 0 1 1 0 E> 19 119 3 1 1 0 1 1 0 1 1 0 1 C> 18 120 4 1 1 0 1 1 0 1 1 0 1 1 D> 17 121 5 1 1 0 1 1 0 1 1 0 1 1 0 E> 16 122 6 1 1 0 1 1 0 1 1 0 1 1 0 1 C> 15 123 7 1 1 0 1 1 0 1 1 0 1 1 0 1 1 D> 14 124 8 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 E> 13 125 9 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 C> 1 1 126 10 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 D> 1 127 11 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 E> 128 10 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 129 9 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 1 130 10 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 1 131 11 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 13 B> 132 12 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 14 C> 133 13 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 14 0 F> 134 12 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 14 0 <E 1 135 11 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 14 <A 0 1 + 139 7 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 14 0 1 140 6 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 15 0 1 141 7 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 15 0 1 + 146 12 1 1 0 1 1 0 1 1 0 1 1 0 17 B> 0 1 147 13 1 1 0 1 1 0 1 1 0 1 1 0 18 C> 1 148 14 1 1 0 1 1 0 1 1 0 1 1 0 19 D> 149 13 1 1 0 1 1 0 1 1 0 1 1 0 19 <A 1 + 158 4 1 1 0 1 1 0 1 1 0 1 1 0 <A 110 159 3 1 1 0 1 1 0 1 1 0 1 1 <B 111 160 4 1 1 0 1 1 0 1 1 0 1 1 B> 111 + 171 15 1 1 0 1 1 0 1 1 0 113 B> 172 16 1 1 0 1 1 0 1 1 0 114 C> 173 17 1 1 0 1 1 0 1 1 0 114 0 F> 174 16 1 1 0 1 1 0 1 1 0 114 0 <E 1 175 15 1 1 0 1 1 0 1 1 0 114 <A 0 1 + 189 1 1 1 0 1 1 0 1 1 0 <A 114 0 1 190 0 1 1 0 1 1 0 1 1 <B 115 0 1 191 1 1 1 0 1 1 0 1 1 B> 115 0 1 + 206 16 1 1 0 1 1 0 117 B> 0 1 207 17 1 1 0 1 1 0 118 C> 1 208 18 1 1 0 1 1 0 119 D> 209 17 1 1 0 1 1 0 119 <A 1 + 228 -2 1 1 0 1 1 0 <A 120 229 -3 1 1 0 1 1 <B 121 230 -2 1 1 0 1 1 B> 121 + 251 19 1 1 0 123 B> 252 20 1 1 0 124 C> 253 21 1 1 0 124 0 F> 254 20 1 1 0 124 0 <E 1 255 19 1 1 0 124 <A 0 1 + 279 -5 1 1 0 <A 124 0 1 280 -6 1 1 <B 125 0 1 281 -5 1 1 B> 125 0 1 + 306 20 127 B> 0 1 307 21 128 C> 1 308 22 129 D> 309 21 129 <A 1 + 338 -8 <A 130 339 -9 <B 131 340 -8 1 C> 131 341 -7 1 1 D> 130 342 -6 1 1 0 E> 129 343 -5 1 1 0 1 C> 128 344 -4 1 1 0 1 1 D> 127 345 -3 1 1 0 1 1 0 E> 126 346 -2 1 1 0 1 1 0 1 C> 125 347 -1 1 1 0 1 1 0 1 1 D> 124 348 0 1 1 0 1 1 0 1 1 0 E> 123 349 1 1 1 0 1 1 0 1 1 0 1 C> 122 350 2 1 1 0 1 1 0 1 1 0 1 1 D> 121 351 3 1 1 0 1 1 0 1 1 0 1 1 0 E> 120 352 4 1 1 0 1 1 0 1 1 0 1 1 0 1 C> 119 353 5 1 1 0 1 1 0 1 1 0 1 1 0 1 1 D> 118 354 6 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 E> 117 355 7 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 C> 116 356 8 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 D> 115 357 9 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 E> 114 358 10 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 C> 113 359 11 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 D> 112 360 12 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 E> 111 361 13 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 C> 110 362 14 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 D> 19 363 15 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 E> 18 364 16 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 C> 17 365 17 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 D> 16 366 18 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 E> 15 367 19 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 C> 14 368 20 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 D> 13 369 21 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 E> 1 1 370 22 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 C> 1 371 23 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 D> 372 22 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 <A 1 + 374 20 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 13 375 19 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 14 376 20 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> 14 + 380 24 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 16 B> 381 25 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 17 C> 382 26 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 17 0 F> 383 25 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 17 0 <E 1 384 24 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 17 <A 0 1 + 391 17 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 17 0 1 392 16 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 18 0 1 393 17 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> 18 0 1 + 401 25 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 B> 0 1 402 26 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 111 C> 1 403 27 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 112 D> 404 26 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 112 <A 1 + 416 14 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 113 417 13 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 114 418 14 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 114 + 432 28 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 116 B> 433 29 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 117 C> 434 30 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 117 0 F> 435 29 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 117 0 <E 1 436 28 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 117 <A 0 1 + 453 11 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 117 0 1 454 10 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 118 0 1 455 11 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 118 0 1 + 473 29 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 B> 0 1 474 30 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 121 C> 1 475 31 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 122 D> 476 30 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 122 <A 1 + 498 8 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 123 499 7 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 124 500 8 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 124 + 524 32 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 126 B> 525 33 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 127 C> 526 34 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 127 0 F> 527 33 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 127 0 <E 1 528 32 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 127 <A 0 1 + 555 5 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 127 0 1 556 4 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 128 0 1 557 5 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 128 0 1 + 585 33 1 1 0 1 1 0 1 1 0 1 1 0 130 B> 0 1 586 34 1 1 0 1 1 0 1 1 0 1 1 0 131 C> 1 587 35 1 1 0 1 1 0 1 1 0 1 1 0 132 D> 588 34 1 1 0 1 1 0 1 1 0 1 1 0 132 <A 1 + 620 2 1 1 0 1 1 0 1 1 0 1 1 0 <A 133 621 1 1 1 0 1 1 0 1 1 0 1 1 <B 134 After 621 steps (201 lines): state = B. Produced 42 ones. Tape index 1, scanned [-9 .. 35].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 281 | 22 | 259 | 0 | 4 |
B | 234 | 21 | 213 | 1 | 16 |
C | 39 | 8 | 31 | 22 | 2 |
D | 31 | 11 | 20 | 3 | 9 |
E | 28 | 10 | 18 | 24 | 10 |
F | 8 | 8 | 23 |