Comment: This TM produces 1,957,771 nonzeros in 912,594,733,606 steps.
| 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 | B3L | Z1R | A1L | A1L | 1 | right | B | 3 | left | B | 1 | right | Z | 1 | left | A | 1 | left | A |
| B | A2L | B3R | B4L | B4L | A3R | 2 | left | A | 3 | right | B | 4 | left | B | 4 | left | B | 3 | right | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-macro machine.
Simulation is done as 1-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 1 1 1 B>
2 2 0 1 <A 2
3 3 -1 <B 3 2
4 4 -2 <A 2 3 2
5 5 -1 1 B> 2 3 2
6 6 -2 1 <B 4 3 2
7 7 -1 3 B> 4 3 2
8 8 0 32 A> 3 2
9 9 -1 32 <A 1 2
10 11 -3 <A 13 2
11 12 -2 1 B> 13 2
12 15 1 1 33 B> 2
13 16 0 1 33 <B 4
14 19 -3 1 <B 44
15 20 -2 3 B> 44
16 21 -1 32 A> 43
17 22 -2 32 <A 1 42
18 24 -4 <A 13 42
19 25 -3 1 B> 13 42
20 28 0 1 33 B> 42
21 29 1 1 34 A> 4
22 30 0 1 34 <A 1
23 34 -4 1 <A 15
24 35 -5 <B 3 15
25 36 -6 <A 2 3 15
26 37 -5 1 B> 2 3 15
27 38 -6 1 <B 4 3 15
28 39 -5 3 B> 4 3 15
29 40 -4 32 A> 3 15
30 41 -5 32 <A 16
31 43 -7 <A 18
32 44 -6 1 B> 18
33 52 2 1 38 B>
34 53 1 1 38 <A 2
35 61 -7 1 <A 18 2
36 62 -8 <B 3 18 2
37 63 -9 <A 2 3 18 2
38 64 -8 1 B> 2 3 18 2
39 65 -9 1 <B 4 3 18 2
40 66 -8 3 B> 4 3 18 2
41 67 -7 32 A> 3 18 2
42 68 -8 32 <A 19 2
43 70 -10 <A 111 2
44 71 -9 1 B> 111 2
45 82 2 1 311 B> 2
46 83 1 1 311 <B 4
47 94 -10 1 <B 412
48 95 -9 3 B> 412
49 96 -8 32 A> 411
50 97 -9 32 <A 1 410
51 99 -11 <A 13 410
52 100 -10 1 B> 13 410
53 103 -7 1 33 B> 410
54 104 -6 1 34 A> 49
55 105 -7 1 34 <A 1 48
56 109 -11 1 <A 15 48
57 110 -12 <B 3 15 48
58 111 -13 <A 2 3 15 48
59 112 -12 1 B> 2 3 15 48
60 113 -13 1 <B 4 3 15 48
61 114 -12 3 B> 4 3 15 48
62 115 -11 32 A> 3 15 48
63 116 -12 32 <A 16 48
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 32 <A 11+V(2) 43+V(1)
1 2 -2 <A 13+V(2) 43+V(1)
2 3 -1 1 B> 13+V(2) 43+V(1)
3 6+V(2) 2+V(2) 1 33+V(2) B> 43+V(1)
4 7+V(2) 3+V(2) 1 34+V(2) A> 42+V(1)
5 8+V(2) 2+V(2) 1 34+V(2) <A 1 41+V(1)
6 12+2*V(2) -2 1 <A 15+V(2) 41+V(1)
7 13+2*V(2) -3 <B 3 15+V(2) 41+V(1)
8 14+2*V(2) -4 <A 2 3 15+V(2) 41+V(1)
9 15+2*V(2) -3 1 B> 2 3 15+V(2) 41+V(1)
10 16+2*V(2) -4 1 <B 4 3 15+V(2) 41+V(1)
11 17+2*V(2) -3 3 B> 4 3 15+V(2) 41+V(1)
12 18+2*V(2) -2 32 A> 3 15+V(2) 41+V(1)
13 19+2*V(2) -3 32 <A 16+V(2) 41+V(1)
<< Success! ==> defined new CTR 1 (PA)
63 116 -12 32 <A 16 48
== Executing PA-CTR 1, V(1)=5, V(2)=5, repcount=3, factor=5/2
102 233 -21 32 <A 121 42
103 235 -23 <A 123 42
104 236 -22 1 B> 123 42
105 259 1 1 323 B> 42
106 260 2 1 324 A> 4
107 261 1 1 324 <A 1
108 285 -23 1 <A 125
109 286 -24 <B 3 125
110 287 -25 <A 2 3 125
111 288 -24 1 B> 2 3 125
112 289 -25 1 <B 4 3 125
113 290 -24 3 B> 4 3 125
114 291 -23 32 A> 3 125
115 292 -24 32 <A 126
116 294 -26 <A 128
117 295 -25 1 B> 128
118 323 3 1 328 B>
119 324 2 1 328 <A 2
120 352 -26 1 <A 128 2
121 353 -27 <B 3 128 2
122 354 -28 <A 2 3 128 2
123 355 -27 1 B> 2 3 128 2
124 356 -28 1 <B 4 3 128 2
125 357 -27 3 B> 4 3 128 2
126 358 -26 32 A> 3 128 2
127 359 -27 32 <A 129 2
128 361 -29 <A 131 2
129 362 -28 1 B> 131 2
130 393 3 1 331 B> 2
131 394 2 1 331 <B 4
132 425 -29 1 <B 432
133 426 -28 3 B> 432
134 427 -27 32 A> 431
135 428 -28 32 <A 1 430
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(1) <A 11+V(2) 42
1 1+V(1) -1+-1*V(1) <A 12+V(1)+V(2) 42
2 2+V(1) 0+-1*V(1) 1 B> 12+V(1)+V(2) 42
3 4+2*V(1)+V(2) 2+V(2) 1 32+V(1)+V(2) B> 42
4 5+2*V(1)+V(2) 3+V(2) 1 33+V(1)+V(2) A> 4
5 6+2*V(1)+V(2) 2+V(2) 1 33+V(1)+V(2) <A 1
6 9+3*V(1)+2*V(2) -1+-1*V(1) 1 <A 14+V(1)+V(2)
7 10+3*V(1)+2*V(2) -2+-1*V(1) <B 3 14+V(1)+V(2)
8 11+3*V(1)+2*V(2) -3+-1*V(1) <A 2 3 14+V(1)+V(2)
9 12+3*V(1)+2*V(2) -2+-1*V(1) 1 B> 2 3 14+V(1)+V(2)
10 13+3*V(1)+2*V(2) -3+-1*V(1) 1 <B 4 3 14+V(1)+V(2)
11 14+3*V(1)+2*V(2) -2+-1*V(1) 3 B> 4 3 14+V(1)+V(2)
12 15+3*V(1)+2*V(2) -1+-1*V(1) 32 A> 3 14+V(1)+V(2)
13 16+3*V(1)+2*V(2) -2+-1*V(1) 32 <A 15+V(1)+V(2)
14 18+3*V(1)+2*V(2) -4+-1*V(1) <A 17+V(1)+V(2)
15 19+3*V(1)+2*V(2) -3+-1*V(1) 1 B> 17+V(1)+V(2)
16 26+4*V(1)+3*V(2) 4+V(2) 1 37+V(1)+V(2) B>
17 27+4*V(1)+3*V(2) 3+V(2) 1 37+V(1)+V(2) <A 2
18 34+5*V(1)+4*V(2) -4+-1*V(1) 1 <A 17+V(1)+V(2) 2
19 35+5*V(1)+4*V(2) -5+-1*V(1) <B 3 17+V(1)+V(2) 2
20 36+5*V(1)+4*V(2) -6+-1*V(1) <A 2 3 17+V(1)+V(2) 2
21 37+5*V(1)+4*V(2) -5+-1*V(1) 1 B> 2 3 17+V(1)+V(2) 2
22 38+5*V(1)+4*V(2) -6+-1*V(1) 1 <B 4 3 17+V(1)+V(2) 2
23 39+5*V(1)+4*V(2) -5+-1*V(1) 3 B> 4 3 17+V(1)+V(2) 2
24 40+5*V(1)+4*V(2) -4+-1*V(1) 32 A> 3 17+V(1)+V(2) 2
25 41+5*V(1)+4*V(2) -5+-1*V(1) 32 <A 18+V(1)+V(2) 2
26 43+5*V(1)+4*V(2) -7+-1*V(1) <A 110+V(1)+V(2) 2
27 44+5*V(1)+4*V(2) -6+-1*V(1) 1 B> 110+V(1)+V(2) 2
28 54+6*V(1)+5*V(2) 4+V(2) 1 310+V(1)+V(2) B> 2
29 55+6*V(1)+5*V(2) 3+V(2) 1 310+V(1)+V(2) <B 4
30 65+7*V(1)+6*V(2) -7+-1*V(1) 1 <B 411+V(1)+V(2)
31 66+7*V(1)+6*V(2) -6+-1*V(1) 3 B> 411+V(1)+V(2)
32 67+7*V(1)+6*V(2) -5+-1*V(1) 32 A> 410+V(1)+V(2)
33 68+7*V(1)+6*V(2) -6+-1*V(1) 32 <A 1 49+V(1)+V(2)
<< Success! ==> defined new CTR 2 (PPA)
135 428 -28 32 <A 1 430
== Executing PA-CTR 1, V(1)=27, V(2)=0, repcount=14, factor=5/2
317 1604 -70 32 <A 171 42
== Executing PPA-CTR 2 (once), V(1)=1, V(2)=70
350 2099 -77 32 <A 1 480
== Executing PA-CTR 1, V(1)=77, V(2)=0, repcount=39, factor=5/2
857 10250 -194 32 <A 1196 42
== Executing PPA-CTR 2 (once), V(1)=1, V(2)=195
890 11495 -201 32 <A 1 4205
== Executing PA-CTR 1, V(1)=202, V(2)=0, repcount=102, factor=5/2
2216 64943 -507 32 <A 1511 4
2217 64945 -509 <A 1513 4
2218 64946 -508 1 B> 1513 4
2219 65459 5 1 3513 B> 4
2220 65460 6 1 3514 A>
2221 65461 7 1 3514 1 B>
2222 65462 6 1 3514 1 <A 2
2223 65463 5 1 3514 <B 3 2
2224 65977 -509 1 <B 4514 3 2
2225 65978 -508 3 B> 4514 3 2
2226 65979 -507 32 A> 4513 3 2
2227 65980 -508 32 <A 1 4512 3 2
2228 65982 -510 <A 13 4512 3 2
2229 65983 -509 1 B> 13 4512 3 2
2230 65986 -506 1 33 B> 4512 3 2
2231 65987 -505 1 34 A> 4511 3 2
2232 65988 -506 1 34 <A 1 4510 3 2
2233 65992 -510 1 <A 15 4510 3 2
2234 65993 -511 <B 3 15 4510 3 2
2235 65994 -512 <A 2 3 15 4510 3 2
2236 65995 -511 1 B> 2 3 15 4510 3 2
2237 65996 -512 1 <B 4 3 15 4510 3 2
2238 65997 -511 3 B> 4 3 15 4510 3 2
2239 65998 -510 32 A> 3 15 4510 3 2
2240 65999 -511 32 <A 16 4510 3 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 32 <A 11+V(2) 43+V(1) [*]* [*]*
1 2 -2 <A 13+V(2) 43+V(1) [*]* [*]*
2 3 -1 1 B> 13+V(2) 43+V(1) [*]* [*]*
3 6+V(2) 2+V(2) 1 33+V(2) B> 43+V(1) [*]* [*]*
4 7+V(2) 3+V(2) 1 34+V(2) A> 42+V(1) [*]* [*]*
5 8+V(2) 2+V(2) 1 34+V(2) <A 1 41+V(1) [*]* [*]*
6 12+2*V(2) -2 1 <A 15+V(2) 41+V(1) [*]* [*]*
7 13+2*V(2) -3 <B 3 15+V(2) 41+V(1) [*]* [*]*
8 14+2*V(2) -4 <A 2 3 15+V(2) 41+V(1) [*]* [*]*
9 15+2*V(2) -3 1 B> 2 3 15+V(2) 41+V(1) [*]* [*]*
10 16+2*V(2) -4 1 <B 4 3 15+V(2) 41+V(1) [*]* [*]*
11 17+2*V(2) -3 3 B> 4 3 15+V(2) 41+V(1) [*]* [*]*
12 18+2*V(2) -2 32 A> 3 15+V(2) 41+V(1) [*]* [*]*
13 19+2*V(2) -3 32 <A 16+V(2) 41+V(1) [*]* [*]*
<< Success! ==> defined new CTR 3 (PA)
2240 65999 -511 32 <A 16 4510 3 2
== Executing PA-CTR 3, V(1)=507, V(2)=5, repcount=254, factor=5/2
5542 394675 -1273 32 <A 11276 42 3 2
5543 394677 -1275 <A 11278 42 3 2
5544 394678 -1274 1 B> 11278 42 3 2
5545 395956 4 1 31278 B> 42 3 2
5546 395957 5 1 31279 A> 4 3 2
5547 395958 4 1 31279 <A 1 3 2
5548 397237 -1275 1 <A 11280 3 2
5549 397238 -1276 <B 3 11280 3 2
5550 397239 -1277 <A 2 3 11280 3 2
5551 397240 -1276 1 B> 2 3 11280 3 2
5552 397241 -1277 1 <B 4 3 11280 3 2
5553 397242 -1276 3 B> 4 3 11280 3 2
5554 397243 -1275 32 A> 3 11280 3 2
5555 397244 -1276 32 <A 11281 3 2
5556 397246 -1278 <A 11283 3 2
5557 397247 -1277 1 B> 11283 3 2
5558 398530 6 1 31283 B> 3 2
5559 398531 5 1 31283 <B 4 2
5560 399814 -1278 1 <B 41284 2
5561 399815 -1277 3 B> 41284 2
5562 399816 -1276 32 A> 41283 2
5563 399817 -1277 32 <A 1 41282 2
5564 399819 -1279 <A 13 41282 2
5565 399820 -1278 1 B> 13 41282 2
5566 399823 -1275 1 33 B> 41282 2
5567 399824 -1274 1 34 A> 41281 2
5568 399825 -1275 1 34 <A 1 41280 2
5569 399829 -1279 1 <A 15 41280 2
5570 399830 -1280 <B 3 15 41280 2
5571 399831 -1281 <A 2 3 15 41280 2
5572 399832 -1280 1 B> 2 3 15 41280 2
5573 399833 -1281 1 <B 4 3 15 41280 2
5574 399834 -1280 3 B> 4 3 15 41280 2
5575 399835 -1279 32 A> 3 15 41280 2
5576 399836 -1280 32 <A 16 41280 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 32 <A 11+V(2) 43+V(1) [*]*
1 2 -2 <A 13+V(2) 43+V(1) [*]*
2 3 -1 1 B> 13+V(2) 43+V(1) [*]*
3 6+V(2) 2+V(2) 1 33+V(2) B> 43+V(1) [*]*
4 7+V(2) 3+V(2) 1 34+V(2) A> 42+V(1) [*]*
5 8+V(2) 2+V(2) 1 34+V(2) <A 1 41+V(1) [*]*
6 12+2*V(2) -2 1 <A 15+V(2) 41+V(1) [*]*
7 13+2*V(2) -3 <B 3 15+V(2) 41+V(1) [*]*
8 14+2*V(2) -4 <A 2 3 15+V(2) 41+V(1) [*]*
9 15+2*V(2) -3 1 B> 2 3 15+V(2) 41+V(1) [*]*
10 16+2*V(2) -4 1 <B 4 3 15+V(2) 41+V(1) [*]*
11 17+2*V(2) -3 3 B> 4 3 15+V(2) 41+V(1) [*]*
12 18+2*V(2) -2 32 A> 3 15+V(2) 41+V(1) [*]*
13 19+2*V(2) -3 32 <A 16+V(2) 41+V(1) [*]*
<< Success! ==> defined new CTR 4 (PA)
5576 399836 -1280 32 <A 16 41280 2
== Executing PA-CTR 4, V(1)=1277, V(2)=5, repcount=639, factor=5/2
13883 2456777 -3197 32 <A 13201 42 2
13884 2456779 -3199 <A 13203 42 2
13885 2456780 -3198 1 B> 13203 42 2
13886 2459983 5 1 33203 B> 42 2
13887 2459984 6 1 33204 A> 4 2
13888 2459985 5 1 33204 <A 1 2
13889 2463189 -3199 1 <A 13205 2
13890 2463190 -3200 <B 3 13205 2
13891 2463191 -3201 <A 2 3 13205 2
13892 2463192 -3200 1 B> 2 3 13205 2
13893 2463193 -3201 1 <B 4 3 13205 2
13894 2463194 -3200 3 B> 4 3 13205 2
13895 2463195 -3199 32 A> 3 13205 2
13896 2463196 -3200 32 <A 13206 2
13897 2463198 -3202 <A 13208 2
13898 2463199 -3201 1 B> 13208 2
13899 2466407 7 1 33208 B> 2
13900 2466408 6 1 33208 <B 4
13901 2469616 -3202 1 <B 43209
13902 2469617 -3201 3 B> 43209
13903 2469618 -3200 32 A> 43208
13904 2469619 -3201 32 <A 1 43207
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(1) <A 11+V(2) 42 2
1 1+V(1) -1+-1*V(1) <A 12+V(1)+V(2) 42 2
2 2+V(1) 0+-1*V(1) 1 B> 12+V(1)+V(2) 42 2
3 4+2*V(1)+V(2) 2+V(2) 1 32+V(1)+V(2) B> 42 2
4 5+2*V(1)+V(2) 3+V(2) 1 33+V(1)+V(2) A> 4 2
5 6+2*V(1)+V(2) 2+V(2) 1 33+V(1)+V(2) <A 1 2
6 9+3*V(1)+2*V(2) -1+-1*V(1) 1 <A 14+V(1)+V(2) 2
7 10+3*V(1)+2*V(2) -2+-1*V(1) <B 3 14+V(1)+V(2) 2
8 11+3*V(1)+2*V(2) -3+-1*V(1) <A 2 3 14+V(1)+V(2) 2
9 12+3*V(1)+2*V(2) -2+-1*V(1) 1 B> 2 3 14+V(1)+V(2) 2
10 13+3*V(1)+2*V(2) -3+-1*V(1) 1 <B 4 3 14+V(1)+V(2) 2
11 14+3*V(1)+2*V(2) -2+-1*V(1) 3 B> 4 3 14+V(1)+V(2) 2
12 15+3*V(1)+2*V(2) -1+-1*V(1) 32 A> 3 14+V(1)+V(2) 2
13 16+3*V(1)+2*V(2) -2+-1*V(1) 32 <A 15+V(1)+V(2) 2
14 18+3*V(1)+2*V(2) -4+-1*V(1) <A 17+V(1)+V(2) 2
15 19+3*V(1)+2*V(2) -3+-1*V(1) 1 B> 17+V(1)+V(2) 2
16 26+4*V(1)+3*V(2) 4+V(2) 1 37+V(1)+V(2) B> 2
17 27+4*V(1)+3*V(2) 3+V(2) 1 37+V(1)+V(2) <B 4
18 34+5*V(1)+4*V(2) -4+-1*V(1) 1 <B 48+V(1)+V(2)
19 35+5*V(1)+4*V(2) -3+-1*V(1) 3 B> 48+V(1)+V(2)
20 36+5*V(1)+4*V(2) -2+-1*V(1) 32 A> 47+V(1)+V(2)
21 37+5*V(1)+4*V(2) -3+-1*V(1) 32 <A 1 46+V(1)+V(2)
<< Success! ==> defined new CTR 5 (PPA)
13904 2469619 -3201 32 <A 1 43207
== Executing PA-CTR 1, V(1)=3204, V(2)=0, repcount=1603, factor=5/2
34743 15340106 -8010 32 <A 18016 4
34744 15340108 -8012 <A 18018 4
34745 15340109 -8011 1 B> 18018 4
34746 15348127 7 1 38018 B> 4
34747 15348128 8 1 38019 A>
34748 15348129 9 1 38019 1 B>
34749 15348130 8 1 38019 1 <A 2
34750 15348131 7 1 38019 <B 3 2
34751 15356150 -8012 1 <B 48019 3 2
34752 15356151 -8011 3 B> 48019 3 2
34753 15356152 -8010 32 A> 48018 3 2
34754 15356153 -8011 32 <A 1 48017 3 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(1) <A 13+V(2) 4
1 1+V(1) -1+-1*V(1) <A 14+V(1)+V(2) 4
2 2+V(1) 0+-1*V(1) 1 B> 14+V(1)+V(2) 4
3 6+2*V(1)+V(2) 4+V(2) 1 34+V(1)+V(2) B> 4
4 7+2*V(1)+V(2) 5+V(2) 1 35+V(1)+V(2) A>
5 8+2*V(1)+V(2) 6+V(2) 1 35+V(1)+V(2) 1 B>
6 9+2*V(1)+V(2) 5+V(2) 1 35+V(1)+V(2) 1 <A 2
7 10+2*V(1)+V(2) 4+V(2) 1 35+V(1)+V(2) <B 3 2
8 15+3*V(1)+2*V(2) -1+-1*V(1) 1 <B 45+V(1)+V(2) 3 2
9 16+3*V(1)+2*V(2) 0+-1*V(1) 3 B> 45+V(1)+V(2) 3 2
10 17+3*V(1)+2*V(2) 1+-1*V(1) 32 A> 44+V(1)+V(2) 3 2
11 18+3*V(1)+2*V(2) 0+-1*V(1) 32 <A 1 43+V(1)+V(2) 3 2
<< Success! ==> defined new CTR 6 (PPA)
34754 15356153 -8011 32 <A 1 48017 3 2
== Executing PA-CTR 3, V(1)=8014, V(2)=0, repcount=4008, factor=5/2
86858 95732585 -20035 32 <A 120041 4 3 2
86859 95732587 -20037 <A 120043 4 3 2
86860 95732588 -20036 1 B> 120043 4 3 2
86861 95752631 7 1 320043 B> 4 3 2
86862 95752632 8 1 320044 A> 3 2
86863 95752633 7 1 320044 <A 1 2
86864 95772677 -20037 1 <A 120045 2
86865 95772678 -20038 <B 3 120045 2
86866 95772679 -20039 <A 2 3 120045 2
86867 95772680 -20038 1 B> 2 3 120045 2
86868 95772681 -20039 1 <B 4 3 120045 2
86869 95772682 -20038 3 B> 4 3 120045 2
86870 95772683 -20037 32 A> 3 120045 2
86871 95772684 -20038 32 <A 120046 2
86872 95772686 -20040 <A 120048 2
86873 95772687 -20039 1 B> 120048 2
86874 95792735 9 1 320048 B> 2
86875 95792736 8 1 320048 <B 4
86876 95812784 -20040 1 <B 420049
86877 95812785 -20039 3 B> 420049
86878 95812786 -20038 32 A> 420048
86879 95812787 -20039 32 <A 1 420047
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(1) <A 11+V(2) 4 3 2
1 1+V(1) -1+-1*V(1) <A 12+V(1)+V(2) 4 3 2
2 2+V(1) 0+-1*V(1) 1 B> 12+V(1)+V(2) 4 3 2
3 4+2*V(1)+V(2) 2+V(2) 1 32+V(1)+V(2) B> 4 3 2
4 5+2*V(1)+V(2) 3+V(2) 1 33+V(1)+V(2) A> 3 2
5 6+2*V(1)+V(2) 2+V(2) 1 33+V(1)+V(2) <A 1 2
6 9+3*V(1)+2*V(2) -1+-1*V(1) 1 <A 14+V(1)+V(2) 2
7 10+3*V(1)+2*V(2) -2+-1*V(1) <B 3 14+V(1)+V(2) 2
8 11+3*V(1)+2*V(2) -3+-1*V(1) <A 2 3 14+V(1)+V(2) 2
9 12+3*V(1)+2*V(2) -2+-1*V(1) 1 B> 2 3 14+V(1)+V(2) 2
10 13+3*V(1)+2*V(2) -3+-1*V(1) 1 <B 4 3 14+V(1)+V(2) 2
11 14+3*V(1)+2*V(2) -2+-1*V(1) 3 B> 4 3 14+V(1)+V(2) 2
12 15+3*V(1)+2*V(2) -1+-1*V(1) 32 A> 3 14+V(1)+V(2) 2
13 16+3*V(1)+2*V(2) -2+-1*V(1) 32 <A 15+V(1)+V(2) 2
14 18+3*V(1)+2*V(2) -4+-1*V(1) <A 17+V(1)+V(2) 2
15 19+3*V(1)+2*V(2) -3+-1*V(1) 1 B> 17+V(1)+V(2) 2
16 26+4*V(1)+3*V(2) 4+V(2) 1 37+V(1)+V(2) B> 2
17 27+4*V(1)+3*V(2) 3+V(2) 1 37+V(1)+V(2) <B 4
18 34+5*V(1)+4*V(2) -4+-1*V(1) 1 <B 48+V(1)+V(2)
19 35+5*V(1)+4*V(2) -3+-1*V(1) 3 B> 48+V(1)+V(2)
20 36+5*V(1)+4*V(2) -2+-1*V(1) 32 A> 47+V(1)+V(2)
21 37+5*V(1)+4*V(2) -3+-1*V(1) 32 <A 1 46+V(1)+V(2)
<< Success! ==> defined new CTR 7 (PPA)
86879 95812787 -20039 32 <A 1 420047
== Executing PA-CTR 1, V(1)=20044, V(2)=0, repcount=10023, factor=5/2
217178 598255754 -50108 32 <A 150116 4
== Executing PPA-CTR 6 (once), V(1)=1, V(2)=50113
217189 598356001 -50109 32 <A 1 450117 3 2
== Executing PA-CTR 3, V(1)=50114, V(2)=0, repcount=25058, factor=5/2
542943 3738223633 -125283 32 <A 1125291 4 3 2
== Executing PPA-CTR 7 (once), V(1)=1, V(2)=125290
542964 3738724835 -125287 32 <A 1 4125297
== Executing PA-CTR 1, V(1)=125294, V(2)=0, repcount=62648, factor=5/2
1357388 23363461427 -313231 32 <A 1313241 4
== Executing PPA-CTR 6 (once), V(1)=1, V(2)=313238
1357399 23364087924 -313232 32 <A 1 4313242 3 2
== Executing PA-CTR 3, V(1)=313239, V(2)=0, repcount=156620, factor=5/2
3393459 146015402604 -783092 32 <A 1783101 42 3 2
3393460 146015402606 -783094 <A 1783103 42 3 2
3393461 146015402607 -783093 1 B> 1783103 42 3 2
3393462 146016185710 10 1 3783103 B> 42 3 2
3393463 146016185711 11 1 3783104 A> 4 3 2
3393464 146016185712 10 1 3783104 <A 1 3 2
3393465 146016968816 -783094 1 <A 1783105 3 2
3393466 146016968817 -783095 <B 3 1783105 3 2
3393467 146016968818 -783096 <A 2 3 1783105 3 2
3393468 146016968819 -783095 1 B> 2 3 1783105 3 2
3393469 146016968820 -783096 1 <B 4 3 1783105 3 2
3393470 146016968821 -783095 3 B> 4 3 1783105 3 2
3393471 146016968822 -783094 32 A> 3 1783105 3 2
3393472 146016968823 -783095 32 <A 1783106 3 2
3393473 146016968825 -783097 <A 1783108 3 2
3393474 146016968826 -783096 1 B> 1783108 3 2
3393475 146017751934 12 1 3783108 B> 3 2
3393476 146017751935 11 1 3783108 <B 4 2
3393477 146018535043 -783097 1 <B 4783109 2
3393478 146018535044 -783096 3 B> 4783109 2
3393479 146018535045 -783095 32 A> 4783108 2
3393480 146018535046 -783096 32 <A 1 4783107 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(1) <A 11+V(2) 42 3 [*]*
1 1+V(1) -1+-1*V(1) <A 12+V(1)+V(2) 42 3 [*]*
2 2+V(1) 0+-1*V(1) 1 B> 12+V(1)+V(2) 42 3 [*]*
3 4+2*V(1)+V(2) 2+V(2) 1 32+V(1)+V(2) B> 42 3 [*]*
4 5+2*V(1)+V(2) 3+V(2) 1 33+V(1)+V(2) A> 4 3 [*]*
5 6+2*V(1)+V(2) 2+V(2) 1 33+V(1)+V(2) <A 1 3 [*]*
6 9+3*V(1)+2*V(2) -1+-1*V(1) 1 <A 14+V(1)+V(2) 3 [*]*
7 10+3*V(1)+2*V(2) -2+-1*V(1) <B 3 14+V(1)+V(2) 3 [*]*
8 11+3*V(1)+2*V(2) -3+-1*V(1) <A 2 3 14+V(1)+V(2) 3 [*]*
9 12+3*V(1)+2*V(2) -2+-1*V(1) 1 B> 2 3 14+V(1)+V(2) 3 [*]*
10 13+3*V(1)+2*V(2) -3+-1*V(1) 1 <B 4 3 14+V(1)+V(2) 3 [*]*
11 14+3*V(1)+2*V(2) -2+-1*V(1) 3 B> 4 3 14+V(1)+V(2) 3 [*]*
12 15+3*V(1)+2*V(2) -1+-1*V(1) 32 A> 3 14+V(1)+V(2) 3 [*]*
13 16+3*V(1)+2*V(2) -2+-1*V(1) 32 <A 15+V(1)+V(2) 3 [*]*
14 18+3*V(1)+2*V(2) -4+-1*V(1) <A 17+V(1)+V(2) 3 [*]*
15 19+3*V(1)+2*V(2) -3+-1*V(1) 1 B> 17+V(1)+V(2) 3 [*]*
16 26+4*V(1)+3*V(2) 4+V(2) 1 37+V(1)+V(2) B> 3 [*]*
17 27+4*V(1)+3*V(2) 3+V(2) 1 37+V(1)+V(2) <B 4 [*]*
18 34+5*V(1)+4*V(2) -4+-1*V(1) 1 <B 48+V(1)+V(2) [*]*
19 35+5*V(1)+4*V(2) -3+-1*V(1) 3 B> 48+V(1)+V(2) [*]*
20 36+5*V(1)+4*V(2) -2+-1*V(1) 32 A> 47+V(1)+V(2) [*]*
21 37+5*V(1)+4*V(2) -3+-1*V(1) 32 <A 1 46+V(1)+V(2) [*]*
<< Success! ==> defined new CTR 8 (PPA)
3393480 146018535046 -783096 32 <A 1 4783107 2
== Executing PA-CTR 4, V(1)=783104, V(2)=0, repcount=391553, factor=5/2
8483669 912592775833 -1957755 32 <A 11957766 4 2
8483670 912592775835 -1957757 <A 11957768 4 2
8483671 912592775836 -1957756 1 B> 11957768 4 2
8483672 912594733604 12 1 31957768 B> 4 2
8483673 912594733605 13 1 31957769 A> 2
8483674 912594733606 14 1 31957769 1 Z>
8483674 912594733606 14 1 31957769 1 Z> [stop]
Lines: 253
Top steps: 251
Macro steps: 8483674
Basic steps: 912594733606
Tape index: 14
nonzeros: 1957771
log10(nonzeros): 6.292
log10(steps ): 11.960
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #f (G. Lafitte & C. Papazian)
5T B1R B3L Z1R A1L A1L A2L B3R B4L B4L A3R
: 1,957,771 912,594,733,606
L 48
M 300
pref sim
machv Laf25_f just simple
machv Laf25_f-r with repetitions reduced
machv Laf25_f-1 with tape symbol exponents
machv Laf25_f-m as 1-macro machine
machv Laf25_f-a as 1-macro machine with pure additive config-TRs
iam Laf25_f-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:02 CEST 2010
edate Tue Jul 6 22:12:03 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:12:02 CEST 2010