Comment: This TM produces 43'925 nonzeros in 1'808'669'046 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 | C1L | A1L | C2R | 1 | left | C | 1 | left | A | 2 | right | C |
| C | Z1R | A1L | B2R | 1 | right | Z | 1 | left | A | 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 <A 11
6 10 0 11 A> 11
7 11 -1 11 <A 21
8 13 -3 <A 22 21
9 14 -2 01 B> 22 21
10 16 0 01 22 B> 21
11 21 -1 01 22 <A 22
12 22 0 01 21 A> 22
13 24 2 01 21 11 A>
14 27 1 01 21 11 <A 11
15 29 -1 01 21 <A 22 11
16 32 0 01 11 A> 22 11
17 34 2 01 112 A> 11
18 35 1 01 112 <A 21
19 39 -3 01 <A 222 21
20 42 -2 12 C> 222 21
21 46 2 12 222 C> 21
22 51 1 12 222 <A 22
23 52 2 12 22 21 A> 22
24 54 4 12 22 21 11 A>
25 57 3 12 22 21 11 <A 11
26 59 1 12 22 21 <A 22 11
27 62 2 12 22 11 A> 22 11
28 64 4 12 22 112 A> 11
29 65 3 12 22 112 <A 21
30 69 -1 12 22 <A 222 21
31 70 0 12 21 A> 222 21
32 74 4 12 21 112 A> 21
33 77 3 12 21 112 <A 22
34 81 -1 12 21 <A 223
35 84 0 12 11 A> 223
36 90 6 12 114 A>
37 93 5 12 114 <A 11
38 101 -3 12 <A 224 11
39 102 -2 11 A> 224 11
40 110 6 115 A> 11
41 111 5 115 <A 21
42 121 -5 <A 225 21
43 122 -4 01 B> 225 21
44 132 6 01 225 B> 21
45 137 5 01 225 <A 22
46 138 6 01 224 21 A> 22
47 140 8 01 224 21 11 A>
48 143 7 01 224 21 11 <A 11
49 145 5 01 224 21 <A 22 11
50 148 6 01 224 11 A> 22 11
51 150 8 01 224 112 A> 11
52 151 7 01 224 112 <A 21
53 155 3 01 224 <A 222 21
54 156 4 01 223 21 A> 222 21
55 160 8 01 223 21 112 A> 21
56 163 7 01 223 21 112 <A 22
57 167 3 01 223 21 <A 223
58 170 4 01 223 11 A> 223
59 176 10 01 223 114 A>
60 179 9 01 223 114 <A 11
61 187 1 01 223 <A 224 11
62 188 2 01 222 21 A> 224 11
63 196 10 01 222 21 114 A> 11
64 197 9 01 222 21 114 <A 21
65 205 1 01 222 21 <A 224 21
66 208 2 01 222 11 A> 224 21
67 216 10 01 222 115 A> 21
68 219 9 01 222 115 <A 22
69 229 -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)
70 230 0 01 22 21 A> 226
71 242 12 01 22 21 116 A>
72 245 11 01 22 21 116 <A 11
73 257 -1 01 22 21 <A 226 11
74 260 0 01 22 11 A> 226 11
75 272 12 01 22 117 A> 11
76 273 11 01 22 117 <A 21
77 287 -3 01 22 <A 227 21
78 288 -2 01 21 A> 227 21
79 302 12 01 21 117 A> 21
80 305 11 01 21 117 <A 22
81 319 -3 01 21 <A 228
82 322 -2 01 11 A> 228
83 338 14 01 119 A>
84 341 13 01 119 <A 11
85 359 -5 01 <A 229 11
86 362 -4 12 C> 229 11
87 380 14 12 229 C> 11
88 381 13 12 229 <A 11
89 382 14 12 228 21 A> 11
90 383 13 12 228 21 <A 21
91 386 14 12 228 11 A> 21
92 389 13 12 228 11 <A 22
93 391 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) <A 11
20 81+18*V(1) 7+2*V(1) 12 224+V(1) 21 A> 11
21 82+18*V(1) 6+2*V(1) 12 224+V(1) 21 <A 21
22 85+18*V(1) 7+2*V(1) 12 224+V(1) 11 A> 21
23 88+18*V(1) 6+2*V(1) 12 224+V(1) 11 <A 22
24 90+18*V(1) 4+2*V(1) 12 224+V(1) <A 222
<< Success! ==> defined new CTR 2 (PPA)
93 391 11 12 228 <A 222
== Executing PA-CTR 1, V(1)=4, V(2)=1, repcount=2, factor=5/3
141 743 -1 12 222 <A 2212
142 744 0 12 22 21 A> 2212
143 768 24 12 22 21 1112 A>
144 771 23 12 22 21 1112 <A 11
145 795 -1 12 22 21 <A 2212 11
146 798 0 12 22 11 A> 2212 11
147 822 24 12 22 1113 A> 11
148 823 23 12 22 1113 <A 21
149 849 -3 12 22 <A 2213 21
150 850 -2 12 21 A> 2213 21
151 876 24 12 21 1113 A> 21
152 879 23 12 21 1113 <A 22
153 905 -3 12 21 <A 2214
154 908 -2 12 11 A> 2214
155 936 26 12 1115 A>
156 939 25 12 1115 <A 11
157 969 -5 12 <A 2215 11
158 970 -4 11 A> 2215 11
159 1000 26 1116 A> 11
160 1001 25 1116 <A 21
161 1033 -7 <A 2216 21
162 1034 -6 01 B> 2216 21
163 1066 26 01 2216 B> 21
164 1071 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 86+22*V(1) 4+2*V(1) 01 225+V(1) <A 22
<< Success! ==> defined new CTR 3 (PPA)
164 1071 25 01 2216 <A 22
== Executing PA-CTR 1, V(1)=12, V(2)=0, repcount=5, factor=5/3
284 2731 -5 01 22 <A 2226
285 2732 -4 01 21 A> 2226
286 2784 48 01 21 1126 A>
287 2787 47 01 21 1126 <A 11
288 2839 -5 01 21 <A 2226 11
289 2842 -4 01 11 A> 2226 11
290 2894 48 01 1127 A> 11
291 2895 47 01 1127 <A 21
292 2949 -7 01 <A 2227 21
293 2952 -6 12 C> 2227 21
294 3006 48 12 2227 C> 21
295 3011 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)
295 3011 47 12 2227 <A 22
== Executing PA-CTR 1, V(1)=23, V(2)=0, repcount=8, factor=5/3
487 7107 -1 12 223 <A 2241
488 7108 0 12 222 21 A> 2241
489 7190 82 12 222 21 1141 A>
490 7193 81 12 222 21 1141 <A 11
491 7275 -1 12 222 21 <A 2241 11
492 7278 0 12 222 11 A> 2241 11
493 7360 82 12 222 1142 A> 11
494 7361 81 12 222 1142 <A 21
495 7445 -3 12 222 <A 2242 21
496 7446 -2 12 22 21 A> 2242 21
497 7530 82 12 22 21 1142 A> 21
498 7533 81 12 22 21 1142 <A 22
499 7617 -3 12 22 21 <A 2243
500 7620 -2 12 22 11 A> 2243
501 7706 84 12 22 1144 A>
502 7709 83 12 22 1144 <A 11
503 7797 -5 12 22 <A 2244 11
504 7798 -4 12 21 A> 2244 11
505 7886 84 12 21 1144 A> 11
506 7887 83 12 21 1144 <A 21
507 7975 -5 12 21 <A 2244 21
508 7978 -4 12 11 A> 2244 21
509 8066 84 12 1145 A> 21
510 8069 83 12 1145 <A 22
511 8159 -7 12 <A 2246
512 8160 -6 11 A> 2246
513 8252 86 1147 A>
514 8255 85 1147 <A 11
515 8349 -9 <A 2247 11
516 8350 -8 01 B> 2247 11
517 8444 86 01 2247 B> 11
518 8445 85 01 2247 <A 11
519 8446 86 01 2246 21 A> 11
520 8447 85 01 2246 21 <A 21
521 8450 86 01 2246 11 A> 21
522 8453 85 01 2246 11 <A 22
523 8455 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)
523 8455 83 01 2246 <A 222
== Executing PA-CTR 1, V(1)=42, V(2)=1, repcount=15, factor=5/3
883 22795 -7 01 22 <A 2277
== Executing PPA-CTR 4 (once), V(1)=74
894 23585 147 12 2278 <A 22
== Executing PA-CTR 1, V(1)=74, V(2)=0, repcount=25, factor=5/3
1494 61885 -3 12 223 <A 22126
== Executing PPA-CTR 5 (once), V(1)=125
1530 65783 251 01 22131 <A 222
== Executing PA-CTR 1, V(1)=127, V(2)=1, repcount=43, factor=5/3
2562 179131 -7 01 222 <A 22217
== Executing PPA-CTR 2 (once), V(1)=215
2586 183091 427 12 22219 <A 222
== Executing PA-CTR 1, V(1)=215, V(2)=1, repcount=72, factor=5/3
4314 498163 -5 12 223 <A 22362
== Executing PPA-CTR 5 (once), V(1)=361
4350 509141 721 01 22367 <A 222
== Executing PA-CTR 1, V(1)=363, V(2)=1, repcount=122, factor=5/3
7278 1409013 -11 01 22 <A 22612
== Executing PPA-CTR 4 (once), V(1)=609
7289 1415153 1213 12 22613 <A 22
== Executing PA-CTR 1, V(1)=609, V(2)=0, repcount=204, factor=5/3
12185 3918641 -11 12 22 <A 221021
12186 3918642 -10 12 21 A> 221021
12187 3920684 2032 12 21 111021 A>
12188 3920687 2031 12 21 111021 <A 11
12189 3922729 -11 12 21 <A 221021 11
12190 3922732 -10 12 11 A> 221021 11
12191 3924774 2032 12 111022 A> 11
12192 3924775 2031 12 111022 <A 21
12193 3926819 -13 12 <A 221022 21
12194 3926820 -12 11 A> 221022 21
12195 3928864 2032 111023 A> 21
12196 3928867 2031 111023 <A 22
12197 3930913 -15 <A 221024
12198 3930914 -14 01 B> 221024
12199 3932962 2034 01 221024 B>
12200 3932963 2033 01 221024 <C 10
12201 3932964 2034 01 221024 B> 10
12202 3932965 2033 01 221024 <A 10
12203 3932966 2034 01 221023 21 A> 10
12204 3932967 2033 01 221023 21 <A 20
12205 3932970 2034 01 221023 11 A> 20
12206 3932972 2036 01 221023 112 B>
12207 3932973 2035 01 221023 112 <C 10
12208 3932975 2033 01 221023 11 <A 21 10
12209 3932977 2031 01 221023 <A 22 21 10
12210 3932978 2032 01 221022 21 A> 22 21 10
12211 3932980 2034 01 221022 21 11 A> 21 10
12212 3932983 2033 01 221022 21 11 <A 22 10
12213 3932985 2031 01 221022 21 <A 222 10
12214 3932988 2032 01 221022 11 A> 222 10
12215 3932992 2036 01 221022 113 A> 10
12216 3932993 2035 01 221022 113 <A 20
12217 3932999 2029 01 221022 <A 223 20
12218 3933000 2030 01 221021 21 A> 223 20
12219 3933006 2036 01 221021 21 113 A> 20
12220 3933008 2038 01 221021 21 114 B>
12221 3933009 2037 01 221021 21 114 <C 10
12222 3933011 2035 01 221021 21 113 <A 21 10
12223 3933017 2029 01 221021 21 <A 223 21 10
12224 3933020 2030 01 221021 11 A> 223 21 10
12225 3933026 2036 01 221021 114 A> 21 10
12226 3933029 2035 01 221021 114 <A 22 10
12227 3933037 2027 01 221021 <A 225 10
12228 3933038 2028 01 221020 21 A> 225 10
12229 3933048 2038 01 221020 21 115 A> 10
12230 3933049 2037 01 221020 21 115 <A 20
12231 3933059 2027 01 221020 21 <A 225 20
12232 3933062 2028 01 221020 11 A> 225 20
12233 3933072 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) <C 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) <C 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)
12233 3933072 2038 01 221020 116 A> 20
== Executing PA-CTR 6, V(1)=5, V(2)=1016, repcount=339, factor=5/3
21725 10883250 3394 01 223 111701 A> 20
21726 10883252 3396 01 223 111702 B>
21727 10883253 3395 01 223 111702 <C 10
21728 10883255 3393 01 223 111701 <A 21 10
21729 10886657 -9 01 223 <A 221701 21 10
21730 10886658 -8 01 222 21 A> 221701 21 10
21731 10890060 3394 01 222 21 111701 A> 21 10
21732 10890063 3393 01 222 21 111701 <A 22 10
21733 10893465 -9 01 222 21 <A 221702 10
21734 10893468 -8 01 222 11 A> 221702 10
21735 10896872 3396 01 222 111703 A> 10
21736 10896873 3395 01 222 111703 <A 20
21737 10900279 -11 01 222 <A 221703 20
21738 10900280 -10 01 22 21 A> 221703 20
21739 10903686 3396 01 22 21 111703 A> 20
21740 10903688 3398 01 22 21 111704 B>
21741 10903689 3397 01 22 21 111704 <C 10
21742 10903691 3395 01 22 21 111703 <A 21 10
21743 10907097 -11 01 22 21 <A 221703 21 10
21744 10907100 -10 01 22 11 A> 221703 21 10
21745 10910506 3396 01 22 111704 A> 21 10
21746 10910509 3395 01 22 111704 <A 22 10
21747 10913917 -13 01 22 <A 221705 10
21748 10913918 -12 01 21 A> 221705 10
21749 10917328 3398 01 21 111705 A> 10
21750 10917329 3397 01 21 111705 <A 20
21751 10920739 -13 01 21 <A 221705 20
21752 10920742 -12 01 11 A> 221705 20
21753 10924152 3398 01 111706 A> 20
21754 10924154 3400 01 111707 B>
21755 10924155 3399 01 111707 <C 10
21756 10924157 3397 01 111706 <A 21 10
21757 10927569 -15 01 <A 221706 21 10
21758 10927572 -14 12 C> 221706 21 10
21759 10930984 3398 12 221706 C> 21 10
21760 10930989 3397 12 221706 <A 22 10
21761 10930990 3398 12 221705 21 A> 22 10
21762 10930992 3400 12 221705 21 11 A> 10
21763 10930993 3399 12 221705 21 11 <A 20
21764 10930995 3397 12 221705 21 <A 22 20
21765 10930998 3398 12 221705 11 A> 22 20
21766 10931000 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) <C 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) <C 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) <C 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)
21766 10931000 3400 12 221705 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=1701, repcount=568, factor=5/3
37670 30325928 5672 12 22 112842 A> 20
37671 30325930 5674 12 22 112843 B>
37672 30325931 5673 12 22 112843 <C 10
37673 30325933 5671 12 22 112842 <A 21 10
37674 30331617 -13 12 22 <A 222842 21 10
37675 30331618 -12 12 21 A> 222842 21 10
37676 30337302 5672 12 21 112842 A> 21 10
37677 30337305 5671 12 21 112842 <A 22 10
37678 30342989 -13 12 21 <A 222843 10
37679 30342992 -12 12 11 A> 222843 10
37680 30348678 5674 12 112844 A> 10
37681 30348679 5673 12 112844 <A 20
37682 30354367 -15 12 <A 222844 20
37683 30354368 -14 11 A> 222844 20
37684 30360056 5674 112845 A> 20
37685 30360058 5676 112846 B>
37686 30360059 5675 112846 <C 10
37687 30360061 5673 112845 <A 21 10
37688 30365751 -17 <A 222845 21 10
37689 30365752 -16 01 B> 222845 21 10
37690 30371442 5674 01 222845 B> 21 10
37691 30371447 5673 01 222845 <A 22 10
37692 30371448 5674 01 222844 21 A> 22 10
37693 30371450 5676 01 222844 21 11 A> 10
37694 30371451 5675 01 222844 21 11 <A 20
37695 30371453 5673 01 222844 21 <A 22 20
37696 30371456 5674 01 222844 11 A> 22 20
37697 30371458 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) <C 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) <C 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 79+16*V(1) 1 01 225+V(1) <A 22 10
22 80+16*V(1) 2 01 224+V(1) 21 A> 22 10
23 82+16*V(1) 4 01 224+V(1) 21 11 A> 10
24 83+16*V(1) 3 01 224+V(1) 21 11 <A 20
25 85+16*V(1) 1 01 224+V(1) 21 <A 22 20
26 88+16*V(1) 2 01 224+V(1) 11 A> 22 20
27 90+16*V(1) 4 01 224+V(1) 112 A> 20
<< Success! ==> defined new CTR 8 (PPA)
37697 30371458 5676 01 222844 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=2840, repcount=947, factor=5/3
64213 84242500 9464 01 223 114737 A> 20
== Executing PPA-CTR 7 (once), V(1)=4736
64254 84375258 9470 12 224741 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=4737, repcount=1580, factor=5/3
108494 234263538 15790 12 22 117902 A> 20
== Executing PPA-CTR 8 (once), V(1)=7900
108521 234390028 15794 01 227904 112 A> 20
== Executing PA-CTR 6, V(1)=1, V(2)=7900, repcount=2634, factor=5/3
182273 650841232 26330 01 222 1113172 A> 20
182274 650841234 26332 01 222 1113173 B>
182275 650841235 26331 01 222 1113173 <C 10
182276 650841237 26329 01 222 1113172 <A 21 10
182277 650867581 -15 01 222 <A 2213172 21 10
182278 650867582 -14 01 22 21 A> 2213172 21 10
182279 650893926 26330 01 22 21 1113172 A> 21 10
182280 650893929 26329 01 22 21 1113172 <A 22 10
182281 650920273 -15 01 22 21 <A 2213173 10
182282 650920276 -14 01 22 11 A> 2213173 10
182283 650946622 26332 01 22 1113174 A> 10
182284 650946623 26331 01 22 1113174 <A 20
182285 650972971 -17 01 22 <A 2213174 20
182286 650972972 -16 01 21 A> 2213174 20
182287 650999320 26332 01 21 1113174 A> 20
182288 650999322 26334 01 21 1113175 B>
182289 650999323 26333 01 21 1113175 <C 10
182290 650999325 26331 01 21 1113174 <A 21 10
182291 651025673 -17 01 21 <A 2213174 21 10
182292 651025676 -16 01 11 A> 2213174 21 10
182293 651052024 26332 01 1113175 A> 21 10
182294 651052027 26331 01 1113175 <A 22 10
182295 651078377 -19 01 <A 2213176 10
182296 651078380 -18 12 C> 2213176 10
182297 651104732 26334 12 2213176 C> 10
182298 651104733 26333 12 2213176 <A 10
182299 651104734 26334 12 2213175 21 A> 10
182300 651104735 26333 12 2213175 21 <A 20
182301 651104738 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) <C 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) <C 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) <A 10
26 82+20*V(1) 4 12 224+V(1) 21 A> 10
27 83+20*V(1) 3 12 224+V(1) 21 <A 20
28 86+20*V(1) 4 12 224+V(1) 11 A> 20
<< Success! ==> defined new CTR 9 (PPA)
182301 651104738 26334 12 2213175 11 A> 20
== Executing PA-CTR 6, V(1)=0, V(2)=13171, repcount=4391, factor=5/3
305249 1808142020 43898 12 222 1121956 A> 20
305250 1808142022 43900 12 222 1121957 B>
305251 1808142023 43899 12 222 1121957 <C 10
305252 1808142025 43897 12 222 1121956 <A 21 10
305253 1808185937 -15 12 222 <A 2221956 21 10
305254 1808185938 -14 12 22 21 A> 2221956 21 10
305255 1808229850 43898 12 22 21 1121956 A> 21 10
305256 1808229853 43897 12 22 21 1121956 <A 22 10
305257 1808273765 -15 12 22 21 <A 2221957 10
305258 1808273768 -14 12 22 11 A> 2221957 10
305259 1808317682 43900 12 22 1121958 A> 10
305260 1808317683 43899 12 22 1121958 <A 20
305261 1808361599 -17 12 22 <A 2221958 20
305262 1808361600 -16 12 21 A> 2221958 20
305263 1808405516 43900 12 21 1121958 A> 20
305264 1808405518 43902 12 21 1121959 B>
305265 1808405519 43901 12 21 1121959 <C 10
305266 1808405521 43899 12 21 1121958 <A 21 10
305267 1808449437 -17 12 21 <A 2221958 21 10
305268 1808449440 -16 12 11 A> 2221958 21 10
305269 1808493356 43900 12 1121959 A> 21 10
305270 1808493359 43899 12 1121959 <A 22 10
305271 1808537277 -19 12 <A 2221960 10
305272 1808537278 -18 11 A> 2221960 10
305273 1808581198 43902 1121961 A> 10
305274 1808581199 43901 1121961 <A 20
305275 1808625121 -21 <A 2221961 20
305276 1808625122 -20 01 B> 2221961 20
305277 1808669044 43902 01 2221961 B> 20
305278 1808669046 43904 01 2221961 21 Z>
305278 1808669046 43904 01 2221961 21 Z> [stop]
Lines: 360
Top steps: 358
Macro steps: 305278
Basic steps: 1808669046
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 #a of G. Lafitte & C. Papazian
5T B1R A2L A1R C1L A1L C2R Z1R A1L B2R
: 43'925 1'808'669'046
L 10
M 400
pref sim
machv Laf33_a just simple
machv Laf33_a-r with repetitions reduced
machv Laf33_a-1 with tape symbol exponents
machv Laf33_a-m as 2-macro machine
machv Laf33_a-a as 2-macro machine with pure additive config-TRs
iam Laf33_a-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:44 CEST 2010
edate Tue Jul 6 22:11:45 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:44 CEST 2010