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