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 | ||