Comment: This TM produces 2,576,467 nonzeros in 3,793,261,759,791 steps. Comment: Same result with B4->B3L
| 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 | A3R | B4L | A2R | A3L | 1 | right | B | 3 | right | A | 4 | left | B | 2 | right | A | 3 | left | A |
| B | A2L | Z2L | B4R | B4R | B2L | 2 | left | A | 2 | left | Z | 4 | right | B | 4 | right | B | 2 | left | B |
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)A>
1 1 1 (1)B>
2 7 -1 <B(2) 2
3 8 -2 <A(2) 22
4 10 0 1 (4)B> 22
5 12 2 1 42 (4)B>
6 14 0 1 42 <A(3) 2
7 16 -2 1 <A(3) 32 2
8 18 0 3 (2)A> 32 2
9 20 2 3 22 (2)A> 2
10 24 0 3 22 <B(2) 2
11 26 2 3 2 4 (4)B> 2
12 27 3 3 2 42 (4)B>
13 29 1 3 2 42 <A(3) 2
14 31 -1 3 2 <A(3) 32 2
15 32 -2 3 <B(4) 33 2
16 35 -3 <B(2) 2 33 2
17 36 -4 <A(2) 22 33 2
18 38 -2 1 (4)B> 22 33 2
19 40 0 1 42 (4)B> 33 2
20 43 3 1 45 (4)B> 2
21 44 4 1 46 (4)B>
22 46 2 1 46 <A(3) 2
23 52 -4 1 <A(3) 36 2
24 54 -2 3 (2)A> 36 2
25 60 4 3 26 (2)A> 2
26 64 2 3 26 <B(2) 2
27 66 4 3 25 4 (4)B> 2
28 67 5 3 25 42 (4)B>
29 69 3 3 25 42 <A(3) 2
30 71 1 3 25 <A(3) 32 2
31 72 0 3 24 <B(4) 33 2
32 75 -1 3 23 <B(2) 2 33 2
33 77 1 3 22 4 (4)B> 2 33 2
34 78 2 3 22 42 (4)B> 33 2
35 81 5 3 22 45 (4)B> 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 24+V(2) 41+V(1) (4)B> 2
1 1 1 [*]* 24+V(2) 42+V(1) (4)B>
2 3 -1 [*]* 24+V(2) 42+V(1) <A(3) 2
3 5+V(1) -3+-1*V(1) [*]* 24+V(2) <A(3) 32+V(1) 2
4 6+V(1) -4+-1*V(1) [*]* 23+V(2) <B(4) 33+V(1) 2
5 9+V(1) -5+-1*V(1) [*]* 22+V(2) <B(2) 2 33+V(1) 2
6 11+V(1) -3+-1*V(1) [*]* 21+V(2) 4 (4)B> 2 33+V(1) 2
7 12+V(1) -2+-1*V(1) [*]* 21+V(2) 42 (4)B> 33+V(1) 2
8 15+2*V(1) 1 [*]* 21+V(2) 45+V(1) (4)B> 2
<< Success! ==> defined new CTR 1 (PA)
36 82 6 3 22 46 (4)B>
37 84 4 3 22 46 <A(3) 2
38 90 -2 3 22 <A(3) 36 2
39 91 -3 3 2 <B(4) 37 2
40 94 -4 3 <B(2) 2 37 2
41 96 -2 4 (4)B> 2 37 2
42 97 -1 42 (4)B> 37 2
43 104 6 49 (4)B> 2
44 105 7 410 (4)B>
45 107 5 410 <A(3) 2
46 117 -5 <A(3) 310 2
47 119 -3 1 (4)B> 310 2
48 129 7 1 410 (4)B> 2
49 130 8 1 411 (4)B>
50 132 6 1 411 <A(3) 2
51 143 -5 1 <A(3) 311 2
52 145 -3 3 (2)A> 311 2
53 156 8 3 211 (2)A> 2
54 160 6 3 211 <B(2) 2
55 162 8 3 210 4 (4)B> 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 3 22 41+V(1) (4)B> 21+V(2)
1 1+V(2) 1+V(2) 3 22 42+V(1)+V(2) (4)B>
2 3+V(2) -1+V(2) 3 22 42+V(1)+V(2) <A(3) 2
3 5+V(1)+2*V(2) -3+-1*V(1) 3 22 <A(3) 32+V(1)+V(2) 2
4 6+V(1)+2*V(2) -4+-1*V(1) 3 2 <B(4) 33+V(1)+V(2) 2
5 9+V(1)+2*V(2) -5+-1*V(1) 3 <B(2) 2 33+V(1)+V(2) 2
6 11+V(1)+2*V(2) -3+-1*V(1) 4 (4)B> 2 33+V(1)+V(2) 2
7 12+V(1)+2*V(2) -2+-1*V(1) 42 (4)B> 33+V(1)+V(2) 2
8 15+2*V(1)+3*V(2) 1+V(2) 45+V(1)+V(2) (4)B> 2
9 16+2*V(1)+3*V(2) 2+V(2) 46+V(1)+V(2) (4)B>
10 18+2*V(1)+3*V(2) 0+V(2) 46+V(1)+V(2) <A(3) 2
11 24+3*V(1)+4*V(2) -6+-1*V(1) <A(3) 36+V(1)+V(2) 2
12 26+3*V(1)+4*V(2) -4+-1*V(1) 1 (4)B> 36+V(1)+V(2) 2
13 32+4*V(1)+5*V(2) 2+V(2) 1 46+V(1)+V(2) (4)B> 2
14 33+4*V(1)+5*V(2) 3+V(2) 1 47+V(1)+V(2) (4)B>
15 35+4*V(1)+5*V(2) 1+V(2) 1 47+V(1)+V(2) <A(3) 2
16 42+5*V(1)+6*V(2) -6+-1*V(1) 1 <A(3) 37+V(1)+V(2) 2
17 44+5*V(1)+6*V(2) -4+-1*V(1) 3 (2)A> 37+V(1)+V(2) 2
18 51+6*V(1)+7*V(2) 3+V(2) 3 27+V(1)+V(2) (2)A> 2
19 55+6*V(1)+7*V(2) 1+V(2) 3 27+V(1)+V(2) <B(2) 2
20 57+6*V(1)+7*V(2) 3+V(2) 3 26+V(1)+V(2) 4 (4)B> 2
<< Success! ==> defined new CTR 2 (PPA)
55 162 8 3 210 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=6, repcount=3, factor=4/3
79 231 11 3 2 413 (4)B> 2
80 232 12 3 2 414 (4)B>
81 234 10 3 2 414 <A(3) 2
82 248 -4 3 2 <A(3) 314 2
83 249 -5 3 <B(4) 315 2
84 252 -6 <B(2) 2 315 2
85 253 -7 <A(2) 22 315 2
86 255 -5 1 (4)B> 22 315 2
87 257 -3 1 42 (4)B> 315 2
88 272 12 1 417 (4)B> 2
89 273 13 1 418 (4)B>
90 275 11 1 418 <A(3) 2
91 293 -7 1 <A(3) 318 2
92 295 -5 3 (2)A> 318 2
93 313 13 3 218 (2)A> 2
94 317 11 3 218 <B(2) 2
95 319 13 3 217 4 (4)B> 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 3 2 41+V(1) (4)B> 21+V(2)
1 1+V(2) 1+V(2) 3 2 42+V(1)+V(2) (4)B>
2 3+V(2) -1+V(2) 3 2 42+V(1)+V(2) <A(3) 2
3 5+V(1)+2*V(2) -3+-1*V(1) 3 2 <A(3) 32+V(1)+V(2) 2
4 6+V(1)+2*V(2) -4+-1*V(1) 3 <B(4) 33+V(1)+V(2) 2
5 9+V(1)+2*V(2) -5+-1*V(1) <B(2) 2 33+V(1)+V(2) 2
6 10+V(1)+2*V(2) -6+-1*V(1) <A(2) 22 33+V(1)+V(2) 2
7 12+V(1)+2*V(2) -4+-1*V(1) 1 (4)B> 22 33+V(1)+V(2) 2
8 14+V(1)+2*V(2) -2+-1*V(1) 1 42 (4)B> 33+V(1)+V(2) 2
9 17+2*V(1)+3*V(2) 1+V(2) 1 45+V(1)+V(2) (4)B> 2
10 18+2*V(1)+3*V(2) 2+V(2) 1 46+V(1)+V(2) (4)B>
11 20+2*V(1)+3*V(2) 0+V(2) 1 46+V(1)+V(2) <A(3) 2
12 26+3*V(1)+4*V(2) -6+-1*V(1) 1 <A(3) 36+V(1)+V(2) 2
13 28+3*V(1)+4*V(2) -4+-1*V(1) 3 (2)A> 36+V(1)+V(2) 2
14 34+4*V(1)+5*V(2) 2+V(2) 3 26+V(1)+V(2) (2)A> 2
15 38+4*V(1)+5*V(2) 0+V(2) 3 26+V(1)+V(2) <B(2) 2
16 40+4*V(1)+5*V(2) 2+V(2) 3 25+V(1)+V(2) 4 (4)B> 2
<< Success! ==> defined new CTR 3 (PPA)
95 319 13 3 217 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=13, repcount=5, factor=4/3
135 474 18 3 22 421 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=20, V(2)=0
155 651 21 3 226 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=22, repcount=8, factor=4/3
219 995 29 3 22 433 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=32, V(2)=0
239 1244 32 3 238 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=34, repcount=12, factor=4/3
335 1952 44 3 22 449 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=48, V(2)=0
355 2297 47 3 254 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=50, repcount=17, factor=4/3
491 3640 64 3 23 469 (4)B> 2
492 3641 65 3 23 470 (4)B>
493 3643 63 3 23 470 <A(3) 2
494 3713 -7 3 23 <A(3) 370 2
495 3714 -8 3 22 <B(4) 371 2
496 3717 -9 3 2 <B(2) 2 371 2
497 3719 -7 3 4 (4)B> 2 371 2
498 3720 -6 3 42 (4)B> 371 2
499 3791 65 3 473 (4)B> 2
500 3792 66 3 474 (4)B>
501 3794 64 3 474 <A(3) 2
502 3868 -10 3 <A(3) 374 2
503 3870 -8 2 (2)A> 374 2
504 3944 66 275 (2)A> 2
505 3948 64 275 <B(2) 2
506 3950 66 274 4 (4)B> 2
507 3951 67 274 42 (4)B>
508 3953 65 274 42 <A(3) 2
509 3955 63 274 <A(3) 32 2
510 3956 62 273 <B(4) 33 2
511 3959 61 272 <B(2) 2 33 2
512 3961 63 271 4 (4)B> 2 33 2
513 3962 64 271 42 (4)B> 33 2
514 3965 67 271 45 (4)B> 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 24+V(2) 41+V(1) (4)B> 2
1 1 1 24+V(2) 42+V(1) (4)B>
2 3 -1 24+V(2) 42+V(1) <A(3) 2
3 5+V(1) -3+-1*V(1) 24+V(2) <A(3) 32+V(1) 2
4 6+V(1) -4+-1*V(1) 23+V(2) <B(4) 33+V(1) 2
5 9+V(1) -5+-1*V(1) 22+V(2) <B(2) 2 33+V(1) 2
6 11+V(1) -3+-1*V(1) 21+V(2) 4 (4)B> 2 33+V(1) 2
7 12+V(1) -2+-1*V(1) 21+V(2) 42 (4)B> 33+V(1) 2
8 15+2*V(1) 1 21+V(2) 45+V(1) (4)B> 2
<< Success! ==> defined new CTR 4 (PA)
514 3965 67 271 45 (4)B> 2
== Executing PA-CTR 4, V(1)=4, V(2)=67, repcount=23, factor=4/3
698 6518 90 22 497 (4)B> 2
699 6519 91 22 498 (4)B>
700 6521 89 22 498 <A(3) 2
701 6619 -9 22 <A(3) 398 2
702 6620 -10 2 <B(4) 399 2
703 6623 -11 <B(2) 2 399 2
704 6624 -12 <A(2) 22 399 2
705 6626 -10 1 (4)B> 22 399 2
706 6628 -8 1 42 (4)B> 399 2
707 6727 91 1 4101 (4)B> 2
708 6728 92 1 4102 (4)B>
709 6730 90 1 4102 <A(3) 2
710 6832 -12 1 <A(3) 3102 2
711 6834 -10 3 (2)A> 3102 2
712 6936 92 3 2102 (2)A> 2
713 6940 90 3 2102 <B(2) 2
714 6942 92 3 2101 4 (4)B> 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 22 41+V(1) (4)B> 21+V(2)
1 1+V(2) 1+V(2) 22 42+V(1)+V(2) (4)B>
2 3+V(2) -1+V(2) 22 42+V(1)+V(2) <A(3) 2
3 5+V(1)+2*V(2) -3+-1*V(1) 22 <A(3) 32+V(1)+V(2) 2
4 6+V(1)+2*V(2) -4+-1*V(1) 2 <B(4) 33+V(1)+V(2) 2
5 9+V(1)+2*V(2) -5+-1*V(1) <B(2) 2 33+V(1)+V(2) 2
6 10+V(1)+2*V(2) -6+-1*V(1) <A(2) 22 33+V(1)+V(2) 2
7 12+V(1)+2*V(2) -4+-1*V(1) 1 (4)B> 22 33+V(1)+V(2) 2
8 14+V(1)+2*V(2) -2+-1*V(1) 1 42 (4)B> 33+V(1)+V(2) 2
9 17+2*V(1)+3*V(2) 1+V(2) 1 45+V(1)+V(2) (4)B> 2
10 18+2*V(1)+3*V(2) 2+V(2) 1 46+V(1)+V(2) (4)B>
11 20+2*V(1)+3*V(2) 0+V(2) 1 46+V(1)+V(2) <A(3) 2
12 26+3*V(1)+4*V(2) -6+-1*V(1) 1 <A(3) 36+V(1)+V(2) 2
13 28+3*V(1)+4*V(2) -4+-1*V(1) 3 (2)A> 36+V(1)+V(2) 2
14 34+4*V(1)+5*V(2) 2+V(2) 3 26+V(1)+V(2) (2)A> 2
15 38+4*V(1)+5*V(2) 0+V(2) 3 26+V(1)+V(2) <B(2) 2
16 40+4*V(1)+5*V(2) 2+V(2) 3 25+V(1)+V(2) 4 (4)B> 2
<< Success! ==> defined new CTR 5 (PPA)
714 6942 92 3 2101 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=97, repcount=33, factor=4/3
978 11661 125 3 22 4133 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=132, V(2)=0
998 12510 128 3 2138 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=134, repcount=45, factor=4/3
1358 21105 173 3 23 4181 (4)B> 2
1359 21106 174 3 23 4182 (4)B>
1360 21108 172 3 23 4182 <A(3) 2
1361 21290 -10 3 23 <A(3) 3182 2
1362 21291 -11 3 22 <B(4) 3183 2
1363 21294 -12 3 2 <B(2) 2 3183 2
1364 21296 -10 3 4 (4)B> 2 3183 2
1365 21297 -9 3 42 (4)B> 3183 2
1366 21480 174 3 4185 (4)B> 2
1367 21481 175 3 4186 (4)B>
1368 21483 173 3 4186 <A(3) 2
1369 21669 -13 3 <A(3) 3186 2
1370 21671 -11 2 (2)A> 3186 2
1371 21857 175 2187 (2)A> 2
1372 21861 173 2187 <B(2) 2
1373 21863 175 2186 4 (4)B> 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 3 23 41+V(1) (4)B> 21+V(2)
1 1+V(2) 1+V(2) 3 23 42+V(1)+V(2) (4)B>
2 3+V(2) -1+V(2) 3 23 42+V(1)+V(2) <A(3) 2
3 5+V(1)+2*V(2) -3+-1*V(1) 3 23 <A(3) 32+V(1)+V(2) 2
4 6+V(1)+2*V(2) -4+-1*V(1) 3 22 <B(4) 33+V(1)+V(2) 2
5 9+V(1)+2*V(2) -5+-1*V(1) 3 2 <B(2) 2 33+V(1)+V(2) 2
6 11+V(1)+2*V(2) -3+-1*V(1) 3 4 (4)B> 2 33+V(1)+V(2) 2
7 12+V(1)+2*V(2) -2+-1*V(1) 3 42 (4)B> 33+V(1)+V(2) 2
8 15+2*V(1)+3*V(2) 1+V(2) 3 45+V(1)+V(2) (4)B> 2
9 16+2*V(1)+3*V(2) 2+V(2) 3 46+V(1)+V(2) (4)B>
10 18+2*V(1)+3*V(2) 0+V(2) 3 46+V(1)+V(2) <A(3) 2
11 24+3*V(1)+4*V(2) -6+-1*V(1) 3 <A(3) 36+V(1)+V(2) 2
12 26+3*V(1)+4*V(2) -4+-1*V(1) 2 (2)A> 36+V(1)+V(2) 2
13 32+4*V(1)+5*V(2) 2+V(2) 27+V(1)+V(2) (2)A> 2
14 36+4*V(1)+5*V(2) 0+V(2) 27+V(1)+V(2) <B(2) 2
15 38+4*V(1)+5*V(2) 2+V(2) 26+V(1)+V(2) 4 (4)B> 2
<< Success! ==> defined new CTR 6 (PPA)
1373 21863 175 2186 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=182, repcount=61, factor=4/3
1861 37418 236 23 4245 (4)B> 2
1862 37419 237 23 4246 (4)B>
1863 37421 235 23 4246 <A(3) 2
1864 37667 -11 23 <A(3) 3246 2
1865 37668 -12 22 <B(4) 3247 2
1866 37671 -13 2 <B(2) 2 3247 2
1867 37673 -11 4 (4)B> 2 3247 2
1868 37674 -10 42 (4)B> 3247 2
1869 37921 237 4249 (4)B> 2
1870 37922 238 4250 (4)B>
1871 37924 236 4250 <A(3) 2
1872 38174 -14 <A(3) 3250 2
1873 38176 -12 1 (4)B> 3250 2
1874 38426 238 1 4250 (4)B> 2
1875 38427 239 1 4251 (4)B>
1876 38429 237 1 4251 <A(3) 2
1877 38680 -14 1 <A(3) 3251 2
1878 38682 -12 3 (2)A> 3251 2
1879 38933 239 3 2251 (2)A> 2
1880 38937 237 3 2251 <B(2) 2
1881 38939 239 3 2250 4 (4)B> 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 23 41+V(1) (4)B> 21+V(2)
1 1+V(2) 1+V(2) 23 42+V(1)+V(2) (4)B>
2 3+V(2) -1+V(2) 23 42+V(1)+V(2) <A(3) 2
3 5+V(1)+2*V(2) -3+-1*V(1) 23 <A(3) 32+V(1)+V(2) 2
4 6+V(1)+2*V(2) -4+-1*V(1) 22 <B(4) 33+V(1)+V(2) 2
5 9+V(1)+2*V(2) -5+-1*V(1) 2 <B(2) 2 33+V(1)+V(2) 2
6 11+V(1)+2*V(2) -3+-1*V(1) 4 (4)B> 2 33+V(1)+V(2) 2
7 12+V(1)+2*V(2) -2+-1*V(1) 42 (4)B> 33+V(1)+V(2) 2
8 15+2*V(1)+3*V(2) 1+V(2) 45+V(1)+V(2) (4)B> 2
9 16+2*V(1)+3*V(2) 2+V(2) 46+V(1)+V(2) (4)B>
10 18+2*V(1)+3*V(2) 0+V(2) 46+V(1)+V(2) <A(3) 2
11 24+3*V(1)+4*V(2) -6+-1*V(1) <A(3) 36+V(1)+V(2) 2
12 26+3*V(1)+4*V(2) -4+-1*V(1) 1 (4)B> 36+V(1)+V(2) 2
13 32+4*V(1)+5*V(2) 2+V(2) 1 46+V(1)+V(2) (4)B> 2
14 33+4*V(1)+5*V(2) 3+V(2) 1 47+V(1)+V(2) (4)B>
15 35+4*V(1)+5*V(2) 1+V(2) 1 47+V(1)+V(2) <A(3) 2
16 42+5*V(1)+6*V(2) -6+-1*V(1) 1 <A(3) 37+V(1)+V(2) 2
17 44+5*V(1)+6*V(2) -4+-1*V(1) 3 (2)A> 37+V(1)+V(2) 2
18 51+6*V(1)+7*V(2) 3+V(2) 3 27+V(1)+V(2) (2)A> 2
19 55+6*V(1)+7*V(2) 1+V(2) 3 27+V(1)+V(2) <B(2) 2
20 57+6*V(1)+7*V(2) 3+V(2) 3 26+V(1)+V(2) 4 (4)B> 2
<< Success! ==> defined new CTR 7 (PPA)
1881 38939 239 3 2250 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=246, repcount=83, factor=4/3
2545 67408 322 3 2 4333 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=332, V(2)=0
2561 68776 324 3 2337 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=333, repcount=112, factor=4/3
3457 120184 436 3 2 4449 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=448, V(2)=0
3473 122016 438 3 2453 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=449, repcount=150, factor=4/3
4673 213666 588 3 23 4601 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=600, V(2)=0
4688 216104 590 2606 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=602, repcount=201, factor=4/3
6296 379919 791 23 4805 (4)B> 2
== Executing PPA-CTR 7 (once), V(1)=804, V(2)=0
6316 384800 794 3 2810 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=806, repcount=269, factor=4/3
8468 677203 1063 3 23 41077 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=1076, V(2)=0
8483 681545 1065 21082 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=1078, repcount=360, factor=4/3
11363 1203905 1425 22 41441 (4)B> 2
== Executing PPA-CTR 5 (once), V(1)=1440, V(2)=0
11379 1209705 1427 3 21445 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=1441, repcount=481, factor=4/3
15227 2140440 1908 3 22 41925 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=1924, V(2)=0
15247 2152041 1911 3 21930 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=1926, repcount=643, factor=4/3
20391 3812910 2554 3 2 42573 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=2572, V(2)=0
20407 3823238 2556 3 22577 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=2573, repcount=858, factor=4/3
27271 6777332 3414 3 23 43433 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=3432, V(2)=0
27286 6791098 3416 23438 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=3434, repcount=1145, factor=4/3
36446 12047793 4561 23 44581 (4)B> 2
== Executing PPA-CTR 7 (once), V(1)=4580, V(2)=0
36466 12075330 4564 3 24586 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=4582, repcount=1528, factor=4/3
48690 21431274 6092 3 22 46113 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=6112, V(2)=0
48710 21468003 6095 3 26118 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=6114, repcount=2039, factor=4/3
65022 38120516 8134 3 2 48157 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=8156, V(2)=0
65038 38153180 8136 3 28161 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=8157, repcount=2720, factor=4/3
86798 67776700 10856 3 2 410881 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=10880, V(2)=0
86814 67820260 10858 3 210885 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=10881, repcount=3628, factor=4/3
115838 120509704 14486 3 2 414513 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=14512, V(2)=0
115854 120567792 14488 3 214517 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=14513, repcount=4838, factor=4/3
154558 214245986 19326 3 23 419353 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=19352, V(2)=0
154573 214323432 19328 219358 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=19354, repcount=6452, factor=4/3
206189 380907620 25780 22 425809 (4)B> 2
== Executing PPA-CTR 5 (once), V(1)=25808, V(2)=0
206205 381010892 25782 3 225813 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=25809, repcount=8604, factor=4/3
275037 677220800 34386 3 2 434417 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=34416, V(2)=0
275053 677358504 34388 3 234421 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=34417, repcount=11473, factor=4/3
366837 1204003623 45861 3 22 445893 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=45892, V(2)=0
366857 1204279032 45864 3 245898 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=45894, repcount=15299, factor=4/3
489249 2140684925 61163 3 2 461197 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=61196, V(2)=0
489265 2140929749 61165 3 261201 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=61197, repcount=20400, factor=4/3
652465 3805794149 81565 3 2 481601 (4)B> 2
== Executing PPA-CTR 3 (once), V(1)=81600, V(2)=0
652481 3806120589 81567 3 281605 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=81601, repcount=27201, factor=4/3
870089 6765997404 108768 3 22 4108805 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=108804, V(2)=0
870109 6766650285 108771 3 2108810 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=108806, repcount=36269, factor=4/3
1160261 12028810688 145040 3 23 4145077 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=145076, V(2)=0
1160276 12029391030 145042 2145082 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=145078, repcount=48360, factor=4/3
1547156 21384681390 193402 22 4193441 (4)B> 2
== Executing PPA-CTR 5 (once), V(1)=193440, V(2)=0
1547172 21385455190 193404 3 2193445 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=193441, repcount=64481, factor=4/3
2063020 38017361925 257885 3 22 4257925 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=257924, V(2)=0
2063040 38018909526 257888 3 2257930 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=257926, repcount=85976, factor=4/3
2750848 67587345566 343864 3 22 4343905 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=343904, V(2)=0
2750868 67589409047 343867 3 2343910 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=343906, repcount=114636, factor=4/3
3667956 120156320027 458503 3 22 4458545 (4)B> 2
== Executing PPA-CTR 2 (once), V(1)=458544, V(2)=0
3667976 120159071348 458506 3 2458550 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=458546, repcount=152849, factor=4/3
4890768 213612019891 611355 3 23 4611397 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=611396, V(2)=0
4890783 213614465513 611357 2611402 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=611398, repcount=203800, factor=4/3
6521183 379754467313 815157 22 4815201 (4)B> 2
== Executing PPA-CTR 5 (once), V(1)=815200, V(2)=0
6521199 379757728153 815159 3 2815205 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=815201, repcount=271734, factor=4/3
8695071 675118184251 1086893 3 23 41086937 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=1086936, V(2)=0
8695086 675122532033 1086895 21086942 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=1086938, repcount=362313, factor=4/3
11593590 1200209357352 1449208 23 41449253 (4)B> 2
== Executing PPA-CTR 7 (once), V(1)=1449252, V(2)=0
11593610 1200218052921 1449211 3 21449258 4 (4)B> 2
== Executing PA-CTR 1, V(1)=0, V(2)=1449254, repcount=483085, factor=4/3
15458290 2133707835756 1932296 3 23 41932341 (4)B> 2
== Executing PPA-CTR 6 (once), V(1)=1932340, V(2)=0
15458305 2133715565154 1932298 21932346 4 (4)B> 2
== Executing PA-CTR 4, V(1)=0, V(2)=1932342, repcount=644115, factor=4/3
20611225 3793259183319 2576413 2 42576461 (4)B> 2
20611226 3793259183320 2576414 2 42576462 (4)B>
20611227 3793259183322 2576412 2 42576462 <A(3) 2
20611228 3793261759784 -50 2 <A(3) 32576462 2
20611229 3793261759785 -51 <B(4) 32576463 2
20611230 3793261759786 -52 <A(2) 4 32576463 2
20611231 3793261759788 -50 1 (4)B> 4 32576463 2
20611232 3793261759790 -52 1 <B(2) 2 32576463 2
20611233 3793261759791 -53 <Z(2) 22 32576463 2
20611233 3793261759791 -53 <Z(2) 22 32576463 2 [stop]
Lines: 231
Top steps: 229
Macro steps: 20611233
Basic steps: 3793261759791
Tape index: -53
nonzeros: 2576467
log10(nonzeros): 6.411
log10(steps ): 12.579
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol TM #h (G. Lafitte & C. Papazian)
5T B1R A3R B4L A2R A3L A2L Z2L B4R B4R B2L
: 2,576,467 3,793,261,759,791
C Same result with B4->B3L
L 10
M 250
pref sim
machv Laf25_h just simple
machv Laf25_h-r with repetitions reduced
machv Laf25_h-1 with tape symbol exponents
machv Laf25_h-m as bck-macro machine
machv Laf25_h-a as bck-macro machine with pure additive config-TRs
iam Laf25_h-a
mtype 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:05 CEST 2010
edate Tue Jul 6 22:12:06 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:05 CEST 2010