Comment: This TM produces 4099 nonzeros in 15754273 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 | 4LB | 1RH | 2RA | 0LB | 3LB | 4 | left | B | 1 | right | H | 2 | right | A | 0 | left | B | 3 | left | B |
| B | 2RA | 3LB | 3RB | 2LB | 1LB | 2 | right | A | 3 | left | B | 3 | right | B | 2 | left | B | 1 | left | B |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 -1 B . . . . .04
2 0 A . . . . .24
3 -1 B . . . . .23
4 0 B . . . . .33
+ 6 -2 B . . . . 022 by B/3 * 2
7 -1 A . . . . 222
+ 9 1 A . . . . 2220 by A/2 * 2
10 0 B . . . . 2224
11 1 B . . . . 2234
12 0 B . . . . 2231
13 -1 B . . . . 2221
+ 15 1 B . . . . 2331 by B/2 * 2
16 0 B . . . . 2333
+ 18 -2 B . . . . 2223 by B/3 * 2
+ 21 1 B . . . . 3333 by B/2 * 3
+ 25 -3 B . . . .02222 by B/3 * 4
26 -2 A . . . .22222
+ 30 2 A . . . .222220 by A/2 * 4
31 1 B . . . .222224
32 2 B . . . .222234
33 1 B . . . .222231
34 0 B . . . .222221
+ 36 2 B . . . .222331 by B/2 * 2
37 1 B . . . .222333
+ 39 -1 B . . . .222223 by B/3 * 2
+ 42 2 B . . . .223333 by B/2 * 3
+ 46 -2 B . . . .222222 by B/3 * 4
+ 51 3 B . . . .2333330 by B/2 * 5
52 4 A . . . .23333320
53 3 B . . . .23333324
54 4 B . . . .23333334
55 3 B . . . .23333331
+ 61 -3 B . . . .22222221 by B/3 * 6
+ 68 4 B . . . .33333331 by B/2 * 7
69 3 B . . . .33333333
+ 76 -4 B . . . 022222223 by B/3 * 7
77 -3 A . . . 222222223
+ 84 4 A . . . 222222223 by A/2 * 7
85 3 B . . . 222222220
86 4 B . . . 222222230
87 5 A . . . 2222222320
88 4 B . . . 2222222324
89 5 B . . . 2222222334
90 4 B . . . 2222222331
+ 92 2 B . . . 2222222221 by B/3 * 2
+ 95 5 B . . . 2222223331 by B/2 * 3
96 4 B . . . 2222223333
+ 99 1 B . . . 2222222223 by B/3 * 3
+ 103 5 B . . . 2222233333 by B/2 * 4
+ 108 0 B . . . 2222222222 by B/3 * 5
+ 114 6 B . . . 22223333330 by B/2 * 6
115 7 A . . . 222233333320
116 6 B . . . 222233333324
117 7 B . . . 222233333334
118 6 B . . . 222233333331
+ 125 -1 B . . . 222222222221 by B/3 * 7
+ 133 7 B . . . 222333333331 by B/2 * 8
134 6 B . . . 222333333333
+ 142 -2 B . . . 222222222223 by B/3 * 8
+ 151 7 B . . . 223333333333 by B/2 * 9
+ 161 -3 B . . . 222222222222 by B/3 * 10
+ 172 8 B . . . 2333333333330 by B/2 * 11
173 9 A . . . 23333333333320
174 8 B . . . 23333333333324
175 9 B . . . 23333333333334
176 8 B . . . 23333333333331
+ 188 -4 B . . . 22222222222221 by B/3 * 12
+ 201 9 B . . . 33333333333331 by B/2 * 13
202 8 B . . . 33333333333333
+ 215 -5 B . . .022222222222223 by B/3 * 13
216 -4 A . . .222222222222223
+ 229 9 A . . .222222222222223 by A/2 * 13
230 8 B . . .222222222222220
231 9 B . . .222222222222230
232 10 A . . .2222222222222320
233 9 B . . .2222222222222324
234 10 B . . .2222222222222334
235 9 B . . .2222222222222331
+ 237 7 B . . .2222222222222221 by B/3 * 2
+ 240 10 B . . .2222222222223331 by B/2 * 3
241 9 B . . .2222222222223333
+ 244 6 B . . .2222222222222223 by B/3 * 3
+ 248 10 B . . .2222222222233333 by B/2 * 4
+ 253 5 B . . .2222222222222222 by B/3 * 5
+ 259 11 B . . .22222222223333330 by B/2 * 6
260 12 A . . .222222222233333320
261 11 B . . .222222222233333324
262 12 B . . .222222222233333334
263 11 B . . .222222222233333331
+ 270 4 B . . .222222222222222221 by B/3 * 7
+ 278 12 B . . .222222222333333331 by B/2 * 8
279 11 B . . .222222222333333333
+ 287 3 B . . .222222222222222223 by B/3 * 8
+ 296 12 B . . .222222223333333333 by B/2 * 9
+ 306 2 B . . .222222222222222222 by B/3 * 10
+ 317 13 B . . .2222222333333333330 by B/2 * 11
318 14 A . . .22222223333333333320
319 13 B . . .22222223333333333324
320 14 B . . .22222223333333333334
321 13 B . . .22222223333333333331
+ 333 1 B . . .22222222222222222221 by B/3 * 12
+ 346 14 B . . .22222233333333333331 by B/2 * 13
347 13 B . . .22222233333333333333
+ 360 0 B . . .22222222222222222223 by B/3 * 13
+ 374 14 B . . .22222333333333333333 by B/2 * 14
+ 389 -1 B . . .22222222222222222222 by B/3 * 15
+ 405 15 B . . .222233333333333333330 by B/2 * 16
406 16 A . . .2222333333333333333320
407 15 B . . .2222333333333333333324
408 16 B . . .2222333333333333333334
409 15 B . . .2222333333333333333331
+ 426 -2 B . . .2222222222222222222221 by B/3 * 17
+ 444 16 B . . .2223333333333333333331 by B/2 * 18
445 15 B . . .2223333333333333333333
+ 463 -3 B . . .2222222222222222222223 by B/3 * 18
+ 482 16 B . . .2233333333333333333333 by B/2 * 19
+ 502 -4 B . . .2222222222222222222222 by B/3 * 20
+ 523 17 B . . .23333333333333333333330 by B/2 * 21
524 18 A . . .233333333333333333333320
525 17 B . . .233333333333333333333324
526 18 B . . .233333333333333333333334
527 17 B . . .233333333333333333333331
+ 549 -5 B . . .222222222222222222222221 by B/3 * 22
+ 572 18 B . . .333333333333333333333331 by B/2 * 23
573 17 B . . .333333333333333333333333
+ 596 -6 B . . 0222222222222222222222223 by B/3 * 23
597 -5 A . . 2222222222222222222222223
+ 620 18 A . . 2222222222222222222222223 by A/2 * 23
621 17 B . . 2222222222222222222222220
622 18 B . . 2222222222222222222222230
623 19 A . . 22222222222222222222222320
624 18 B . . 22222222222222222222222324
625 19 B . . 22222222222222222222222334
626 18 B . . 22222222222222222222222331
+ 628 16 B . . 22222222222222222222222221 by B/3 * 2
+ 631 19 B . . 22222222222222222222223331 by B/2 * 3
632 18 B . . 22222222222222222222223333
+ 635 15 B . . 22222222222222222222222223 by B/3 * 3
+ 639 19 B . . 22222222222222222222233333 by B/2 * 4
+ 644 14 B . . 22222222222222222222222222 by B/3 * 5
+ 650 20 B . . 222222222222222222223333330 by B/2 * 6
651 21 A . . 2222222222222222222233333320
652 20 B . . 2222222222222222222233333324
653 21 B . . 2222222222222222222233333334
654 20 B . . 2222222222222222222233333331
+ 661 13 B . . 2222222222222222222222222221 by B/3 * 7
+ 669 21 B . . 2222222222222222222333333331 by B/2 * 8
670 20 B . . 2222222222222222222333333333
+ 678 12 B . . 2222222222222222222222222223 by B/3 * 8
+ 687 21 B . . 2222222222222222223333333333 by B/2 * 9
+ 697 11 B . . 2222222222222222222222222222 by B/3 * 10
+ 708 22 B . . 22222222222222222333333333330 by B/2 * 11
709 23 A . . 222222222222222223333333333320
710 22 B . . 222222222222222223333333333324
711 23 B . . 222222222222222223333333333334
712 22 B . . 222222222222222223333333333331
+ 724 10 B . . 222222222222222222222222222221 by B/3 * 12
+ 737 23 B . . 222222222222222233333333333331 by B/2 * 13
738 22 B . . 222222222222222233333333333333
+ 751 9 B . . 222222222222222222222222222223 by B/3 * 13
+ 765 23 B . . 222222222222222333333333333333 by B/2 * 14
+ 780 8 B . . 222222222222222222222222222222 by B/3 * 15
+ 796 24 B . . 2222222222222233333333333333330 by B/2 * 16
797 25 A . . 22222222222222333333333333333320
798 24 B . . 22222222222222333333333333333324
799 25 B . . 22222222222222333333333333333334
800 24 B . . 22222222222222333333333333333331
+ 817 7 B . . 22222222222222222222222222222221 by B/3 * 17
+ 835 25 B . . 22222222222223333333333333333331 by B/2 * 18
836 24 B . . 22222222222223333333333333333333
+ 854 6 B . . 22222222222222222222222222222223 by B/3 * 18
+ 873 25 B . . 22222222222233333333333333333333 by B/2 * 19
+ 893 5 B . . 22222222222222222222222222222222 by B/3 * 20
+ 914 26 B . . 222222222223333333333333333333330 by B/2 * 21
915 27 A . . 2222222222233333333333333333333320
916 26 B . . 2222222222233333333333333333333324
917 27 B . . 2222222222233333333333333333333334
918 26 B . . 2222222222233333333333333333333331
+ 940 4 B . . 2222222222222222222222222222222221 by B/3 * 22
+ 963 27 B . . 2222222222333333333333333333333331 by B/2 * 23
964 26 B . . 2222222222333333333333333333333333
+ 987 3 B . . 2222222222222222222222222222222223 by B/3 * 23
+ 1011 27 B . . 2222222223333333333333333333333333 by B/2 * 24
+ 1036 2 B . . 2222222222222222222222222222222222 by B/3 * 25
+ 1062 28 B . . 22222222333333333333333333333333330 by B/2 * 26
1063 29 A . . 222222223333333333333333333333333320
1064 28 B . . 222222223333333333333333333333333324
1065 29 B . . 222222223333333333333333333333333334
1066 28 B . . 222222223333333333333333333333333331
+ 1093 1 B . . 222222222222222222222222222222222221 by B/3 * 27
+ 1121 29 B . . 222222233333333333333333333333333331 by B/2 * 28
1122 28 B . . 222222233333333333333333333333333333
+ 1150 0 B . . 222222222222222222222222222222222223 by B/3 * 28
+ 1179 29 B . . 222222333333333333333333333333333333 by B/2 * 29
+ 1209 -1 B . . 222222222222222222222222222222222222 by B/3 * 30
+ 1240 30 B . . 2222233333333333333333333333333333330 by B/2 * 31
1241 31 A . . 22222333333333333333333333333333333320
1242 30 B . . 22222333333333333333333333333333333324
1243 31 B . . 22222333333333333333333333333333333334
1244 30 B . . 22222333333333333333333333333333333331
After 1244 steps (201 lines): state = B.
Produced 38 nonzeros.
Tape index 30, scanned [-6 .. 31].
| 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 | 72 | 19 | 49 | 3 | 1 | 0 | 7 | 84 | 2 | ||
| B | 1172 | 22 | 17 | 566 | 549 | 18 | 1 | 15 | 3 | 4 | 11 |