Comment: This TM produces 43'925 nonzeros in 1'808'669'066 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | A2L | A1R | 1 | right | B | 2 | left | A | 1 | right | A |
| B | B1L | A1L | C2R | 1 | left | B | 1 | left | A | 2 | right | C |
| C | Z1R | C1L | B2R | 1 | right | Z | 1 | left | C | 2 | right | B |
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 11
2 4 0 01 B> 11
3 5 -1 01 <A 11
4 8 0 12 C> 11
5 9 -1 12 <C 11
6 10 0 12 B> 11
7 11 -1 12 <A 11
8 12 0 11 A> 11
9 13 -1 11 <A 21
10 15 -3 <A 22 21
11 16 -2 01 B> 22 21
12 18 0 01 22 B> 21
13 25 -1 01 22 <A 22
14 26 0 01 21 A> 22
15 28 2 01 21 11 A>
16 31 1 01 21 11 <A 11
17 33 -1 01 21 <A 22 11
18 36 0 01 11 A> 22 11
19 38 2 01 112 A> 11
20 39 1 01 112 <A 21
21 43 -3 01 <A 222 21
22 46 -2 12 C> 222 21
23 50 2 12 222 C> 21
24 55 1 12 222 <A 22
25 56 2 12 22 21 A> 22
26 58 4 12 22 21 11 A>
27 61 3 12 22 21 11 <A 11
28 63 1 12 22 21 <A 22 11
29 66 2 12 22 11 A> 22 11
30 68 4 12 22 112 A> 11
31 69 3 12 22 112 <A 21
32 73 -1 12 22 <A 222 21
33 74 0 12 21 A> 222 21
34 78 4 12 21 112 A> 21
35 81 3 12 21 112 <A 22
36 85 -1 12 21 <A 223
37 88 0 12 11 A> 223
38 94 6 12 114 A>
39 97 5 12 114 <A 11
40 105 -3 12 <A 224 11
41 106 -2 11 A> 224 11
42 114 6 115 A> 11
43 115 5 115 <A 21
44 125 -5 <A 225 21
45 126 -4 01 B> 225 21
46 136 6 01 225 B> 21
47 143 5 01 225 <A 22
48 144 6 01 224 21 A> 22
49 146 8 01 224 21 11 A>
50 149 7 01 224 21 11 <A 11
51 151 5 01 224 21 <A 22 11
52 154 6 01 224 11 A> 22 11
53 156 8 01 224 112 A> 11
54 157 7 01 224 112 <A 21
55 161 3 01 224 <A 222 21
56 162 4 01 223 21 A> 222 21
57 166 8 01 223 21 112 A> 21
58 169 7 01 223 21 112 <A 22
59 173 3 01 223 21 <A 223
60 176 4 01 223 11 A> 223
61 182 10 01 223 114 A>
62 185 9 01 223 114 <A 11
63 193 1 01 223 <A 224 11
64 194 2 01 222 21 A> 224 11
65 202 10 01 222 21 114 A> 11
66 203 9 01 222 21 114 <A 21
67 211 1 01 222 21 <A 224 21
68 214 2 01 222 11 A> 224 21
69 222 10 01 222 115 A> 21
70 225 9 01 222 115 <A 22
71 235 -1 01 222 <A 226
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 224+V(1) <A 221+V(2)
1 1 1 [*]* 223+V(1) 21 A> 221+V(2)
2 3+2*V(2) 3+2*V(2) [*]* 223+V(1) 21 111+V(2) A>
3 6+2*V(2) 2+2*V(2) [*]* 223+V(1) 21 111+V(2) <A 11
4 8+4*V(2) 0 [*]* 223+V(1) 21 <A 221+V(2) 11
5 11+4*V(2) 1 [*]* 223+V(1) 11 A> 221+V(2) 11
6 13+6*V(2) 3+2*V(2) [*]* 223+V(1) 112+V(2) A> 11
7 14+6*V(2) 2+2*V(2) [*]* 223+V(1) 112+V(2) <A 21
8 18+8*V(2) -2 [*]* 223+V(1) <A 222+V(2) 21
9 19+8*V(2) -1 [*]* 222+V(1) 21 A> 222+V(2) 21
10 23+10*V(2) 3+2*V(2) [*]* 222+V(1) 21 112+V(2) A> 21
11 26+10*V(2) 2+2*V(2) [*]* 222+V(1) 21 112+V(2) <A 22
12 30+12*V(2) -2 [*]* 222+V(1) 21 <A 223+V(2)
13 33+12*V(2) -1 [*]* 222+V(1) 11 A> 223+V(2)
14 39+14*V(2) 5+2*V(2) [*]* 222+V(1) 114+V(2) A>
15 42+14*V(2) 4+2*V(2) [*]* 222+V(1) 114+V(2) <A 11
16 50+16*V(2) -4 [*]* 222+V(1) <A 224+V(2) 11
17 51+16*V(2) -3 [*]* 221+V(1) 21 A> 224+V(2) 11
18 59+18*V(2) 5+2*V(2) [*]* 221+V(1) 21 114+V(2) A> 11
19 60+18*V(2) 4+2*V(2) [*]* 221+V(1) 21 114+V(2) <A 21
20 68+20*V(2) -4 [*]* 221+V(1) 21 <A 224+V(2) 21
21 71+20*V(2) -3 [*]* 221+V(1) 11 A> 224+V(2) 21
22 79+22*V(2) 5+2*V(2) [*]* 221+V(1) 115+V(2) A> 21
23 82+22*V(2) 4+2*V(2) [*]* 221+V(1) 115+V(2) <A 22
24 92+24*V(2) -6 [*]* 221+V(1) <A 226+V(2)
<< Success! ==> defined new CTR 1 (PA)
72 236 0 01 22 21 A> 226
73 248 12 01 22 21 116 A>
74 251 11 01 22 21 116 <A 11
75 263 -1 01 22 21 <A 226 11
76 266 0 01 22 11 A> 226 11
77 278 12 01 22 117 A> 11
78 279 11 01 22 117 <A 21
79 293 -3 01 22 <A 227 21
80 294 -2 01 21 A> 227 21
81 308 12 01 21 117 A> 21
82 311 11 01 21 117 <A 22
83 325 -3 01 21 <A 228
84 328 -2 01 11 A> 228
85 344 14 01 119 A>
86 347 13 01 119 <A 11
87 365 -5 01 <A 229 11
88 368 -4 12 C> 229 11
89 386 14 12 229 C> 11
90 387 13 12 229 <C 11
91 388 14 12 229 B> 11
92 389 13 12 229 <A 11
93 390 14 12 228 21 A> 11
94 391 13 12 228 21 <A 21
95 394 14 12 228 11 A> 21
96 397 13 12 228 11 <A 22
97 399 11 12 228 <A 222
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 222 <A 222+V(1)
1 1 1 01 22 21 A> 222+V(1)
2 5+2*V(1) 5+2*V(1) 01 22 21 112+V(1) A>
3 8+2*V(1) 4+2*V(1) 01 22 21 112+V(1) <A 11
4 12+4*V(1) 0 01 22 21 <A 222+V(1) 11
5 15+4*V(1) 1 01 22 11 A> 222+V(1) 11
6 19+6*V(1) 5+2*V(1) 01 22 113+V(1) A> 11
7 20+6*V(1) 4+2*V(1) 01 22 113+V(1) <A 21
8 26+8*V(1) -2 01 22 <A 223+V(1) 21
9 27+8*V(1) -1 01 21 A> 223+V(1) 21
10 33+10*V(1) 5+2*V(1) 01 21 113+V(1) A> 21
11 36+10*V(1) 4+2*V(1) 01 21 113+V(1) <A 22
12 42+12*V(1) -2 01 21 <A 224+V(1)
13 45+12*V(1) -1 01 11 A> 224+V(1)
14 53+14*V(1) 7+2*V(1) 01 115+V(1) A>
15 56+14*V(1) 6+2*V(1) 01 115+V(1) <A 11
16 66+16*V(1) -4 01 <A 225+V(1) 11
17 69+16*V(1) -3 12 C> 225+V(1) 11
18 79+18*V(1) 7+2*V(1) 12 225+V(1) C> 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 225+V(1) B> 11
21 82+18*V(1) 6+2*V(1) 12 225+V(1) <A 11
22 83+18*V(1) 7+2*V(1) 12 224+V(1) 21 A> 11
23 84+18*V(1) 6+2*V(1) 12 224+V(1) 21 <A 21
24 87+18*V(1) 7+2*V(1) 12 224+V(1) 11 A> 21
25 90+18*V(1) 6+2*V(1) 12 224+V(1) 11 <A 22
26 92+18*V(1) 4+2*V(1) 12 224+V(1) <A 222
<< Success! ==> defined new CTR 2 (PPA)
97 399 11 12 228 <A 222
== Executing PA-CTR 1, V(1)=4, V(2)=1, repcount=2, factor=5/3
145 751 -1 12 222 <A 2212
146 752 0 12 22 21 A> 2212
147 776 24 12 22 21 1112 A>
148 779 23 12 22 21 1112 <A 11
149 803 -1 12 22 21 <A 2212 11
150 806 0 12 22 11 A> 2212 11
151 830 24 12 22 1113 A> 11
152 831 23 12 22 1113 <A 21
153 857 -3 12 22 <A 2213 21
154 858 -2 12 21 A> 2213 21
155 884 24 12 21 1113 A> 21
156 887 23 12 21 1113 <A 22
157 913 -3 12 21 <A 2214
158 916 -2 12 11 A> 2214
159 944 26 12 1115 A>
160 947 25 12 1115 <A 11
161 977 -5 12 <A 2215 11
162 978 -4 11 A> 2215 11
163 1008 26 1116 A> 11
164 1009 25 1116 <A 21
165 1041 -7 <A 2216 21
166 1042 -6 01 B> 2216 21
167 1074 26 01 2216 B> 21
168 1081 25 01 2216 <A 22
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 12 222 <A 221+V(1)
1 1 1 12 22 21 A> 221+V(1)
2 3+2*V(1) 3+2*V(1) 12 22 21 111+V(1) A>
3 6+2*V(1) 2+2*V(1) 12 22 21 111+V(1) <A 11
4 8+4*V(1) 0 12 22 21 <A 221+V(1) 11
5 11+4*V(1) 1 12 22 11 A> 221+V(1) 11
6 13+6*V(1) 3+2*V(1) 12 22 112+V(1) A> 11
7 14+6*V(1) 2+2*V(1) 12 22 112+V(1) <A 21
8 18+8*V(1) -2 12 22 <A 222+V(1) 21
9 19+8*V(1) -1 12 21 A> 222+V(1) 21
10 23+10*V(1) 3+2*V(1) 12 21 112+V(1) A> 21
11 26+10*V(1) 2+2*V(1) 12 21 112+V(1) <A 22
12 30+12*V(1) -2 12 21 <A 223+V(1)
13 33+12*V(1) -1 12 11 A> 223+V(1)
14 39+14*V(1) 5+2*V(1) 12 114+V(1) A>
15 42+14*V(1) 4+2*V(1) 12 114+V(1) <A 11
16 50+16*V(1) -4 12 <A 224+V(1) 11
17 51+16*V(1) -3 11 A> 224+V(1) 11
18 59+18*V(1) 5+2*V(1) 115+V(1) A> 11
19 60+18*V(1) 4+2*V(1) 115+V(1) <A 21
20 70+20*V(1) -6 <A 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 88+22*V(1) 4+2*V(1) 01 225+V(1) <A 22
<< Success! ==> defined new CTR 3 (PPA)
168 1081 25 01 2216 <A 22
== Executing PA-CTR 1, V(1)=12, V(2)=0, repcount=5, factor=5/3
288 2741 -5 01 22 <A 2226
289 2742 -4 01 21 A> 2226
290 2794 48 01 21 1126 A>
291 2797 47 01 21 1126 <A 11
292 2849 -5 01 21 <A 2226 11
293 2852 -4 01 11 A> 2226 11
294 2904 48 01 1127 A> 11
295 2905 47 01 1127 <A 21
296 2959 -7 01 <A 2227 21
297 2962 -6 12 C> 2227 21
298 3016 48 12 2227 C> 21
299 3021 47 12 2227 <A 22
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 22 <A 223+V(1)
1 1 1 01 21 A> 223+V(1)
2 7+2*V(1) 7+2*V(1) 01 21 113+V(1) A>
3 10+2*V(1) 6+2*V(1) 01 21 113+V(1) <A 11
4 16+4*V(1) 0 01 21 <A 223+V(1) 11
5 19+4*V(1) 1 01 11 A> 223+V(1) 11
6 25+6*V(1) 7+2*V(1) 01 114+V(1) A> 11
7 26+6*V(1) 6+2*V(1) 01 114+V(1) <A 21
8 34+8*V(1) -2 01 <A 224+V(1) 21
9 37+8*V(1) -1 12 C> 224+V(1) 21
10 45+10*V(1) 7+2*V(1) 12 224+V(1) C> 21
11 50+10*V(1) 6+2*V(1) 12 224+V(1) <A 22
<< Success! ==> defined new CTR 4 (PPA)
299 3021 47 12 2227 <A 22
== Executing PA-CTR 1, V(1)=23, V(2)=0, repcount=8, factor=5/3
491 7117 -1 12 223 <A 2241
492 7118 0 12 222 21 A> 2241
493 7200 82 12 222 21 1141 A>
494 7203 81 12 222 21 1141 <A 11
495 7285 -1 12 222 21 <A 2241 11
496 7288 0 12 222 11 A> 2241 11
497 7370 82 12 222 1142 A> 11
498 7371 81 12 222 1142 <A 21
499 7455 -3 12 222 <A 2242 21
500 7456 -2 12 22 21 A> 2242 21
501 7540 82 12 22 21 1142 A> 21
502 7543 81 12 22 21 1142 <A 22
503 7627 -3 12 22 21 <A 2243
504 7630 -2 12 22 11 A> 2243
505 7716 84 12 22 1144 A>
506 7719 83 12 22 1144 <A 11
507 7807 -5 12 22 <A 2244 11
508 7808 -4 12 21 A> 2244 11
509 7896 84 12 21 1144 A> 11
510 7897 83 12 21 1144 <A 21
511 7985 -5 12 21 <A 2244 21
512 7988 -4 12 11 A> 2244 21
513 8076 84 12 1145 A> 21
514 8079 83 12 1145 <A 22
515 8169 -7 12 <A 2246
516 8170 -6 11 A> 2246
517 8262 86 1147 A>
518 8265 85 1147 <A 11
519 8359 -9 <A 2247 11
520 8360 -8 01 B> 2247 11
521 8454 86 01 2247 B> 11
522 8455 85 01 2247 <A 11
523 8456 86 01 2246 21 A> 11
524 8457 85 01 2246 21 <A 21
525 8460 86 01 2246 11 A> 21
526 8463 85 01 2246 11 <A 22
527 8465 83 01 2246 <A 222
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 12 223 <A 221+V(1)
1 1 1 12 222 21 A> 221+V(1)
2 3+2*V(1) 3+2*V(1) 12 222 21 111+V(1) A>
3 6+2*V(1) 2+2*V(1) 12 222 21 111+V(1) <A 11
4 8+4*V(1) 0 12 222 21 <A 221+V(1) 11
5 11+4*V(1) 1 12 222 11 A> 221+V(1) 11
6 13+6*V(1) 3+2*V(1) 12 222 112+V(1) A> 11
7 14+6*V(1) 2+2*V(1) 12 222 112+V(1) <A 21
8 18+8*V(1) -2 12 222 <A 222+V(1) 21
9 19+8*V(1) -1 12 22 21 A> 222+V(1) 21
10 23+10*V(1) 3+2*V(1) 12 22 21 112+V(1) A> 21
11 26+10*V(1) 2+2*V(1) 12 22 21 112+V(1) <A 22
12 30+12*V(1) -2 12 22 21 <A 223+V(1)
13 33+12*V(1) -1 12 22 11 A> 223+V(1)
14 39+14*V(1) 5+2*V(1) 12 22 114+V(1) A>
15 42+14*V(1) 4+2*V(1) 12 22 114+V(1) <A 11
16 50+16*V(1) -4 12 22 <A 224+V(1) 11
17 51+16*V(1) -3 12 21 A> 224+V(1) 11
18 59+18*V(1) 5+2*V(1) 12 21 114+V(1) A> 11
19 60+18*V(1) 4+2*V(1) 12 21 114+V(1) <A 21
20 68+20*V(1) -4 12 21 <A 224+V(1) 21
21 71+20*V(1) -3 12 11 A> 224+V(1) 21
22 79+22*V(1) 5+2*V(1) 12 115+V(1) A> 21
23 82+22*V(1) 4+2*V(1) 12 115+V(1) <A 22
24 92+24*V(1) -6 12 <A 226+V(1)
25 93+24*V(1) -5 11 A> 226+V(1)
26 105+26*V(1) 7+2*V(1) 117+V(1) A>
27 108+26*V(1) 6+2*V(1) 117+V(1) <A 11
28 122+28*V(1) -8 <A 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) <A 11
32 139+30*V(1) 7+2*V(1) 01 226+V(1) 21 A> 11
33 140+30*V(1) 6+2*V(1) 01 226+V(1) 21 <A 21
34 143+30*V(1) 7+2*V(1) 01 226+V(1) 11 A> 21
35 146+30*V(1) 6+2*V(1) 01 226+V(1) 11 <A 22
36 148+30*V(1) 4+2*V(1) 01 226+V(1) <A 222
<< Success! ==> defined new CTR 5 (PPA)
527 8465 83 01 2246 <A 222
== Executing PA-CTR 1, V(1)=42, V(2)=1, repcount=15, factor=5/3
887 22805 -7 01 22 <A 2277
== Executing PPA-CTR 4 (once), V(1)=74
898 23595 147 12 2278 <A 22
== Executing PA-CTR 1, V(1)=74, V(2)=0, repcount=25, factor=5/3
1498 61895 -3 12 223 <A 22126
== Executing PPA-CTR 5 (once), V(1)=125
1534 65793 251 01 22131 <A 222
== Executing PA-CTR 1, V(1)=127, V(2)=1, repcount=43, factor=5/3
2566 179141 -7 01 222 <A 22217
== Executing PPA-CTR 2 (once), V(1)=215
2592 183103 427 12 22219 <A 222
== Executing PA-CTR 1, V(1)=215, V(2)=1, repcount=72, factor=5/3
4320 498175 -5 12 223 <A 22362
== Executing PPA-CTR 5 (once), V(1)=361
4356 509153 721 01 22367 <A 222
== Executing PA-CTR 1, V(1)=363, V(2)=1, repcount=122, factor=5/3
7284 1409025 -11 01 22 <A 22612
== Executing PPA-CTR 4 (once), V(1)=609
7295 1415165 1213 12 22613 <A 22
== Executing PA-CTR 1, V(1)=609, V(2)=0, repcount=204, factor=5/3
12191 3918653 -11 12 22 <A 221021
12192 3918654 -10 12 21 A> 221021
12193 3920696 2032 12 21 111021 A>
12194 3920699 2031 12 21 111021 <A 11
12195 3922741 -11 12 21 <A 221021 11
12196 3922744 -10 12 11 A> 221021 11
12197 3924786 2032 12 111022 A> 11
12198 3924787 2031 12 111022 <A 21
12199 3926831 -13 12 <A 221022 21
12200 3926832 -12 11 A> 221022 21
12201 3928876 2032 111023 A> 21
12202 3928879 2031 111023 <A 22
12203 3930925 -15 <A 221024
12204 3930926 -14 01 B> 221024
12205 3932974 2034 01 221024 B>
12206 3932975 2033 01 221024 <B 10
12207 3932976 2034 01 221024 C> 10
12208 3932977 2033 01 221024 <C 10
12209 3932978 2034 01 221024 B> 10
12210 3932979 2033 01 221024 <A 10
12211 3932980 2034 01 221023 21 A> 10
12212 3932981 2033 01 221023 21 <A 20
12213 3932984 2034 01 221023 11 A> 20
12214 3932986 2036 01 221023 112 B>
12215 3932987 2035 01 221023 112 <B 10
12216 3932989 2033 01 221023 11 <A 21 10
12217 3932991 2031 01 221023 <A 22 21 10
12218 3932992 2032 01 221022 21 A> 22 21 10
12219 3932994 2034 01 221022 21 11 A> 21 10
12220 3932997 2033 01 221022 21 11 <A 22 10
12221 3932999 2031 01 221022 21 <A 222 10
12222 3933002 2032 01 221022 11 A> 222 10
12223 3933006 2036 01 221022 113 A> 10
12224 3933007 2035 01 221022 113 <A 20
12225 3933013 2029 01 221022 <A 223 20
12226 3933014 2030 01 221021 21 A> 223 20
12227 3933020 2036 01 221021 21 113 A> 20
12228 3933022 2038 01 221021 21 114 B>
12229 3933023 2037 01 221021 21 114 <B 10
12230 3933025 2035 01 221021 21 113 <A 21 10
12231 3933031 2029 01 221021 21 <A 223 21 10
12232 3933034 2030 01 221021 11 A> 223 21 10
12233 3933040 2036 01 221021 114 A> 21 10
12234 3933043 2035 01 221021 114 <A 22 10
12235 3933051 2027 01 221021 <A 225 10
12236 3933052 2028 01 221020 21 A> 225 10
12237 3933062 2038 01 221020 21 115 A> 10
12238 3933063 2037 01 221020 21 115 <A 20
12239 3933073 2027 01 221020 21 <A 225 20
12240 3933076 2028 01 221020 11 A> 225 20
12241 3933086 2038 01 221020 116 A> 20
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 224+V(2) 111+V(1) A> 20
1 2 2 [*]* 224+V(2) 112+V(1) B>
2 3 1 [*]* 224+V(2) 112+V(1) <B 10
3 5 -1 [*]* 224+V(2) 111+V(1) <A 21 10
4 7+2*V(1) -3+-2*V(1) [*]* 224+V(2) <A 221+V(1) 21 10
5 8+2*V(1) -2+-2*V(1) [*]* 223+V(2) 21 A> 221+V(1) 21 10
6 10+4*V(1) 0 [*]* 223+V(2) 21 111+V(1) A> 21 10
7 13+4*V(1) -1 [*]* 223+V(2) 21 111+V(1) <A 22 10
8 15+6*V(1) -3+-2*V(1) [*]* 223+V(2) 21 <A 222+V(1) 10
9 18+6*V(1) -2+-2*V(1) [*]* 223+V(2) 11 A> 222+V(1) 10
10 22+8*V(1) 2 [*]* 223+V(2) 113+V(1) A> 10
11 23+8*V(1) 1 [*]* 223+V(2) 113+V(1) <A 20
12 29+10*V(1) -5+-2*V(1) [*]* 223+V(2) <A 223+V(1) 20
13 30+10*V(1) -4+-2*V(1) [*]* 222+V(2) 21 A> 223+V(1) 20
14 36+12*V(1) 2 [*]* 222+V(2) 21 113+V(1) A> 20
15 38+12*V(1) 4 [*]* 222+V(2) 21 114+V(1) B>
16 39+12*V(1) 3 [*]* 222+V(2) 21 114+V(1) <B 10
17 41+12*V(1) 1 [*]* 222+V(2) 21 113+V(1) <A 21 10
18 47+14*V(1) -5+-2*V(1) [*]* 222+V(2) 21 <A 223+V(1) 21 10
19 50+14*V(1) -4+-2*V(1) [*]* 222+V(2) 11 A> 223+V(1) 21 10
20 56+16*V(1) 2 [*]* 222+V(2) 114+V(1) A> 21 10
21 59+16*V(1) 1 [*]* 222+V(2) 114+V(1) <A 22 10
22 67+18*V(1) -7+-2*V(1) [*]* 222+V(2) <A 225+V(1) 10
23 68+18*V(1) -6+-2*V(1) [*]* 221+V(2) 21 A> 225+V(1) 10
24 78+20*V(1) 4 [*]* 221+V(2) 21 115+V(1) A> 10
25 79+20*V(1) 3 [*]* 221+V(2) 21 115+V(1) <A 20
26 89+22*V(1) -7+-2*V(1) [*]* 221+V(2) 21 <A 225+V(1) 20
27 92+22*V(1) -6+-2*V(1) [*]* 221+V(2) 11 A> 225+V(1) 20
28 102+24*V(1) 4 [*]* 221+V(2) 116+V(1) A> 20
<< Success! ==> defined new CTR 6 (PA)
12241 3933086 2038 01 221020 116 A> 20
== Executing PA-CTR 6, V(1)=5, V(2)=1016, repcount=339, factor=5/3
21733 10883264 3394 01 223 111701 A> 20
21734 10883266 3396 01 223 111702 B>
21735 10883267 3395 01 223 111702 <B 10
21736 10883269 3393 01 223 111701 <A 21 10
21737 10886671 -9 01 223 <A 221701 21 10
21738 10886672 -8 01 222 21 A> 221701 21 10
21739 10890074 3394 01 222 21 111701 A> 21 10
21740 10890077 3393 01 222 21 111701 <A 22 10
21741 10893479 -9 01 222 21 <A 221702 10
21742 10893482 -8 01 222 11 A> 221702 10
21743 10896886 3396 01 222 111703 A> 10
21744 10896887 3395 01 222 111703 <A 20
21745 10900293 -11 01 222 <A 221703 20
21746 10900294 -10 01 22 21 A> 221703 20
21747 10903700 3396 01 22 21 111703 A> 20
21748 10903702 3398 01 22 21 111704 B>
21749 10903703 3397 01 22 21 111704 <B 10
21750 10903705 3395 01 22 21 111703 <A 21 10
21751 10907111 -11 01 22 21 <A 221703 21 10
21752 10907114 -10 01 22 11 A> 221703 21 10
21753 10910520 3396 01 22 111704 A> 21 10
21754 10910523 3395 01 22 111704 <A 22 10
21755 10913931 -13 01 22 <A 221705 10
21756 10913932 -12 01 21 A> 221705 10
21757 10917342 3398 01 21 111705 A> 10
21758 10917343 3397 01 21 111705 <A 20
21759 10920753 -13 01 21 <A 221705 20
21760 10920756 -12 01 11 A> 221705 20
21761 10924166 3398 01 111706 A> 20
21762 10924168 3400 01 111707 B>
21763 10924169 3399 01 111707 <B 10
21764 10924171 3397 01 111706 <A 21 10
21765 10927583 -15 01 <A 221706 21 10
21766 10927586 -14 12 C> 221706 21 10
21767 10930998 3398 12 221706 C> 21 10
21768 10931003 3397 12 221706 <A 22 10
21769 10931004 3398 12 221705 21 A> 22 10
21770 10931006 3400 12 221705 21 11 A> 10
21771 10931007 3399 12 221705 21 11 <A 20
21772 10931009 3397 12 221705 21 <A 22 20
21773 10931012 3398 12 221705 11 A> 22 20
21774 10931014 3400 12 221705 112 A> 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 223 111+V(1) A> 20
1 2 2 01 223 112+V(1) B>
2 3 1 01 223 112+V(1) <B 10
3 5 -1 01 223 111+V(1) <A 21 10
4 7+2*V(1) -3+-2*V(1) 01 223 <A 221+V(1) 21 10
5 8+2*V(1) -2+-2*V(1) 01 222 21 A> 221+V(1) 21 10
6 10+4*V(1) 0 01 222 21 111+V(1) A> 21 10
7 13+4*V(1) -1 01 222 21 111+V(1) <A 22 10
8 15+6*V(1) -3+-2*V(1) 01 222 21 <A 222+V(1) 10
9 18+6*V(1) -2+-2*V(1) 01 222 11 A> 222+V(1) 10
10 22+8*V(1) 2 01 222 113+V(1) A> 10
11 23+8*V(1) 1 01 222 113+V(1) <A 20
12 29+10*V(1) -5+-2*V(1) 01 222 <A 223+V(1) 20
13 30+10*V(1) -4+-2*V(1) 01 22 21 A> 223+V(1) 20
14 36+12*V(1) 2 01 22 21 113+V(1) A> 20
15 38+12*V(1) 4 01 22 21 114+V(1) B>
16 39+12*V(1) 3 01 22 21 114+V(1) <B 10
17 41+12*V(1) 1 01 22 21 113+V(1) <A 21 10
18 47+14*V(1) -5+-2*V(1) 01 22 21 <A 223+V(1) 21 10
19 50+14*V(1) -4+-2*V(1) 01 22 11 A> 223+V(1) 21 10
20 56+16*V(1) 2 01 22 114+V(1) A> 21 10
21 59+16*V(1) 1 01 22 114+V(1) <A 22 10
22 67+18*V(1) -7+-2*V(1) 01 22 <A 225+V(1) 10
23 68+18*V(1) -6+-2*V(1) 01 21 A> 225+V(1) 10
24 78+20*V(1) 4 01 21 115+V(1) A> 10
25 79+20*V(1) 3 01 21 115+V(1) <A 20
26 89+22*V(1) -7+-2*V(1) 01 21 <A 225+V(1) 20
27 92+22*V(1) -6+-2*V(1) 01 11 A> 225+V(1) 20
28 102+24*V(1) 4 01 116+V(1) A> 20
29 104+24*V(1) 6 01 117+V(1) B>
30 105+24*V(1) 5 01 117+V(1) <B 10
31 107+24*V(1) 3 01 116+V(1) <A 21 10
32 119+26*V(1) -9+-2*V(1) 01 <A 226+V(1) 21 10
33 122+26*V(1) -8+-2*V(1) 12 C> 226+V(1) 21 10
34 134+28*V(1) 4 12 226+V(1) C> 21 10
35 139+28*V(1) 3 12 226+V(1) <A 22 10
36 140+28*V(1) 4 12 225+V(1) 21 A> 22 10
37 142+28*V(1) 6 12 225+V(1) 21 11 A> 10
38 143+28*V(1) 5 12 225+V(1) 21 11 <A 20
39 145+28*V(1) 3 12 225+V(1) 21 <A 22 20
40 148+28*V(1) 4 12 225+V(1) 11 A> 22 20
41 150+28*V(1) 6 12 225+V(1) 112 A> 20
<< Success! ==> defined new CTR 7 (PPA)
21774 10931014 3400 12 221705 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=1701, repcount=568, factor=5/3
37678 30325942 5672 12 22 112842 A> 20
37679 30325944 5674 12 22 112843 B>
37680 30325945 5673 12 22 112843 <B 10
37681 30325947 5671 12 22 112842 <A 21 10
37682 30331631 -13 12 22 <A 222842 21 10
37683 30331632 -12 12 21 A> 222842 21 10
37684 30337316 5672 12 21 112842 A> 21 10
37685 30337319 5671 12 21 112842 <A 22 10
37686 30343003 -13 12 21 <A 222843 10
37687 30343006 -12 12 11 A> 222843 10
37688 30348692 5674 12 112844 A> 10
37689 30348693 5673 12 112844 <A 20
37690 30354381 -15 12 <A 222844 20
37691 30354382 -14 11 A> 222844 20
37692 30360070 5674 112845 A> 20
37693 30360072 5676 112846 B>
37694 30360073 5675 112846 <B 10
37695 30360075 5673 112845 <A 21 10
37696 30365765 -17 <A 222845 21 10
37697 30365766 -16 01 B> 222845 21 10
37698 30371456 5674 01 222845 B> 21 10
37699 30371463 5673 01 222845 <A 22 10
37700 30371464 5674 01 222844 21 A> 22 10
37701 30371466 5676 01 222844 21 11 A> 10
37702 30371467 5675 01 222844 21 11 <A 20
37703 30371469 5673 01 222844 21 <A 22 20
37704 30371472 5674 01 222844 11 A> 22 20
37705 30371474 5676 01 222844 112 A> 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 12 22 112+V(1) A> 20
1 2 2 12 22 113+V(1) B>
2 3 1 12 22 113+V(1) <B 10
3 5 -1 12 22 112+V(1) <A 21 10
4 9+2*V(1) -5+-2*V(1) 12 22 <A 222+V(1) 21 10
5 10+2*V(1) -4+-2*V(1) 12 21 A> 222+V(1) 21 10
6 14+4*V(1) 0 12 21 112+V(1) A> 21 10
7 17+4*V(1) -1 12 21 112+V(1) <A 22 10
8 21+6*V(1) -5+-2*V(1) 12 21 <A 223+V(1) 10
9 24+6*V(1) -4+-2*V(1) 12 11 A> 223+V(1) 10
10 30+8*V(1) 2 12 114+V(1) A> 10
11 31+8*V(1) 1 12 114+V(1) <A 20
12 39+10*V(1) -7+-2*V(1) 12 <A 224+V(1) 20
13 40+10*V(1) -6+-2*V(1) 11 A> 224+V(1) 20
14 48+12*V(1) 2 115+V(1) A> 20
15 50+12*V(1) 4 116+V(1) B>
16 51+12*V(1) 3 116+V(1) <B 10
17 53+12*V(1) 1 115+V(1) <A 21 10
18 63+14*V(1) -9+-2*V(1) <A 225+V(1) 21 10
19 64+14*V(1) -8+-2*V(1) 01 B> 225+V(1) 21 10
20 74+16*V(1) 2 01 225+V(1) B> 21 10
21 81+16*V(1) 1 01 225+V(1) <A 22 10
22 82+16*V(1) 2 01 224+V(1) 21 A> 22 10
23 84+16*V(1) 4 01 224+V(1) 21 11 A> 10
24 85+16*V(1) 3 01 224+V(1) 21 11 <A 20
25 87+16*V(1) 1 01 224+V(1) 21 <A 22 20
26 90+16*V(1) 2 01 224+V(1) 11 A> 22 20
27 92+16*V(1) 4 01 224+V(1) 112 A> 20
<< Success! ==> defined new CTR 8 (PPA)
37705 30371474 5676 01 222844 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=2840, repcount=947, factor=5/3
64221 84242516 9464 01 223 114737 A> 20
== Executing PPA-CTR 7 (once), V(1)=4736
64262 84375274 9470 12 224741 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=4737, repcount=1580, factor=5/3
108502 234263554 15790 12 22 117902 A> 20
== Executing PPA-CTR 8 (once), V(1)=7900
108529 234390046 15794 01 227904 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=7900, repcount=2634, factor=5/3
182281 650841250 26330 01 222 1113172 A> 20
182282 650841252 26332 01 222 1113173 B>
182283 650841253 26331 01 222 1113173 <B 10
182284 650841255 26329 01 222 1113172 <A 21 10
182285 650867599 -15 01 222 <A 2213172 21 10
182286 650867600 -14 01 22 21 A> 2213172 21 10
182287 650893944 26330 01 22 21 1113172 A> 21 10
182288 650893947 26329 01 22 21 1113172 <A 22 10
182289 650920291 -15 01 22 21 <A 2213173 10
182290 650920294 -14 01 22 11 A> 2213173 10
182291 650946640 26332 01 22 1113174 A> 10
182292 650946641 26331 01 22 1113174 <A 20
182293 650972989 -17 01 22 <A 2213174 20
182294 650972990 -16 01 21 A> 2213174 20
182295 650999338 26332 01 21 1113174 A> 20
182296 650999340 26334 01 21 1113175 B>
182297 650999341 26333 01 21 1113175 <B 10
182298 650999343 26331 01 21 1113174 <A 21 10
182299 651025691 -17 01 21 <A 2213174 21 10
182300 651025694 -16 01 11 A> 2213174 21 10
182301 651052042 26332 01 1113175 A> 21 10
182302 651052045 26331 01 1113175 <A 22 10
182303 651078395 -19 01 <A 2213176 10
182304 651078398 -18 12 C> 2213176 10
182305 651104750 26334 12 2213176 C> 10
182306 651104751 26333 12 2213176 <C 10
182307 651104752 26334 12 2213176 B> 10
182308 651104753 26333 12 2213176 <A 10
182309 651104754 26334 12 2213175 21 A> 10
182310 651104755 26333 12 2213175 21 <A 20
182311 651104758 26334 12 2213175 11 A> 20
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 222 111+V(1) A> 20
1 2 2 01 222 112+V(1) B>
2 3 1 01 222 112+V(1) <B 10
3 5 -1 01 222 111+V(1) <A 21 10
4 7+2*V(1) -3+-2*V(1) 01 222 <A 221+V(1) 21 10
5 8+2*V(1) -2+-2*V(1) 01 22 21 A> 221+V(1) 21 10
6 10+4*V(1) 0 01 22 21 111+V(1) A> 21 10
7 13+4*V(1) -1 01 22 21 111+V(1) <A 22 10
8 15+6*V(1) -3+-2*V(1) 01 22 21 <A 222+V(1) 10
9 18+6*V(1) -2+-2*V(1) 01 22 11 A> 222+V(1) 10
10 22+8*V(1) 2 01 22 113+V(1) A> 10
11 23+8*V(1) 1 01 22 113+V(1) <A 20
12 29+10*V(1) -5+-2*V(1) 01 22 <A 223+V(1) 20
13 30+10*V(1) -4+-2*V(1) 01 21 A> 223+V(1) 20
14 36+12*V(1) 2 01 21 113+V(1) A> 20
15 38+12*V(1) 4 01 21 114+V(1) B>
16 39+12*V(1) 3 01 21 114+V(1) <B 10
17 41+12*V(1) 1 01 21 113+V(1) <A 21 10
18 47+14*V(1) -5+-2*V(1) 01 21 <A 223+V(1) 21 10
19 50+14*V(1) -4+-2*V(1) 01 11 A> 223+V(1) 21 10
20 56+16*V(1) 2 01 114+V(1) A> 21 10
21 59+16*V(1) 1 01 114+V(1) <A 22 10
22 67+18*V(1) -7+-2*V(1) 01 <A 225+V(1) 10
23 70+18*V(1) -6+-2*V(1) 12 C> 225+V(1) 10
24 80+20*V(1) 4 12 225+V(1) C> 10
25 81+20*V(1) 3 12 225+V(1) <C 10
26 82+20*V(1) 4 12 225+V(1) B> 10
27 83+20*V(1) 3 12 225+V(1) <A 10
28 84+20*V(1) 4 12 224+V(1) 21 A> 10
29 85+20*V(1) 3 12 224+V(1) 21 <A 20
30 88+20*V(1) 4 12 224+V(1) 11 A> 20
<< Success! ==> defined new CTR 9 (PPA)
182311 651104758 26334 12 2213175 11 A> 20
== Executing PA-CTR 6, V(1)=0, V(2)=13171, repcount=4391, factor=5/3
305259 1808142040 43898 12 222 1121956 A> 20
305260 1808142042 43900 12 222 1121957 B>
305261 1808142043 43899 12 222 1121957 <B 10
305262 1808142045 43897 12 222 1121956 <A 21 10
305263 1808185957 -15 12 222 <A 2221956 21 10
305264 1808185958 -14 12 22 21 A> 2221956 21 10
305265 1808229870 43898 12 22 21 1121956 A> 21 10
305266 1808229873 43897 12 22 21 1121956 <A 22 10
305267 1808273785 -15 12 22 21 <A 2221957 10
305268 1808273788 -14 12 22 11 A> 2221957 10
305269 1808317702 43900 12 22 1121958 A> 10
305270 1808317703 43899 12 22 1121958 <A 20
305271 1808361619 -17 12 22 <A 2221958 20
305272 1808361620 -16 12 21 A> 2221958 20
305273 1808405536 43900 12 21 1121958 A> 20
305274 1808405538 43902 12 21 1121959 B>
305275 1808405539 43901 12 21 1121959 <B 10
305276 1808405541 43899 12 21 1121958 <A 21 10
305277 1808449457 -17 12 21 <A 2221958 21 10
305278 1808449460 -16 12 11 A> 2221958 21 10
305279 1808493376 43900 12 1121959 A> 21 10
305280 1808493379 43899 12 1121959 <A 22 10
305281 1808537297 -19 12 <A 2221960 10
305282 1808537298 -18 11 A> 2221960 10
305283 1808581218 43902 1121961 A> 10
305284 1808581219 43901 1121961 <A 20
305285 1808625141 -21 <A 2221961 20
305286 1808625142 -20 01 B> 2221961 20
305287 1808669064 43902 01 2221961 B> 20
305288 1808669066 43904 01 2221961 21 Z>
305288 1808669066 43904 01 2221961 21 Z> [stop]
Lines: 368
Top steps: 366
Macro steps: 305288
Basic steps: 1808669066
Tape index: 43904
nonzeros: 43925
log10(nonzeros): 4.643
log10(steps ): 9.257
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #c of G. Lafitte & C. Papazian
5T B1R A2L A1R B1L A1L C2R Z1R C1L B2R
: 43'925 1'808'669'066
L 10
M 400
pref sim
machv Laf33_c just simple
machv Laf33_c-r with repetitions reduced
machv Laf33_c-1 with tape symbol exponents
machv Laf33_c-m as 2-macro machine
machv Laf33_c-a as 2-macro machine with pure additive config-TRs
iam Laf33_c-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:48 CEST 2010
edate Tue Jul 6 22:11:49 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:48 CEST 2010