Comment: This TM produces 4098 ones in 47176870 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 | C1R | 1 | left | B | 1 | right | C |
B | C1L | B1L | 1 | left | C | 1 | left | B |
C | D1L | E0R | 1 | left | D | 0 | right | E |
D | A1R | D1R | 1 | right | A | 1 | right | D |
E | H1L | A0R | 1 | left | H | 0 | right | A |
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 -2 <C 1 1 3 -3 <D 13 4 -2 1 A> 13 5 -1 1 1 C> 1 1 6 0 1 1 0 E> 1 7 1 1 1 0 0 A> 8 0 1 1 0 0 <B 1 9 -1 1 1 0 <C 1 1 10 -2 1 1 <D 13 11 -1 1 1 D> 13 + 14 2 15 D> 15 3 16 A> 16 2 16 <B 1 + 22 -4 <B 17 23 -5 <C 18 24 -6 <D 19 25 -5 1 A> 19 26 -4 1 1 C> 18 27 -3 1 1 0 E> 17 28 -2 1 1 0 0 A> 16 29 -1 1 1 0 0 1 C> 15 30 0 1 1 0 0 1 0 E> 14 31 1 1 1 0 0 1 0 0 A> 13 32 2 1 1 0 0 1 0 0 1 C> 1 1 33 3 1 1 0 0 1 0 0 1 0 E> 1 34 4 1 1 0 0 1 0 0 1 0 0 A> 35 3 1 1 0 0 1 0 0 1 0 0 <B 1 36 2 1 1 0 0 1 0 0 1 0 <C 1 1 37 1 1 1 0 0 1 0 0 1 <D 13 38 2 1 1 0 0 1 0 0 1 D> 13 + 41 5 1 1 0 0 1 0 0 14 D> 42 6 1 1 0 0 1 0 0 15 A> 43 5 1 1 0 0 1 0 0 15 <B 1 + 48 0 1 1 0 0 1 0 0 <B 16 49 -1 1 1 0 0 1 0 <C 17 50 -2 1 1 0 0 1 <D 18 51 -1 1 1 0 0 1 D> 18 + 59 7 1 1 0 0 19 D> 60 8 1 1 0 0 110 A> 61 7 1 1 0 0 110 <B 1 + 71 -3 1 1 0 0 <B 111 72 -4 1 1 0 <C 112 73 -5 1 1 <D 113 74 -4 1 1 D> 113 + 87 9 115 D> 88 10 116 A> 89 9 116 <B 1 + 105 -7 <B 117 106 -8 <C 118 107 -9 <D 119 108 -8 1 A> 119 109 -7 1 1 C> 118 110 -6 1 1 0 E> 117 111 -5 1 1 0 0 A> 116 112 -4 1 1 0 0 1 C> 115 113 -3 1 1 0 0 1 0 E> 114 114 -2 1 1 0 0 1 0 0 A> 113 115 -1 1 1 0 0 1 0 0 1 C> 112 116 0 1 1 0 0 1 0 0 1 0 E> 111 117 1 1 1 0 0 1 0 0 1 0 0 A> 110 118 2 1 1 0 0 1 0 0 1 0 0 1 C> 19 119 3 1 1 0 0 1 0 0 1 0 0 1 0 E> 18 120 4 1 1 0 0 1 0 0 1 0 0 1 0 0 A> 17 121 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 16 122 6 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 15 123 7 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 14 124 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 13 125 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 1 1 126 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 1 127 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 128 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 1 129 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 1 130 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 D> 131 13 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 A> 132 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 <B 1 + 135 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 14 136 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 15 137 7 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 16 138 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 16 + 144 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 17 D> 145 15 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 A> 146 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 <B 1 + 154 6 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 19 155 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 110 156 4 1 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 111 157 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 111 + 168 16 1 1 0 0 1 0 0 1 0 0 1 0 0 112 D> 169 17 1 1 0 0 1 0 0 1 0 0 1 0 0 113 A> 170 16 1 1 0 0 1 0 0 1 0 0 1 0 0 113 <B 1 + 183 3 1 1 0 0 1 0 0 1 0 0 1 0 0 <B 114 184 2 1 1 0 0 1 0 0 1 0 0 1 0 <C 115 185 1 1 1 0 0 1 0 0 1 0 0 1 <D 116 186 2 1 1 0 0 1 0 0 1 0 0 1 D> 116 + 202 18 1 1 0 0 1 0 0 1 0 0 117 D> 203 19 1 1 0 0 1 0 0 1 0 0 118 A> 204 18 1 1 0 0 1 0 0 1 0 0 118 <B 1 + 222 0 1 1 0 0 1 0 0 1 0 0 <B 119 223 -1 1 1 0 0 1 0 0 1 0 <C 120 224 -2 1 1 0 0 1 0 0 1 <D 121 225 -1 1 1 0 0 1 0 0 1 D> 121 + 246 20 1 1 0 0 1 0 0 122 D> 247 21 1 1 0 0 1 0 0 123 A> 248 20 1 1 0 0 1 0 0 123 <B 1 + 271 -3 1 1 0 0 1 0 0 <B 124 272 -4 1 1 0 0 1 0 <C 125 273 -5 1 1 0 0 1 <D 126 274 -4 1 1 0 0 1 D> 126 + 300 22 1 1 0 0 127 D> 301 23 1 1 0 0 128 A> 302 22 1 1 0 0 128 <B 1 + 330 -6 1 1 0 0 <B 129 331 -7 1 1 0 <C 130 332 -8 1 1 <D 131 333 -7 1 1 D> 131 + 364 24 133 D> 365 25 134 A> 366 24 134 <B 1 + 400 -10 <B 135 401 -11 <C 136 402 -12 <D 137 403 -11 1 A> 137 404 -10 1 1 C> 136 405 -9 1 1 0 E> 135 406 -8 1 1 0 0 A> 134 407 -7 1 1 0 0 1 C> 133 408 -6 1 1 0 0 1 0 E> 132 409 -5 1 1 0 0 1 0 0 A> 131 410 -4 1 1 0 0 1 0 0 1 C> 130 411 -3 1 1 0 0 1 0 0 1 0 E> 129 412 -2 1 1 0 0 1 0 0 1 0 0 A> 128 413 -1 1 1 0 0 1 0 0 1 0 0 1 C> 127 414 0 1 1 0 0 1 0 0 1 0 0 1 0 E> 126 415 1 1 1 0 0 1 0 0 1 0 0 1 0 0 A> 125 416 2 1 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 124 417 3 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 123 418 4 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 122 419 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 121 420 6 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 120 421 7 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 119 422 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 118 423 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 117 424 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 116 425 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 115 426 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 114 427 13 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 113 428 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 112 429 15 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 111 430 16 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 110 431 17 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 19 432 18 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 18 433 19 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 17 434 20 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 16 435 21 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 15 436 22 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 14 437 23 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 13 438 24 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 1 1 439 25 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 1 440 26 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 441 25 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 1 442 26 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 1 443 27 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 D> 444 28 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 A> 445 27 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 <B 1 + 448 24 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 14 449 23 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 15 450 22 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 16 451 23 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 16 + 457 29 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 17 D> 458 30 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 A> 459 29 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 <B 1 + 467 21 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 19 468 20 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 110 469 19 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 111 470 20 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 111 + 481 31 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 112 D> 482 32 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 113 A> 483 31 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 113 <B 1 + 496 18 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 114 497 17 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 115 498 16 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 116 499 17 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 116 + 515 33 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 117 D> 516 34 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 118 A> 517 33 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 118 <B 1 + 535 15 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 119 536 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 120 537 13 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 121 538 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 121 + 559 35 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 122 D> 560 36 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 123 A> 561 35 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 123 <B 1 + 584 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 124 585 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 125 586 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 126 587 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 126 + 613 37 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 127 D> 614 38 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 128 A> 615 37 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 128 <B 1 + 643 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 129 After 643 steps (201 lines): state = B. Produced 37 ones. Tape index 9, scanned [-12 .. 38].
State | Count | Execution count | First in step | ||
---|---|---|---|---|---|
on 0 | on 1 | on 0 | on 1 | ||
A | 44 | 20 | 24 | 0 | 4 |
B | 276 | 19 | 257 | 1 | 16 |
C | 43 | 21 | 22 | 2 | 5 |
D | 258 | 21 | 237 | 3 | 10 |
E | 22 | 22 | 6 |