Comment: This TM produces 114,668,733 nonzeros in 9,392,084,729,807,219 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 | 2RA | 1LA | 3LA | 2RA | 1 | right | B | 2 | right | A | 1 | left | A | 3 | left | A | 2 | right | A |
| B | 2LA | 3RB | 4LA | 1LB | 1RH | 2 | left | A | 3 | right | B | 4 | left | A | 1 | left | B | 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 2 A> 2
4 4 0 2 <A 1
5 5 -1 <A 12
6 6 0 1 B> 12
7 8 2 1 32 B>
8 9 1 1 32 <A 2
9 11 -1 1 <A 32 2
10 12 0 2 A> 32 2
11 13 -1 2 <A 32 2
12 14 -2 <A 1 32 2
13 15 -1 1 B> 1 32 2
14 16 0 1 3 B> 32 2
15 17 -1 1 3 <B 1 3 2
16 18 -2 1 <B 12 3 2
17 19 -1 3 B> 12 3 2
18 21 1 33 B> 3 2
19 22 0 33 <B 1 2
20 25 -3 <B 14 2
21 26 -4 <A 2 14 2
22 27 -3 1 B> 2 14 2
23 28 -4 1 <A 4 14 2
24 29 -3 2 A> 4 14 2
25 30 -2 22 A> 14 2
26 34 2 26 A> 2
27 35 1 26 <A 1
28 41 -5 <A 17
29 42 -4 1 B> 17
30 49 3 1 37 B>
31 50 2 1 37 <A 2
32 57 -5 1 <A 37 2
33 58 -4 2 A> 37 2
34 59 -5 2 <A 37 2
35 60 -6 <A 1 37 2
36 61 -5 1 B> 1 37 2
37 62 -4 1 3 B> 37 2
38 63 -5 1 3 <B 1 36 2
39 64 -6 1 <B 12 36 2
40 65 -5 3 B> 12 36 2
41 67 -3 33 B> 36 2
42 68 -4 33 <B 1 35 2
43 71 -7 <B 14 35 2
44 72 -8 <A 2 14 35 2
45 73 -7 1 B> 2 14 35 2
46 74 -8 1 <A 4 14 35 2
47 75 -7 2 A> 4 14 35 2
48 76 -6 22 A> 14 35 2
49 80 -2 26 A> 35 2
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 21+V(1) A> 33+V(2) [*]*
1 1 -1 21+V(1) <A 33+V(2) [*]*
2 2+V(1) -2+-1*V(1) <A 11+V(1) 33+V(2) [*]*
3 3+V(1) -1+-1*V(1) 1 B> 11+V(1) 33+V(2) [*]*
4 4+2*V(1) 0 1 31+V(1) B> 33+V(2) [*]*
5 5+2*V(1) -1 1 31+V(1) <B 1 32+V(2) [*]*
6 6+3*V(1) -2+-1*V(1) 1 <B 12+V(1) 32+V(2) [*]*
7 7+3*V(1) -1+-1*V(1) 3 B> 12+V(1) 32+V(2) [*]*
8 9+4*V(1) 1 33+V(1) B> 32+V(2) [*]*
9 10+4*V(1) 0 33+V(1) <B 1 31+V(2) [*]*
10 13+5*V(1) -3+-1*V(1) <B 14+V(1) 31+V(2) [*]*
11 14+5*V(1) -4+-1*V(1) <A 2 14+V(1) 31+V(2) [*]*
12 15+5*V(1) -3+-1*V(1) 1 B> 2 14+V(1) 31+V(2) [*]*
13 16+5*V(1) -4+-1*V(1) 1 <A 4 14+V(1) 31+V(2) [*]*
14 17+5*V(1) -3+-1*V(1) 2 A> 4 14+V(1) 31+V(2) [*]*
15 18+5*V(1) -2+-1*V(1) 22 A> 14+V(1) 31+V(2) [*]*
16 22+6*V(1) 2 26+V(1) A> 31+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
49 80 -2 26 A> 35 2
== Executing PA-CTR 1, V(1)=5, V(2)=2, repcount=2, factor=5/2
81 214 2 216 A> 3 2
82 215 1 216 <A 3 2
83 231 -15 <A 116 3 2
84 232 -14 1 B> 116 3 2
85 248 2 1 316 B> 3 2
86 249 1 1 316 <B 1 2
87 265 -15 1 <B 117 2
88 266 -14 3 B> 117 2
89 283 3 318 B> 2
90 284 2 318 <A 4
91 302 -16 <A 318 4
92 303 -15 1 B> 318 4
93 304 -16 1 <B 1 317 4
94 305 -15 3 B> 1 317 4
95 306 -14 32 B> 317 4
96 307 -15 32 <B 1 316 4
97 309 -17 <B 13 316 4
98 310 -18 <A 2 13 316 4
99 311 -17 1 B> 2 13 316 4
100 312 -18 1 <A 4 13 316 4
101 313 -17 2 A> 4 13 316 4
102 314 -16 22 A> 13 316 4
103 317 -13 25 A> 316 4
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 23+V(1) A> 3 2
1 1 -1 23+V(1) <A 3 2
2 4+V(1) -4+-1*V(1) <A 13+V(1) 3 2
3 5+V(1) -3+-1*V(1) 1 B> 13+V(1) 3 2
4 8+2*V(1) 0 1 33+V(1) B> 3 2
5 9+2*V(1) -1 1 33+V(1) <B 1 2
6 12+3*V(1) -4+-1*V(1) 1 <B 14+V(1) 2
7 13+3*V(1) -3+-1*V(1) 3 B> 14+V(1) 2
8 17+4*V(1) 1 35+V(1) B> 2
9 18+4*V(1) 0 35+V(1) <A 4
10 23+5*V(1) -5+-1*V(1) <A 35+V(1) 4
11 24+5*V(1) -4+-1*V(1) 1 B> 35+V(1) 4
12 25+5*V(1) -5+-1*V(1) 1 <B 1 34+V(1) 4
13 26+5*V(1) -4+-1*V(1) 3 B> 1 34+V(1) 4
14 27+5*V(1) -3+-1*V(1) 32 B> 34+V(1) 4
15 28+5*V(1) -4+-1*V(1) 32 <B 1 33+V(1) 4
16 30+5*V(1) -6+-1*V(1) <B 13 33+V(1) 4
17 31+5*V(1) -7+-1*V(1) <A 2 13 33+V(1) 4
18 32+5*V(1) -6+-1*V(1) 1 B> 2 13 33+V(1) 4
19 33+5*V(1) -7+-1*V(1) 1 <A 4 13 33+V(1) 4
20 34+5*V(1) -6+-1*V(1) 2 A> 4 13 33+V(1) 4
21 35+5*V(1) -5+-1*V(1) 22 A> 13 33+V(1) 4
22 38+5*V(1) -2+-1*V(1) 25 A> 33+V(1) 4
<< Success! ==> defined new CTR 2 (PPA)
103 317 -13 25 A> 316 4
== Executing PA-CTR 1, V(1)=4, V(2)=13, repcount=7, factor=5/2
215 1269 1 240 A> 32 4
216 1270 0 240 <A 32 4
217 1310 -40 <A 140 32 4
218 1311 -39 1 B> 140 32 4
219 1351 1 1 340 B> 32 4
220 1352 0 1 340 <B 1 3 4
221 1392 -40 1 <B 141 3 4
222 1393 -39 3 B> 141 3 4
223 1434 2 342 B> 3 4
224 1435 1 342 <B 1 4
225 1477 -41 <B 143 4
226 1478 -42 <A 2 143 4
227 1479 -41 1 B> 2 143 4
228 1480 -42 1 <A 4 143 4
229 1481 -41 2 A> 4 143 4
230 1482 -40 22 A> 143 4
231 1525 3 245 A> 4
232 1526 4 246 A>
233 1527 5 246 1 B>
234 1528 4 246 1 <A 2
235 1529 5 247 A> 2
236 1530 4 247 <A 1
237 1577 -43 <A 148
238 1578 -42 1 B> 148
239 1626 6 1 348 B>
240 1627 5 1 348 <A 2
241 1675 -43 1 <A 348 2
242 1676 -42 2 A> 348 2
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 21+V(1) A> 32 41+V(2)
1 1 -1 21+V(1) <A 32 41+V(2)
2 2+V(1) -2+-1*V(1) <A 11+V(1) 32 41+V(2)
3 3+V(1) -1+-1*V(1) 1 B> 11+V(1) 32 41+V(2)
4 4+2*V(1) 0 1 31+V(1) B> 32 41+V(2)
5 5+2*V(1) -1 1 31+V(1) <B 1 3 41+V(2)
6 6+3*V(1) -2+-1*V(1) 1 <B 12+V(1) 3 41+V(2)
7 7+3*V(1) -1+-1*V(1) 3 B> 12+V(1) 3 41+V(2)
8 9+4*V(1) 1 33+V(1) B> 3 41+V(2)
9 10+4*V(1) 0 33+V(1) <B 1 41+V(2)
10 13+5*V(1) -3+-1*V(1) <B 14+V(1) 41+V(2)
11 14+5*V(1) -4+-1*V(1) <A 2 14+V(1) 41+V(2)
12 15+5*V(1) -3+-1*V(1) 1 B> 2 14+V(1) 41+V(2)
13 16+5*V(1) -4+-1*V(1) 1 <A 4 14+V(1) 41+V(2)
14 17+5*V(1) -3+-1*V(1) 2 A> 4 14+V(1) 41+V(2)
15 18+5*V(1) -2+-1*V(1) 22 A> 14+V(1) 41+V(2)
16 22+6*V(1) 2 26+V(1) A> 41+V(2)
17 23+6*V(1)+V(2) 3+V(2) 27+V(1)+V(2) A>
18 24+6*V(1)+V(2) 4+V(2) 27+V(1)+V(2) 1 B>
19 25+6*V(1)+V(2) 3+V(2) 27+V(1)+V(2) 1 <A 2
20 26+6*V(1)+V(2) 4+V(2) 28+V(1)+V(2) A> 2
21 27+6*V(1)+V(2) 3+V(2) 28+V(1)+V(2) <A 1
22 35+7*V(1)+2*V(2) -5+-1*V(1) <A 19+V(1)+V(2)
23 36+7*V(1)+2*V(2) -4+-1*V(1) 1 B> 19+V(1)+V(2)
24 45+8*V(1)+3*V(2) 5+V(2) 1 39+V(1)+V(2) B>
25 46+8*V(1)+3*V(2) 4+V(2) 1 39+V(1)+V(2) <A 2
26 55+9*V(1)+4*V(2) -5+-1*V(1) 1 <A 39+V(1)+V(2) 2
27 56+9*V(1)+4*V(2) -4+-1*V(1) 2 A> 39+V(1)+V(2) 2
<< Success! ==> defined new CTR 3 (PPA)
242 1676 -42 2 A> 348 2
== Executing PA-CTR 1, V(1)=0, V(2)=45, repcount=23, factor=5/2
610 9772 4 2116 A> 32 2
611 9773 3 2116 <A 32 2
612 9889 -113 <A 1116 32 2
613 9890 -112 1 B> 1116 32 2
614 10006 4 1 3116 B> 32 2
615 10007 3 1 3116 <B 1 3 2
616 10123 -113 1 <B 1117 3 2
617 10124 -112 3 B> 1117 3 2
618 10241 5 3118 B> 3 2
619 10242 4 3118 <B 1 2
620 10360 -114 <B 1119 2
621 10361 -115 <A 2 1119 2
622 10362 -114 1 B> 2 1119 2
623 10363 -115 1 <A 4 1119 2
624 10364 -114 2 A> 4 1119 2
625 10365 -113 22 A> 1119 2
626 10484 6 2121 A> 2
627 10485 5 2121 <A 1
628 10606 -116 <A 1122
629 10607 -115 1 B> 1122
630 10729 7 1 3122 B>
631 10730 6 1 3122 <A 2
632 10852 -116 1 <A 3122 2
633 10853 -115 2 A> 3122 2
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 21+V(1) A> 32 2
1 1 -1 21+V(1) <A 32 2
2 2+V(1) -2+-1*V(1) <A 11+V(1) 32 2
3 3+V(1) -1+-1*V(1) 1 B> 11+V(1) 32 2
4 4+2*V(1) 0 1 31+V(1) B> 32 2
5 5+2*V(1) -1 1 31+V(1) <B 1 3 2
6 6+3*V(1) -2+-1*V(1) 1 <B 12+V(1) 3 2
7 7+3*V(1) -1+-1*V(1) 3 B> 12+V(1) 3 2
8 9+4*V(1) 1 33+V(1) B> 3 2
9 10+4*V(1) 0 33+V(1) <B 1 2
10 13+5*V(1) -3+-1*V(1) <B 14+V(1) 2
11 14+5*V(1) -4+-1*V(1) <A 2 14+V(1) 2
12 15+5*V(1) -3+-1*V(1) 1 B> 2 14+V(1) 2
13 16+5*V(1) -4+-1*V(1) 1 <A 4 14+V(1) 2
14 17+5*V(1) -3+-1*V(1) 2 A> 4 14+V(1) 2
15 18+5*V(1) -2+-1*V(1) 22 A> 14+V(1) 2
16 22+6*V(1) 2 26+V(1) A> 2
17 23+6*V(1) 1 26+V(1) <A 1
18 29+7*V(1) -5+-1*V(1) <A 17+V(1)
19 30+7*V(1) -4+-1*V(1) 1 B> 17+V(1)
20 37+8*V(1) 3 1 37+V(1) B>
21 38+8*V(1) 2 1 37+V(1) <A 2
22 45+9*V(1) -5+-1*V(1) 1 <A 37+V(1) 2
23 46+9*V(1) -4+-1*V(1) 2 A> 37+V(1) 2
<< Success! ==> defined new CTR 4 (PPA)
633 10853 -115 2 A> 3122 2
== Executing PA-CTR 1, V(1)=0, V(2)=119, repcount=60, factor=5/2
1593 65273 5 2301 A> 32 2
== Executing PPA-CTR 4 (once), V(1)=300
1616 68019 -299 2 A> 3307 2
== Executing PA-CTR 1, V(1)=0, V(2)=304, repcount=153, factor=5/2
4064 420225 7 2766 A> 3 2
== Executing PPA-CTR 2 (once), V(1)=763
4086 424078 -758 25 A> 3766 4
== Executing PA-CTR 1, V(1)=4, V(2)=763, repcount=382, factor=5/2
10198 2624780 6 21915 A> 32 4
== Executing PPA-CTR 3 (once), V(1)=1914, V(2)=0
10225 2642062 -1912 2 A> 31923 2
== Executing PA-CTR 1, V(1)=0, V(2)=1920, repcount=961, factor=5/2
25601 16501604 10 24806 A> 3 2
== Executing PPA-CTR 2 (once), V(1)=4803
25623 16525657 -4795 25 A> 34806 4
== Executing PA-CTR 1, V(1)=4, V(2)=4803, repcount=2402, factor=5/2
64055 103144179 9 212015 A> 32 4
== Executing PPA-CTR 3 (once), V(1)=12014, V(2)=0
64082 103252361 -12009 2 A> 312023 2
== Executing PA-CTR 1, V(1)=0, V(2)=12020, repcount=6011, factor=5/2
160258 645276253 13 230056 A> 3 2
== Executing PPA-CTR 2 (once), V(1)=30053
160280 645426556 -30042 25 A> 330056 4
== Executing PA-CTR 1, V(1)=4, V(2)=30053, repcount=15027, factor=5/2
400712 4033053328 12 275140 A> 32 4
== Executing PPA-CTR 3 (once), V(1)=75139, V(2)=0
400739 4033729635 -75131 2 A> 375148 2
== Executing PA-CTR 1, V(1)=0, V(2)=75145, repcount=37573, factor=5/2
1001907 25209947581 15 2187866 A> 32 2
== Executing PPA-CTR 4 (once), V(1)=187865
1001930 25211638412 -187854 2 A> 3187872 2
== Executing PA-CTR 1, V(1)=0, V(2)=187869, repcount=93935, factor=5/2
2504890 157569059332 16 2469676 A> 32 2
== Executing PPA-CTR 4 (once), V(1)=469675
2504913 157573286453 -469663 2 A> 3469682 2
== Executing PA-CTR 1, V(1)=0, V(2)=469679, repcount=234840, factor=5/2
6262353 984822314333 17 21174201 A> 32 2
== Executing PPA-CTR 4 (once), V(1)=1174200
6262376 984832882179 -1174187 2 A> 31174207 2
== Executing PA-CTR 1, V(1)=0, V(2)=1174204, repcount=587103, factor=5/2
15656024 6155185981035 19 22935516 A> 3 2
== Executing PPA-CTR 2 (once), V(1)=2935513
15656046 6155200658638 -2935496 25 A> 32935516 4
== Executing PA-CTR 1, V(1)=4, V(2)=2935513, repcount=1467757, factor=5/2
39140158 38469905324840 18 27338790 A> 32 4
== Executing PPA-CTR 3 (once), V(1)=7338789, V(2)=0
39140185 38469971373997 -7338775 2 A> 37338798 2
== Executing PA-CTR 1, V(1)=0, V(2)=7338795, repcount=3669398, factor=5/2
97850553 240437222295843 21 218346991 A> 32 2
== Executing PPA-CTR 4 (once), V(1)=18346990
97850576 240437387418799 -18346973 2 A> 318346997 2
== Executing PA-CTR 1, V(1)=0, V(2)=18346994, repcount=9173498, factor=5/2
244626544 1502733434973345 23 245867491 A> 3 2
== Executing PPA-CTR 2 (once), V(1)=45867488
244626566 1502733664310823 -45867467 25 A> 345867491 4
== Executing PA-CTR 1, V(1)=4, V(2)=45867488, repcount=22933745, factor=5/2
611566486 9392084271132293 23 2114668730 A> 3 4
611566487 9392084271132294 22 2114668730 <A 3 4
611566488 9392084385801024 -114668708 <A 1114668730 3 4
611566489 9392084385801025 -114668707 1 B> 1114668730 3 4
611566490 9392084500469755 23 1 3114668730 B> 3 4
611566491 9392084500469756 22 1 3114668730 <B 1 4
611566492 9392084615138486 -114668708 1 <B 1114668731 4
611566493 9392084615138487 -114668707 3 B> 1114668731 4
611566494 9392084729807218 24 3114668732 B> 4
611566495 9392084729807219 25 3114668732 1 H>
611566495 9392084729807219 25 3114668732 1 H> [stop]
Lines: 164
Top steps: 162
Macro steps: 611566495
Basic steps: 9392084729807219
Tape index: 25
nonzeros: 114668733
log10(nonzeros): 8.059
log10(steps ): 15.973
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #e from T.J. & S. Ligocki
5T 1RB 2RA 1LA 3LA 2RA 2LA 3RB 4LA 1LB 1RH
: 114,668,733 9,392,084,729,807,219
L 44
M 201
pref sim
machv Lig25_e just simple
machv Lig25_e-r with repetitions reduced
machv Lig25_e-1 with tape symbol exponents
machv Lig25_e-m as 1-macro machine
machv Lig25_e-a as 1-macro machine with pure additive config-TRs
iam Lig25_e-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:44 CEST 2010
edate Tue Jul 6 22:12:44 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:44 CEST 2010