Comment: This TM produces 172,312,766,455 nonzeros in 7,069,449,877,176,007,352,687 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 | 1RB | 0RB | 4RA | 2LB | 2LA | 1 | right | B | 0 | right | B | 4 | right | A | 2 | left | B | 2 | left | A |
| B | 2LA | 1LB | 3RB | 4RA | 1RH | 2 | left | A | 1 | left | B | 3 | right | B | 4 | right | A | 1 | right | H |
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> 2
4 4 2 3 B>
5 5 1 3 <A 2
6 6 0 <B 22
7 7 -1 <A 23
8 8 0 1 B> 23
9 11 3 1 33 B>
10 12 2 1 33 <A 2
11 13 1 1 32 <B 22
12 14 2 1 3 4 A> 22
13 16 4 1 3 43 A>
14 17 5 1 3 43 1 B>
15 18 4 1 3 43 1 <A 2
16 19 5 1 3 43 0 B> 2
17 20 6 1 3 43 0 3 B>
18 21 5 1 3 43 0 3 <A 2
19 22 4 1 3 43 0 <B 22
20 23 3 1 3 43 <A 23
21 26 0 1 3 <A 26
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 33+V(1) <A 21+V(2)
1 1 -1 [*]* 32+V(1) <B 22+V(2)
2 2 0 [*]* 31+V(1) 4 A> 22+V(2)
3 4+V(2) 2+V(2) [*]* 31+V(1) 43+V(2) A>
4 5+V(2) 3+V(2) [*]* 31+V(1) 43+V(2) 1 B>
5 6+V(2) 2+V(2) [*]* 31+V(1) 43+V(2) 1 <A 2
6 7+V(2) 3+V(2) [*]* 31+V(1) 43+V(2) 0 B> 2
7 8+V(2) 4+V(2) [*]* 31+V(1) 43+V(2) 0 3 B>
8 9+V(2) 3+V(2) [*]* 31+V(1) 43+V(2) 0 3 <A 2
9 10+V(2) 2+V(2) [*]* 31+V(1) 43+V(2) 0 <B 22
10 11+V(2) 1+V(2) [*]* 31+V(1) 43+V(2) <A 23
11 14+2*V(2) -2 [*]* 31+V(1) <A 26+V(2)
<< Success! ==> defined new CTR 1 (PA)
22 27 -1 1 <B 27
23 28 -2 <B 1 27
24 29 -3 <A 2 1 27
25 30 -2 1 B> 2 1 27
26 31 -1 1 3 B> 1 27
27 32 -2 1 3 <B 1 27
28 33 -1 1 4 A> 1 27
29 34 0 1 4 0 B> 27
30 41 7 1 4 0 37 B>
31 42 6 1 4 0 37 <A 2
32 43 5 1 4 0 36 <B 22
33 44 6 1 4 0 35 4 A> 22
34 46 8 1 4 0 35 43 A>
35 47 9 1 4 0 35 43 1 B>
36 48 8 1 4 0 35 43 1 <A 2
37 49 9 1 4 0 35 43 0 B> 2
38 50 10 1 4 0 35 43 0 3 B>
39 51 9 1 4 0 35 43 0 3 <A 2
40 52 8 1 4 0 35 43 0 <B 22
41 53 7 1 4 0 35 43 <A 23
42 56 4 1 4 0 35 <A 26
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* [*]* [*]* 33+V(1) <A 21+V(2)
1 1 -1 [*]* [*]* [*]* 32+V(1) <B 22+V(2)
2 2 0 [*]* [*]* [*]* 31+V(1) 4 A> 22+V(2)
3 4+V(2) 2+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) A>
4 5+V(2) 3+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) 1 B>
5 6+V(2) 2+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) 1 <A 2
6 7+V(2) 3+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) 0 B> 2
7 8+V(2) 4+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) 0 3 B>
8 9+V(2) 3+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) 0 3 <A 2
9 10+V(2) 2+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) 0 <B 22
10 11+V(2) 1+V(2) [*]* [*]* [*]* 31+V(1) 43+V(2) <A 23
11 14+2*V(2) -2 [*]* [*]* [*]* 31+V(1) <A 26+V(2)
<< Success! ==> defined new CTR 2 (PA)
42 56 4 1 4 0 35 <A 26
== Executing PA-CTR 2, V(1)=2, V(2)=5, repcount=2, factor=5/2
64 114 0 1 4 0 3 <A 216
65 115 -1 1 4 0 <B 217
66 116 -2 1 4 <A 218
67 117 -3 1 <A 219
68 118 -2 B> 219
69 137 17 319 B>
70 138 16 319 <A 2
71 139 15 318 <B 22
72 140 16 317 4 A> 22
73 142 18 317 43 A>
74 143 19 317 43 1 B>
75 144 18 317 43 1 <A 2
76 145 19 317 43 0 B> 2
77 146 20 317 43 0 3 B>
78 147 19 317 43 0 3 <A 2
79 148 18 317 43 0 <B 22
80 149 17 317 43 <A 23
81 152 14 317 <A 26
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 33+V(1) <A 21+V(2)
1 1 -1 32+V(1) <B 22+V(2)
2 2 0 31+V(1) 4 A> 22+V(2)
3 4+V(2) 2+V(2) 31+V(1) 43+V(2) A>
4 5+V(2) 3+V(2) 31+V(1) 43+V(2) 1 B>
5 6+V(2) 2+V(2) 31+V(1) 43+V(2) 1 <A 2
6 7+V(2) 3+V(2) 31+V(1) 43+V(2) 0 B> 2
7 8+V(2) 4+V(2) 31+V(1) 43+V(2) 0 3 B>
8 9+V(2) 3+V(2) 31+V(1) 43+V(2) 0 3 <A 2
9 10+V(2) 2+V(2) 31+V(1) 43+V(2) 0 <B 22
10 11+V(2) 1+V(2) 31+V(1) 43+V(2) <A 23
11 14+2*V(2) -2 31+V(1) <A 26+V(2)
<< Success! ==> defined new CTR 3 (PA)
81 152 14 317 <A 26
== Executing PA-CTR 3, V(1)=14, V(2)=5, repcount=8, factor=5/2
169 624 -2 3 <A 246
170 625 -3 <B 247
171 626 -4 <A 248
172 627 -3 1 B> 248
173 675 45 1 348 B>
174 676 44 1 348 <A 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 3 <A 21+V(1)
1 1 -1 <B 22+V(1)
2 2 -2 <A 23+V(1)
3 3 -1 1 B> 23+V(1)
4 6+V(1) 2+V(1) 1 33+V(1) B>
5 7+V(1) 1+V(1) 1 33+V(1) <A 2
<< Success! ==> defined new CTR 4 (PPA)
174 676 44 1 348 <A 2
== Executing PA-CTR 1, V(1)=45, V(2)=0, repcount=23, factor=5/2
427 3528 -2 1 32 <A 2116
428 3529 -3 1 3 <B 2117
429 3530 -2 1 4 A> 2117
430 3647 115 1 4118 A>
431 3648 116 1 4118 1 B>
432 3649 115 1 4118 1 <A 2
433 3650 116 1 4118 0 B> 2
434 3651 117 1 4118 0 3 B>
435 3652 116 1 4118 0 3 <A 2
436 3653 115 1 4118 0 <B 22
437 3654 114 1 4118 <A 23
438 3772 -4 1 <A 2121
439 3773 -3 B> 2121
440 3894 118 3121 B>
441 3895 117 3121 <A 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 32 <A 21+V(1)
1 1 -1 1 3 <B 22+V(1)
2 2 0 1 4 A> 22+V(1)
3 4+V(1) 2+V(1) 1 43+V(1) A>
4 5+V(1) 3+V(1) 1 43+V(1) 1 B>
5 6+V(1) 2+V(1) 1 43+V(1) 1 <A 2
6 7+V(1) 3+V(1) 1 43+V(1) 0 B> 2
7 8+V(1) 4+V(1) 1 43+V(1) 0 3 B>
8 9+V(1) 3+V(1) 1 43+V(1) 0 3 <A 2
9 10+V(1) 2+V(1) 1 43+V(1) 0 <B 22
10 11+V(1) 1+V(1) 1 43+V(1) <A 23
11 14+2*V(1) -2 1 <A 26+V(1)
12 15+2*V(1) -1 B> 26+V(1)
13 21+3*V(1) 5+V(1) 36+V(1) B>
14 22+3*V(1) 4+V(1) 36+V(1) <A 2
<< Success! ==> defined new CTR 5 (PPA)
441 3895 117 3121 <A 2
== Executing PA-CTR 3, V(1)=118, V(2)=0, repcount=60, factor=5/2
1101 22435 -3 3 <A 2301
== Executing PPA-CTR 4 (once), V(1)=300
1106 22742 298 1 3303 <A 2
== Executing PA-CTR 1, V(1)=300, V(2)=0, repcount=151, factor=5/2
2767 138106 -4 1 3 <A 2756
2768 138107 -5 1 <B 2757
2769 138108 -6 <B 1 2757
2770 138109 -7 <A 2 1 2757
2771 138110 -6 1 B> 2 1 2757
2772 138111 -5 1 3 B> 1 2757
2773 138112 -6 1 3 <B 1 2757
2774 138113 -5 1 4 A> 1 2757
2775 138114 -4 1 4 0 B> 2757
2776 138871 753 1 4 0 3757 B>
2777 138872 752 1 4 0 3757 <A 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1 3 <A 22+V(1)
1 1 -1 1 <B 23+V(1)
2 2 -2 <B 1 23+V(1)
3 3 -3 <A 2 1 23+V(1)
4 4 -2 1 B> 2 1 23+V(1)
5 5 -1 1 3 B> 1 23+V(1)
6 6 -2 1 3 <B 1 23+V(1)
7 7 -1 1 4 A> 1 23+V(1)
8 8 0 1 4 0 B> 23+V(1)
9 11+V(1) 3+V(1) 1 4 0 33+V(1) B>
10 12+V(1) 2+V(1) 1 4 0 33+V(1) <A 2
<< Success! ==> defined new CTR 6 (PPA)
2777 138872 752 1 4 0 3757 <A 2
== Executing PA-CTR 2, V(1)=754, V(2)=0, repcount=378, factor=5/2
6935 856694 -4 1 4 0 3 <A 21891
6936 856695 -5 1 4 0 <B 21892
6937 856696 -6 1 4 <A 21893
6938 856697 -7 1 <A 21894
6939 856698 -6 B> 21894
6940 858592 1888 31894 B>
6941 858593 1887 31894 <A 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1 41+V(1) 0 3 <A 21+V(2)
1 1 -1 1 41+V(1) 0 <B 22+V(2)
2 2 -2 1 41+V(1) <A 23+V(2)
3 3+V(1) -3+-1*V(1) 1 <A 24+V(1)+V(2)
4 4+V(1) -2+-1*V(1) B> 24+V(1)+V(2)
5 8+2*V(1)+V(2) 2+V(2) 34+V(1)+V(2) B>
6 9+2*V(1)+V(2) 1+V(2) 34+V(1)+V(2) <A 2
<< Success! ==> defined new CTR 7 (PPA)
6941 858593 1887 31894 <A 2
== Executing PA-CTR 3, V(1)=1891, V(2)=0, repcount=946, factor=5/2
17347 5341687 -5 32 <A 24731
17348 5341688 -6 3 <B 24732
17349 5341689 -5 4 A> 24732
17350 5346421 4727 44733 A>
17351 5346422 4728 44733 1 B>
17352 5346423 4727 44733 1 <A 2
17353 5346424 4728 44733 0 B> 2
17354 5346425 4729 44733 0 3 B>
17355 5346426 4728 44733 0 3 <A 2
17356 5346427 4727 44733 0 <B 22
17357 5346428 4726 44733 <A 23
17358 5351161 -7 <A 24736
17359 5351162 -6 1 B> 24736
17360 5355898 4730 1 34736 B>
17361 5355899 4729 1 34736 <A 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 32 <A 21+V(1)
1 1 -1 3 <B 22+V(1)
2 2 0 4 A> 22+V(1)
3 4+V(1) 2+V(1) 43+V(1) A>
4 5+V(1) 3+V(1) 43+V(1) 1 B>
5 6+V(1) 2+V(1) 43+V(1) 1 <A 2
6 7+V(1) 3+V(1) 43+V(1) 0 B> 2
7 8+V(1) 4+V(1) 43+V(1) 0 3 B>
8 9+V(1) 3+V(1) 43+V(1) 0 3 <A 2
9 10+V(1) 2+V(1) 43+V(1) 0 <B 22
10 11+V(1) 1+V(1) 43+V(1) <A 23
11 14+2*V(1) -2 <A 26+V(1)
12 15+2*V(1) -1 1 B> 26+V(1)
13 21+3*V(1) 5+V(1) 1 36+V(1) B>
14 22+3*V(1) 4+V(1) 1 36+V(1) <A 2
<< Success! ==> defined new CTR 8 (PPA)
17361 5355899 4729 1 34736 <A 2
== Executing PA-CTR 1, V(1)=4733, V(2)=0, repcount=2367, factor=5/2
43398 33390647 -5 1 32 <A 211836
== Executing PPA-CTR 5 (once), V(1)=11835
43412 33426174 11834 311841 <A 2
== Executing PA-CTR 3, V(1)=11838, V(2)=0, repcount=5920, factor=5/2
108532 208711454 -6 3 <A 229601
== Executing PPA-CTR 4 (once), V(1)=29600
108537 208741061 29595 1 329603 <A 2
== Executing PA-CTR 1, V(1)=29600, V(2)=0, repcount=14801, factor=5/2
271348 1304222275 -7 1 3 <A 274006
== Executing PPA-CTR 6 (once), V(1)=74004
271358 1304296291 73999 1 4 0 374007 <A 2
== Executing PA-CTR 2, V(1)=74004, V(2)=0, repcount=37003, factor=5/2
678391 8150739363 -7 1 4 0 3 <A 2185016
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=185015
678397 8150924387 185009 3185019 <A 2
== Executing PA-CTR 3, V(1)=185016, V(2)=0, repcount=92509, factor=5/2
1695996 50941332373 -9 3 <A 2462546
== Executing PPA-CTR 4 (once), V(1)=462545
1696001 50941794925 462537 1 3462548 <A 2
== Executing PA-CTR 1, V(1)=462545, V(2)=0, repcount=231273, factor=5/2
4240004 318379879027 -9 1 32 <A 21156366
== Executing PPA-CTR 5 (once), V(1)=1156365
4240018 318383348144 1156360 31156371 <A 2
== Executing PA-CTR 3, V(1)=1156368, V(2)=0, repcount=578185, factor=5/2
10600053 1989878022934 -10 3 <A 22890926
== Executing PPA-CTR 4 (once), V(1)=2890925
10600058 1989880913866 2890916 1 32890928 <A 2
== Executing PA-CTR 1, V(1)=2890925, V(2)=0, repcount=1445463, factor=5/2
26500151 12436710344878 -10 1 32 <A 27227316
== Executing PPA-CTR 5 (once), V(1)=7227315
26500165 12436732026845 7227309 37227321 <A 2
== Executing PA-CTR 3, V(1)=7227318, V(2)=0, repcount=3613660, factor=5/2
66250425 77729457527785 -11 3 <A 218068301
== Executing PPA-CTR 4 (once), V(1)=18068300
66250430 77729475596092 18068290 1 318068303 <A 2
== Executing PA-CTR 1, V(1)=18068300, V(2)=0, repcount=9034151, factor=5/2
165626091 485808978357456 -12 1 3 <A 245170756
== Executing PPA-CTR 6 (once), V(1)=45170754
165626101 485809023528222 45170744 1 4 0 345170757 <A 2
== Executing PA-CTR 2, V(1)=45170754, V(2)=0, repcount=22585378, factor=5/2
414065259 3036305723811044 -12 1 4 0 3 <A 2112926891
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=112926890
414065265 3036305836737943 112926879 3112926894 <A 2
== Executing PA-CTR 3, V(1)=112926891, V(2)=0, repcount=56463446, factor=5/2
1035163171 18976910015883537 -13 32 <A 2282317231
== Executing PPA-CTR 8 (once), V(1)=282317230
1035163185 18976910862835249 282317221 1 3282317236 <A 2
== Executing PA-CTR 1, V(1)=282317233, V(2)=0, repcount=141158617, factor=5/2
2587907972 118605687900026247 -13 1 32 <A 2705793086
== Executing PPA-CTR 5 (once), V(1)=705793085
2587907986 118605690017405524 705793076 3705793091 <A 2
== Executing PA-CTR 3, V(1)=705793088, V(2)=0, repcount=352896545, factor=5/2
6469769981 741285550558159554 -14 3 <A 21764482726
== Executing PPA-CTR 4 (once), V(1)=1764482725
6469769986 741285552322642286 1764482712 1 31764482728 <A 2
== Executing PA-CTR 1, V(1)=1764482725, V(2)=0, repcount=882241363, factor=5/2
16174424979 4633034673203303398 -14 1 32 <A 24411206816
== Executing PPA-CTR 5 (once), V(1)=4411206815
16174424993 4633034686436923865 4411206805 34411206821 <A 2
== Executing PA-CTR 3, V(1)=4411206818, V(2)=0, repcount=2205603410, factor=5/2
40436062503 28956466717305495055 -15 3 <A 211028017051
== Executing PPA-CTR 4 (once), V(1)=11028017050
40436062508 28956466728333512112 11028017036 1 311028017053 <A 2
== Executing PA-CTR 1, V(1)=11028017050, V(2)=0, repcount=5514008526, factor=5/2
101090156294 180977916901963052226 -16 1 3 <A 227570042631
== Executing PPA-CTR 6 (once), V(1)=27570042629
101090156304 180977916929533094867 27570042615 1 4 0 327570042632 <A 2
== Executing PA-CTR 2, V(1)=27570042629, V(2)=0, repcount=13785021315, factor=5/2
252725390769 1131111980328619932827 -15 1 4 0 32 <A 268925106576
252725390770 1131111980328619932828 -16 1 4 0 3 <B 268925106577
252725390771 1131111980328619932829 -15 1 4 0 4 A> 268925106577
252725390772 1131111980397545039406 68925106562 1 4 0 468925106578 A>
252725390773 1131111980397545039407 68925106563 1 4 0 468925106578 1 B>
252725390774 1131111980397545039408 68925106562 1 4 0 468925106578 1 <A 2
252725390775 1131111980397545039409 68925106563 1 4 0 468925106578 0 B> 2
252725390776 1131111980397545039410 68925106564 1 4 0 468925106578 0 3 B>
252725390777 1131111980397545039411 68925106563 1 4 0 468925106578 0 3 <A 2
252725390778 1131111980397545039412 68925106562 1 4 0 468925106578 0 <B 22
252725390779 1131111980397545039413 68925106561 1 4 0 468925106578 <A 23
252725390780 1131111980466470145991 -17 1 4 0 <A 268925106581
252725390781 1131111980466470145992 -16 1 4 1 B> 268925106581
252725390782 1131111980535395252573 68925106565 1 4 1 368925106581 B>
252725390783 1131111980535395252574 68925106564 1 4 1 368925106581 <A 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 [*]* [*]* 0 32 <A 21+V(1)
1 1 -1 [*]* [*]* 0 3 <B 22+V(1)
2 2 0 [*]* [*]* 0 4 A> 22+V(1)
3 4+V(1) 2+V(1) [*]* [*]* 0 43+V(1) A>
4 5+V(1) 3+V(1) [*]* [*]* 0 43+V(1) 1 B>
5 6+V(1) 2+V(1) [*]* [*]* 0 43+V(1) 1 <A 2
6 7+V(1) 3+V(1) [*]* [*]* 0 43+V(1) 0 B> 2
7 8+V(1) 4+V(1) [*]* [*]* 0 43+V(1) 0 3 B>
8 9+V(1) 3+V(1) [*]* [*]* 0 43+V(1) 0 3 <A 2
9 10+V(1) 2+V(1) [*]* [*]* 0 43+V(1) 0 <B 22
10 11+V(1) 1+V(1) [*]* [*]* 0 43+V(1) <A 23
11 14+2*V(1) -2 [*]* [*]* 0 <A 26+V(1)
12 15+2*V(1) -1 [*]* [*]* 1 B> 26+V(1)
13 21+3*V(1) 5+V(1) [*]* [*]* 1 36+V(1) B>
14 22+3*V(1) 4+V(1) [*]* [*]* 1 36+V(1) <A 2
<< Success! ==> defined new CTR 9 (PPA)
252725390783 1131111980535395252574 68925106564 1 4 1 368925106581 <A 2
== Executing PA-CTR 2, V(1)=68925106578, V(2)=0, repcount=34462553290, factor=5/2
631813476973 7069449877176007352684 -16 1 4 1 3 <A 2172312766451
631813476974 7069449877176007352685 -17 1 4 1 <B 2172312766452
631813476975 7069449877176007352686 -18 1 4 <B 1 2172312766452
631813476976 7069449877176007352687 -17 12 H> 1 2172312766452
631813476976 7069449877176007352687 -17 12 H> 1 2172312766452 [stop]
Lines: 171
Top steps: 169
Macro steps: 631813476976
Basic steps: 7069449877176007352687
Tape index: -17
nonzeros: 172312766455
log10(nonzeros): 11.236
log10(steps ): 21.849
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #j from T.J. & S. Ligocki
5T 1RB 0RB 4RA 2LB 2LA 2LA 1LB 3RB 4RA 1RH
: 172,312,766,455 7,069,449,877,176,007,352,687
L 6
M 201
pref sim
machv Lig25_j just simple
machv Lig25_j-r with repetitions reduced
machv Lig25_j-1 with tape symbol exponents
machv Lig25_j-m as 1-macro machine
machv Lig25_j-a as 1-macro machine with pure additive config-TRs
iam Lig25_j-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:51 CEST 2010
edate Tue Jul 6 22:12:52 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:51 CEST 2010