Comment: This TM produces 2050 nonzeros in 3932964 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 3RB | 3RA | 3RA | 1LA | 3 | right | B | 3 | right | A | 3 | right | A | 1 | left | A |
| B | 3LB | 2RB | 2LH | 3LA | 3 | left | B | 2 | right | B | 2 | left | H | 3 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <A 33
2 4 0 03 B> 33
3 5 -1 03 <A 33
4 8 0 32 B> 33
5 9 -1 32 <A 33
6 10 0 33 A> 33
7 11 -1 33 <A 13
8 13 -3 <A 11 13
9 14 -2 03 B> 11 13
10 16 0 03 22 B> 13
11 21 -1 03 22 <A 11
12 22 0 03 23 A> 11
13 24 2 03 23 33 A>
14 27 1 03 23 33 <A 33
15 29 -1 03 23 <A 11 33
16 32 0 03 33 A> 11 33
17 34 2 03 332 A> 33
18 35 1 03 332 <A 13
19 39 -3 03 <A 112 13
20 42 -2 32 B> 112 13
21 46 2 32 222 B> 13
22 51 1 32 222 <A 11
23 52 2 32 22 23 A> 11
24 54 4 32 22 23 33 A>
25 57 3 32 22 23 33 <A 33
26 59 1 32 22 23 <A 11 33
27 62 2 32 22 33 A> 11 33
28 64 4 32 22 332 A> 33
29 65 3 32 22 332 <A 13
30 69 -1 32 22 <A 112 13
31 70 0 32 23 A> 112 13
32 74 4 32 23 332 A> 13
33 77 3 32 23 332 <A 11
34 81 -1 32 23 <A 113
35 84 0 32 33 A> 113
36 90 6 32 334 A>
37 93 5 32 334 <A 33
38 101 -3 32 <A 114 33
39 102 -2 33 A> 114 33
40 110 6 335 A> 33
41 111 5 335 <A 13
42 121 -5 <A 115 13
43 122 -4 03 B> 115 13
44 132 6 03 225 B> 13
45 137 5 03 225 <A 11
46 138 6 03 224 23 A> 11
47 140 8 03 224 23 33 A>
48 143 7 03 224 23 33 <A 33
49 145 5 03 224 23 <A 11 33
50 148 6 03 224 33 A> 11 33
51 150 8 03 224 332 A> 33
52 151 7 03 224 332 <A 13
53 155 3 03 224 <A 112 13
54 156 4 03 223 23 A> 112 13
55 160 8 03 223 23 332 A> 13
56 163 7 03 223 23 332 <A 11
57 167 3 03 223 23 <A 113
58 170 4 03 223 33 A> 113
59 176 10 03 223 334 A>
60 179 9 03 223 334 <A 33
61 187 1 03 223 <A 114 33
62 188 2 03 222 23 A> 114 33
63 196 10 03 222 23 334 A> 33
64 197 9 03 222 23 334 <A 13
65 205 1 03 222 23 <A 114 13
66 208 2 03 222 33 A> 114 13
67 216 10 03 222 335 A> 13
68 219 9 03 222 335 <A 11
69 229 -1 03 222 <A 116
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 224+V(1) <A 111+V(2)
1 1 1 [*]* 223+V(1) 23 A> 111+V(2)
2 3+2*V(2) 3+2*V(2) [*]* 223+V(1) 23 331+V(2) A>
3 6+2*V(2) 2+2*V(2) [*]* 223+V(1) 23 331+V(2) <A 33
4 8+4*V(2) 0 [*]* 223+V(1) 23 <A 111+V(2) 33
5 11+4*V(2) 1 [*]* 223+V(1) 33 A> 111+V(2) 33
6 13+6*V(2) 3+2*V(2) [*]* 223+V(1) 332+V(2) A> 33
7 14+6*V(2) 2+2*V(2) [*]* 223+V(1) 332+V(2) <A 13
8 18+8*V(2) -2 [*]* 223+V(1) <A 112+V(2) 13
9 19+8*V(2) -1 [*]* 222+V(1) 23 A> 112+V(2) 13
10 23+10*V(2) 3+2*V(2) [*]* 222+V(1) 23 332+V(2) A> 13
11 26+10*V(2) 2+2*V(2) [*]* 222+V(1) 23 332+V(2) <A 11
12 30+12*V(2) -2 [*]* 222+V(1) 23 <A 113+V(2)
13 33+12*V(2) -1 [*]* 222+V(1) 33 A> 113+V(2)
14 39+14*V(2) 5+2*V(2) [*]* 222+V(1) 334+V(2) A>
15 42+14*V(2) 4+2*V(2) [*]* 222+V(1) 334+V(2) <A 33
16 50+16*V(2) -4 [*]* 222+V(1) <A 114+V(2) 33
17 51+16*V(2) -3 [*]* 221+V(1) 23 A> 114+V(2) 33
18 59+18*V(2) 5+2*V(2) [*]* 221+V(1) 23 334+V(2) A> 33
19 60+18*V(2) 4+2*V(2) [*]* 221+V(1) 23 334+V(2) <A 13
20 68+20*V(2) -4 [*]* 221+V(1) 23 <A 114+V(2) 13
21 71+20*V(2) -3 [*]* 221+V(1) 33 A> 114+V(2) 13
22 79+22*V(2) 5+2*V(2) [*]* 221+V(1) 335+V(2) A> 13
23 82+22*V(2) 4+2*V(2) [*]* 221+V(1) 335+V(2) <A 11
24 92+24*V(2) -6 [*]* 221+V(1) <A 116+V(2)
<< Success! ==> defined new CTR 1 (PA)
70 230 0 03 22 23 A> 116
71 242 12 03 22 23 336 A>
72 245 11 03 22 23 336 <A 33
73 257 -1 03 22 23 <A 116 33
74 260 0 03 22 33 A> 116 33
75 272 12 03 22 337 A> 33
76 273 11 03 22 337 <A 13
77 287 -3 03 22 <A 117 13
78 288 -2 03 23 A> 117 13
79 302 12 03 23 337 A> 13
80 305 11 03 23 337 <A 11
81 319 -3 03 23 <A 118
82 322 -2 03 33 A> 118
83 338 14 03 339 A>
84 341 13 03 339 <A 33
85 359 -5 03 <A 119 33
86 362 -4 32 B> 119 33
87 380 14 32 229 B> 33
88 381 13 32 229 <A 33
89 382 14 32 228 23 A> 33
90 383 13 32 228 23 <A 13
91 386 14 32 228 33 A> 13
92 389 13 32 228 33 <A 11
93 391 11 32 228 <A 112
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 03 222 <A 112+V(1)
1 1 1 03 22 23 A> 112+V(1)
2 5+2*V(1) 5+2*V(1) 03 22 23 332+V(1) A>
3 8+2*V(1) 4+2*V(1) 03 22 23 332+V(1) <A 33
4 12+4*V(1) 0 03 22 23 <A 112+V(1) 33
5 15+4*V(1) 1 03 22 33 A> 112+V(1) 33
6 19+6*V(1) 5+2*V(1) 03 22 333+V(1) A> 33
7 20+6*V(1) 4+2*V(1) 03 22 333+V(1) <A 13
8 26+8*V(1) -2 03 22 <A 113+V(1) 13
9 27+8*V(1) -1 03 23 A> 113+V(1) 13
10 33+10*V(1) 5+2*V(1) 03 23 333+V(1) A> 13
11 36+10*V(1) 4+2*V(1) 03 23 333+V(1) <A 11
12 42+12*V(1) -2 03 23 <A 114+V(1)
13 45+12*V(1) -1 03 33 A> 114+V(1)
14 53+14*V(1) 7+2*V(1) 03 335+V(1) A>
15 56+14*V(1) 6+2*V(1) 03 335+V(1) <A 33
16 66+16*V(1) -4 03 <A 115+V(1) 33
17 69+16*V(1) -3 32 B> 115+V(1) 33
18 79+18*V(1) 7+2*V(1) 32 225+V(1) B> 33
19 80+18*V(1) 6+2*V(1) 32 225+V(1) <A 33
20 81+18*V(1) 7+2*V(1) 32 224+V(1) 23 A> 33
21 82+18*V(1) 6+2*V(1) 32 224+V(1) 23 <A 13
22 85+18*V(1) 7+2*V(1) 32 224+V(1) 33 A> 13
23 88+18*V(1) 6+2*V(1) 32 224+V(1) 33 <A 11
24 90+18*V(1) 4+2*V(1) 32 224+V(1) <A 112
<< Success! ==> defined new CTR 2 (PPA)
93 391 11 32 228 <A 112
== Executing PA-CTR 1, V(1)=4, V(2)=1, repcount=2, factor=5/3
141 743 -1 32 222 <A 1112
142 744 0 32 22 23 A> 1112
143 768 24 32 22 23 3312 A>
144 771 23 32 22 23 3312 <A 33
145 795 -1 32 22 23 <A 1112 33
146 798 0 32 22 33 A> 1112 33
147 822 24 32 22 3313 A> 33
148 823 23 32 22 3313 <A 13
149 849 -3 32 22 <A 1113 13
150 850 -2 32 23 A> 1113 13
151 876 24 32 23 3313 A> 13
152 879 23 32 23 3313 <A 11
153 905 -3 32 23 <A 1114
154 908 -2 32 33 A> 1114
155 936 26 32 3315 A>
156 939 25 32 3315 <A 33
157 969 -5 32 <A 1115 33
158 970 -4 33 A> 1115 33
159 1000 26 3316 A> 33
160 1001 25 3316 <A 13
161 1033 -7 <A 1116 13
162 1034 -6 03 B> 1116 13
163 1066 26 03 2216 B> 13
164 1071 25 03 2216 <A 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 32 222 <A 111+V(1)
1 1 1 32 22 23 A> 111+V(1)
2 3+2*V(1) 3+2*V(1) 32 22 23 331+V(1) A>
3 6+2*V(1) 2+2*V(1) 32 22 23 331+V(1) <A 33
4 8+4*V(1) 0 32 22 23 <A 111+V(1) 33
5 11+4*V(1) 1 32 22 33 A> 111+V(1) 33
6 13+6*V(1) 3+2*V(1) 32 22 332+V(1) A> 33
7 14+6*V(1) 2+2*V(1) 32 22 332+V(1) <A 13
8 18+8*V(1) -2 32 22 <A 112+V(1) 13
9 19+8*V(1) -1 32 23 A> 112+V(1) 13
10 23+10*V(1) 3+2*V(1) 32 23 332+V(1) A> 13
11 26+10*V(1) 2+2*V(1) 32 23 332+V(1) <A 11
12 30+12*V(1) -2 32 23 <A 113+V(1)
13 33+12*V(1) -1 32 33 A> 113+V(1)
14 39+14*V(1) 5+2*V(1) 32 334+V(1) A>
15 42+14*V(1) 4+2*V(1) 32 334+V(1) <A 33
16 50+16*V(1) -4 32 <A 114+V(1) 33
17 51+16*V(1) -3 33 A> 114+V(1) 33
18 59+18*V(1) 5+2*V(1) 335+V(1) A> 33
19 60+18*V(1) 4+2*V(1) 335+V(1) <A 13
20 70+20*V(1) -6 <A 115+V(1) 13
21 71+20*V(1) -5 03 B> 115+V(1) 13
22 81+22*V(1) 5+2*V(1) 03 225+V(1) B> 13
23 86+22*V(1) 4+2*V(1) 03 225+V(1) <A 11
<< Success! ==> defined new CTR 3 (PPA)
164 1071 25 03 2216 <A 11
== Executing PA-CTR 1, V(1)=12, V(2)=0, repcount=5, factor=5/3
284 2731 -5 03 22 <A 1126
285 2732 -4 03 23 A> 1126
286 2784 48 03 23 3326 A>
287 2787 47 03 23 3326 <A 33
288 2839 -5 03 23 <A 1126 33
289 2842 -4 03 33 A> 1126 33
290 2894 48 03 3327 A> 33
291 2895 47 03 3327 <A 13
292 2949 -7 03 <A 1127 13
293 2952 -6 32 B> 1127 13
294 3006 48 32 2227 B> 13
295 3011 47 32 2227 <A 11
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 03 22 <A 113+V(1)
1 1 1 03 23 A> 113+V(1)
2 7+2*V(1) 7+2*V(1) 03 23 333+V(1) A>
3 10+2*V(1) 6+2*V(1) 03 23 333+V(1) <A 33
4 16+4*V(1) 0 03 23 <A 113+V(1) 33
5 19+4*V(1) 1 03 33 A> 113+V(1) 33
6 25+6*V(1) 7+2*V(1) 03 334+V(1) A> 33
7 26+6*V(1) 6+2*V(1) 03 334+V(1) <A 13
8 34+8*V(1) -2 03 <A 114+V(1) 13
9 37+8*V(1) -1 32 B> 114+V(1) 13
10 45+10*V(1) 7+2*V(1) 32 224+V(1) B> 13
11 50+10*V(1) 6+2*V(1) 32 224+V(1) <A 11
<< Success! ==> defined new CTR 4 (PPA)
295 3011 47 32 2227 <A 11
== Executing PA-CTR 1, V(1)=23, V(2)=0, repcount=8, factor=5/3
487 7107 -1 32 223 <A 1141
488 7108 0 32 222 23 A> 1141
489 7190 82 32 222 23 3341 A>
490 7193 81 32 222 23 3341 <A 33
491 7275 -1 32 222 23 <A 1141 33
492 7278 0 32 222 33 A> 1141 33
493 7360 82 32 222 3342 A> 33
494 7361 81 32 222 3342 <A 13
495 7445 -3 32 222 <A 1142 13
496 7446 -2 32 22 23 A> 1142 13
497 7530 82 32 22 23 3342 A> 13
498 7533 81 32 22 23 3342 <A 11
499 7617 -3 32 22 23 <A 1143
500 7620 -2 32 22 33 A> 1143
501 7706 84 32 22 3344 A>
502 7709 83 32 22 3344 <A 33
503 7797 -5 32 22 <A 1144 33
504 7798 -4 32 23 A> 1144 33
505 7886 84 32 23 3344 A> 33
506 7887 83 32 23 3344 <A 13
507 7975 -5 32 23 <A 1144 13
508 7978 -4 32 33 A> 1144 13
509 8066 84 32 3345 A> 13
510 8069 83 32 3345 <A 11
511 8159 -7 32 <A 1146
512 8160 -6 33 A> 1146
513 8252 86 3347 A>
514 8255 85 3347 <A 33
515 8349 -9 <A 1147 33
516 8350 -8 03 B> 1147 33
517 8444 86 03 2247 B> 33
518 8445 85 03 2247 <A 33
519 8446 86 03 2246 23 A> 33
520 8447 85 03 2246 23 <A 13
521 8450 86 03 2246 33 A> 13
522 8453 85 03 2246 33 <A 11
523 8455 83 03 2246 <A 112
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 32 223 <A 111+V(1)
1 1 1 32 222 23 A> 111+V(1)
2 3+2*V(1) 3+2*V(1) 32 222 23 331+V(1) A>
3 6+2*V(1) 2+2*V(1) 32 222 23 331+V(1) <A 33
4 8+4*V(1) 0 32 222 23 <A 111+V(1) 33
5 11+4*V(1) 1 32 222 33 A> 111+V(1) 33
6 13+6*V(1) 3+2*V(1) 32 222 332+V(1) A> 33
7 14+6*V(1) 2+2*V(1) 32 222 332+V(1) <A 13
8 18+8*V(1) -2 32 222 <A 112+V(1) 13
9 19+8*V(1) -1 32 22 23 A> 112+V(1) 13
10 23+10*V(1) 3+2*V(1) 32 22 23 332+V(1) A> 13
11 26+10*V(1) 2+2*V(1) 32 22 23 332+V(1) <A 11
12 30+12*V(1) -2 32 22 23 <A 113+V(1)
13 33+12*V(1) -1 32 22 33 A> 113+V(1)
14 39+14*V(1) 5+2*V(1) 32 22 334+V(1) A>
15 42+14*V(1) 4+2*V(1) 32 22 334+V(1) <A 33
16 50+16*V(1) -4 32 22 <A 114+V(1) 33
17 51+16*V(1) -3 32 23 A> 114+V(1) 33
18 59+18*V(1) 5+2*V(1) 32 23 334+V(1) A> 33
19 60+18*V(1) 4+2*V(1) 32 23 334+V(1) <A 13
20 68+20*V(1) -4 32 23 <A 114+V(1) 13
21 71+20*V(1) -3 32 33 A> 114+V(1) 13
22 79+22*V(1) 5+2*V(1) 32 335+V(1) A> 13
23 82+22*V(1) 4+2*V(1) 32 335+V(1) <A 11
24 92+24*V(1) -6 32 <A 116+V(1)
25 93+24*V(1) -5 33 A> 116+V(1)
26 105+26*V(1) 7+2*V(1) 337+V(1) A>
27 108+26*V(1) 6+2*V(1) 337+V(1) <A 33
28 122+28*V(1) -8 <A 117+V(1) 33
29 123+28*V(1) -7 03 B> 117+V(1) 33
30 137+30*V(1) 7+2*V(1) 03 227+V(1) B> 33
31 138+30*V(1) 6+2*V(1) 03 227+V(1) <A 33
32 139+30*V(1) 7+2*V(1) 03 226+V(1) 23 A> 33
33 140+30*V(1) 6+2*V(1) 03 226+V(1) 23 <A 13
34 143+30*V(1) 7+2*V(1) 03 226+V(1) 33 A> 13
35 146+30*V(1) 6+2*V(1) 03 226+V(1) 33 <A 11
36 148+30*V(1) 4+2*V(1) 03 226+V(1) <A 112
<< Success! ==> defined new CTR 5 (PPA)
523 8455 83 03 2246 <A 112
== Executing PA-CTR 1, V(1)=42, V(2)=1, repcount=15, factor=5/3
883 22795 -7 03 22 <A 1177
== Executing PPA-CTR 4 (once), V(1)=74
894 23585 147 32 2278 <A 11
== Executing PA-CTR 1, V(1)=74, V(2)=0, repcount=25, factor=5/3
1494 61885 -3 32 223 <A 11126
== Executing PPA-CTR 5 (once), V(1)=125
1530 65783 251 03 22131 <A 112
== Executing PA-CTR 1, V(1)=127, V(2)=1, repcount=43, factor=5/3
2562 179131 -7 03 222 <A 11217
== Executing PPA-CTR 2 (once), V(1)=215
2586 183091 427 32 22219 <A 112
== Executing PA-CTR 1, V(1)=215, V(2)=1, repcount=72, factor=5/3
4314 498163 -5 32 223 <A 11362
== Executing PPA-CTR 5 (once), V(1)=361
4350 509141 721 03 22367 <A 112
== Executing PA-CTR 1, V(1)=363, V(2)=1, repcount=122, factor=5/3
7278 1409013 -11 03 22 <A 11612
== Executing PPA-CTR 4 (once), V(1)=609
7289 1415153 1213 32 22613 <A 11
== Executing PA-CTR 1, V(1)=609, V(2)=0, repcount=204, factor=5/3
12185 3918641 -11 32 22 <A 111021
12186 3918642 -10 32 23 A> 111021
12187 3920684 2032 32 23 331021 A>
12188 3920687 2031 32 23 331021 <A 33
12189 3922729 -11 32 23 <A 111021 33
12190 3922732 -10 32 33 A> 111021 33
12191 3924774 2032 32 331022 A> 33
12192 3924775 2031 32 331022 <A 13
12193 3926819 -13 32 <A 111022 13
12194 3926820 -12 33 A> 111022 13
12195 3928864 2032 331023 A> 13
12196 3928867 2031 331023 <A 11
12197 3930913 -15 <A 111024
12198 3930914 -14 03 B> 111024
12199 3932962 2034 03 221024 B>
12200 3932963 2033 03 221024 <B 30
12201 3932964 2032 03 221023 H> 22 30 [stop]
Lines: 194
Top steps: 193
Macro steps: 12201
Basic steps: 3932964
Tape index: 2032
nonzeros: 2050
log10(nonzeros): 3.312
log10(steps ): 6.595
Run state: stop
Input to awk program:
gohalt 1
nbs 4
T 2-state 4-symbol currently best (T.J. & S. Ligocki)
: 2050 3932964
5T 3RB 3RA 3RA 1LA 3LB 2RB 2LH 3LA
L 10
M 201
pref sim
machv Lig24_a just simple
machv Lig24_a-r with repetitions reduced
machv Lig24_a-1 with tape symbol exponents
machv Lig24_a-m as 2-macro machine
machv Lig24_a-a as 2-macro machine with pure additive config-TRs
iam Lig24_a-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:38 CEST 2010
edate Tue Jul 6 22:12:38 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:38 CEST 2010