Comment: This TM produces 4,848,239 nonzeros in 14,103,258,269,249 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 | B4L | A4L | A2R | 1 | right | B | 3 | left | B | 4 | left | B | 4 | left | A | 2 | right | A |
| B | A2L | Z4L | B3R | A4R | B3R | 2 | left | A | 4 | left | Z | 3 | right | B | 4 | right | A | 3 | right | B |
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 0 1 3 B> 3 2
7 7 1 1 3 4 A> 2
8 8 0 1 3 4 <B 4
9 9 1 1 32 B> 4
10 10 2 1 33 B>
11 11 1 1 33 <A 2
12 14 -2 1 <A 43 2
13 15 -3 <B 3 43 2
14 16 -4 <A 2 3 43 2
15 17 -3 1 B> 2 3 43 2
16 18 -2 1 3 B> 3 43 2
17 19 -1 1 3 4 A> 43 2
18 22 2 1 3 4 23 A> 2
19 23 1 1 3 4 23 <B 4
20 24 2 1 3 4 22 3 B> 4
21 25 3 1 3 4 22 32 B>
22 26 2 1 3 4 22 32 <A 2
23 28 0 1 3 4 22 <A 42 2
24 29 -1 1 3 4 2 <B 43 2
25 30 0 1 3 4 3 B> 43 2
26 33 3 1 3 4 34 B> 2
27 34 4 1 3 4 35 B>
28 35 3 1 3 4 35 <A 2
29 40 -2 1 3 4 <A 45 2
30 41 -1 1 3 2 A> 45 2
31 46 4 1 3 26 A> 2
32 47 3 1 3 26 <B 4
33 48 4 1 3 25 3 B> 4
34 49 5 1 3 25 32 B>
35 50 4 1 3 25 32 <A 2
36 52 2 1 3 25 <A 42 2
37 53 1 1 3 24 <B 43 2
38 54 2 1 3 23 3 B> 43 2
39 57 5 1 3 23 34 B> 2
40 58 6 1 3 23 35 B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* 23+V(2) 31+V(1) B>
1 1 -1 [*]* [*]* 23+V(2) 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) [*]* [*]* 23+V(2) <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) [*]* [*]* 22+V(2) <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) [*]* [*]* 21+V(2) 3 B> 42+V(1) 2
5 6+2*V(1) 0 [*]* [*]* 21+V(2) 33+V(1) B> 2
6 7+2*V(1) 1 [*]* [*]* 21+V(2) 34+V(1) B>
<< Success! ==> defined new CTR 1 (PA)
40 58 6 1 3 23 35 B>
== Executing PA-CTR 1, V(1)=4, V(2)=0, repcount=1, factor=3/2
46 73 7 1 3 2 38 B>
47 74 6 1 3 2 38 <A 2
48 82 -2 1 3 2 <A 48 2
49 83 -3 1 3 <B 49 2
50 84 -2 1 4 A> 49 2
51 93 7 1 4 29 A> 2
52 94 6 1 4 29 <B 4
53 95 7 1 4 28 3 B> 4
54 96 8 1 4 28 32 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 [*]* 3 2 33+V(1) B>
1 1 -1 [*]* 3 2 33+V(1) <A 2
2 4+V(1) -4+-1*V(1) [*]* 3 2 <A 43+V(1) 2
3 5+V(1) -5+-1*V(1) [*]* 3 <B 44+V(1) 2
4 6+V(1) -4+-1*V(1) [*]* 4 A> 44+V(1) 2
5 10+2*V(1) 0 [*]* 4 24+V(1) A> 2
6 11+2*V(1) -1 [*]* 4 24+V(1) <B 4
7 12+2*V(1) 0 [*]* 4 23+V(1) 3 B> 4
8 13+2*V(1) 1 [*]* 4 23+V(1) 32 B>
<< Success! ==> defined new CTR 2 (PPA)
54 96 8 1 4 28 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=5, repcount=3, factor=3/2
72 141 11 1 4 22 311 B>
73 142 10 1 4 22 311 <A 2
74 153 -1 1 4 22 <A 411 2
75 154 -2 1 4 2 <B 412 2
76 155 -1 1 4 3 B> 412 2
77 167 11 1 4 313 B> 2
78 168 12 1 4 314 B>
79 169 11 1 4 314 <A 2
80 183 -3 1 4 <A 414 2
81 184 -2 1 2 A> 414 2
82 198 12 1 215 A> 2
83 199 11 1 215 <B 4
84 200 12 1 214 3 B> 4
85 201 13 1 214 32 B>
86 202 12 1 214 32 <A 2
87 204 10 1 214 <A 42 2
88 205 9 1 213 <B 43 2
89 206 10 1 212 3 B> 43 2
90 209 13 1 212 34 B> 2
91 210 14 1 212 35 B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 23+V(2) 31+V(1) B>
1 1 -1 [*]* 23+V(2) 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) [*]* 23+V(2) <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) [*]* 22+V(2) <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) [*]* 21+V(2) 3 B> 42+V(1) 2
5 6+2*V(1) 0 [*]* 21+V(2) 33+V(1) B> 2
6 7+2*V(1) 1 [*]* 21+V(2) 34+V(1) B>
<< Success! ==> defined new CTR 3 (PA)
91 210 14 1 212 35 B>
== Executing PA-CTR 3, V(1)=4, V(2)=9, repcount=5, factor=3/2
121 345 19 1 22 320 B>
122 346 18 1 22 320 <A 2
123 366 -2 1 22 <A 420 2
124 367 -3 1 2 <B 421 2
125 368 -2 1 3 B> 421 2
126 389 19 1 322 B> 2
127 390 20 1 323 B>
128 391 19 1 323 <A 2
129 414 -4 1 <A 423 2
130 415 -5 <B 3 423 2
131 416 -6 <A 2 3 423 2
132 417 -5 1 B> 2 3 423 2
133 418 -4 1 3 B> 3 423 2
134 419 -3 1 3 4 A> 423 2
135 442 20 1 3 4 223 A> 2
136 443 19 1 3 4 223 <B 4
137 444 20 1 3 4 222 3 B> 4
138 445 21 1 3 4 222 32 B>
139 446 20 1 3 4 222 32 <A 2
140 448 18 1 3 4 222 <A 42 2
141 449 17 1 3 4 221 <B 43 2
142 450 18 1 3 4 220 3 B> 43 2
143 453 21 1 3 4 220 34 B> 2
144 454 22 1 3 4 220 35 B>
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* [*]* 23+V(2) 31+V(1) B>
1 1 -1 [*]* [*]* [*]* 23+V(2) 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) [*]* [*]* [*]* 23+V(2) <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) [*]* [*]* [*]* 22+V(2) <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) [*]* [*]* [*]* 21+V(2) 3 B> 42+V(1) 2
5 6+2*V(1) 0 [*]* [*]* [*]* 21+V(2) 33+V(1) B> 2
6 7+2*V(1) 1 [*]* [*]* [*]* 21+V(2) 34+V(1) B>
<< Success! ==> defined new CTR 4 (PA)
144 454 22 1 3 4 220 35 B>
== Executing PA-CTR 4, V(1)=4, V(2)=17, repcount=9, factor=3/2
198 805 31 1 3 4 22 332 B>
199 806 30 1 3 4 22 332 <A 2
200 838 -2 1 3 4 22 <A 432 2
201 839 -3 1 3 4 2 <B 433 2
202 840 -2 1 3 4 3 B> 433 2
203 873 31 1 3 4 334 B> 2
204 874 32 1 3 4 335 B>
205 875 31 1 3 4 335 <A 2
206 910 -4 1 3 4 <A 435 2
207 911 -3 1 3 2 A> 435 2
208 946 32 1 3 236 A> 2
209 947 31 1 3 236 <B 4
210 948 32 1 3 235 3 B> 4
211 949 33 1 3 235 32 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 [*]* [*]* 4 22 31+V(1) B>
1 1 -1 [*]* [*]* 4 22 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) [*]* [*]* 4 22 <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) [*]* [*]* 4 2 <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) [*]* [*]* 4 3 B> 42+V(1) 2
5 6+2*V(1) 0 [*]* [*]* 4 33+V(1) B> 2
6 7+2*V(1) 1 [*]* [*]* 4 34+V(1) B>
7 8+2*V(1) 0 [*]* [*]* 4 34+V(1) <A 2
8 12+3*V(1) -4+-1*V(1) [*]* [*]* 4 <A 44+V(1) 2
9 13+3*V(1) -3+-1*V(1) [*]* [*]* 2 A> 44+V(1) 2
10 17+4*V(1) 1 [*]* [*]* 25+V(1) A> 2
11 18+4*V(1) 0 [*]* [*]* 25+V(1) <B 4
12 19+4*V(1) 1 [*]* [*]* 24+V(1) 3 B> 4
13 20+4*V(1) 2 [*]* [*]* 24+V(1) 32 B>
<< Success! ==> defined new CTR 5 (PPA)
211 949 33 1 3 235 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=32, repcount=17, factor=3/2
313 1918 50 1 3 2 353 B>
== Executing PPA-CTR 2 (once), V(1)=50
321 2031 51 1 4 253 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=50, repcount=26, factor=3/2
477 4215 77 1 4 2 380 B>
478 4216 76 1 4 2 380 <A 2
479 4296 -4 1 4 2 <A 480 2
480 4297 -5 1 4 <B 481 2
481 4298 -4 1 3 B> 481 2
482 4379 77 1 382 B> 2
483 4380 78 1 383 B>
484 4381 77 1 383 <A 2
485 4464 -6 1 <A 483 2
486 4465 -7 <B 3 483 2
487 4466 -8 <A 2 3 483 2
488 4467 -7 1 B> 2 3 483 2
489 4468 -6 1 3 B> 3 483 2
490 4469 -5 1 3 4 A> 483 2
491 4552 78 1 3 4 283 A> 2
492 4553 77 1 3 4 283 <B 4
493 4554 78 1 3 4 282 3 B> 4
494 4555 79 1 3 4 282 32 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 4 2 31+V(1) B>
1 1 -1 1 4 2 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) 1 4 2 <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) 1 4 <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) 1 3 B> 42+V(1) 2
5 6+2*V(1) 0 1 33+V(1) B> 2
6 7+2*V(1) 1 1 34+V(1) B>
7 8+2*V(1) 0 1 34+V(1) <A 2
8 12+3*V(1) -4+-1*V(1) 1 <A 44+V(1) 2
9 13+3*V(1) -5+-1*V(1) <B 3 44+V(1) 2
10 14+3*V(1) -6+-1*V(1) <A 2 3 44+V(1) 2
11 15+3*V(1) -5+-1*V(1) 1 B> 2 3 44+V(1) 2
12 16+3*V(1) -4+-1*V(1) 1 3 B> 3 44+V(1) 2
13 17+3*V(1) -3+-1*V(1) 1 3 4 A> 44+V(1) 2
14 21+4*V(1) 1 1 3 4 24+V(1) A> 2
15 22+4*V(1) 0 1 3 4 24+V(1) <B 4
16 23+4*V(1) 1 1 3 4 23+V(1) 3 B> 4
17 24+4*V(1) 2 1 3 4 23+V(1) 32 B>
<< Success! ==> defined new CTR 6 (PPA)
494 4555 79 1 3 4 282 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=79, repcount=40, factor=3/2
734 9595 119 1 3 4 22 3122 B>
== Executing PPA-CTR 5 (once), V(1)=121
747 10099 121 1 3 2125 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=122, repcount=62, factor=3/2
1119 22003 183 1 3 2 3188 B>
== Executing PPA-CTR 2 (once), V(1)=185
1127 22386 184 1 4 2188 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=185, repcount=93, factor=3/2
1685 48891 277 1 4 22 3281 B>
1686 48892 276 1 4 22 3281 <A 2
1687 49173 -5 1 4 22 <A 4281 2
1688 49174 -6 1 4 2 <B 4282 2
1689 49175 -5 1 4 3 B> 4282 2
1690 49457 277 1 4 3283 B> 2
1691 49458 278 1 4 3284 B>
1692 49459 277 1 4 3284 <A 2
1693 49743 -7 1 4 <A 4284 2
1694 49744 -6 1 2 A> 4284 2
1695 50028 278 1 2285 A> 2
1696 50029 277 1 2285 <B 4
1697 50030 278 1 2284 3 B> 4
1698 50031 279 1 2284 32 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 [*]* 4 22 31+V(1) B>
1 1 -1 [*]* 4 22 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) [*]* 4 22 <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) [*]* 4 2 <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) [*]* 4 3 B> 42+V(1) 2
5 6+2*V(1) 0 [*]* 4 33+V(1) B> 2
6 7+2*V(1) 1 [*]* 4 34+V(1) B>
7 8+2*V(1) 0 [*]* 4 34+V(1) <A 2
8 12+3*V(1) -4+-1*V(1) [*]* 4 <A 44+V(1) 2
9 13+3*V(1) -3+-1*V(1) [*]* 2 A> 44+V(1) 2
10 17+4*V(1) 1 [*]* 25+V(1) A> 2
11 18+4*V(1) 0 [*]* 25+V(1) <B 4
12 19+4*V(1) 1 [*]* 24+V(1) 3 B> 4
13 20+4*V(1) 2 [*]* 24+V(1) 32 B>
<< Success! ==> defined new CTR 7 (PPA)
1698 50031 279 1 2284 32 B>
== Executing PA-CTR 3, V(1)=1, V(2)=281, repcount=141, factor=3/2
2544 110520 420 1 22 3425 B>
2545 110521 419 1 22 3425 <A 2
2546 110946 -6 1 22 <A 4425 2
2547 110947 -7 1 2 <B 4426 2
2548 110948 -6 1 3 B> 4426 2
2549 111374 420 1 3427 B> 2
2550 111375 421 1 3428 B>
2551 111376 420 1 3428 <A 2
2552 111804 -8 1 <A 4428 2
2553 111805 -9 <B 3 4428 2
2554 111806 -10 <A 2 3 4428 2
2555 111807 -9 1 B> 2 3 4428 2
2556 111808 -8 1 3 B> 3 4428 2
2557 111809 -7 1 3 4 A> 4428 2
2558 112237 421 1 3 4 2428 A> 2
2559 112238 420 1 3 4 2428 <B 4
2560 112239 421 1 3 4 2427 3 B> 4
2561 112240 422 1 3 4 2427 32 B>
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 22 31+V(1) B>
1 1 -1 1 22 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) 1 22 <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) 1 2 <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) 1 3 B> 42+V(1) 2
5 6+2*V(1) 0 1 33+V(1) B> 2
6 7+2*V(1) 1 1 34+V(1) B>
7 8+2*V(1) 0 1 34+V(1) <A 2
8 12+3*V(1) -4+-1*V(1) 1 <A 44+V(1) 2
9 13+3*V(1) -5+-1*V(1) <B 3 44+V(1) 2
10 14+3*V(1) -6+-1*V(1) <A 2 3 44+V(1) 2
11 15+3*V(1) -5+-1*V(1) 1 B> 2 3 44+V(1) 2
12 16+3*V(1) -4+-1*V(1) 1 3 B> 3 44+V(1) 2
13 17+3*V(1) -3+-1*V(1) 1 3 4 A> 44+V(1) 2
14 21+4*V(1) 1 1 3 4 24+V(1) A> 2
15 22+4*V(1) 0 1 3 4 24+V(1) <B 4
16 23+4*V(1) 1 1 3 4 23+V(1) 3 B> 4
17 24+4*V(1) 2 1 3 4 23+V(1) 32 B>
<< Success! ==> defined new CTR 8 (PPA)
2561 112240 422 1 3 4 2427 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=424, repcount=213, factor=3/2
3839 249625 635 1 3 4 2 3641 B>
3840 249626 634 1 3 4 2 3641 <A 2
3841 250267 -7 1 3 4 2 <A 4641 2
3842 250268 -8 1 3 4 <B 4642 2
3843 250269 -7 1 32 B> 4642 2
3844 250911 635 1 3644 B> 2
3845 250912 636 1 3645 B>
3846 250913 635 1 3645 <A 2
3847 251558 -10 1 <A 4645 2
3848 251559 -11 <B 3 4645 2
3849 251560 -12 <A 2 3 4645 2
3850 251561 -11 1 B> 2 3 4645 2
3851 251562 -10 1 3 B> 3 4645 2
3852 251563 -9 1 3 4 A> 4645 2
3853 252208 636 1 3 4 2645 A> 2
3854 252209 635 1 3 4 2645 <B 4
3855 252210 636 1 3 4 2644 3 B> 4
3856 252211 637 1 3 4 2644 32 B>
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1 31+V(2) 4 2 31+V(1) B>
1 1 -1 1 31+V(2) 4 2 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) 1 31+V(2) 4 2 <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) 1 31+V(2) 4 <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) 1 32+V(2) B> 42+V(1) 2
5 6+2*V(1) 0 1 34+V(1)+V(2) B> 2
6 7+2*V(1) 1 1 35+V(1)+V(2) B>
7 8+2*V(1) 0 1 35+V(1)+V(2) <A 2
8 13+3*V(1)+V(2) -5+-1*V(1)+-1*V(2) 1 <A 45+V(1)+V(2) 2
9 14+3*V(1)+V(2) -6+-1*V(1)+-1*V(2) <B 3 45+V(1)+V(2) 2
10 15+3*V(1)+V(2) -7+-1*V(1)+-1*V(2) <A 2 3 45+V(1)+V(2) 2
11 16+3*V(1)+V(2) -6+-1*V(1)+-1*V(2) 1 B> 2 3 45+V(1)+V(2) 2
12 17+3*V(1)+V(2) -5+-1*V(1)+-1*V(2) 1 3 B> 3 45+V(1)+V(2) 2
13 18+3*V(1)+V(2) -4+-1*V(1)+-1*V(2) 1 3 4 A> 45+V(1)+V(2) 2
14 23+4*V(1)+2*V(2) 1 1 3 4 25+V(1)+V(2) A> 2
15 24+4*V(1)+2*V(2) 0 1 3 4 25+V(1)+V(2) <B 4
16 25+4*V(1)+2*V(2) 1 1 3 4 24+V(1)+V(2) 3 B> 4
17 26+4*V(1)+2*V(2) 2 1 3 4 24+V(1)+V(2) 32 B>
<< Success! ==> defined new CTR 9 (PPA)
3856 252211 637 1 3 4 2644 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=641, repcount=321, factor=3/2
5782 563260 958 1 3 4 22 3965 B>
== Executing PPA-CTR 5 (once), V(1)=964
5795 567136 960 1 3 2968 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=965, repcount=483, factor=3/2
8693 1269901 1443 1 3 22 31451 B>
8694 1269902 1442 1 3 22 31451 <A 2
8695 1271353 -9 1 3 22 <A 41451 2
8696 1271354 -10 1 3 2 <B 41452 2
8697 1271355 -9 1 32 B> 41452 2
8698 1272807 1443 1 31454 B> 2
8699 1272808 1444 1 31455 B>
8700 1272809 1443 1 31455 <A 2
8701 1274264 -12 1 <A 41455 2
8702 1274265 -13 <B 3 41455 2
8703 1274266 -14 <A 2 3 41455 2
8704 1274267 -13 1 B> 2 3 41455 2
8705 1274268 -12 1 3 B> 3 41455 2
8706 1274269 -11 1 3 4 A> 41455 2
8707 1275724 1444 1 3 4 21455 A> 2
8708 1275725 1443 1 3 4 21455 <B 4
8709 1275726 1444 1 3 4 21454 3 B> 4
8710 1275727 1445 1 3 4 21454 32 B>
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1 31+V(2) 22 31+V(1) B>
1 1 -1 1 31+V(2) 22 31+V(1) <A 2
2 2+V(1) -2+-1*V(1) 1 31+V(2) 22 <A 41+V(1) 2
3 3+V(1) -3+-1*V(1) 1 31+V(2) 2 <B 42+V(1) 2
4 4+V(1) -2+-1*V(1) 1 32+V(2) B> 42+V(1) 2
5 6+2*V(1) 0 1 34+V(1)+V(2) B> 2
6 7+2*V(1) 1 1 35+V(1)+V(2) B>
7 8+2*V(1) 0 1 35+V(1)+V(2) <A 2
8 13+3*V(1)+V(2) -5+-1*V(1)+-1*V(2) 1 <A 45+V(1)+V(2) 2
9 14+3*V(1)+V(2) -6+-1*V(1)+-1*V(2) <B 3 45+V(1)+V(2) 2
10 15+3*V(1)+V(2) -7+-1*V(1)+-1*V(2) <A 2 3 45+V(1)+V(2) 2
11 16+3*V(1)+V(2) -6+-1*V(1)+-1*V(2) 1 B> 2 3 45+V(1)+V(2) 2
12 17+3*V(1)+V(2) -5+-1*V(1)+-1*V(2) 1 3 B> 3 45+V(1)+V(2) 2
13 18+3*V(1)+V(2) -4+-1*V(1)+-1*V(2) 1 3 4 A> 45+V(1)+V(2) 2
14 23+4*V(1)+2*V(2) 1 1 3 4 25+V(1)+V(2) A> 2
15 24+4*V(1)+2*V(2) 0 1 3 4 25+V(1)+V(2) <B 4
16 25+4*V(1)+2*V(2) 1 1 3 4 24+V(1)+V(2) 3 B> 4
17 26+4*V(1)+2*V(2) 2 1 3 4 24+V(1)+V(2) 32 B>
<< Success! ==> defined new CTR 10 (PPA)
8710 1275727 1445 1 3 4 21454 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=1451, repcount=726, factor=3/2
13066 2861311 2171 1 3 4 22 32180 B>
== Executing PPA-CTR 5 (once), V(1)=2179
13079 2870047 2173 1 3 22183 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=2180, repcount=1091, factor=3/2
19625 6447436 3264 1 3 2 33275 B>
== Executing PPA-CTR 2 (once), V(1)=3272
19633 6453993 3265 1 4 23275 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=3272, repcount=1637, factor=3/2
29455 14503122 4902 1 4 2 34913 B>
== Executing PPA-CTR 6 (once), V(1)=4912
29472 14522794 4904 1 3 4 24915 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=4912, repcount=2457, factor=3/2
44214 32648083 7361 1 3 4 2 37373 B>
== Executing PPA-CTR 9 (once), V(1)=7372, V(2)=0
44231 32677597 7363 1 3 4 27376 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=7373, repcount=3687, factor=3/2
66353 73481626 11050 1 3 4 22 311063 B>
== Executing PPA-CTR 5 (once), V(1)=11062
66366 73525894 11052 1 3 211066 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=11063, repcount=5532, factor=3/2
99558 165368158 16584 1 3 22 316598 B>
== Executing PPA-CTR 10 (once), V(1)=16597, V(2)=0
99575 165434572 16586 1 3 4 216601 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=16598, repcount=8300, factor=3/2
149375 372154372 24886 1 3 4 2 324902 B>
== Executing PPA-CTR 9 (once), V(1)=24901, V(2)=0
149392 372254002 24888 1 3 4 224905 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=24902, repcount=12452, factor=3/2
224104 837485626 37340 1 3 4 2 337358 B>
== Executing PPA-CTR 9 (once), V(1)=37357, V(2)=0
224121 837635080 37342 1 3 4 237361 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=37358, repcount=18680, factor=3/2
336201 1884574360 56022 1 3 4 2 356042 B>
== Executing PPA-CTR 9 (once), V(1)=56041, V(2)=0
336218 1884798550 56024 1 3 4 256045 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=56042, repcount=28022, factor=3/2
504350 4240664134 84046 1 3 4 2 384068 B>
== Executing PPA-CTR 9 (once), V(1)=84067, V(2)=0
504367 4241000428 84048 1 3 4 284071 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=84068, repcount=42035, factor=3/2
756577 9542076313 126083 1 3 4 2 3126107 B>
== Executing PPA-CTR 9 (once), V(1)=126106, V(2)=0
756594 9542580763 126085 1 3 4 2126110 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=126107, repcount=63054, factor=3/2
1134918 21470379835 189139 1 3 4 22 3189164 B>
== Executing PPA-CTR 5 (once), V(1)=189163
1134931 21471136507 189141 1 3 2189167 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=189164, repcount=94583, factor=3/2
1702429 48309535672 283724 1 3 2 3283751 B>
== Executing PPA-CTR 2 (once), V(1)=283748
1702437 48310103181 283725 1 4 2283751 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=283748, repcount=141875, factor=3/2
2553687 108696501306 425600 1 4 2 3425627 B>
== Executing PPA-CTR 6 (once), V(1)=425626
2553704 108698203834 425602 1 3 4 2425629 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=425626, repcount=212814, factor=3/2
3830588 244568876506 638416 1 3 4 2 3638444 B>
== Executing PPA-CTR 9 (once), V(1)=638443, V(2)=0
3830605 244571430304 638418 1 3 4 2638447 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=638444, repcount=319223, factor=3/2
5745943 550283316829 957641 1 3 4 2 3957671 B>
== Executing PPA-CTR 9 (once), V(1)=957670, V(2)=0
5745960 550287147535 957643 1 3 4 2957674 32 B>
== Executing PA-CTR 4, V(1)=1, V(2)=957671, repcount=478836, factor=3/2
8618976 1238141765239 1436479 1 3 4 22 31436510 B>
== Executing PPA-CTR 5 (once), V(1)=1436509
8618989 1238147511295 1436481 1 3 21436513 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=1436510, repcount=718256, factor=3/2
12928525 2785826865439 2154737 1 3 2 32154770 B>
== Executing PPA-CTR 2 (once), V(1)=2154767
12928533 2785831174986 2154738 1 4 22154770 32 B>
== Executing PA-CTR 1, V(1)=1, V(2)=2154767, repcount=1077384, factor=3/2
19392837 6268106489658 3232122 1 4 22 33232154 B>
== Executing PPA-CTR 7 (once), V(1)=3232153
19392850 6268119418290 3232124 1 23232157 32 B>
== Executing PA-CTR 3, V(1)=1, V(2)=3232154, repcount=1616078, factor=3/2
29089318 14103253421010 4848202 1 2 34848236 B>
29089319 14103253421011 4848201 1 2 34848236 <A 2
29089320 14103258269247 -35 1 2 <A 44848236 2
29089321 14103258269248 -36 1 <B 44848237 2
29089322 14103258269249 -37 <Z 44848238 2
29089322 14103258269249 -37 <Z 44848238 2 [stop]
Lines: 246
Top steps: 244
Macro steps: 29089322
Basic steps: 14103258269249
Tape index: -37
nonzeros: 4848239
log10(nonzeros): 6.686
log10(steps ): 13.149
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #i (G. Lafitte & C. Papazian)
5T B1R B3L B4L A4L A2R A2L Z4L B3R A4R B3R
: 4,848,239 14,103,258,269,249
L 6
M 250
pref sim
machv Laf25_i just simple
machv Laf25_i-r with repetitions reduced
machv Laf25_i-1 with tape symbol exponents
machv Laf25_i-m as 1-macro machine
machv Laf25_i-a as 1-macro machine with pure additive config-TRs
iam Laf25_i-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:06 CEST 2010
edate Tue Jul 6 22:12:07 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:06 CEST 2010