Comment: This has the same score as the (2,4) #a from Ligocki 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 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | C1L | H2R | 1 | right | B | 1 | left | C | 2 | right | H |
| B | A1L | C1L | B2R | 1 | left | A | 1 | left | C | 2 | right | B |
| C | B1R | C2L | C1R | 1 | right | B | 2 | left | C | 1 | right | C |
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 . . . . . 10
2 0 A . . . . . 11
3 -1 C . . . . .011
4 0 B . . . . .111
5 -1 C . . . . .111
6 -2 C . . . . 0211
7 -1 B . . . . 1211
8 0 B . . . . 1211
9 -1 C . . . . 1211
10 0 C . . . . 1111
+ 13 -3 C . . . .02221 by C/1 * 3
14 -2 B . . . .12221
+ 17 1 B . . . .12221 by B/2 * 3
18 0 C . . . .12221
19 1 C . . . .12211
+ 21 -1 C . . . .12222 by C/1 * 2
+ 24 2 C . . . .121110 by C/2 * 3
25 3 B . . . .1211110
26 2 A . . . .1211111
27 1 C . . . .1211111
+ 30 -2 C . . . .1222211 by C/1 * 3
+ 34 2 C . . . .1111111 by C/2 * 4
+ 40 -4 C . . . 02222221 by C/1 * 6
41 -3 B . . . 12222221
+ 47 3 B . . . 12222221 by B/2 * 6
48 2 C . . . 12222221
49 3 C . . . 12222211
+ 51 1 C . . . 12222222 by C/1 * 2
+ 54 4 C . . . 122221110 by C/2 * 3
55 5 B . . . 1222211110
56 4 A . . . 1222211111
57 3 C . . . 1222211111
+ 60 0 C . . . 1222222211 by C/1 * 3
+ 64 4 C . . . 1222111111 by C/2 * 4
+ 69 -1 C . . . 1222222221 by C/1 * 5
+ 75 5 C . . . 1221111111 by C/2 * 6
+ 82 -2 C . . . 1222222222 by C/1 * 7
+ 90 6 C . . . 12111111110 by C/2 * 8
91 7 B . . . 121111111110
92 6 A . . . 121111111111
93 5 C . . . 121111111111
+ 101 -3 C . . . 122222222211 by C/1 * 8
+ 110 6 C . . . 111111111111 by C/2 * 9
+ 121 -5 C . . .0222222222221 by C/1 * 11
122 -4 B . . .1222222222221
+ 133 7 B . . .1222222222221 by B/2 * 11
134 6 C . . .1222222222221
135 7 C . . .1222222222211
+ 137 5 C . . .1222222222222 by C/1 * 2
+ 140 8 C . . .12222222221110 by C/2 * 3
141 9 B . . .122222222211110
142 8 A . . .122222222211111
143 7 C . . .122222222211111
+ 146 4 C . . .122222222222211 by C/1 * 3
+ 150 8 C . . .122222222111111 by C/2 * 4
+ 155 3 C . . .122222222222221 by C/1 * 5
+ 161 9 C . . .122222221111111 by C/2 * 6
+ 168 2 C . . .122222222222222 by C/1 * 7
+ 176 10 C . . .1222222111111110 by C/2 * 8
177 11 B . . .12222221111111110
178 10 A . . .12222221111111111
179 9 C . . .12222221111111111
+ 187 1 C . . .12222222222222211 by C/1 * 8
+ 196 10 C . . .12222211111111111 by C/2 * 9
+ 206 0 C . . .12222222222222221 by C/1 * 10
+ 217 11 C . . .12222111111111111 by C/2 * 11
+ 229 -1 C . . .12222222222222222 by C/1 * 12
+ 242 12 C . . .122211111111111110 by C/2 * 13
243 13 B . . .1222111111111111110
244 12 A . . .1222111111111111111
245 11 C . . .1222111111111111111
+ 258 -2 C . . .1222222222222222211 by C/1 * 13
+ 272 12 C . . .1221111111111111111 by C/2 * 14
+ 287 -3 C . . .1222222222222222221 by C/1 * 15
+ 303 13 C . . .1211111111111111111 by C/2 * 16
+ 320 -4 C . . .1222222222222222222 by C/1 * 17
+ 338 14 C . . .11111111111111111110 by C/2 * 18
339 15 B . . .111111111111111111110
340 14 A . . .111111111111111111111
341 13 C . . .111111111111111111111
+ 360 -6 C . . 0222222222222222222211 by C/1 * 19
361 -5 B . . 1222222222222222222211
+ 380 14 B . . 1222222222222222222211 by B/2 * 19
381 13 C . . 1222222222222222222211
382 14 C . . 1222222222222222222111
+ 384 12 C . . 1222222222222222222221 by C/1 * 2
+ 387 15 C . . 1222222222222222221111 by C/2 * 3
+ 391 11 C . . 1222222222222222222222 by C/1 * 4
+ 396 16 C . . 12222222222222222111110 by C/2 * 5
397 17 B . . 122222222222222221111110
398 16 A . . 122222222222222221111111
399 15 C . . 122222222222222221111111
+ 404 10 C . . 122222222222222222222211 by C/1 * 5
+ 410 16 C . . 122222222222222211111111 by C/2 * 6
+ 417 9 C . . 122222222222222222222221 by C/1 * 7
+ 425 17 C . . 122222222222222111111111 by C/2 * 8
+ 434 8 C . . 122222222222222222222222 by C/1 * 9
+ 444 18 C . . 1222222222222211111111110 by C/2 * 10
445 19 B . . 12222222222222111111111110
446 18 A . . 12222222222222111111111111
447 17 C . . 12222222222222111111111111
+ 457 7 C . . 12222222222222222222222211 by C/1 * 10
+ 468 18 C . . 12222222222221111111111111 by C/2 * 11
+ 480 6 C . . 12222222222222222222222221 by C/1 * 12
+ 493 19 C . . 12222222222211111111111111 by C/2 * 13
+ 507 5 C . . 12222222222222222222222222 by C/1 * 14
+ 522 20 C . . 122222222221111111111111110 by C/2 * 15
523 21 B . . 1222222222211111111111111110
524 20 A . . 1222222222211111111111111111
525 19 C . . 1222222222211111111111111111
+ 540 4 C . . 1222222222222222222222222211 by C/1 * 15
+ 556 20 C . . 1222222222111111111111111111 by C/2 * 16
+ 573 3 C . . 1222222222222222222222222221 by C/1 * 17
+ 591 21 C . . 1222222221111111111111111111 by C/2 * 18
+ 610 2 C . . 1222222222222222222222222222 by C/1 * 19
+ 630 22 C . . 12222222111111111111111111110 by C/2 * 20
631 23 B . . 122222221111111111111111111110
632 22 A . . 122222221111111111111111111111
633 21 C . . 122222221111111111111111111111
+ 653 1 C . . 122222222222222222222222222211 by C/1 * 20
+ 674 22 C . . 122222211111111111111111111111 by C/2 * 21
+ 696 0 C . . 122222222222222222222222222221 by C/1 * 22
+ 719 23 C . . 122222111111111111111111111111 by C/2 * 23
+ 743 -1 C . . 122222222222222222222222222222 by C/1 * 24
+ 768 24 C . . 1222211111111111111111111111110 by C/2 * 25
769 25 B . . 12222111111111111111111111111110
770 24 A . . 12222111111111111111111111111111
771 23 C . . 12222111111111111111111111111111
+ 796 -2 C . . 12222222222222222222222222222211 by C/1 * 25
+ 822 24 C . . 12221111111111111111111111111111 by C/2 * 26
+ 849 -3 C . . 12222222222222222222222222222221 by C/1 * 27
+ 877 25 C . . 12211111111111111111111111111111 by C/2 * 28
+ 906 -4 C . . 12222222222222222222222222222222 by C/1 * 29
+ 936 26 C . . 121111111111111111111111111111110 by C/2 * 30
937 27 B . . 1211111111111111111111111111111110
938 26 A . . 1211111111111111111111111111111111
939 25 C . . 1211111111111111111111111111111111
+ 969 -5 C . . 1222222222222222222222222222222211 by C/1 * 30
+ 1000 26 C . . 1111111111111111111111111111111111 by C/2 * 31
+ 1033 -7 C . .02222222222222222222222222222222221 by C/1 * 33
1034 -6 B . .12222222222222222222222222222222221
+ 1067 27 B . .12222222222222222222222222222222221 by B/2 * 33
1068 26 C . .12222222222222222222222222222222221
1069 27 C . .12222222222222222222222222222222211
+ 1071 25 C . .12222222222222222222222222222222222 by C/1 * 2
+ 1074 28 C . .122222222222222222222222222222221110 by C/2 * 3
1075 29 B . .1222222222222222222222222222222211110
1076 28 A . .1222222222222222222222222222222211111
1077 27 C . .1222222222222222222222222222222211111
+ 1080 24 C . .1222222222222222222222222222222222211 by C/1 * 3
+ 1084 28 C . .1222222222222222222222222222222111111 by C/2 * 4
+ 1089 23 C . .1222222222222222222222222222222222221 by C/1 * 5
+ 1095 29 C . .1222222222222222222222222222221111111 by C/2 * 6
+ 1102 22 C . .1222222222222222222222222222222222222 by C/1 * 7
+ 1110 30 C . .12222222222222222222222222222111111110 by C/2 * 8
1111 31 B . .122222222222222222222222222221111111110
1112 30 A . .122222222222222222222222222221111111111
1113 29 C . .122222222222222222222222222221111111111
+ 1121 21 C . .122222222222222222222222222222222222211 by C/1 * 8
+ 1130 30 C . .122222222222222222222222222211111111111 by C/2 * 9
+ 1140 20 C . .122222222222222222222222222222222222221 by C/1 * 10
+ 1151 31 C . .122222222222222222222222222111111111111 by C/2 * 11
+ 1163 19 C . .122222222222222222222222222222222222222 by C/1 * 12
+ 1176 32 C . .1222222222222222222222222211111111111110 by C/2 * 13
1177 33 B . .12222222222222222222222222111111111111110
1178 32 A . .12222222222222222222222222111111111111111
1179 31 C . .12222222222222222222222222111111111111111
+ 1192 18 C . .12222222222222222222222222222222222222211 by C/1 * 13
+ 1206 32 C . .12222222222222222222222221111111111111111 by C/2 * 14
+ 1221 17 C . .12222222222222222222222222222222222222221 by C/1 * 15
+ 1237 33 C . .12222222222222222222222211111111111111111 by C/2 * 16
+ 1254 16 C . .12222222222222222222222222222222222222222 by C/1 * 17
+ 1272 34 C . .122222222222222222222221111111111111111110 by C/2 * 18
1273 35 B . .1222222222222222222222211111111111111111110
1274 34 A . .1222222222222222222222211111111111111111111
1275 33 C . .1222222222222222222222211111111111111111111
+ 1293 15 C . .1222222222222222222222222222222222222222211 by C/1 * 18
+ 1312 34 C . .1222222222222222222222111111111111111111111 by C/2 * 19
+ 1332 14 C . .1222222222222222222222222222222222222222221 by C/1 * 20
+ 1353 35 C . .1222222222222222222221111111111111111111111 by C/2 * 21
+ 1375 13 C . .1222222222222222222222222222222222222222222 by C/1 * 22
+ 1398 36 C . .12222222222222222222111111111111111111111110 by C/2 * 23
1399 37 B . .122222222222222222221111111111111111111111110
1400 36 A . .122222222222222222221111111111111111111111111
1401 35 C . .122222222222222222221111111111111111111111111
+ 1424 12 C . .122222222222222222222222222222222222222222211 by C/1 * 23
+ 1448 36 C . .122222222222222222211111111111111111111111111 by C/2 * 24
+ 1473 11 C . .122222222222222222222222222222222222222222221 by C/1 * 25
+ 1499 37 C . .122222222222222222111111111111111111111111111 by C/2 * 26
+ 1526 10 C . .122222222222222222222222222222222222222222222 by C/1 * 27
+ 1554 38 C . .1222222222222222211111111111111111111111111110 by C/2 * 28
1555 39 B . .12222222222222222111111111111111111111111111110
1556 38 A . .12222222222222222111111111111111111111111111111
1557 37 C . .12222222222222222111111111111111111111111111111
+ 1585 9 C . .12222222222222222222222222222222222222222222211 by C/1 * 28
+ 1614 38 C . .12222222222222221111111111111111111111111111111 by C/2 * 29
+ 1644 8 C . .12222222222222222222222222222222222222222222221 by C/1 * 30
+ 1675 39 C . .12222222222222211111111111111111111111111111111 by C/2 * 31
+ 1707 7 C . .12222222222222222222222222222222222222222222222 by C/1 * 32
+ 1740 40 C . .122222222222221111111111111111111111111111111110 by C/2 * 33
After 1740 steps (201 lines): state = C.
Produced 47 nonzeros.
Tape index 40, scanned [-7 .. 39].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 21 | 1 | 20 | 0 | 2 | ||
| B | 100 | 20 | 7 | 73 | 1 | 4 | 7 |
| C | 1619 | 26 | 803 | 790 | 3 | 5 | 9 |