Comment: This TM produces 11120 nonzeros in 148,304,214 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 | 4LA | 1LA | 2LA | 1RA | 1 | right | B | 4 | left | A | 1 | left | A | 2 | left | A | 1 | right | A |
| B | 3LA | 1RH | 1RA | 2RA | 4RB | 3 | left | A | 1 | right | H | 1 | right | A | 2 | right | A | 4 | 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 3
3 3 -1 <A 4 3
4 4 0 1 B> 4 3
5 5 1 1 4 B> 3
6 6 2 1 4 2 A>
7 7 3 1 4 2 1 B>
8 8 2 1 4 2 1 <A 3
9 9 1 1 4 2 <A 4 3
10 10 0 1 4 <A 1 4 3
11 11 1 12 A> 1 4 3
12 12 0 12 <A 42 3
13 14 -2 <A 44 3
14 15 -1 1 B> 44 3
15 19 3 1 44 B> 3
16 20 4 1 44 2 A>
17 21 5 1 44 2 1 B>
18 22 4 1 44 2 1 <A 3
19 23 3 1 44 2 <A 4 3
20 24 2 1 44 <A 1 4 3
21 25 3 1 43 1 A> 1 4 3
22 26 2 1 43 1 <A 42 3
23 27 1 1 43 <A 43 3
24 28 2 1 42 1 A> 43 3
25 31 5 1 42 14 A> 3
26 32 4 1 42 14 <A 2
27 36 0 1 42 <A 44 2
28 37 1 1 4 1 A> 44 2
29 41 5 1 4 15 A> 2
30 42 4 1 4 15 <A 1
31 47 -1 1 4 <A 45 1
32 48 0 12 A> 45 1
33 53 5 17 A> 1
34 54 4 17 <A 4
35 61 -3 <A 48
36 62 -2 1 B> 48
37 70 6 1 48 B>
38 71 5 1 48 <A 3
39 72 6 1 47 1 A> 3
40 73 5 1 47 1 <A 2
41 74 4 1 47 <A 4 2
42 75 5 1 46 1 A> 4 2
43 76 6 1 46 12 A> 2
44 77 5 1 46 12 <A 1
45 79 3 1 46 <A 42 1
46 80 4 1 45 1 A> 42 1
47 82 6 1 45 13 A> 1
48 83 5 1 45 13 <A 4
49 86 2 1 45 <A 44
50 87 3 1 44 1 A> 44
51 91 7 1 44 15 A>
52 92 8 1 44 16 B>
53 93 7 1 44 16 <A 3
54 99 1 1 44 <A 46 3
55 100 2 1 43 1 A> 46 3
56 106 8 1 43 17 A> 3
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 45+V(2) 11+V(1) A> 3
1 1 -1 [*]* 45+V(2) 11+V(1) <A 2
2 2+V(1) -2+-1*V(1) [*]* 45+V(2) <A 41+V(1) 2
3 3+V(1) -1+-1*V(1) [*]* 44+V(2) 1 A> 41+V(1) 2
4 4+2*V(1) 0 [*]* 44+V(2) 12+V(1) A> 2
5 5+2*V(1) -1 [*]* 44+V(2) 12+V(1) <A 1
6 7+3*V(1) -3+-1*V(1) [*]* 44+V(2) <A 42+V(1) 1
7 8+3*V(1) -2+-1*V(1) [*]* 43+V(2) 1 A> 42+V(1) 1
8 10+4*V(1) 0 [*]* 43+V(2) 13+V(1) A> 1
9 11+4*V(1) -1 [*]* 43+V(2) 13+V(1) <A 4
10 14+5*V(1) -4+-1*V(1) [*]* 43+V(2) <A 44+V(1)
11 15+5*V(1) -3+-1*V(1) [*]* 42+V(2) 1 A> 44+V(1)
12 19+6*V(1) 1 [*]* 42+V(2) 15+V(1) A>
13 20+6*V(1) 2 [*]* 42+V(2) 16+V(1) B>
14 21+6*V(1) 1 [*]* 42+V(2) 16+V(1) <A 3
15 27+7*V(1) -5+-1*V(1) [*]* 42+V(2) <A 46+V(1) 3
16 28+7*V(1) -4+-1*V(1) [*]* 41+V(2) 1 A> 46+V(1) 3
17 34+8*V(1) 2 [*]* 41+V(2) 17+V(1) A> 3
<< Success! ==> defined new CTR 1 (PA)
57 107 7 1 43 17 <A 2
58 114 0 1 43 <A 47 2
59 115 1 1 42 1 A> 47 2
60 122 8 1 42 18 A> 2
61 123 7 1 42 18 <A 1
62 131 -1 1 42 <A 48 1
63 132 0 1 4 1 A> 48 1
64 140 8 1 4 19 A> 1
65 141 7 1 4 19 <A 4
66 150 -2 1 4 <A 410
67 151 -1 12 A> 410
68 161 9 112 A>
69 162 10 113 B>
70 163 9 113 <A 3
71 176 -4 <A 413 3
72 177 -3 1 B> 413 3
73 190 10 1 413 B> 3
74 191 11 1 413 2 A>
75 192 12 1 413 2 1 B>
76 193 11 1 413 2 1 <A 3
77 194 10 1 413 2 <A 4 3
78 195 9 1 413 <A 1 4 3
79 196 10 1 412 1 A> 1 4 3
80 197 9 1 412 1 <A 42 3
81 198 8 1 412 <A 43 3
82 199 9 1 411 1 A> 43 3
83 202 12 1 411 14 A> 3
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(2) 43 11+V(1) A> 3
1 1 -1 11+V(2) 43 11+V(1) <A 2
2 2+V(1) -2+-1*V(1) 11+V(2) 43 <A 41+V(1) 2
3 3+V(1) -1+-1*V(1) 11+V(2) 42 1 A> 41+V(1) 2
4 4+2*V(1) 0 11+V(2) 42 12+V(1) A> 2
5 5+2*V(1) -1 11+V(2) 42 12+V(1) <A 1
6 7+3*V(1) -3+-1*V(1) 11+V(2) 42 <A 42+V(1) 1
7 8+3*V(1) -2+-1*V(1) 11+V(2) 4 1 A> 42+V(1) 1
8 10+4*V(1) 0 11+V(2) 4 13+V(1) A> 1
9 11+4*V(1) -1 11+V(2) 4 13+V(1) <A 4
10 14+5*V(1) -4+-1*V(1) 11+V(2) 4 <A 44+V(1)
11 15+5*V(1) -3+-1*V(1) 12+V(2) A> 44+V(1)
12 19+6*V(1) 1 16+V(1)+V(2) A>
13 20+6*V(1) 2 17+V(1)+V(2) B>
14 21+6*V(1) 1 17+V(1)+V(2) <A 3
15 28+7*V(1)+V(2) -6+-1*V(1)+-1*V(2) <A 47+V(1)+V(2) 3
16 29+7*V(1)+V(2) -5+-1*V(1)+-1*V(2) 1 B> 47+V(1)+V(2) 3
17 36+8*V(1)+2*V(2) 2 1 47+V(1)+V(2) B> 3
18 37+8*V(1)+2*V(2) 3 1 47+V(1)+V(2) 2 A>
19 38+8*V(1)+2*V(2) 4 1 47+V(1)+V(2) 2 1 B>
20 39+8*V(1)+2*V(2) 3 1 47+V(1)+V(2) 2 1 <A 3
21 40+8*V(1)+2*V(2) 2 1 47+V(1)+V(2) 2 <A 4 3
22 41+8*V(1)+2*V(2) 1 1 47+V(1)+V(2) <A 1 4 3
23 42+8*V(1)+2*V(2) 2 1 46+V(1)+V(2) 1 A> 1 4 3
24 43+8*V(1)+2*V(2) 1 1 46+V(1)+V(2) 1 <A 42 3
25 44+8*V(1)+2*V(2) 0 1 46+V(1)+V(2) <A 43 3
26 45+8*V(1)+2*V(2) 1 1 45+V(1)+V(2) 1 A> 43 3
27 48+8*V(1)+2*V(2) 4 1 45+V(1)+V(2) 14 A> 3
<< Success! ==> defined new CTR 2 (PPA)
83 202 12 1 411 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=6, repcount=2, factor=6/4
117 366 16 1 43 116 A> 3
== Executing PPA-CTR 2 (once), V(1)=15, V(2)=0
144 534 20 1 420 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=15, repcount=4, factor=6/4
212 1054 28 1 44 128 A> 3
213 1055 27 1 44 128 <A 2
214 1083 -1 1 44 <A 428 2
215 1084 0 1 43 1 A> 428 2
216 1112 28 1 43 129 A> 2
217 1113 27 1 43 129 <A 1
218 1142 -2 1 43 <A 429 1
219 1143 -1 1 42 1 A> 429 1
220 1172 28 1 42 130 A> 1
221 1173 27 1 42 130 <A 4
222 1203 -3 1 42 <A 431
223 1204 -2 1 4 1 A> 431
224 1235 29 1 4 132 A>
225 1236 30 1 4 133 B>
226 1237 29 1 4 133 <A 3
227 1270 -4 1 4 <A 433 3
228 1271 -3 12 A> 433 3
229 1304 30 135 A> 3
230 1305 29 135 <A 2
231 1340 -6 <A 435 2
232 1341 -5 1 B> 435 2
233 1376 30 1 435 B> 2
234 1377 31 1 435 1 A>
235 1378 32 1 435 12 B>
236 1379 31 1 435 12 <A 3
237 1381 29 1 435 <A 42 3
238 1382 30 1 434 1 A> 42 3
239 1384 32 1 434 13 A> 3
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(2) 44 11+V(1) A> 3
1 1 -1 11+V(2) 44 11+V(1) <A 2
2 2+V(1) -2+-1*V(1) 11+V(2) 44 <A 41+V(1) 2
3 3+V(1) -1+-1*V(1) 11+V(2) 43 1 A> 41+V(1) 2
4 4+2*V(1) 0 11+V(2) 43 12+V(1) A> 2
5 5+2*V(1) -1 11+V(2) 43 12+V(1) <A 1
6 7+3*V(1) -3+-1*V(1) 11+V(2) 43 <A 42+V(1) 1
7 8+3*V(1) -2+-1*V(1) 11+V(2) 42 1 A> 42+V(1) 1
8 10+4*V(1) 0 11+V(2) 42 13+V(1) A> 1
9 11+4*V(1) -1 11+V(2) 42 13+V(1) <A 4
10 14+5*V(1) -4+-1*V(1) 11+V(2) 42 <A 44+V(1)
11 15+5*V(1) -3+-1*V(1) 11+V(2) 4 1 A> 44+V(1)
12 19+6*V(1) 1 11+V(2) 4 15+V(1) A>
13 20+6*V(1) 2 11+V(2) 4 16+V(1) B>
14 21+6*V(1) 1 11+V(2) 4 16+V(1) <A 3
15 27+7*V(1) -5+-1*V(1) 11+V(2) 4 <A 46+V(1) 3
16 28+7*V(1) -4+-1*V(1) 12+V(2) A> 46+V(1) 3
17 34+8*V(1) 2 18+V(1)+V(2) A> 3
18 35+8*V(1) 1 18+V(1)+V(2) <A 2
19 43+9*V(1)+V(2) -7+-1*V(1)+-1*V(2) <A 48+V(1)+V(2) 2
20 44+9*V(1)+V(2) -6+-1*V(1)+-1*V(2) 1 B> 48+V(1)+V(2) 2
21 52+10*V(1)+2*V(2) 2 1 48+V(1)+V(2) B> 2
22 53+10*V(1)+2*V(2) 3 1 48+V(1)+V(2) 1 A>
23 54+10*V(1)+2*V(2) 4 1 48+V(1)+V(2) 12 B>
24 55+10*V(1)+2*V(2) 3 1 48+V(1)+V(2) 12 <A 3
25 57+10*V(1)+2*V(2) 1 1 48+V(1)+V(2) <A 42 3
26 58+10*V(1)+2*V(2) 2 1 47+V(1)+V(2) 1 A> 42 3
27 60+10*V(1)+2*V(2) 4 1 47+V(1)+V(2) 13 A> 3
<< Success! ==> defined new CTR 3 (PPA)
239 1384 32 1 434 13 A> 3
== Executing PA-CTR 1, V(1)=2, V(2)=29, repcount=8, factor=6/4
375 3128 48 1 42 151 A> 3
376 3129 47 1 42 151 <A 2
377 3180 -4 1 42 <A 451 2
378 3181 -3 1 4 1 A> 451 2
379 3232 48 1 4 152 A> 2
380 3233 47 1 4 152 <A 1
381 3285 -5 1 4 <A 452 1
382 3286 -4 12 A> 452 1
383 3338 48 154 A> 1
384 3339 47 154 <A 4
385 3393 -7 <A 455
386 3394 -6 1 B> 455
387 3449 49 1 455 B>
388 3450 48 1 455 <A 3
389 3451 49 1 454 1 A> 3
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 11+V(2) 42 12+V(1) A> 3
1 1 -1 11+V(2) 42 12+V(1) <A 2
2 3+V(1) -3+-1*V(1) 11+V(2) 42 <A 42+V(1) 2
3 4+V(1) -2+-1*V(1) 11+V(2) 4 1 A> 42+V(1) 2
4 6+2*V(1) 0 11+V(2) 4 13+V(1) A> 2
5 7+2*V(1) -1 11+V(2) 4 13+V(1) <A 1
6 10+3*V(1) -4+-1*V(1) 11+V(2) 4 <A 43+V(1) 1
7 11+3*V(1) -3+-1*V(1) 12+V(2) A> 43+V(1) 1
8 14+4*V(1) 0 15+V(1)+V(2) A> 1
9 15+4*V(1) -1 15+V(1)+V(2) <A 4
10 20+5*V(1)+V(2) -6+-1*V(1)+-1*V(2) <A 46+V(1)+V(2)
11 21+5*V(1)+V(2) -5+-1*V(1)+-1*V(2) 1 B> 46+V(1)+V(2)
12 27+6*V(1)+2*V(2) 1 1 46+V(1)+V(2) B>
13 28+6*V(1)+2*V(2) 0 1 46+V(1)+V(2) <A 3
14 29+6*V(1)+2*V(2) 1 1 45+V(1)+V(2) 1 A> 3
<< Success! ==> defined new CTR 4 (PPA)
389 3451 49 1 454 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=49, repcount=13, factor=6/4
610 7637 75 1 42 179 A> 3
== Executing PPA-CTR 4 (once), V(1)=77, V(2)=0
624 8128 76 1 482 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=77, repcount=20, factor=6/4
964 17928 116 1 42 1121 A> 3
== Executing PPA-CTR 4 (once), V(1)=119, V(2)=0
978 18671 117 1 4124 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=119, repcount=30, factor=6/4
1488 40571 177 1 44 1181 A> 3
== Executing PPA-CTR 3 (once), V(1)=180, V(2)=0
1515 42431 181 1 4187 13 A> 3
== Executing PA-CTR 1, V(1)=2, V(2)=182, repcount=46, factor=6/4
2297 94411 273 1 43 1279 A> 3
== Executing PPA-CTR 2 (once), V(1)=278, V(2)=0
2324 96683 277 1 4283 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=278, repcount=70, factor=6/4
3514 216663 417 1 43 1424 A> 3
== Executing PPA-CTR 2 (once), V(1)=423, V(2)=0
3541 220095 421 1 4428 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=423, repcount=106, factor=6/4
5343 493363 633 1 44 1640 A> 3
== Executing PPA-CTR 3 (once), V(1)=639, V(2)=0
5370 499813 637 1 4646 13 A> 3
== Executing PA-CTR 1, V(1)=2, V(2)=641, repcount=161, factor=6/4
8107 1126103 959 1 42 1969 A> 3
== Executing PPA-CTR 4 (once), V(1)=967, V(2)=0
8121 1131934 960 1 4972 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=967, repcount=242, factor=6/4
12235 2539890 1444 1 44 11453 A> 3
== Executing PPA-CTR 3 (once), V(1)=1452, V(2)=0
12262 2554470 1448 1 41459 13 A> 3
== Executing PA-CTR 1, V(1)=2, V(2)=1454, repcount=364, factor=6/4
18450 5743838 2176 1 43 12187 A> 3
== Executing PPA-CTR 2 (once), V(1)=2186, V(2)=0
18477 5761374 2180 1 42191 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=2186, repcount=547, factor=6/4
27776 12960988 3274 1 43 13286 A> 3
== Executing PPA-CTR 2 (once), V(1)=3285, V(2)=0
27803 12987316 3278 1 43290 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=3285, repcount=822, factor=6/4
41777 29231680 4922 1 42 14936 A> 3
== Executing PPA-CTR 4 (once), V(1)=4934, V(2)=0
41791 29261313 4923 1 44939 1 A> 3
== Executing PA-CTR 1, V(1)=0, V(2)=4934, repcount=1234, factor=6/4
62769 65819797 7391 1 43 17405 A> 3
== Executing PPA-CTR 2 (once), V(1)=7404, V(2)=0
62796 65879077 7395 1 47409 14 A> 3
== Executing PA-CTR 1, V(1)=3, V(2)=7404, repcount=1852, factor=6/4
94280 148259741 11099 1 4 111116 A> 3
94281 148259742 11098 1 4 111116 <A 2
94282 148270858 -18 1 4 <A 411116 2
94283 148270859 -17 12 A> 411116 2
94284 148281975 11099 111118 A> 2
94285 148281976 11098 111118 <A 1
94286 148293094 -20 <A 411118 1
94287 148293095 -19 1 B> 411118 1
94288 148304213 11099 1 411118 B> 1
94289 148304214 11100 1 411118 1 H>
94289 148304214 11100 1 411118 1 H> [stop]
Lines: 164
Top steps: 162
Macro steps: 94289
Basic steps: 148304214
Tape index: 11100
nonzeros: 11120
log10(nonzeros): 4.046
log10(steps ): 8.171
Run state: stop
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #c from T.J. & S. Ligocki
: 11120 148,304,214
5T 1RB 4LA 1LA 2LA 1RA 3LA 1RH 1RA 2RA 4RB
L 10
M 201
pref sim
machv Lig25_c just simple
machv Lig25_c-r with repetitions reduced
machv Lig25_c-1 with tape symbol exponents
machv Lig25_c-m as 1-macro machine
machv Lig25_c-a as 1-macro machine with pure additive config-TRs
iam Lig25_c-a
mtype 1
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:41 CEST 2010
edate Tue Jul 6 22:12:42 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:41 CEST 2010