Comment: This TM produces 36,543,045 nonzeros in 417,310,842,648,366 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
A | 1RB | 2RA | 1LA | 1LB | 3LB | 1 | right | B | 2 | right | A | 1 | left | A | 1 | left | B | 3 | left | B |
B | 2LA | 3RB | 1RH | 4RA | 1LA | 2 | left | A | 3 | right | B | 1 | right | H | 4 | right | A | 1 | left | A |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as 1-bck-bck-macro machine. The same TM as 1-bck-bck-macro machine with pure additive config-TRs. Step Tpos St Tape contents 0 0 A . . . 0 1 1 B . . . 10 2 0 A . . . 12 3 1 A . . . 22 + 5 -1 A . . .011 by A/2 * 2 6 0 B . . .111 + 8 2 B . . .1330 by B/1 * 2 9 1 A . . .1332 10 0 B . . .1312 11 1 A . . .1412 12 2 A . . .1422 + 14 0 A . . .1411 by A/2 * 2 15 -1 B . . .1311 16 0 B . . .3311 17 1 A . . .3411 + 19 3 A . . .34220 by A/1 * 2 20 4 B . . .342210 21 3 A . . .342212 22 4 A . . .342222 + 26 0 A . . .341111 by A/2 * 4 27 -1 B . . .331111 28 0 A . . .431111 29 -1 B . . .411111 30 -2 A . . 0111111 31 -1 B . . 1111111 + 37 5 B . . 13333330 by B/1 * 6 38 4 A . . 13333332 39 3 B . . 13333312 40 4 A . . 13333412 41 5 A . . 13333422 + 43 3 A . . 13333411 by A/2 * 2 44 2 B . . 13333311 45 3 A . . 13334311 46 2 B . . 13334111 47 1 A . . 13331111 48 0 B . . 13311111 49 1 A . . 13411111 + 54 6 A . . 134222220 by A/1 * 5 55 7 B . . 1342222210 56 6 A . . 1342222212 57 7 A . . 1342222222 + 64 0 A . . 1341111111 by A/2 * 7 65 -1 B . . 1331111111 66 0 A . . 1431111111 67 -1 B . . 1411111111 68 -2 A . . 1111111111 + 78 8 A . . 22222222220 by A/1 * 10 79 9 B . . 222222222210 80 8 A . . 222222222212 81 9 A . . 222222222222 + 93 -3 A . .0111111111111 by A/2 * 12 94 -2 B . .1111111111111 + 106 10 B . .13333333333330 by B/1 * 12 107 9 A . .13333333333332 108 8 B . .13333333333312 109 9 A . .13333333333412 110 10 A . .13333333333422 + 112 8 A . .13333333333411 by A/2 * 2 113 7 B . .13333333333311 114 8 A . .13333333334311 115 7 B . .13333333334111 116 6 A . .13333333331111 117 5 B . .13333333311111 118 6 A . .13333333411111 + 123 11 A . .133333334222220 by A/1 * 5 124 12 B . .1333333342222210 125 11 A . .1333333342222212 126 12 A . .1333333342222222 + 133 5 A . .1333333341111111 by A/2 * 7 134 4 B . .1333333331111111 135 5 A . .1333333431111111 136 4 B . .1333333411111111 137 3 A . .1333333111111111 138 2 B . .1333331111111111 139 3 A . .1333341111111111 + 149 13 A . .13333422222222220 by A/1 * 10 150 14 B . .133334222222222210 151 13 A . .133334222222222212 152 14 A . .133334222222222222 + 164 2 A . .133334111111111111 by A/2 * 12 165 1 B . .133333111111111111 166 2 A . .133343111111111111 167 1 B . .133341111111111111 168 0 A . .133311111111111111 169 -1 B . .133111111111111111 170 0 A . .134111111111111111 + 185 15 A . .1342222222222222220 by A/1 * 15 186 16 B . .13422222222222222210 187 15 A . .13422222222222222212 188 16 A . .13422222222222222222 + 205 -1 A . .13411111111111111111 by A/2 * 17 206 -2 B . .13311111111111111111 207 -1 A . .14311111111111111111 208 -2 B . .14111111111111111111 209 -3 A . .11111111111111111111 + 229 17 A . .222222222222222222220 by A/1 * 20 230 18 B . .2222222222222222222210 231 17 A . .2222222222222222222212 232 18 A . .2222222222222222222222 + 254 -4 A . 01111111111111111111111 by A/2 * 22 255 -3 B . 11111111111111111111111 + 277 19 B . 133333333333333333333330 by B/1 * 22 278 18 A . 133333333333333333333332 279 17 B . 133333333333333333333312 280 18 A . 133333333333333333333412 281 19 A . 133333333333333333333422 + 283 17 A . 133333333333333333333411 by A/2 * 2 284 16 B . 133333333333333333333311 285 17 A . 133333333333333333334311 286 16 B . 133333333333333333334111 287 15 A . 133333333333333333331111 288 14 B . 133333333333333333311111 289 15 A . 133333333333333333411111 + 294 20 A . 1333333333333333334222220 by A/1 * 5 295 21 B . 13333333333333333342222210 296 20 A . 13333333333333333342222212 297 21 A . 13333333333333333342222222 + 304 14 A . 13333333333333333341111111 by A/2 * 7 305 13 B . 13333333333333333331111111 306 14 A . 13333333333333333431111111 307 13 B . 13333333333333333411111111 308 12 A . 13333333333333333111111111 309 11 B . 13333333333333331111111111 310 12 A . 13333333333333341111111111 + 320 22 A . 133333333333333422222222220 by A/1 * 10 321 23 B . 1333333333333334222222222210 322 22 A . 1333333333333334222222222212 323 23 A . 1333333333333334222222222222 + 335 11 A . 1333333333333334111111111111 by A/2 * 12 336 10 B . 1333333333333333111111111111 337 11 A . 1333333333333343111111111111 338 10 B . 1333333333333341111111111111 339 9 A . 1333333333333311111111111111 340 8 B . 1333333333333111111111111111 341 9 A . 1333333333334111111111111111 + 356 24 A . 13333333333342222222222222220 by A/1 * 15 357 25 B . 133333333333422222222222222210 358 24 A . 133333333333422222222222222212 359 25 A . 133333333333422222222222222222 + 376 8 A . 133333333333411111111111111111 by A/2 * 17 377 7 B . 133333333333311111111111111111 378 8 A . 133333333334311111111111111111 379 7 B . 133333333334111111111111111111 380 6 A . 133333333331111111111111111111 381 5 B . 133333333311111111111111111111 382 6 A . 133333333411111111111111111111 + 402 26 A . 1333333334222222222222222222220 by A/1 * 20 403 27 B . 13333333342222222222222222222210 404 26 A . 13333333342222222222222222222212 405 27 A . 13333333342222222222222222222222 + 427 5 A . 13333333341111111111111111111111 by A/2 * 22 428 4 B . 13333333331111111111111111111111 429 5 A . 13333333431111111111111111111111 430 4 B . 13333333411111111111111111111111 431 3 A . 13333333111111111111111111111111 432 2 B . 13333331111111111111111111111111 433 3 A . 13333341111111111111111111111111 + 458 28 A . 133333422222222222222222222222220 by A/1 * 25 459 29 B . 1333334222222222222222222222222210 460 28 A . 1333334222222222222222222222222212 461 29 A . 1333334222222222222222222222222222 + 488 2 A . 1333334111111111111111111111111111 by A/2 * 27 489 1 B . 1333333111111111111111111111111111 490 2 A . 1333343111111111111111111111111111 491 1 B . 1333341111111111111111111111111111 492 0 A . 1333311111111111111111111111111111 493 -1 B . 1333111111111111111111111111111111 494 0 A . 1334111111111111111111111111111111 + 524 30 A . 13342222222222222222222222222222220 by A/1 * 30 525 31 B . 133422222222222222222222222222222210 526 30 A . 133422222222222222222222222222222212 527 31 A . 133422222222222222222222222222222222 + 559 -1 A . 133411111111111111111111111111111111 by A/2 * 32 560 -2 B . 133311111111111111111111111111111111 561 -1 A . 134311111111111111111111111111111111 562 -2 B . 134111111111111111111111111111111111 563 -3 A . 131111111111111111111111111111111111 564 -4 B . 111111111111111111111111111111111111 + 600 32 B . 3333333333333333333333333333333333330 by B/1 * 36 601 31 A . 3333333333333333333333333333333333332 602 30 B . 3333333333333333333333333333333333312 603 31 A . 3333333333333333333333333333333333412 604 32 A . 3333333333333333333333333333333333422 + 606 30 A . 3333333333333333333333333333333333411 by A/2 * 2 607 29 B . 3333333333333333333333333333333333311 608 30 A . 3333333333333333333333333333333334311 609 29 B . 3333333333333333333333333333333334111 610 28 A . 3333333333333333333333333333333331111 611 27 B . 3333333333333333333333333333333311111 612 28 A . 3333333333333333333333333333333411111 + 617 33 A . 33333333333333333333333333333334222220 by A/1 * 5 618 34 B . 333333333333333333333333333333342222210 619 33 A . 333333333333333333333333333333342222212 620 34 A . 333333333333333333333333333333342222222 + 627 27 A . 333333333333333333333333333333341111111 by A/2 * 7 628 26 B . 333333333333333333333333333333331111111 629 27 A . 333333333333333333333333333333431111111 630 26 B . 333333333333333333333333333333411111111 631 25 A . 333333333333333333333333333333111111111 632 24 B . 333333333333333333333333333331111111111 633 25 A . 333333333333333333333333333341111111111 After 633 steps (201 lines): state = A. Produced 39 nonzeros. Tape index 25, scanned [-4 .. 34].
State | Count | Execution count | First in step | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
A | 484 | 19 | 197 | 217 | 34 | 17 | 0 | 2 | 3 | 9 | 14 |
B | 149 | 20 | 79 | 34 | 16 | 1 | 6 | 10 | 29 |