Comment: This TM produces 97'104 nonzeros in 7'543'673'517 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 | B2R | B3R | A4L | A3R | 1 | right | B | 2 | right | B | 3 | right | B | 4 | left | A | 3 | right | A |
| B | A0L | B4R | Z1R | B0R | B1L | 0 | left | A | 4 | right | B | 1 | right | Z | 0 | right | B | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
Simulation is done as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (1)B>
2 7 -1 <A(4)
3 11 1 4 (4)B>
4 14 2 4 3 (1)B>
5 20 0 4 3 <A(4)
6 21 -1 4 <A(4) 4
7 23 1 3 (3)A> 4
8 24 2 32 (3)A>
9 25 3 33 (1)B>
10 31 1 33 <A(4)
11 34 -2 <A(4) 43
12 38 0 4 (4)B> 43
13 40 -2 4 <B(1) 1 42
14 41 -3 <B(1) 12 42
15 42 -4 <A(0) 13 42
16 49 -5 <A(4) 0 13 42
17 53 -3 4 (4)B> 0 13 42
18 56 -2 4 3 (1)B> 13 42
19 57 -1 4 3 1 (4)B> 12 42
20 59 1 4 3 1 42 (4)B> 42
21 61 -1 4 3 1 42 <B(1) 1 4
22 63 -3 4 3 1 <B(1) 13 4
23 65 -1 4 3 4 (4)B> 13 4
24 68 2 4 3 44 (4)B> 4
25 70 0 4 3 44 <B(1) 1
26 74 -4 4 3 <B(1) 15
27 76 -2 4 0 (4)B> 15
28 81 3 4 0 45 (4)B>
29 84 4 4 0 45 3 (1)B>
30 90 2 4 0 45 3 <A(4)
31 91 1 4 0 45 <A(4) 4
32 93 3 4 0 44 3 (3)A> 4
33 94 4 4 0 44 32 (3)A>
34 95 5 4 0 44 33 (1)B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 42+V(2) 31+V(1) (1)B>
1 6 -2 [*]* [*]* 42+V(2) 31+V(1) <A(4)
2 7+V(1) -3+-1*V(1) [*]* [*]* 42+V(2) <A(4) 41+V(1)
3 9+V(1) -1+-1*V(1) [*]* [*]* 41+V(2) 3 (3)A> 41+V(1)
4 10+2*V(1) 0 [*]* [*]* 41+V(2) 32+V(1) (3)A>
5 11+2*V(1) 1 [*]* [*]* 41+V(2) 33+V(1) (1)B>
<< Success! ==> defined new CTR 1 (PA)
34 95 5 4 0 44 33 (1)B>
== Executing PA-CTR 1, V(1)=2, V(2)=2, repcount=3, factor=2/1
49 152 8 4 0 4 39 (1)B>
50 158 6 4 0 4 39 <A(4)
51 167 -3 4 0 4 <A(4) 49
52 169 -1 4 0 3 (3)A> 49
53 178 8 4 0 310 (3)A>
54 179 9 4 0 311 (1)B>
55 185 7 4 0 311 <A(4)
56 196 -4 4 0 <A(4) 411
57 200 -2 42 (4)B> 411
58 202 -4 42 <B(1) 1 410
59 204 -6 <B(1) 13 410
60 205 -7 <A(0) 14 410
61 212 -8 <A(4) 0 14 410
62 216 -6 4 (4)B> 0 14 410
63 219 -5 4 3 (1)B> 14 410
64 220 -4 4 3 1 (4)B> 13 410
65 223 -1 4 3 1 43 (4)B> 410
66 225 -3 4 3 1 43 <B(1) 1 49
67 228 -6 4 3 1 <B(1) 14 49
68 230 -4 4 3 4 (4)B> 14 49
69 234 0 4 3 45 (4)B> 49
70 236 -2 4 3 45 <B(1) 1 48
71 241 -7 4 3 <B(1) 16 48
72 243 -5 4 0 (4)B> 16 48
73 249 1 4 0 46 (4)B> 48
74 251 -1 4 0 46 <B(1) 1 47
75 257 -7 4 0 <B(1) 17 47
76 258 -8 4 <A(0) 18 47
77 260 -6 3 (1)B> 18 47
78 261 -5 3 1 (4)B> 17 47
79 268 2 3 1 47 (4)B> 47
80 270 0 3 1 47 <B(1) 1 46
81 277 -7 3 1 <B(1) 18 46
82 279 -5 3 4 (4)B> 18 46
83 287 3 3 49 (4)B> 46
84 289 1 3 49 <B(1) 1 45
85 298 -8 3 <B(1) 110 45
86 300 -6 (4)B> 110 45
87 310 4 410 (4)B> 45
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 41+V(1) (4)B> 47+V(2)
1 2 -2 41+V(1) <B(1) 1 46+V(2)
2 3+V(1) -3+-1*V(1) <B(1) 12+V(1) 46+V(2)
3 4+V(1) -4+-1*V(1) <A(0) 13+V(1) 46+V(2)
4 11+V(1) -5+-1*V(1) <A(4) 0 13+V(1) 46+V(2)
5 15+V(1) -3+-1*V(1) 4 (4)B> 0 13+V(1) 46+V(2)
6 18+V(1) -2+-1*V(1) 4 3 (1)B> 13+V(1) 46+V(2)
7 19+V(1) -1+-1*V(1) 4 3 1 (4)B> 12+V(1) 46+V(2)
8 21+2*V(1) 1 4 3 1 42+V(1) (4)B> 46+V(2)
9 23+2*V(1) -1 4 3 1 42+V(1) <B(1) 1 45+V(2)
10 25+3*V(1) -3+-1*V(1) 4 3 1 <B(1) 13+V(1) 45+V(2)
11 27+3*V(1) -1+-1*V(1) 4 3 4 (4)B> 13+V(1) 45+V(2)
12 30+4*V(1) 2 4 3 44+V(1) (4)B> 45+V(2)
13 32+4*V(1) 0 4 3 44+V(1) <B(1) 1 44+V(2)
14 36+5*V(1) -4+-1*V(1) 4 3 <B(1) 15+V(1) 44+V(2)
15 38+5*V(1) -2+-1*V(1) 4 0 (4)B> 15+V(1) 44+V(2)
16 43+6*V(1) 3 4 0 45+V(1) (4)B> 44+V(2)
17 45+6*V(1) 1 4 0 45+V(1) <B(1) 1 43+V(2)
18 50+7*V(1) -4+-1*V(1) 4 0 <B(1) 16+V(1) 43+V(2)
19 51+7*V(1) -5+-1*V(1) 4 <A(0) 17+V(1) 43+V(2)
20 53+7*V(1) -3+-1*V(1) 3 (1)B> 17+V(1) 43+V(2)
21 54+7*V(1) -2+-1*V(1) 3 1 (4)B> 16+V(1) 43+V(2)
22 60+8*V(1) 4 3 1 46+V(1) (4)B> 43+V(2)
23 62+8*V(1) 2 3 1 46+V(1) <B(1) 1 42+V(2)
24 68+9*V(1) -4+-1*V(1) 3 1 <B(1) 17+V(1) 42+V(2)
25 70+9*V(1) -2+-1*V(1) 3 4 (4)B> 17+V(1) 42+V(2)
26 77+10*V(1) 5 3 48+V(1) (4)B> 42+V(2)
27 79+10*V(1) 3 3 48+V(1) <B(1) 1 41+V(2)
28 87+11*V(1) -5+-1*V(1) 3 <B(1) 19+V(1) 41+V(2)
29 89+11*V(1) -3+-1*V(1) (4)B> 19+V(1) 41+V(2)
30 98+12*V(1) 6 49+V(1) (4)B> 41+V(2)
<< Success! ==> defined new CTR 2 (PA)
88 312 2 410 <B(1) 1 44
89 322 -8 <B(1) 111 44
90 323 -9 <A(0) 112 44
91 330 -10 <A(4) 0 112 44
92 334 -8 4 (4)B> 0 112 44
93 337 -7 4 3 (1)B> 112 44
94 338 -6 4 3 1 (4)B> 111 44
95 349 5 4 3 1 411 (4)B> 44
96 351 3 4 3 1 411 <B(1) 1 43
97 362 -8 4 3 1 <B(1) 112 43
98 364 -6 4 3 4 (4)B> 112 43
99 376 6 4 3 413 (4)B> 43
100 378 4 4 3 413 <B(1) 1 42
101 391 -9 4 3 <B(1) 114 42
102 393 -7 4 0 (4)B> 114 42
103 407 7 4 0 414 (4)B> 42
104 409 5 4 0 414 <B(1) 1 4
105 423 -9 4 0 <B(1) 115 4
106 424 -10 4 <A(0) 116 4
107 426 -8 3 (1)B> 116 4
108 427 -7 3 1 (4)B> 115 4
109 442 8 3 1 415 (4)B> 4
110 444 6 3 1 415 <B(1) 1
111 459 -9 3 1 <B(1) 116
112 461 -7 3 4 (4)B> 116
113 477 9 3 417 (4)B>
114 480 10 3 417 3 (1)B>
115 486 8 3 417 3 <A(4)
116 487 7 3 417 <A(4) 4
117 489 9 3 416 3 (3)A> 4
118 490 10 3 416 32 (3)A>
119 491 11 3 416 33 (1)B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 42+V(2) 31+V(1) (1)B>
1 6 -2 [*]* 42+V(2) 31+V(1) <A(4)
2 7+V(1) -3+-1*V(1) [*]* 42+V(2) <A(4) 41+V(1)
3 9+V(1) -1+-1*V(1) [*]* 41+V(2) 3 (3)A> 41+V(1)
4 10+2*V(1) 0 [*]* 41+V(2) 32+V(1) (3)A>
5 11+2*V(1) 1 [*]* 41+V(2) 33+V(1) (1)B>
<< Success! ==> defined new CTR 3 (PA)
119 491 11 3 416 33 (1)B>
== Executing PA-CTR 3, V(1)=2, V(2)=14, repcount=15, factor=2/1
194 1136 26 3 4 333 (1)B>
195 1142 24 3 4 333 <A(4)
196 1175 -9 3 4 <A(4) 433
197 1177 -7 32 (3)A> 433
198 1210 26 335 (3)A>
199 1211 27 336 (1)B>
200 1217 25 336 <A(4)
201 1253 -11 <A(4) 436
202 1257 -9 4 (4)B> 436
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 31+V(2) 4 34+V(1) (1)B>
1 6 -2 31+V(2) 4 34+V(1) <A(4)
2 10+V(1) -6+-1*V(1) 31+V(2) 4 <A(4) 44+V(1)
3 12+V(1) -4+-1*V(1) 32+V(2) (3)A> 44+V(1)
4 16+2*V(1) 0 36+V(1)+V(2) (3)A>
5 17+2*V(1) 1 37+V(1)+V(2) (1)B>
6 23+2*V(1) -1 37+V(1)+V(2) <A(4)
7 30+3*V(1)+V(2) -8+-1*V(1)+-1*V(2) <A(4) 47+V(1)+V(2)
8 34+3*V(1)+V(2) -6+-1*V(1)+-1*V(2) 4 (4)B> 47+V(1)+V(2)
<< Success! ==> defined new CTR 4 (PPA)
202 1257 -9 4 (4)B> 436
== Executing PA-CTR 2, V(1)=0, V(2)=29, repcount=5, factor=8/6
352 2707 21 441 (4)B> 46
353 2709 19 441 <B(1) 1 45
354 2750 -22 <B(1) 142 45
355 2751 -23 <A(0) 143 45
356 2758 -24 <A(4) 0 143 45
357 2762 -22 4 (4)B> 0 143 45
358 2765 -21 4 3 (1)B> 143 45
359 2766 -20 4 3 1 (4)B> 142 45
360 2808 22 4 3 1 442 (4)B> 45
361 2810 20 4 3 1 442 <B(1) 1 44
362 2852 -22 4 3 1 <B(1) 143 44
363 2854 -20 4 3 4 (4)B> 143 44
364 2897 23 4 3 444 (4)B> 44
365 2899 21 4 3 444 <B(1) 1 43
366 2943 -23 4 3 <B(1) 145 43
367 2945 -21 4 0 (4)B> 145 43
368 2990 24 4 0 445 (4)B> 43
369 2992 22 4 0 445 <B(1) 1 42
370 3037 -23 4 0 <B(1) 146 42
371 3038 -24 4 <A(0) 147 42
372 3040 -22 3 (1)B> 147 42
373 3041 -21 3 1 (4)B> 146 42
374 3087 25 3 1 446 (4)B> 42
375 3089 23 3 1 446 <B(1) 1 4
376 3135 -23 3 1 <B(1) 147 4
377 3137 -21 3 4 (4)B> 147 4
378 3184 26 3 448 (4)B> 4
379 3186 24 3 448 <B(1) 1
380 3234 -24 3 <B(1) 149
381 3236 -22 (4)B> 149
382 3285 27 449 (4)B>
383 3288 28 449 3 (1)B>
384 3294 26 449 3 <A(4)
385 3295 25 449 <A(4) 4
386 3297 27 448 3 (3)A> 4
387 3298 28 448 32 (3)A>
388 3299 29 448 33 (1)B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 42+V(2) 31+V(1) (1)B>
1 6 -2 42+V(2) 31+V(1) <A(4)
2 7+V(1) -3+-1*V(1) 42+V(2) <A(4) 41+V(1)
3 9+V(1) -1+-1*V(1) 41+V(2) 3 (3)A> 41+V(1)
4 10+2*V(1) 0 41+V(2) 32+V(1) (3)A>
5 11+2*V(1) 1 41+V(2) 33+V(1) (1)B>
<< Success! ==> defined new CTR 5 (PA)
388 3299 29 448 33 (1)B>
== Executing PA-CTR 5, V(1)=2, V(2)=46, repcount=47, factor=2/1
623 8328 76 4 397 (1)B>
624 8334 74 4 397 <A(4)
625 8431 -23 4 <A(4) 497
626 8433 -21 3 (3)A> 497
627 8530 76 398 (3)A>
628 8531 77 399 (1)B>
629 8537 75 399 <A(4)
630 8636 -24 <A(4) 499
631 8640 -22 4 (4)B> 499
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 4 35+V(1) (1)B>
1 6 -2 4 35+V(1) <A(4)
2 11+V(1) -7+-1*V(1) 4 <A(4) 45+V(1)
3 13+V(1) -5+-1*V(1) 3 (3)A> 45+V(1)
4 18+2*V(1) 0 36+V(1) (3)A>
5 19+2*V(1) 1 37+V(1) (1)B>
6 25+2*V(1) -1 37+V(1) <A(4)
7 32+3*V(1) -8+-1*V(1) <A(4) 47+V(1)
8 36+3*V(1) -6+-1*V(1) 4 (4)B> 47+V(1)
<< Success! ==> defined new CTR 6 (PPA)
631 8640 -22 4 (4)B> 499
== Executing PA-CTR 2, V(1)=0, V(2)=92, repcount=16, factor=8/6
1111 21728 74 4129 (4)B> 43
1112 21730 72 4129 <B(1) 1 42
1113 21859 -57 <B(1) 1130 42
1114 21860 -58 <A(0) 1131 42
1115 21867 -59 <A(4) 0 1131 42
1116 21871 -57 4 (4)B> 0 1131 42
1117 21874 -56 4 3 (1)B> 1131 42
1118 21875 -55 4 3 1 (4)B> 1130 42
1119 22005 75 4 3 1 4130 (4)B> 42
1120 22007 73 4 3 1 4130 <B(1) 1 4
1121 22137 -57 4 3 1 <B(1) 1131 4
1122 22139 -55 4 3 4 (4)B> 1131 4
1123 22270 76 4 3 4132 (4)B> 4
1124 22272 74 4 3 4132 <B(1) 1
1125 22404 -58 4 3 <B(1) 1133
1126 22406 -56 4 0 (4)B> 1133
1127 22539 77 4 0 4133 (4)B>
1128 22542 78 4 0 4133 3 (1)B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 41+V(1) (4)B> 43
1 2 -2 41+V(1) <B(1) 1 42
2 3+V(1) -3+-1*V(1) <B(1) 12+V(1) 42
3 4+V(1) -4+-1*V(1) <A(0) 13+V(1) 42
4 11+V(1) -5+-1*V(1) <A(4) 0 13+V(1) 42
5 15+V(1) -3+-1*V(1) 4 (4)B> 0 13+V(1) 42
6 18+V(1) -2+-1*V(1) 4 3 (1)B> 13+V(1) 42
7 19+V(1) -1+-1*V(1) 4 3 1 (4)B> 12+V(1) 42
8 21+2*V(1) 1 4 3 1 42+V(1) (4)B> 42
9 23+2*V(1) -1 4 3 1 42+V(1) <B(1) 1 4
10 25+3*V(1) -3+-1*V(1) 4 3 1 <B(1) 13+V(1) 4
11 27+3*V(1) -1+-1*V(1) 4 3 4 (4)B> 13+V(1) 4
12 30+4*V(1) 2 4 3 44+V(1) (4)B> 4
13 32+4*V(1) 0 4 3 44+V(1) <B(1) 1
14 36+5*V(1) -4+-1*V(1) 4 3 <B(1) 15+V(1)
15 38+5*V(1) -2+-1*V(1) 4 0 (4)B> 15+V(1)
16 43+6*V(1) 3 4 0 45+V(1) (4)B>
17 46+6*V(1) 4 4 0 45+V(1) 3 (1)B>
<< Success! ==> defined new CTR 7 (PPA)
1128 22542 78 4 0 4133 3 (1)B>
== Executing PA-CTR 1, V(1)=0, V(2)=131, repcount=132, factor=2/1
1788 58578 210 4 0 4 3265 (1)B>
1789 58584 208 4 0 4 3265 <A(4)
1790 58849 -57 4 0 4 <A(4) 4265
1791 58851 -55 4 0 3 (3)A> 4265
1792 59116 210 4 0 3266 (3)A>
1793 59117 211 4 0 3267 (1)B>
1794 59123 209 4 0 3267 <A(4)
1795 59390 -58 4 0 <A(4) 4267
1796 59394 -56 42 (4)B> 4267
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 41+V(2) 0 4 35+V(1) (1)B>
1 6 -2 41+V(2) 0 4 35+V(1) <A(4)
2 11+V(1) -7+-1*V(1) 41+V(2) 0 4 <A(4) 45+V(1)
3 13+V(1) -5+-1*V(1) 41+V(2) 0 3 (3)A> 45+V(1)
4 18+2*V(1) 0 41+V(2) 0 36+V(1) (3)A>
5 19+2*V(1) 1 41+V(2) 0 37+V(1) (1)B>
6 25+2*V(1) -1 41+V(2) 0 37+V(1) <A(4)
7 32+3*V(1) -8+-1*V(1) 41+V(2) 0 <A(4) 47+V(1)
8 36+3*V(1) -6+-1*V(1) 42+V(2) (4)B> 47+V(1)
<< Success! ==> defined new CTR 8 (PPA)
1796 59394 -56 42 (4)B> 4267
== Executing PA-CTR 2, V(1)=1, V(2)=260, repcount=44, factor=8/6
3116 155050 208 4354 (4)B> 43
== Executing PPA-CTR 7 (once), V(1)=353
3133 157214 212 4 0 4358 3 (1)B>
== Executing PA-CTR 1, V(1)=0, V(2)=356, repcount=357, factor=2/1
4918 415325 569 4 0 4 3715 (1)B>
== Executing PPA-CTR 8 (once), V(1)=710, V(2)=0
4926 417491 -147 42 (4)B> 4717
== Executing PA-CTR 2, V(1)=1, V(2)=710, repcount=119, factor=8/6
8496 1104597 567 4954 (4)B> 43
== Executing PPA-CTR 7 (once), V(1)=953
8513 1110361 571 4 0 4958 3 (1)B>
== Executing PA-CTR 1, V(1)=0, V(2)=956, repcount=957, factor=2/1
13298 2950672 1528 4 0 4 31915 (1)B>
== Executing PPA-CTR 8 (once), V(1)=1910, V(2)=0
13306 2956438 -388 42 (4)B> 41917
== Executing PA-CTR 2, V(1)=1, V(2)=1910, repcount=319, factor=8/6
22876 7860744 1526 42554 (4)B> 43
== Executing PPA-CTR 7 (once), V(1)=2553
22893 7876108 1530 4 0 42558 3 (1)B>
== Executing PA-CTR 1, V(1)=0, V(2)=2556, repcount=2557, factor=2/1
35678 20975619 4087 4 0 4 35115 (1)B>
== Executing PPA-CTR 8 (once), V(1)=5110, V(2)=0
35686 20990985 -1029 42 (4)B> 45117
== Executing PA-CTR 2, V(1)=1, V(2)=5110, repcount=852, factor=8/6
61246 55887201 4083 46818 (4)B> 45
61247 55887203 4081 46818 <B(1) 1 44
61248 55894021 -2737 <B(1) 16819 44
61249 55894022 -2738 <A(0) 16820 44
61250 55894029 -2739 <A(4) 0 16820 44
61251 55894033 -2737 4 (4)B> 0 16820 44
61252 55894036 -2736 4 3 (1)B> 16820 44
61253 55894037 -2735 4 3 1 (4)B> 16819 44
61254 55900856 4084 4 3 1 46819 (4)B> 44
61255 55900858 4082 4 3 1 46819 <B(1) 1 43
61256 55907677 -2737 4 3 1 <B(1) 16820 43
61257 55907679 -2735 4 3 4 (4)B> 16820 43
61258 55914499 4085 4 3 46821 (4)B> 43
61259 55914501 4083 4 3 46821 <B(1) 1 42
61260 55921322 -2738 4 3 <B(1) 16822 42
61261 55921324 -2736 4 0 (4)B> 16822 42
61262 55928146 4086 4 0 46822 (4)B> 42
61263 55928148 4084 4 0 46822 <B(1) 1 4
61264 55934970 -2738 4 0 <B(1) 16823 4
61265 55934971 -2739 4 <A(0) 16824 4
61266 55934973 -2737 3 (1)B> 16824 4
61267 55934974 -2736 3 1 (4)B> 16823 4
61268 55941797 4087 3 1 46823 (4)B> 4
61269 55941799 4085 3 1 46823 <B(1) 1
61270 55948622 -2738 3 1 <B(1) 16824
61271 55948624 -2736 3 4 (4)B> 16824
61272 55955448 4088 3 46825 (4)B>
61273 55955451 4089 3 46825 3 (1)B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 41+V(1) (4)B> 45
1 2 -2 41+V(1) <B(1) 1 44
2 3+V(1) -3+-1*V(1) <B(1) 12+V(1) 44
3 4+V(1) -4+-1*V(1) <A(0) 13+V(1) 44
4 11+V(1) -5+-1*V(1) <A(4) 0 13+V(1) 44
5 15+V(1) -3+-1*V(1) 4 (4)B> 0 13+V(1) 44
6 18+V(1) -2+-1*V(1) 4 3 (1)B> 13+V(1) 44
7 19+V(1) -1+-1*V(1) 4 3 1 (4)B> 12+V(1) 44
8 21+2*V(1) 1 4 3 1 42+V(1) (4)B> 44
9 23+2*V(1) -1 4 3 1 42+V(1) <B(1) 1 43
10 25+3*V(1) -3+-1*V(1) 4 3 1 <B(1) 13+V(1) 43
11 27+3*V(1) -1+-1*V(1) 4 3 4 (4)B> 13+V(1) 43
12 30+4*V(1) 2 4 3 44+V(1) (4)B> 43
13 32+4*V(1) 0 4 3 44+V(1) <B(1) 1 42
14 36+5*V(1) -4+-1*V(1) 4 3 <B(1) 15+V(1) 42
15 38+5*V(1) -2+-1*V(1) 4 0 (4)B> 15+V(1) 42
16 43+6*V(1) 3 4 0 45+V(1) (4)B> 42
17 45+6*V(1) 1 4 0 45+V(1) <B(1) 1 4
18 50+7*V(1) -4+-1*V(1) 4 0 <B(1) 16+V(1) 4
19 51+7*V(1) -5+-1*V(1) 4 <A(0) 17+V(1) 4
20 53+7*V(1) -3+-1*V(1) 3 (1)B> 17+V(1) 4
21 54+7*V(1) -2+-1*V(1) 3 1 (4)B> 16+V(1) 4
22 60+8*V(1) 4 3 1 46+V(1) (4)B> 4
23 62+8*V(1) 2 3 1 46+V(1) <B(1) 1
24 68+9*V(1) -4+-1*V(1) 3 1 <B(1) 17+V(1)
25 70+9*V(1) -2+-1*V(1) 3 4 (4)B> 17+V(1)
26 77+10*V(1) 5 3 48+V(1) (4)B>
27 80+10*V(1) 6 3 48+V(1) 3 (1)B>
<< Success! ==> defined new CTR 9 (PPA)
61273 55955451 4089 3 46825 3 (1)B>
== Executing PA-CTR 3, V(1)=0, V(2)=6823, repcount=6824, factor=2/1
95393 149150819 10913 3 4 313649 (1)B>
== Executing PPA-CTR 4 (once), V(1)=13645, V(2)=0
95401 149191788 -2738 4 (4)B> 413652
== Executing PA-CTR 2, V(1)=0, V(2)=13645, repcount=2275, factor=8/6
163651 397735538 10912 418201 (4)B> 42
163652 397735540 10910 418201 <B(1) 1 4
163653 397753741 -7291 <B(1) 118202 4
163654 397753742 -7292 <A(0) 118203 4
163655 397753749 -7293 <A(4) 0 118203 4
163656 397753753 -7291 4 (4)B> 0 118203 4
163657 397753756 -7290 4 3 (1)B> 118203 4
163658 397753757 -7289 4 3 1 (4)B> 118202 4
163659 397771959 10913 4 3 1 418202 (4)B> 4
163660 397771961 10911 4 3 1 418202 <B(1) 1
163661 397790163 -7291 4 3 1 <B(1) 118203
163662 397790165 -7289 4 3 4 (4)B> 118203
163663 397808368 10914 4 3 418204 (4)B>
163664 397808371 10915 4 3 418204 3 (1)B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 41+V(1) (4)B> 42
1 2 -2 41+V(1) <B(1) 1 4
2 3+V(1) -3+-1*V(1) <B(1) 12+V(1) 4
3 4+V(1) -4+-1*V(1) <A(0) 13+V(1) 4
4 11+V(1) -5+-1*V(1) <A(4) 0 13+V(1) 4
5 15+V(1) -3+-1*V(1) 4 (4)B> 0 13+V(1) 4
6 18+V(1) -2+-1*V(1) 4 3 (1)B> 13+V(1) 4
7 19+V(1) -1+-1*V(1) 4 3 1 (4)B> 12+V(1) 4
8 21+2*V(1) 1 4 3 1 42+V(1) (4)B> 4
9 23+2*V(1) -1 4 3 1 42+V(1) <B(1) 1
10 25+3*V(1) -3+-1*V(1) 4 3 1 <B(1) 13+V(1)
11 27+3*V(1) -1+-1*V(1) 4 3 4 (4)B> 13+V(1)
12 30+4*V(1) 2 4 3 44+V(1) (4)B>
13 33+4*V(1) 3 4 3 44+V(1) 3 (1)B>
<< Success! ==> defined new CTR 10 (PPA)
163664 397808371 10915 4 3 418204 3 (1)B>
== Executing PA-CTR 1, V(1)=0, V(2)=18202, repcount=18203, factor=2/1
254679 1060670616 29118 4 3 4 336407 (1)B>
254680 1060670622 29116 4 3 4 336407 <A(4)
254681 1060707029 -7291 4 3 4 <A(4) 436407
254682 1060707031 -7289 4 32 (3)A> 436407
254683 1060743438 29118 4 336409 (3)A>
254684 1060743439 29119 4 336410 (1)B>
254685 1060743445 29117 4 336410 <A(4)
254686 1060779855 -7293 4 <A(4) 436410
254687 1060779857 -7291 3 (3)A> 436410
254688 1060816267 29119 336411 (3)A>
254689 1060816268 29120 336412 (1)B>
254690 1060816274 29118 336412 <A(4)
254691 1060852686 -7294 <A(4) 436412
254692 1060852690 -7292 4 (4)B> 436412
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 4 31+V(2) 4 32+V(1) (1)B>
1 6 -2 4 31+V(2) 4 32+V(1) <A(4)
2 8+V(1) -4+-1*V(1) 4 31+V(2) 4 <A(4) 42+V(1)
3 10+V(1) -2+-1*V(1) 4 32+V(2) (3)A> 42+V(1)
4 12+2*V(1) 0 4 34+V(1)+V(2) (3)A>
5 13+2*V(1) 1 4 35+V(1)+V(2) (1)B>
6 19+2*V(1) -1 4 35+V(1)+V(2) <A(4)
7 24+3*V(1)+V(2) -6+-1*V(1)+-1*V(2) 4 <A(4) 45+V(1)+V(2)
8 26+3*V(1)+V(2) -4+-1*V(1)+-1*V(2) 3 (3)A> 45+V(1)+V(2)
9 31+4*V(1)+2*V(2) 1 36+V(1)+V(2) (3)A>
10 32+4*V(1)+2*V(2) 2 37+V(1)+V(2) (1)B>
11 38+4*V(1)+2*V(2) 0 37+V(1)+V(2) <A(4)
12 45+5*V(1)+3*V(2) -7+-1*V(1)+-1*V(2) <A(4) 47+V(1)+V(2)
13 49+5*V(1)+3*V(2) -5+-1*V(1)+-1*V(2) 4 (4)B> 47+V(1)+V(2)
<< Success! ==> defined new CTR 11 (PPA)
254692 1060852690 -7292 4 (4)B> 436412
== Executing PA-CTR 2, V(1)=0, V(2)=36405, repcount=6068, factor=8/6
436732 2828546042 29116 448545 (4)B> 44
436733 2828546044 29114 448545 <B(1) 1 43
436734 2828594589 -19431 <B(1) 148546 43
436735 2828594590 -19432 <A(0) 148547 43
436736 2828594597 -19433 <A(4) 0 148547 43
436737 2828594601 -19431 4 (4)B> 0 148547 43
436738 2828594604 -19430 4 3 (1)B> 148547 43
436739 2828594605 -19429 4 3 1 (4)B> 148546 43
436740 2828643151 29117 4 3 1 448546 (4)B> 43
436741 2828643153 29115 4 3 1 448546 <B(1) 1 42
436742 2828691699 -19431 4 3 1 <B(1) 148547 42
436743 2828691701 -19429 4 3 4 (4)B> 148547 42
436744 2828740248 29118 4 3 448548 (4)B> 42
436745 2828740250 29116 4 3 448548 <B(1) 1 4
436746 2828788798 -19432 4 3 <B(1) 148549 4
436747 2828788800 -19430 4 0 (4)B> 148549 4
436748 2828837349 29119 4 0 448549 (4)B> 4
436749 2828837351 29117 4 0 448549 <B(1) 1
436750 2828885900 -19432 4 0 <B(1) 148550
436751 2828885901 -19433 4 <A(0) 148551
436752 2828885903 -19431 3 (1)B> 148551
436753 2828885904 -19430 3 1 (4)B> 148550
436754 2828934454 29120 3 1 448550 (4)B>
436755 2828934457 29121 3 1 448550 3 (1)B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 41+V(1) (4)B> 44
1 2 -2 41+V(1) <B(1) 1 43
2 3+V(1) -3+-1*V(1) <B(1) 12+V(1) 43
3 4+V(1) -4+-1*V(1) <A(0) 13+V(1) 43
4 11+V(1) -5+-1*V(1) <A(4) 0 13+V(1) 43
5 15+V(1) -3+-1*V(1) 4 (4)B> 0 13+V(1) 43
6 18+V(1) -2+-1*V(1) 4 3 (1)B> 13+V(1) 43
7 19+V(1) -1+-1*V(1) 4 3 1 (4)B> 12+V(1) 43
8 21+2*V(1) 1 4 3 1 42+V(1) (4)B> 43
9 23+2*V(1) -1 4 3 1 42+V(1) <B(1) 1 42
10 25+3*V(1) -3+-1*V(1) 4 3 1 <B(1) 13+V(1) 42
11 27+3*V(1) -1+-1*V(1) 4 3 4 (4)B> 13+V(1) 42
12 30+4*V(1) 2 4 3 44+V(1) (4)B> 42
13 32+4*V(1) 0 4 3 44+V(1) <B(1) 1 4
14 36+5*V(1) -4+-1*V(1) 4 3 <B(1) 15+V(1) 4
15 38+5*V(1) -2+-1*V(1) 4 0 (4)B> 15+V(1) 4
16 43+6*V(1) 3 4 0 45+V(1) (4)B> 4
17 45+6*V(1) 1 4 0 45+V(1) <B(1) 1
18 50+7*V(1) -4+-1*V(1) 4 0 <B(1) 16+V(1)
19 51+7*V(1) -5+-1*V(1) 4 <A(0) 17+V(1)
20 53+7*V(1) -3+-1*V(1) 3 (1)B> 17+V(1)
21 54+7*V(1) -2+-1*V(1) 3 1 (4)B> 16+V(1)
22 60+8*V(1) 4 3 1 46+V(1) (4)B>
23 63+8*V(1) 5 3 1 46+V(1) 3 (1)B>
<< Success! ==> defined new CTR 12 (PPA)
436755 2828934457 29121 3 1 448550 3 (1)B>
== Executing PA-CTR 1, V(1)=0, V(2)=48548, repcount=48549, factor=2/1
679500 7543382200 77670 3 1 4 397099 (1)B>
679501 7543382206 77668 3 1 4 397099 <A(4)
679502 7543479305 -19431 3 1 4 <A(4) 497099
679503 7543479307 -19429 3 1 3 (3)A> 497099
679504 7543576406 77670 3 1 397100 (3)A>
679505 7543576407 77671 3 1 397101 (1)B>
679506 7543576413 77669 3 1 397101 <A(4)
679507 7543673514 -19432 3 1 <A(4) 497101
679508 7543673517 -19431 3 1 Z> 1 497101 [stop]
Lines: 291
Top steps: 290
Macro steps: 679508
Basic steps: 7543673517
Tape index: -19431
nonzeros: 97104
log10(nonzeros): 4.987
log10(steps ): 9.878
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #c (G. Lafitte & C. Papazian)
5T B1R B2R B3R A4L A3R A0L B4R Z1R B0R B1L
: 97'104 7'543'673'517
L 10
M 400
pref sim
machv Laf25_c just simple
machv Laf25_c-r with repetitions reduced
machv Laf25_c-1 with tape symbol exponents
machv Laf25_c-m as 1-bck-macro machine
machv Laf25_c-a as 1-bck-macro machine with pure additive config-TRs
iam Laf25_c-a
mtype 1 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:56 CEST 2010
edate Tue Jul 6 22:11:57 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:56 CEST 2010