Comment: This TM produces 2050 nonzeros in 3932964 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 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 3RB | 3RA | 3RA | 1LA | 3 | right | B | 3 | right | A | 3 | right | A | 1 | left | A |
| B | 3LB | 2RB | 2LH | 3LA | 3 | left | B | 2 | right | B | 2 | left | H | 3 | left | A |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 30
2 0 B . . . . . 33
3 -1 A . . . . .033
4 0 B . . . . .333
5 -1 A . . . . .333
6 -2 A . . . . 0133
7 -1 B . . . . 3133
8 0 B . . . . 3233
9 -1 A . . . . 3233
10 0 A . . . . 3333
+ 13 -3 A . . . .01113 by A/3 * 3
14 -2 B . . . .31113
+ 17 1 B . . . .32223 by B/1 * 3
18 0 A . . . .32223
19 1 A . . . .32233
+ 21 -1 A . . . .32211 by A/3 * 2
22 0 A . . . .32311
+ 24 2 A . . . .323330 by A/1 * 2
25 3 B . . . .3233330
26 2 B . . . .3233333
27 1 A . . . .3233333
+ 30 -2 A . . . .3211133 by A/3 * 3
31 -1 A . . . .3311133
+ 34 2 A . . . .3333333 by A/1 * 3
+ 40 -4 A . . . 01111113 by A/3 * 6
41 -3 B . . . 31111113
+ 47 3 B . . . 32222223 by B/1 * 6
48 2 A . . . 32222223
49 3 A . . . 32222233
+ 51 1 A . . . 32222211 by A/3 * 2
52 2 A . . . 32222311
+ 54 4 A . . . 322223330 by A/1 * 2
55 5 B . . . 3222233330
56 4 B . . . 3222233333
57 3 A . . . 3222233333
+ 60 0 A . . . 3222211133 by A/3 * 3
61 1 A . . . 3222311133
+ 64 4 A . . . 3222333333 by A/1 * 3
+ 69 -1 A . . . 3222111113 by A/3 * 5
70 0 A . . . 3223111113
+ 75 5 A . . . 3223333333 by A/1 * 5
+ 82 -2 A . . . 3221111111 by A/3 * 7
83 -1 A . . . 3231111111
+ 90 6 A . . . 32333333330 by A/1 * 7
91 7 B . . . 323333333330
92 6 B . . . 323333333333
93 5 A . . . 323333333333
+ 101 -3 A . . . 321111111133 by A/3 * 8
102 -2 A . . . 331111111133
+ 110 6 A . . . 333333333333 by A/1 * 8
+ 121 -5 A . . .0111111111113 by A/3 * 11
122 -4 B . . .3111111111113
+ 133 7 B . . .3222222222223 by B/1 * 11
134 6 A . . .3222222222223
135 7 A . . .3222222222233
+ 137 5 A . . .3222222222211 by A/3 * 2
138 6 A . . .3222222222311
+ 140 8 A . . .32222222223330 by A/1 * 2
141 9 B . . .322222222233330
142 8 B . . .322222222233333
143 7 A . . .322222222233333
+ 146 4 A . . .322222222211133 by A/3 * 3
147 5 A . . .322222222311133
+ 150 8 A . . .322222222333333 by A/1 * 3
+ 155 3 A . . .322222222111113 by A/3 * 5
156 4 A . . .322222223111113
+ 161 9 A . . .322222223333333 by A/1 * 5
+ 168 2 A . . .322222221111111 by A/3 * 7
169 3 A . . .322222231111111
+ 176 10 A . . .3222222333333330 by A/1 * 7
177 11 B . . .32222223333333330
178 10 B . . .32222223333333333
179 9 A . . .32222223333333333
+ 187 1 A . . .32222221111111133 by A/3 * 8
188 2 A . . .32222231111111133
+ 196 10 A . . .32222233333333333 by A/1 * 8
+ 206 0 A . . .32222211111111113 by A/3 * 10
207 1 A . . .32222311111111113
+ 217 11 A . . .32222333333333333 by A/1 * 10
+ 229 -1 A . . .32222111111111111 by A/3 * 12
230 0 A . . .32223111111111111
+ 242 12 A . . .322233333333333330 by A/1 * 12
243 13 B . . .3222333333333333330
244 12 B . . .3222333333333333333
245 11 A . . .3222333333333333333
+ 258 -2 A . . .3222111111111111133 by A/3 * 13
259 -1 A . . .3223111111111111133
+ 272 12 A . . .3223333333333333333 by A/1 * 13
+ 287 -3 A . . .3221111111111111113 by A/3 * 15
288 -2 A . . .3231111111111111113
+ 303 13 A . . .3233333333333333333 by A/1 * 15
+ 320 -4 A . . .3211111111111111111 by A/3 * 17
321 -3 A . . .3311111111111111111
+ 338 14 A . . .33333333333333333330 by A/1 * 17
339 15 B . . .333333333333333333330
340 14 B . . .333333333333333333333
341 13 A . . .333333333333333333333
+ 360 -6 A . . 0111111111111111111133 by A/3 * 19
361 -5 B . . 3111111111111111111133
+ 380 14 B . . 3222222222222222222233 by B/1 * 19
381 13 A . . 3222222222222222222233
382 14 A . . 3222222222222222222333
+ 384 12 A . . 3222222222222222222113 by A/3 * 2
385 13 A . . 3222222222222222223113
+ 387 15 A . . 3222222222222222223333 by A/1 * 2
+ 391 11 A . . 3222222222222222221111 by A/3 * 4
392 12 A . . 3222222222222222231111
+ 396 16 A . . 32222222222222222333330 by A/1 * 4
397 17 B . . 322222222222222223333330
398 16 B . . 322222222222222223333333
399 15 A . . 322222222222222223333333
+ 404 10 A . . 322222222222222221111133 by A/3 * 5
405 11 A . . 322222222222222231111133
+ 410 16 A . . 322222222222222233333333 by A/1 * 5
+ 417 9 A . . 322222222222222211111113 by A/3 * 7
418 10 A . . 322222222222222311111113
+ 425 17 A . . 322222222222222333333333 by A/1 * 7
+ 434 8 A . . 322222222222222111111111 by A/3 * 9
435 9 A . . 322222222222223111111111
+ 444 18 A . . 3222222222222233333333330 by A/1 * 9
445 19 B . . 32222222222222333333333330
446 18 B . . 32222222222222333333333333
447 17 A . . 32222222222222333333333333
+ 457 7 A . . 32222222222222111111111133 by A/3 * 10
458 8 A . . 32222222222223111111111133
+ 468 18 A . . 32222222222223333333333333 by A/1 * 10
+ 480 6 A . . 32222222222221111111111113 by A/3 * 12
481 7 A . . 32222222222231111111111113
+ 493 19 A . . 32222222222233333333333333 by A/1 * 12
+ 507 5 A . . 32222222222211111111111111 by A/3 * 14
508 6 A . . 32222222222311111111111111
+ 522 20 A . . 322222222223333333333333330 by A/1 * 14
523 21 B . . 3222222222233333333333333330
524 20 B . . 3222222222233333333333333333
525 19 A . . 3222222222233333333333333333
+ 540 4 A . . 3222222222211111111111111133 by A/3 * 15
541 5 A . . 3222222222311111111111111133
+ 556 20 A . . 3222222222333333333333333333 by A/1 * 15
+ 573 3 A . . 3222222222111111111111111113 by A/3 * 17
574 4 A . . 3222222223111111111111111113
+ 591 21 A . . 3222222223333333333333333333 by A/1 * 17
+ 610 2 A . . 3222222221111111111111111111 by A/3 * 19
611 3 A . . 3222222231111111111111111111
+ 630 22 A . . 32222222333333333333333333330 by A/1 * 19
631 23 B . . 322222223333333333333333333330
632 22 B . . 322222223333333333333333333333
633 21 A . . 322222223333333333333333333333
+ 653 1 A . . 322222221111111111111111111133 by A/3 * 20
654 2 A . . 322222231111111111111111111133
+ 674 22 A . . 322222233333333333333333333333 by A/1 * 20
+ 696 0 A . . 322222211111111111111111111113 by A/3 * 22
697 1 A . . 322222311111111111111111111113
+ 719 23 A . . 322222333333333333333333333333 by A/1 * 22
+ 743 -1 A . . 322222111111111111111111111111 by A/3 * 24
744 0 A . . 322223111111111111111111111111
+ 768 24 A . . 3222233333333333333333333333330 by A/1 * 24
769 25 B . . 32222333333333333333333333333330
770 24 B . . 32222333333333333333333333333333
771 23 A . . 32222333333333333333333333333333
+ 796 -2 A . . 32222111111111111111111111111133 by A/3 * 25
797 -1 A . . 32223111111111111111111111111133
+ 822 24 A . . 32223333333333333333333333333333 by A/1 * 25
+ 849 -3 A . . 32221111111111111111111111111113 by A/3 * 27
850 -2 A . . 32231111111111111111111111111113
+ 877 25 A . . 32233333333333333333333333333333 by A/1 * 27
+ 906 -4 A . . 32211111111111111111111111111111 by A/3 * 29
907 -3 A . . 32311111111111111111111111111111
+ 936 26 A . . 323333333333333333333333333333330 by A/1 * 29
937 27 B . . 3233333333333333333333333333333330
938 26 B . . 3233333333333333333333333333333333
939 25 A . . 3233333333333333333333333333333333
+ 969 -5 A . . 3211111111111111111111111111111133 by A/3 * 30
970 -4 A . . 3311111111111111111111111111111133
+ 1000 26 A . . 3333333333333333333333333333333333 by A/1 * 30
+ 1033 -7 A . .01111111111111111111111111111111113 by A/3 * 33
1034 -6 B . .31111111111111111111111111111111113
+ 1067 27 B . .32222222222222222222222222222222223 by B/1 * 33
1068 26 A . .32222222222222222222222222222222223
1069 27 A . .32222222222222222222222222222222233
+ 1071 25 A . .32222222222222222222222222222222211 by A/3 * 2
1072 26 A . .32222222222222222222222222222222311
+ 1074 28 A . .322222222222222222222222222222223330 by A/1 * 2
1075 29 B . .3222222222222222222222222222222233330
1076 28 B . .3222222222222222222222222222222233333
1077 27 A . .3222222222222222222222222222222233333
+ 1080 24 A . .3222222222222222222222222222222211133 by A/3 * 3
1081 25 A . .3222222222222222222222222222222311133
+ 1084 28 A . .3222222222222222222222222222222333333 by A/1 * 3
+ 1089 23 A . .3222222222222222222222222222222111113 by A/3 * 5
1090 24 A . .3222222222222222222222222222223111113
+ 1095 29 A . .3222222222222222222222222222223333333 by A/1 * 5
+ 1102 22 A . .3222222222222222222222222222221111111 by A/3 * 7
1103 23 A . .3222222222222222222222222222231111111
+ 1110 30 A . .32222222222222222222222222222333333330 by A/1 * 7
1111 31 B . .322222222222222222222222222223333333330
1112 30 B . .322222222222222222222222222223333333333
1113 29 A . .322222222222222222222222222223333333333
+ 1121 21 A . .322222222222222222222222222221111111133 by A/3 * 8
1122 22 A . .322222222222222222222222222231111111133
+ 1130 30 A . .322222222222222222222222222233333333333 by A/1 * 8
After 1130 steps (201 lines): state = A.
Produced 39 nonzeros.
Tape index 30, scanned [-7 .. 31].
| State | Count | Execution count | First in step | ||||||
|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 0 | on 1 | on 2 | on 3 | ||
| A | 1018 | 23 | 438 | 46 | 511 | 0 | 22 | 9 | 5 |
| B | 112 | 16 | 73 | 23 | 1 | 7 | 2 | ||