Comment: This TM produces 2,576,467 nonzeros in 3,793,261,759,791 steps. Comment: Same result with B4->B3L 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 | B1R | A3R | B4L | A2R | A3L | 1 | right | B | 3 | right | A | 4 | left | B | 2 | right | A | 3 | left | A |
B | A2L | Z2L | B4R | B4R | B2L | 2 | left | A | 2 | left | Z | 4 | right | B | 4 | right | B | 2 | left | B |
The same TM just simple. Simulation is done with repetitions reduced. The same TM with tape symbol exponents. The same TM as bck-macro machine. The same TM as 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 . . . . . 32 4 0 B . . . . . 34 5 1 B . . . . . 44 + 7 -1 B . . . . .022 by B/4 * 2 8 -2 A . . . . 0222 9 -1 B . . . . 1222 + 12 2 B . . . . 14440 by B/2 * 3 13 1 A . . . . 14442 + 16 -2 A . . . . 13332 by A/4 * 3 17 -1 A . . . . 33332 + 20 2 A . . . . 32222 by A/3 * 3 21 1 B . . . . 32224 22 2 B . . . . 32244 + 24 0 B . . . . 32222 by B/4 * 2 + 27 3 B . . . . 324440 by B/2 * 3 28 2 A . . . . 324442 + 31 -1 A . . . . 323332 by A/4 * 3 32 -2 B . . . . 343332 33 -1 B . . . . 443332 + 35 -3 B . . . .0223332 by B/4 * 2 36 -4 A . . . 02223332 37 -3 B . . . 12223332 + 40 0 B . . . 14443332 by B/2 * 3 + 43 3 B . . . 14444442 by B/3 * 3 44 4 B . . . 144444440 45 3 A . . . 144444442 + 52 -4 A . . . 133333332 by A/4 * 7 53 -3 A . . . 333333332 + 60 4 A . . . 322222222 by A/3 * 7 61 3 B . . . 322222224 62 4 B . . . 322222244 + 64 2 B . . . 322222222 by B/4 * 2 + 67 5 B . . . 3222224440 by B/2 * 3 68 4 A . . . 3222224442 + 71 1 A . . . 3222223332 by A/4 * 3 72 0 B . . . 3222243332 73 1 B . . . 3222443332 + 75 -1 B . . . 3222223332 by B/4 * 2 + 78 2 B . . . 3224443332 by B/2 * 3 + 81 5 B . . . 3224444442 by B/3 * 3 82 6 B . . . 32244444440 83 5 A . . . 32244444442 + 90 -2 A . . . 32233333332 by A/4 * 7 91 -3 B . . . 32433333332 92 -2 B . . . 34433333332 + 94 -4 B . . . 32233333332 by B/4 * 2 95 -3 B . . . 42233333332 + 97 -1 B . . . 44433333332 by B/2 * 2 + 104 6 B . . . 44444444442 by B/3 * 7 105 7 B . . . 444444444440 106 6 A . . . 444444444442 + 117 -5 A . . .0333333333332 by A/4 * 11 118 -4 B . . .1333333333332 + 129 7 B . . .1444444444442 by B/3 * 11 130 8 B . . .14444444444440 131 7 A . . .14444444444442 + 143 -5 A . . .13333333333332 by A/4 * 12 144 -4 A . . .33333333333332 + 156 8 A . . .32222222222222 by A/3 * 12 157 7 B . . .32222222222224 158 8 B . . .32222222222244 + 160 6 B . . .32222222222222 by B/4 * 2 + 163 9 B . . .322222222224440 by B/2 * 3 164 8 A . . .322222222224442 + 167 5 A . . .322222222223332 by A/4 * 3 168 4 B . . .322222222243332 169 5 B . . .322222222443332 + 171 3 B . . .322222222223332 by B/4 * 2 + 174 6 B . . .322222224443332 by B/2 * 3 + 177 9 B . . .322222224444442 by B/3 * 3 178 10 B . . .3222222244444440 179 9 A . . .3222222244444442 + 186 2 A . . .3222222233333332 by A/4 * 7 187 1 B . . .3222222433333332 188 2 B . . .3222224433333332 + 190 0 B . . .3222222233333332 by B/4 * 2 + 193 3 B . . .3222244433333332 by B/2 * 3 + 200 10 B . . .3222244444444442 by B/3 * 7 201 11 B . . .32222444444444440 202 10 A . . .32222444444444442 + 213 -1 A . . .32222333333333332 by A/4 * 11 214 -2 B . . .32224333333333332 215 -1 B . . .32244333333333332 + 217 -3 B . . .32222333333333332 by B/4 * 2 + 220 0 B . . .32444333333333332 by B/2 * 3 + 231 11 B . . .32444444444444442 by B/3 * 11 232 12 B . . .324444444444444440 233 11 A . . .324444444444444442 + 248 -4 A . . .323333333333333332 by A/4 * 15 249 -5 B . . .343333333333333332 250 -4 B . . .443333333333333332 + 252 -6 B . . 0223333333333333332 by B/4 * 2 253 -7 A . .02223333333333333332 254 -6 B . .12223333333333333332 + 257 -3 B . .14443333333333333332 by B/2 * 3 + 272 12 B . .14444444444444444442 by B/3 * 15 273 13 B . .144444444444444444440 274 12 A . .144444444444444444442 + 293 -7 A . .133333333333333333332 by A/4 * 19 294 -6 A . .333333333333333333332 + 313 13 A . .322222222222222222222 by A/3 * 19 314 12 B . .322222222222222222224 315 13 B . .322222222222222222244 + 317 11 B . .322222222222222222222 by B/4 * 2 + 320 14 B . .3222222222222222224440 by B/2 * 3 321 13 A . .3222222222222222224442 + 324 10 A . .3222222222222222223332 by A/4 * 3 325 9 B . .3222222222222222243332 326 10 B . .3222222222222222443332 + 328 8 B . .3222222222222222223332 by B/4 * 2 + 331 11 B . .3222222222222224443332 by B/2 * 3 + 334 14 B . .3222222222222224444442 by B/3 * 3 335 15 B . .32222222222222244444440 336 14 A . .32222222222222244444442 + 343 7 A . .32222222222222233333332 by A/4 * 7 344 6 B . .32222222222222433333332 345 7 B . .32222222222224433333332 + 347 5 B . .32222222222222233333332 by B/4 * 2 + 350 8 B . .32222222222244433333332 by B/2 * 3 + 357 15 B . .32222222222244444444442 by B/3 * 7 358 16 B . .322222222222444444444440 359 15 A . .322222222222444444444442 + 370 4 A . .322222222222333333333332 by A/4 * 11 371 3 B . .322222222224333333333332 372 4 B . .322222222244333333333332 + 374 2 B . .322222222222333333333332 by B/4 * 2 + 377 5 B . .322222222444333333333332 by B/2 * 3 + 388 16 B . .322222222444444444444442 by B/3 * 11 389 17 B . .3222222224444444444444440 390 16 A . .3222222224444444444444442 + 405 1 A . .3222222223333333333333332 by A/4 * 15 406 0 B . .3222222243333333333333332 407 1 B . .3222222443333333333333332 + 409 -1 B . .3222222223333333333333332 by B/4 * 2 + 412 2 B . .3222224443333333333333332 by B/2 * 3 + 427 17 B . .3222224444444444444444442 by B/3 * 15 428 18 B . .32222244444444444444444440 429 17 A . .32222244444444444444444442 + 448 -2 A . .32222233333333333333333332 by A/4 * 19 449 -3 B . .32222433333333333333333332 450 -2 B . .32224433333333333333333332 + 452 -4 B . .32222233333333333333333332 by B/4 * 2 + 455 -1 B . .32244433333333333333333332 by B/2 * 3 + 474 18 B . .32244444444444444444444442 by B/3 * 19 475 19 B . .322444444444444444444444440 476 18 A . .322444444444444444444444442 + 499 -5 A . .322333333333333333333333332 by A/4 * 23 500 -6 B . .324333333333333333333333332 501 -5 B . .344333333333333333333333332 + 503 -7 B . .322333333333333333333333332 by B/4 * 2 504 -6 B . .422333333333333333333333332 + 506 -4 B . .444333333333333333333333332 by B/2 * 2 + 529 19 B . .444444444444444444444444442 by B/3 * 23 530 20 B . .4444444444444444444444444440 531 19 A . .4444444444444444444444444442 + 558 -8 A . 03333333333333333333333333332 by A/4 * 27 559 -7 B . 13333333333333333333333333332 + 586 20 B . 14444444444444444444444444442 by B/3 * 27 587 21 B . 144444444444444444444444444440 588 20 A . 144444444444444444444444444442 + 616 -8 A . 133333333333333333333333333332 by A/4 * 28 617 -7 A . 333333333333333333333333333332 + 645 21 A . 322222222222222222222222222222 by A/3 * 28 646 20 B . 322222222222222222222222222224 647 21 B . 322222222222222222222222222244 + 649 19 B . 322222222222222222222222222222 by B/4 * 2 + 652 22 B . 3222222222222222222222222224440 by B/2 * 3 653 21 A . 3222222222222222222222222224442 + 656 18 A . 3222222222222222222222222223332 by A/4 * 3 657 17 B . 3222222222222222222222222243332 658 18 B . 3222222222222222222222222443332 + 660 16 B . 3222222222222222222222222223332 by B/4 * 2 + 663 19 B . 3222222222222222222222224443332 by B/2 * 3 + 666 22 B . 3222222222222222222222224444442 by B/3 * 3 667 23 B . 32222222222222222222222244444440 668 22 A . 32222222222222222222222244444442 + 675 15 A . 32222222222222222222222233333332 by A/4 * 7 676 14 B . 32222222222222222222222433333332 677 15 B . 32222222222222222222224433333332 + 679 13 B . 32222222222222222222222233333332 by B/4 * 2 + 682 16 B . 32222222222222222222244433333332 by B/2 * 3 + 689 23 B . 32222222222222222222244444444442 by B/3 * 7 690 24 B . 322222222222222222222444444444440 691 23 A . 322222222222222222222444444444442 + 702 12 A . 322222222222222222222333333333332 by A/4 * 11 703 11 B . 322222222222222222224333333333332 704 12 B . 322222222222222222244333333333332 + 706 10 B . 322222222222222222222333333333332 by B/4 * 2 + 709 13 B . 322222222222222222444333333333332 by B/2 * 3 + 720 24 B . 322222222222222222444444444444442 by B/3 * 11 721 25 B . 3222222222222222224444444444444440 722 24 A . 3222222222222222224444444444444442 + 737 9 A . 3222222222222222223333333333333332 by A/4 * 15 738 8 B . 3222222222222222243333333333333332 739 9 B . 3222222222222222443333333333333332 + 741 7 B . 3222222222222222223333333333333332 by B/4 * 2 + 744 10 B . 3222222222222224443333333333333332 by B/2 * 3 + 759 25 B . 3222222222222224444444444444444442 by B/3 * 15 After 759 steps (201 lines): state = B. Produced 34 nonzeros. Tape index 25, scanned [-8 .. 25].
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 | 374 | 6 | 6 | 23 | 69 | 270 | 0 | 2 | 3 | 17 | 13 |
B | 385 | 28 | 105 | 206 | 46 | 1 | 9 | 4 | 5 |