Comment: This TM produces 36089 nonzeros in 310341163 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| 1 | 1R2 | 2R1 | 2R3 | 1 | right | 2 | 2 | right | 1 | 2 | right | 3 |
| 2 | 1L3 | 1Rh | 1L1 | 1 | left | 3 | 1 | right | h | 1 | left | 1 |
| 3 | 1R1 | 2L2 | 1L3 | 1 | right | 1 | 2 | left | 2 | 1 | left | 3 |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-macro machine.
Simulation is done as bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)1>
1 1 1 (1)2>
2 3 -1 <2(2) 1
3 4 -2 <3(1) 2 1
4 6 0 1 (2)1> 2 1
5 7 1 1 2 (2)3> 1
6 9 -1 1 2 <1(1) 2
7 12 -2 1 <1(1) 22
8 14 0 2 (2)1> 22
9 15 1 22 (2)3> 2
10 17 -1 22 <3(1) 1
11 19 -3 <3(1) 13
12 21 -1 1 (2)1> 13
13 24 2 1 23 (2)1>
14 25 3 1 24 (1)2>
15 27 1 1 24 <2(2) 1
16 28 0 1 23 <1(1) 2 1
17 37 -3 1 <1(1) 24 1
18 39 -1 2 (2)1> 24 1
19 40 0 22 (2)3> 23 1
20 42 -2 22 <3(1) 1 22 1
21 44 -4 <3(1) 13 22 1
22 46 -2 1 (2)1> 13 22 1
23 49 1 1 23 (2)1> 22 1
24 50 2 1 24 (2)3> 2 1
25 52 0 1 24 <3(1) 12
26 56 -4 1 <3(1) 16
27 57 -5 <2(2) 17
28 58 -6 <3(1) 2 17
29 60 -4 1 (2)1> 2 17
30 61 -3 1 2 (2)3> 17
31 63 -5 1 2 <1(1) 2 16
32 66 -6 1 <1(1) 22 16
33 68 -4 2 (2)1> 22 16
34 69 -3 22 (2)3> 2 16
35 71 -5 22 <3(1) 17
36 73 -7 <3(1) 19
37 75 -5 1 (2)1> 19
38 84 4 1 29 (2)1>
39 85 5 1 210 (1)2>
40 87 3 1 210 <2(2) 1
41 88 2 1 29 <1(1) 2 1
42 115 -7 1 <1(1) 210 1
43 117 -5 2 (2)1> 210 1
44 118 -4 22 (2)3> 29 1
45 120 -6 22 <3(1) 1 28 1
46 122 -8 <3(1) 13 28 1
47 124 -6 1 (2)1> 13 28 1
48 127 -3 1 23 (2)1> 28 1
49 128 -2 1 24 (2)3> 27 1
50 130 -4 1 24 <3(1) 1 26 1
51 134 -8 1 <3(1) 15 26 1
52 135 -9 <2(2) 16 26 1
53 136 -10 <3(1) 2 16 26 1
54 138 -8 1 (2)1> 2 16 26 1
55 139 -7 1 2 (2)3> 16 26 1
56 141 -9 1 2 <1(1) 2 15 26 1
57 144 -10 1 <1(1) 22 15 26 1
58 146 -8 2 (2)1> 22 15 26 1
59 147 -7 22 (2)3> 2 15 26 1
60 149 -9 22 <3(1) 16 26 1
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 22 <3(1) 11+V(2) 23+V(1) [*]*
1 2 -2 <3(1) 13+V(2) 23+V(1) [*]*
2 4 0 1 (2)1> 13+V(2) 23+V(1) [*]*
3 7+V(2) 3+V(2) 1 23+V(2) (2)1> 23+V(1) [*]*
4 8+V(2) 4+V(2) 1 24+V(2) (2)3> 22+V(1) [*]*
5 10+V(2) 2+V(2) 1 24+V(2) <3(1) 1 21+V(1) [*]*
6 14+2*V(2) -2 1 <3(1) 15+V(2) 21+V(1) [*]*
7 15+2*V(2) -3 <2(2) 16+V(2) 21+V(1) [*]*
8 16+2*V(2) -4 <3(1) 2 16+V(2) 21+V(1) [*]*
9 18+2*V(2) -2 1 (2)1> 2 16+V(2) 21+V(1) [*]*
10 19+2*V(2) -1 1 2 (2)3> 16+V(2) 21+V(1) [*]*
11 21+2*V(2) -3 1 2 <1(1) 2 15+V(2) 21+V(1) [*]*
12 24+2*V(2) -4 1 <1(1) 22 15+V(2) 21+V(1) [*]*
13 26+2*V(2) -2 2 (2)1> 22 15+V(2) 21+V(1) [*]*
14 27+2*V(2) -1 22 (2)3> 2 15+V(2) 21+V(1) [*]*
15 29+2*V(2) -3 22 <3(1) 16+V(2) 21+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
60 149 -9 22 <3(1) 16 26 1
== Executing PA-CTR 1, V(1)=3, V(2)=5, repcount=2, factor=5/2
90 237 -15 22 <3(1) 116 22 1
91 239 -17 <3(1) 118 22 1
92 241 -15 1 (2)1> 118 22 1
93 259 3 1 218 (2)1> 22 1
94 260 4 1 219 (2)3> 2 1
95 262 2 1 219 <3(1) 12
96 281 -17 1 <3(1) 121
97 282 -18 <2(2) 122
98 283 -19 <3(1) 2 122
99 285 -17 1 (2)1> 2 122
100 286 -16 1 2 (2)3> 122
101 288 -18 1 2 <1(1) 2 121
102 291 -19 1 <1(1) 22 121
103 293 -17 2 (2)1> 22 121
104 294 -16 22 (2)3> 2 121
105 296 -18 22 <3(1) 122
106 298 -20 <3(1) 124
107 300 -18 1 (2)1> 124
108 324 6 1 224 (2)1>
109 325 7 1 225 (1)2>
110 327 5 1 225 <2(2) 1
111 328 4 1 224 <1(1) 2 1
112 400 -20 1 <1(1) 225 1
113 402 -18 2 (2)1> 225 1
114 403 -17 22 (2)3> 224 1
115 405 -19 22 <3(1) 1 223 1
>> Try to prove a PPA-CTR with 3 Vars...
0 0 0 21+V(1) <3(1) 11+V(3) 22 11+V(2)
1 1+V(1) -1+-1*V(1) <3(1) 12+V(1)+V(3) 22 11+V(2)
2 3+V(1) 1+-1*V(1) 1 (2)1> 12+V(1)+V(3) 22 11+V(2)
3 5+2*V(1)+V(3) 3+V(3) 1 22+V(1)+V(3) (2)1> 22 11+V(2)
4 6+2*V(1)+V(3) 4+V(3) 1 23+V(1)+V(3) (2)3> 2 11+V(2)
5 8+2*V(1)+V(3) 2+V(3) 1 23+V(1)+V(3) <3(1) 12+V(2)
6 11+3*V(1)+2*V(3) -1+-1*V(1) 1 <3(1) 15+V(1)+V(2)+V(3)
7 12+3*V(1)+2*V(3) -2+-1*V(1) <2(2) 16+V(1)+V(2)+V(3)
8 13+3*V(1)+2*V(3) -3+-1*V(1) <3(1) 2 16+V(1)+V(2)+V(3)
9 15+3*V(1)+2*V(3) -1+-1*V(1) 1 (2)1> 2 16+V(1)+V(2)+V(3)
10 16+3*V(1)+2*V(3) 0+-1*V(1) 1 2 (2)3> 16+V(1)+V(2)+V(3)
11 18+3*V(1)+2*V(3) -2+-1*V(1) 1 2 <1(1) 2 15+V(1)+V(2)+V(3)
12 21+3*V(1)+2*V(3) -3+-1*V(1) 1 <1(1) 22 15+V(1)+V(2)+V(3)
13 23+3*V(1)+2*V(3) -1+-1*V(1) 2 (2)1> 22 15+V(1)+V(2)+V(3)
14 24+3*V(1)+2*V(3) 0+-1*V(1) 22 (2)3> 2 15+V(1)+V(2)+V(3)
15 26+3*V(1)+2*V(3) -2+-1*V(1) 22 <3(1) 16+V(1)+V(2)+V(3)
16 28+3*V(1)+2*V(3) -4+-1*V(1) <3(1) 18+V(1)+V(2)+V(3)
17 30+3*V(1)+2*V(3) -2+-1*V(1) 1 (2)1> 18+V(1)+V(2)+V(3)
18 38+4*V(1)+V(2)+3*V(3) 6+V(2)+V(3) 1 28+V(1)+V(2)+V(3) (2)1>
19 39+4*V(1)+V(2)+3*V(3) 7+V(2)+V(3) 1 29+V(1)+V(2)+V(3) (1)2>
20 41+4*V(1)+V(2)+3*V(3) 5+V(2)+V(3) 1 29+V(1)+V(2)+V(3) <2(2) 1
21 42+4*V(1)+V(2)+3*V(3) 4+V(2)+V(3) 1 28+V(1)+V(2)+V(3) <1(1) 2 1
22 66+7*V(1)+4*V(2)+6*V(3) -4+-1*V(1) 1 <1(1) 29+V(1)+V(2)+V(3) 1
23 68+7*V(1)+4*V(2)+6*V(3) -2+-1*V(1) 2 (2)1> 29+V(1)+V(2)+V(3) 1
24 69+7*V(1)+4*V(2)+6*V(3) -1+-1*V(1) 22 (2)3> 28+V(1)+V(2)+V(3) 1
25 71+7*V(1)+4*V(2)+6*V(3) -3+-1*V(1) 22 <3(1) 1 27+V(1)+V(2)+V(3) 1
<< Success! ==> defined new CTR 2 (PPA)
115 405 -19 22 <3(1) 1 223 1
== Executing PA-CTR 1, V(1)=20, V(2)=0, repcount=11, factor=5/2
280 1274 -52 22 <3(1) 156 2 1
281 1276 -54 <3(1) 158 2 1
282 1278 -52 1 (2)1> 158 2 1
283 1336 6 1 258 (2)1> 2 1
284 1337 7 1 259 (2)3> 1
285 1339 5 1 259 <1(1) 2
286 1516 -54 1 <1(1) 260
287 1518 -52 2 (2)1> 260
288 1519 -51 22 (2)3> 259
289 1521 -53 22 <3(1) 1 258
290 1523 -55 <3(1) 13 258
291 1525 -53 1 (2)1> 13 258
292 1528 -50 1 23 (2)1> 258
293 1529 -49 1 24 (2)3> 257
294 1531 -51 1 24 <3(1) 1 256
295 1535 -55 1 <3(1) 15 256
296 1536 -56 <2(2) 16 256
297 1537 -57 <3(1) 2 16 256
298 1539 -55 1 (2)1> 2 16 256
299 1540 -54 1 2 (2)3> 16 256
300 1542 -56 1 2 <1(1) 2 15 256
301 1545 -57 1 <1(1) 22 15 256
302 1547 -55 2 (2)1> 22 15 256
303 1548 -54 22 (2)3> 2 15 256
304 1550 -56 22 <3(1) 16 256
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 22 <3(1) 11+V(2) 23+V(1)
1 2 -2 <3(1) 13+V(2) 23+V(1)
2 4 0 1 (2)1> 13+V(2) 23+V(1)
3 7+V(2) 3+V(2) 1 23+V(2) (2)1> 23+V(1)
4 8+V(2) 4+V(2) 1 24+V(2) (2)3> 22+V(1)
5 10+V(2) 2+V(2) 1 24+V(2) <3(1) 1 21+V(1)
6 14+2*V(2) -2 1 <3(1) 15+V(2) 21+V(1)
7 15+2*V(2) -3 <2(2) 16+V(2) 21+V(1)
8 16+2*V(2) -4 <3(1) 2 16+V(2) 21+V(1)
9 18+2*V(2) -2 1 (2)1> 2 16+V(2) 21+V(1)
10 19+2*V(2) -1 1 2 (2)3> 16+V(2) 21+V(1)
11 21+2*V(2) -3 1 2 <1(1) 2 15+V(2) 21+V(1)
12 24+2*V(2) -4 1 <1(1) 22 15+V(2) 21+V(1)
13 26+2*V(2) -2 2 (2)1> 22 15+V(2) 21+V(1)
14 27+2*V(2) -1 22 (2)3> 2 15+V(2) 21+V(1)
15 29+2*V(2) -3 22 <3(1) 16+V(2) 21+V(1)
<< Success! ==> defined new CTR 3 (PA)
304 1550 -56 22 <3(1) 16 256
== Executing PA-CTR 3, V(1)=53, V(2)=5, repcount=27, factor=5/2
709 6113 -137 22 <3(1) 1141 22
710 6115 -139 <3(1) 1143 22
711 6117 -137 1 (2)1> 1143 22
712 6260 6 1 2143 (2)1> 22
713 6261 7 1 2144 (2)3> 2
714 6263 5 1 2144 <3(1) 1
715 6407 -139 1 <3(1) 1145
716 6408 -140 <2(2) 1146
717 6409 -141 <3(1) 2 1146
718 6411 -139 1 (2)1> 2 1146
719 6412 -138 1 2 (2)3> 1146
720 6414 -140 1 2 <1(1) 2 1145
721 6417 -141 1 <1(1) 22 1145
722 6419 -139 2 (2)1> 22 1145
723 6420 -138 22 (2)3> 2 1145
724 6422 -140 22 <3(1) 1146
725 6424 -142 <3(1) 1148
726 6426 -140 1 (2)1> 1148
727 6574 8 1 2148 (2)1>
728 6575 9 1 2149 (1)2>
729 6577 7 1 2149 <2(2) 1
730 6578 6 1 2148 <1(1) 2 1
731 7022 -142 1 <1(1) 2149 1
732 7024 -140 2 (2)1> 2149 1
733 7025 -139 22 (2)3> 2148 1
734 7027 -141 22 <3(1) 1 2147 1
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 21+V(1) <3(1) 11+V(2) 22
1 1+V(1) -1+-1*V(1) <3(1) 12+V(1)+V(2) 22
2 3+V(1) 1+-1*V(1) 1 (2)1> 12+V(1)+V(2) 22
3 5+2*V(1)+V(2) 3+V(2) 1 22+V(1)+V(2) (2)1> 22
4 6+2*V(1)+V(2) 4+V(2) 1 23+V(1)+V(2) (2)3> 2
5 8+2*V(1)+V(2) 2+V(2) 1 23+V(1)+V(2) <3(1) 1
6 11+3*V(1)+2*V(2) -1+-1*V(1) 1 <3(1) 14+V(1)+V(2)
7 12+3*V(1)+2*V(2) -2+-1*V(1) <2(2) 15+V(1)+V(2)
8 13+3*V(1)+2*V(2) -3+-1*V(1) <3(1) 2 15+V(1)+V(2)
9 15+3*V(1)+2*V(2) -1+-1*V(1) 1 (2)1> 2 15+V(1)+V(2)
10 16+3*V(1)+2*V(2) 0+-1*V(1) 1 2 (2)3> 15+V(1)+V(2)
11 18+3*V(1)+2*V(2) -2+-1*V(1) 1 2 <1(1) 2 14+V(1)+V(2)
12 21+3*V(1)+2*V(2) -3+-1*V(1) 1 <1(1) 22 14+V(1)+V(2)
13 23+3*V(1)+2*V(2) -1+-1*V(1) 2 (2)1> 22 14+V(1)+V(2)
14 24+3*V(1)+2*V(2) 0+-1*V(1) 22 (2)3> 2 14+V(1)+V(2)
15 26+3*V(1)+2*V(2) -2+-1*V(1) 22 <3(1) 15+V(1)+V(2)
16 28+3*V(1)+2*V(2) -4+-1*V(1) <3(1) 17+V(1)+V(2)
17 30+3*V(1)+2*V(2) -2+-1*V(1) 1 (2)1> 17+V(1)+V(2)
18 37+4*V(1)+3*V(2) 5+V(2) 1 27+V(1)+V(2) (2)1>
19 38+4*V(1)+3*V(2) 6+V(2) 1 28+V(1)+V(2) (1)2>
20 40+4*V(1)+3*V(2) 4+V(2) 1 28+V(1)+V(2) <2(2) 1
21 41+4*V(1)+3*V(2) 3+V(2) 1 27+V(1)+V(2) <1(1) 2 1
22 62+7*V(1)+6*V(2) -4+-1*V(1) 1 <1(1) 28+V(1)+V(2) 1
23 64+7*V(1)+6*V(2) -2+-1*V(1) 2 (2)1> 28+V(1)+V(2) 1
24 65+7*V(1)+6*V(2) -1+-1*V(1) 22 (2)3> 27+V(1)+V(2) 1
25 67+7*V(1)+6*V(2) -3+-1*V(1) 22 <3(1) 1 26+V(1)+V(2) 1
<< Success! ==> defined new CTR 4 (PPA)
734 7027 -141 22 <3(1) 1 2147 1
== Executing PA-CTR 1, V(1)=144, V(2)=0, repcount=73, factor=5/2
1829 35424 -360 22 <3(1) 1366 2 1
1830 35426 -362 <3(1) 1368 2 1
1831 35428 -360 1 (2)1> 1368 2 1
1832 35796 8 1 2368 (2)1> 2 1
1833 35797 9 1 2369 (2)3> 1
1834 35799 7 1 2369 <1(1) 2
1835 36906 -362 1 <1(1) 2370
1836 36908 -360 2 (2)1> 2370
1837 36909 -359 22 (2)3> 2369
1838 36911 -361 22 <3(1) 1 2368
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 21+V(1) <3(1) 12+V(2) 2 1
1 1+V(1) -1+-1*V(1) <3(1) 13+V(1)+V(2) 2 1
2 3+V(1) 1+-1*V(1) 1 (2)1> 13+V(1)+V(2) 2 1
3 6+2*V(1)+V(2) 4+V(2) 1 23+V(1)+V(2) (2)1> 2 1
4 7+2*V(1)+V(2) 5+V(2) 1 24+V(1)+V(2) (2)3> 1
5 9+2*V(1)+V(2) 3+V(2) 1 24+V(1)+V(2) <1(1) 2
6 21+5*V(1)+4*V(2) -1+-1*V(1) 1 <1(1) 25+V(1)+V(2)
7 23+5*V(1)+4*V(2) 1+-1*V(1) 2 (2)1> 25+V(1)+V(2)
8 24+5*V(1)+4*V(2) 2+-1*V(1) 22 (2)3> 24+V(1)+V(2)
9 26+5*V(1)+4*V(2) 0+-1*V(1) 22 <3(1) 1 23+V(1)+V(2)
<< Success! ==> defined new CTR 5 (PPA)
1838 36911 -361 22 <3(1) 1 2368
== Executing PA-CTR 3, V(1)=365, V(2)=0, repcount=183, factor=5/2
4583 208748 -910 22 <3(1) 1916 22
== Executing PPA-CTR 4 (once), V(1)=1, V(2)=915
4608 214312 -914 22 <3(1) 1 2922 1
== Executing PA-CTR 1, V(1)=919, V(2)=0, repcount=460, factor=5/2
11508 1283352 -2294 22 <3(1) 12301 22 1
== Executing PPA-CTR 2 (once), V(1)=1, V(2)=0, V(3)=2300
11533 1297230 -2298 22 <3(1) 1 22308 1
== Executing PA-CTR 1, V(1)=2305, V(2)=0, repcount=1153, factor=5/2
28828 7971947 -5757 22 <3(1) 15766 22 1
== Executing PPA-CTR 2 (once), V(1)=1, V(2)=0, V(3)=5765
28853 8006615 -5761 22 <3(1) 1 25773 1
== Executing PA-CTR 1, V(1)=5770, V(2)=0, repcount=2886, factor=5/2
72143 49720859 -14419 22 <3(1) 114431 2 1
== Executing PPA-CTR 5 (once), V(1)=1, V(2)=14429
72152 49778606 -14420 22 <3(1) 1 214433
== Executing PA-CTR 3, V(1)=14430, V(2)=0, repcount=7216, factor=5/2
180392 310305070 -36068 22 <3(1) 136081 2
180393 310305072 -36070 <3(1) 136083 2
180394 310305074 -36068 1 (2)1> 136083 2
180395 310341157 15 1 236083 (2)1> 2
180396 310341158 16 1 236084 (2)3>
180397 310341159 17 1 236085 (1)1>
180398 310341160 18 1 236085 1 (1)2>
180399 310341162 16 1 236085 1 <2(2) 1
180400 310341163 17 1 236085 1 h> 2 1 [stop]
Lines: 165
Top steps: 164
Macro steps: 180400
Basic steps: 310341163
Tape index: 17
nonzeros: 36089
log10(nonzeros): 4.557
log10(steps ): 8.492
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol former champion of Myron Souris
5t 1R2 2R1 2R3 1L3 1Rh 1L1 1R1 2L2 1L3
: 36089 310341163
L 20
M 201
pref sim
machv MS33_a just simple
machv MS33_a-r with repetitions reduced
machv MS33_a-1 with tape symbol exponents
machv MS33_a-m as bck-macro machine
machv MS33_a-a as bck-macro machine with pure additive config-TRs
iam MS33_a-a
mtype 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:41 CEST 2010
edate Tue Jul 6 22:11:42 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:41 CEST 2010