Comment: This TM produces 1'525'688 nonzeros in 987'522'842'126 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 | C1R | B2R | C0R | 1 | right | C | 2 | right | B | 0 | right | C |
| C | A1L | Z1R | A1L | 1 | left | A | 1 | right | Z | 1 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as bck-2-macro machine.
Simulation is done as bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 2 2 01 (1)C>
2 4 0 01 <A(2) 10
3 10 2 11 (2)B> 10
4 12 4 11 22 (1)C>
5 14 2 11 22 <A(2) 10
6 16 4 11 21 (1)A> 10
7 18 2 11 21 <A(2) 20
8 22 4 112 (1)A> 20
9 24 6 113 (1)B>
10 28 4 113 <A(2) 21
11 34 -2 <A(2) 223 21
12 36 0 01 (0)C> 223 21
13 48 6 01 123 (0)C> 21
14 52 8 01 124 (2)B>
15 60 6 01 124 <A(2) 22
16 62 8 01 123 11 (1)A> 22
17 64 10 01 123 112 (1)A>
18 66 12 01 123 113 (1)C>
19 68 10 01 123 113 <A(2) 10
20 74 4 01 123 <A(2) 223 10
21 76 6 01 122 11 (1)A> 223 10
22 82 12 01 122 114 (1)A> 10
23 84 10 01 122 114 <A(2) 20
24 92 2 01 122 <A(2) 224 20
25 94 4 01 12 11 (1)A> 224 20
26 102 12 01 12 115 (1)A> 20
27 104 14 01 12 116 (1)B>
28 108 12 01 12 116 <A(2) 21
29 120 0 01 12 <A(2) 226 21
30 122 2 01 11 (1)A> 226 21
31 134 14 01 117 (1)A> 21
32 138 12 01 117 <A(2) 22
33 152 -2 01 <A(2) 228
34 158 0 11 (2)B> 228
35 190 16 11 218 (2)B>
36 198 14 11 218 <A(2) 22
37 202 16 11 217 11 (1)A> 22
38 204 18 11 217 112 (1)A>
39 206 20 11 217 113 (1)C>
40 208 18 11 217 113 <A(2) 10
41 214 12 11 217 <A(2) 223 10
42 218 14 11 216 11 (1)A> 223 10
43 224 20 11 216 114 (1)A> 10
44 226 18 11 216 114 <A(2) 20
45 234 10 11 216 <A(2) 224 20
46 238 12 11 215 11 (1)A> 224 20
47 246 20 11 215 115 (1)A> 20
48 248 22 11 215 116 (1)B>
49 252 20 11 215 116 <A(2) 21
50 264 8 11 215 <A(2) 226 21
51 268 10 11 214 11 (1)A> 226 21
52 280 22 11 214 117 (1)A> 21
53 284 20 11 214 117 <A(2) 22
54 298 6 11 214 <A(2) 228
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 215+V(1) <A(2) 221+V(2)
1 4 2 [*]* 214+V(1) 11 (1)A> 221+V(2)
2 6+2*V(2) 4+2*V(2) [*]* 214+V(1) 112+V(2) (1)A>
3 8+2*V(2) 6+2*V(2) [*]* 214+V(1) 113+V(2) (1)C>
4 10+2*V(2) 4+2*V(2) [*]* 214+V(1) 113+V(2) <A(2) 10
5 16+4*V(2) -2 [*]* 214+V(1) <A(2) 223+V(2) 10
6 20+4*V(2) 0 [*]* 213+V(1) 11 (1)A> 223+V(2) 10
7 26+6*V(2) 6+2*V(2) [*]* 213+V(1) 114+V(2) (1)A> 10
8 28+6*V(2) 4+2*V(2) [*]* 213+V(1) 114+V(2) <A(2) 20
9 36+8*V(2) -4 [*]* 213+V(1) <A(2) 224+V(2) 20
10 40+8*V(2) -2 [*]* 212+V(1) 11 (1)A> 224+V(2) 20
11 48+10*V(2) 6+2*V(2) [*]* 212+V(1) 115+V(2) (1)A> 20
12 50+10*V(2) 8+2*V(2) [*]* 212+V(1) 116+V(2) (1)B>
13 54+10*V(2) 6+2*V(2) [*]* 212+V(1) 116+V(2) <A(2) 21
14 66+12*V(2) -6 [*]* 212+V(1) <A(2) 226+V(2) 21
15 70+12*V(2) -4 [*]* 211+V(1) 11 (1)A> 226+V(2) 21
16 82+14*V(2) 8+2*V(2) [*]* 211+V(1) 117+V(2) (1)A> 21
17 86+14*V(2) 6+2*V(2) [*]* 211+V(1) 117+V(2) <A(2) 22
18 100+16*V(2) -8 [*]* 211+V(1) <A(2) 228+V(2)
<< Success! ==> defined new CTR 1 (PA)
55 302 8 11 213 11 (1)A> 228
56 318 24 11 213 119 (1)A>
57 320 26 11 213 1110 (1)C>
58 322 24 11 213 1110 <A(2) 10
59 342 4 11 213 <A(2) 2210 10
60 346 6 11 212 11 (1)A> 2210 10
61 366 26 11 212 1111 (1)A> 10
62 368 24 11 212 1111 <A(2) 20
63 390 2 11 212 <A(2) 2211 20
64 394 4 11 21 11 (1)A> 2211 20
65 416 26 11 21 1112 (1)A> 20
66 418 28 11 21 1113 (1)B>
67 422 26 11 21 1113 <A(2) 21
68 448 0 11 21 <A(2) 2213 21
69 452 2 112 (1)A> 2213 21
70 478 28 1115 (1)A> 21
71 482 26 1115 <A(2) 22
72 512 -4 <A(2) 2216
73 514 -2 01 (0)C> 2216
74 578 30 01 1216 (0)C>
75 582 32 01 1217 (1)C>
76 584 30 01 1217 <A(2) 10
77 586 32 01 1216 11 (1)A> 10
78 588 30 01 1216 11 <A(2) 20
79 590 28 01 1216 <A(2) 22 20
80 592 30 01 1215 11 (1)A> 22 20
81 594 32 01 1215 112 (1)A> 20
82 596 34 01 1215 113 (1)B>
83 600 32 01 1215 113 <A(2) 21
84 606 26 01 1215 <A(2) 223 21
85 608 28 01 1214 11 (1)A> 223 21
86 614 34 01 1214 114 (1)A> 21
87 618 32 01 1214 114 <A(2) 22
88 626 24 01 1214 <A(2) 225
89 628 26 01 1213 11 (1)A> 225
90 638 36 01 1213 116 (1)A>
91 640 38 01 1213 117 (1)C>
92 642 36 01 1213 117 <A(2) 10
93 656 22 01 1213 <A(2) 227 10
94 658 24 01 1212 11 (1)A> 227 10
95 672 38 01 1212 118 (1)A> 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 [*]* 125+V(2) 111+V(1) (1)A> 10
1 2 -2 [*]* 125+V(2) 111+V(1) <A(2) 20
2 4+2*V(1) -4+-2*V(1) [*]* 125+V(2) <A(2) 221+V(1) 20
3 6+2*V(1) -2+-2*V(1) [*]* 124+V(2) 11 (1)A> 221+V(1) 20
4 8+4*V(1) 0 [*]* 124+V(2) 112+V(1) (1)A> 20
5 10+4*V(1) 2 [*]* 124+V(2) 113+V(1) (1)B>
6 14+4*V(1) 0 [*]* 124+V(2) 113+V(1) <A(2) 21
7 20+6*V(1) -6+-2*V(1) [*]* 124+V(2) <A(2) 223+V(1) 21
8 22+6*V(1) -4+-2*V(1) [*]* 123+V(2) 11 (1)A> 223+V(1) 21
9 28+8*V(1) 2 [*]* 123+V(2) 114+V(1) (1)A> 21
10 32+8*V(1) 0 [*]* 123+V(2) 114+V(1) <A(2) 22
11 40+10*V(1) -8+-2*V(1) [*]* 123+V(2) <A(2) 225+V(1)
12 42+10*V(1) -6+-2*V(1) [*]* 122+V(2) 11 (1)A> 225+V(1)
13 52+12*V(1) 4 [*]* 122+V(2) 116+V(1) (1)A>
14 54+12*V(1) 6 [*]* 122+V(2) 117+V(1) (1)C>
15 56+12*V(1) 4 [*]* 122+V(2) 117+V(1) <A(2) 10
16 70+14*V(1) -10+-2*V(1) [*]* 122+V(2) <A(2) 227+V(1) 10
17 72+14*V(1) -8+-2*V(1) [*]* 121+V(2) 11 (1)A> 227+V(1) 10
18 86+16*V(1) 6 [*]* 121+V(2) 118+V(1) (1)A> 10
<< Success! ==> defined new CTR 2 (PA)
95 672 38 01 1212 118 (1)A> 10
== Executing PA-CTR 2, V(1)=7, V(2)=7, repcount=2, factor=7/4
131 1180 50 01 124 1122 (1)A> 10
132 1182 48 01 124 1122 <A(2) 20
133 1226 4 01 124 <A(2) 2222 20
134 1228 6 01 123 11 (1)A> 2222 20
135 1272 50 01 123 1123 (1)A> 20
136 1274 52 01 123 1124 (1)B>
137 1278 50 01 123 1124 <A(2) 21
138 1326 2 01 123 <A(2) 2224 21
139 1328 4 01 122 11 (1)A> 2224 21
140 1376 52 01 122 1125 (1)A> 21
141 1380 50 01 122 1125 <A(2) 22
142 1430 0 01 122 <A(2) 2226
143 1432 2 01 12 11 (1)A> 2226
144 1484 54 01 12 1127 (1)A>
145 1486 56 01 12 1128 (1)C>
146 1488 54 01 12 1128 <A(2) 10
147 1544 -2 01 12 <A(2) 2228 10
148 1546 0 01 11 (1)A> 2228 10
149 1602 56 01 1129 (1)A> 10
150 1604 54 01 1129 <A(2) 20
151 1662 -4 01 <A(2) 2229 20
152 1668 -2 11 (2)B> 2229 20
153 1784 56 11 2129 (2)B> 20
154 1788 58 11 2130 (2)B>
155 1796 56 11 2130 <A(2) 22
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 124 111+V(1) (1)A> 10
1 2 -2 01 124 111+V(1) <A(2) 20
2 4+2*V(1) -4+-2*V(1) 01 124 <A(2) 221+V(1) 20
3 6+2*V(1) -2+-2*V(1) 01 123 11 (1)A> 221+V(1) 20
4 8+4*V(1) 0 01 123 112+V(1) (1)A> 20
5 10+4*V(1) 2 01 123 113+V(1) (1)B>
6 14+4*V(1) 0 01 123 113+V(1) <A(2) 21
7 20+6*V(1) -6+-2*V(1) 01 123 <A(2) 223+V(1) 21
8 22+6*V(1) -4+-2*V(1) 01 122 11 (1)A> 223+V(1) 21
9 28+8*V(1) 2 01 122 114+V(1) (1)A> 21
10 32+8*V(1) 0 01 122 114+V(1) <A(2) 22
11 40+10*V(1) -8+-2*V(1) 01 122 <A(2) 225+V(1)
12 42+10*V(1) -6+-2*V(1) 01 12 11 (1)A> 225+V(1)
13 52+12*V(1) 4 01 12 116+V(1) (1)A>
14 54+12*V(1) 6 01 12 117+V(1) (1)C>
15 56+12*V(1) 4 01 12 117+V(1) <A(2) 10
16 70+14*V(1) -10+-2*V(1) 01 12 <A(2) 227+V(1) 10
17 72+14*V(1) -8+-2*V(1) 01 11 (1)A> 227+V(1) 10
18 86+16*V(1) 6 01 118+V(1) (1)A> 10
19 88+16*V(1) 4 01 118+V(1) <A(2) 20
20 104+18*V(1) -12+-2*V(1) 01 <A(2) 228+V(1) 20
21 110+18*V(1) -10+-2*V(1) 11 (2)B> 228+V(1) 20
22 142+22*V(1) 6 11 218+V(1) (2)B> 20
23 146+22*V(1) 8 11 219+V(1) (2)B>
24 154+22*V(1) 6 11 219+V(1) <A(2) 22
<< Success! ==> defined new CTR 3 (PPA)
155 1796 56 11 2130 <A(2) 22
== Executing PA-CTR 1, V(1)=25, V(2)=0, repcount=7, factor=7/4
281 4848 0 11 212 <A(2) 2250
282 4852 2 11 21 11 (1)A> 2250
283 4952 102 11 21 1151 (1)A>
284 4954 104 11 21 1152 (1)C>
285 4956 102 11 21 1152 <A(2) 10
286 5060 -2 11 21 <A(2) 2252 10
287 5064 0 112 (1)A> 2252 10
288 5168 104 1154 (1)A> 10
289 5170 102 1154 <A(2) 20
290 5278 -6 <A(2) 2254 20
291 5280 -4 01 (0)C> 2254 20
292 5496 104 01 1254 (0)C> 20
293 5500 106 01 1255 (1)C>
294 5502 104 01 1255 <A(2) 10
295 5504 106 01 1254 11 (1)A> 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) 212 <A(2) 221+V(2)
1 4 2 111+V(1) 21 11 (1)A> 221+V(2)
2 6+2*V(2) 4+2*V(2) 111+V(1) 21 112+V(2) (1)A>
3 8+2*V(2) 6+2*V(2) 111+V(1) 21 113+V(2) (1)C>
4 10+2*V(2) 4+2*V(2) 111+V(1) 21 113+V(2) <A(2) 10
5 16+4*V(2) -2 111+V(1) 21 <A(2) 223+V(2) 10
6 20+4*V(2) 0 112+V(1) (1)A> 223+V(2) 10
7 26+6*V(2) 6+2*V(2) 115+V(1)+V(2) (1)A> 10
8 28+6*V(2) 4+2*V(2) 115+V(1)+V(2) <A(2) 20
9 38+2*V(1)+8*V(2) -6+-2*V(1) <A(2) 225+V(1)+V(2) 20
10 40+2*V(1)+8*V(2) -4+-2*V(1) 01 (0)C> 225+V(1)+V(2) 20
11 60+6*V(1)+12*V(2) 6+2*V(2) 01 125+V(1)+V(2) (0)C> 20
12 64+6*V(1)+12*V(2) 8+2*V(2) 01 126+V(1)+V(2) (1)C>
13 66+6*V(1)+12*V(2) 6+2*V(2) 01 126+V(1)+V(2) <A(2) 10
14 68+6*V(1)+12*V(2) 8+2*V(2) 01 125+V(1)+V(2) 11 (1)A> 10
<< Success! ==> defined new CTR 4 (PPA)
295 5504 106 01 1254 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=49, repcount=13, factor=7/4
529 15358 184 01 122 1192 (1)A> 10
530 15360 182 01 122 1192 <A(2) 20
531 15544 -2 01 122 <A(2) 2292 20
532 15546 0 01 12 11 (1)A> 2292 20
533 15730 184 01 12 1193 (1)A> 20
534 15732 186 01 12 1194 (1)B>
535 15736 184 01 12 1194 <A(2) 21
536 15924 -4 01 12 <A(2) 2294 21
537 15926 -2 01 11 (1)A> 2294 21
538 16114 186 01 1195 (1)A> 21
539 16118 184 01 1195 <A(2) 22
540 16308 -6 01 <A(2) 2296
541 16314 -4 11 (2)B> 2296
542 16698 188 11 2196 (2)B>
543 16706 186 11 2196 <A(2) 22
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 122 111+V(1) (1)A> 10
1 2 -2 01 122 111+V(1) <A(2) 20
2 4+2*V(1) -4+-2*V(1) 01 122 <A(2) 221+V(1) 20
3 6+2*V(1) -2+-2*V(1) 01 12 11 (1)A> 221+V(1) 20
4 8+4*V(1) 0 01 12 112+V(1) (1)A> 20
5 10+4*V(1) 2 01 12 113+V(1) (1)B>
6 14+4*V(1) 0 01 12 113+V(1) <A(2) 21
7 20+6*V(1) -6+-2*V(1) 01 12 <A(2) 223+V(1) 21
8 22+6*V(1) -4+-2*V(1) 01 11 (1)A> 223+V(1) 21
9 28+8*V(1) 2 01 114+V(1) (1)A> 21
10 32+8*V(1) 0 01 114+V(1) <A(2) 22
11 40+10*V(1) -8+-2*V(1) 01 <A(2) 225+V(1)
12 46+10*V(1) -6+-2*V(1) 11 (2)B> 225+V(1)
13 66+14*V(1) 4 11 215+V(1) (2)B>
14 74+14*V(1) 2 11 215+V(1) <A(2) 22
<< Success! ==> defined new CTR 5 (PPA)
543 16706 186 11 2196 <A(2) 22
== Executing PA-CTR 1, V(1)=91, V(2)=0, repcount=23, factor=7/4
957 47342 2 11 214 <A(2) 22162
958 47346 4 11 213 11 (1)A> 22162
959 47670 328 11 213 11163 (1)A>
960 47672 330 11 213 11164 (1)C>
961 47674 328 11 213 11164 <A(2) 10
962 48002 0 11 213 <A(2) 22164 10
963 48006 2 11 212 11 (1)A> 22164 10
964 48334 330 11 212 11165 (1)A> 10
965 48336 328 11 212 11165 <A(2) 20
966 48666 -2 11 212 <A(2) 22165 20
967 48670 0 11 21 11 (1)A> 22165 20
968 49000 330 11 21 11166 (1)A> 20
969 49002 332 11 21 11167 (1)B>
970 49006 330 11 21 11167 <A(2) 21
971 49340 -4 11 21 <A(2) 22167 21
972 49344 -2 112 (1)A> 22167 21
973 49678 332 11169 (1)A> 21
974 49682 330 11169 <A(2) 22
975 50020 -8 <A(2) 22170
976 50022 -6 01 (0)C> 22170
977 50702 334 01 12170 (0)C>
978 50706 336 01 12171 (1)C>
979 50708 334 01 12171 <A(2) 10
980 50710 336 01 12170 11 (1)A> 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) 214 <A(2) 221+V(2)
1 4 2 111+V(1) 213 11 (1)A> 221+V(2)
2 6+2*V(2) 4+2*V(2) 111+V(1) 213 112+V(2) (1)A>
3 8+2*V(2) 6+2*V(2) 111+V(1) 213 113+V(2) (1)C>
4 10+2*V(2) 4+2*V(2) 111+V(1) 213 113+V(2) <A(2) 10
5 16+4*V(2) -2 111+V(1) 213 <A(2) 223+V(2) 10
6 20+4*V(2) 0 111+V(1) 212 11 (1)A> 223+V(2) 10
7 26+6*V(2) 6+2*V(2) 111+V(1) 212 114+V(2) (1)A> 10
8 28+6*V(2) 4+2*V(2) 111+V(1) 212 114+V(2) <A(2) 20
9 36+8*V(2) -4 111+V(1) 212 <A(2) 224+V(2) 20
10 40+8*V(2) -2 111+V(1) 21 11 (1)A> 224+V(2) 20
11 48+10*V(2) 6+2*V(2) 111+V(1) 21 115+V(2) (1)A> 20
12 50+10*V(2) 8+2*V(2) 111+V(1) 21 116+V(2) (1)B>
13 54+10*V(2) 6+2*V(2) 111+V(1) 21 116+V(2) <A(2) 21
14 66+12*V(2) -6 111+V(1) 21 <A(2) 226+V(2) 21
15 70+12*V(2) -4 112+V(1) (1)A> 226+V(2) 21
16 82+14*V(2) 8+2*V(2) 118+V(1)+V(2) (1)A> 21
17 86+14*V(2) 6+2*V(2) 118+V(1)+V(2) <A(2) 22
18 102+2*V(1)+16*V(2) -10+-2*V(1) <A(2) 229+V(1)+V(2)
19 104+2*V(1)+16*V(2) -8+-2*V(1) 01 (0)C> 229+V(1)+V(2)
20 140+6*V(1)+20*V(2) 10+2*V(2) 01 129+V(1)+V(2) (0)C>
21 144+6*V(1)+20*V(2) 12+2*V(2) 01 1210+V(1)+V(2) (1)C>
22 146+6*V(1)+20*V(2) 10+2*V(2) 01 1210+V(1)+V(2) <A(2) 10
23 148+6*V(1)+20*V(2) 12+2*V(2) 01 129+V(1)+V(2) 11 (1)A> 10
<< Success! ==> defined new CTR 6 (PPA)
980 50710 336 01 12170 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=165, repcount=42, factor=7/4
1736 150754 588 01 122 11295 (1)A> 10
== Executing PPA-CTR 5 (once), V(1)=294
1750 154944 590 11 21299 <A(2) 22
== Executing PA-CTR 1, V(1)=294, V(2)=0, repcount=74, factor=7/4
3082 464856 -2 11 213 <A(2) 22519
3083 464860 0 11 212 11 (1)A> 22519
3084 465898 1038 11 212 11520 (1)A>
3085 465900 1040 11 212 11521 (1)C>
3086 465902 1038 11 212 11521 <A(2) 10
3087 466944 -4 11 212 <A(2) 22521 10
3088 466948 -2 11 21 11 (1)A> 22521 10
3089 467990 1040 11 21 11522 (1)A> 10
3090 467992 1038 11 21 11522 <A(2) 20
3091 469036 -6 11 21 <A(2) 22522 20
3092 469040 -4 112 (1)A> 22522 20
3093 470084 1040 11524 (1)A> 20
3094 470086 1042 11525 (1)B>
3095 470090 1040 11525 <A(2) 21
3096 471140 -10 <A(2) 22525 21
3097 471142 -8 01 (0)C> 22525 21
3098 473242 1042 01 12525 (0)C> 21
3099 473246 1044 01 12526 (2)B>
3100 473254 1042 01 12526 <A(2) 22
3101 473256 1044 01 12525 11 (1)A> 22
3102 473258 1046 01 12525 112 (1)A>
3103 473260 1048 01 12525 113 (1)C>
3104 473262 1046 01 12525 113 <A(2) 10
3105 473268 1040 01 12525 <A(2) 223 10
3106 473270 1042 01 12524 11 (1)A> 223 10
3107 473276 1048 01 12524 114 (1)A> 10
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 111+V(1) 213 <A(2) 221+V(2)
1 4 2 111+V(1) 212 11 (1)A> 221+V(2)
2 6+2*V(2) 4+2*V(2) 111+V(1) 212 112+V(2) (1)A>
3 8+2*V(2) 6+2*V(2) 111+V(1) 212 113+V(2) (1)C>
4 10+2*V(2) 4+2*V(2) 111+V(1) 212 113+V(2) <A(2) 10
5 16+4*V(2) -2 111+V(1) 212 <A(2) 223+V(2) 10
6 20+4*V(2) 0 111+V(1) 21 11 (1)A> 223+V(2) 10
7 26+6*V(2) 6+2*V(2) 111+V(1) 21 114+V(2) (1)A> 10
8 28+6*V(2) 4+2*V(2) 111+V(1) 21 114+V(2) <A(2) 20
9 36+8*V(2) -4 111+V(1) 21 <A(2) 224+V(2) 20
10 40+8*V(2) -2 112+V(1) (1)A> 224+V(2) 20
11 48+10*V(2) 6+2*V(2) 116+V(1)+V(2) (1)A> 20
12 50+10*V(2) 8+2*V(2) 117+V(1)+V(2) (1)B>
13 54+10*V(2) 6+2*V(2) 117+V(1)+V(2) <A(2) 21
14 68+2*V(1)+12*V(2) -8+-2*V(1) <A(2) 227+V(1)+V(2) 21
15 70+2*V(1)+12*V(2) -6+-2*V(1) 01 (0)C> 227+V(1)+V(2) 21
16 98+6*V(1)+16*V(2) 8+2*V(2) 01 127+V(1)+V(2) (0)C> 21
17 102+6*V(1)+16*V(2) 10+2*V(2) 01 128+V(1)+V(2) (2)B>
18 110+6*V(1)+16*V(2) 8+2*V(2) 01 128+V(1)+V(2) <A(2) 22
19 112+6*V(1)+16*V(2) 10+2*V(2) 01 127+V(1)+V(2) 11 (1)A> 22
20 114+6*V(1)+16*V(2) 12+2*V(2) 01 127+V(1)+V(2) 112 (1)A>
21 116+6*V(1)+16*V(2) 14+2*V(2) 01 127+V(1)+V(2) 113 (1)C>
22 118+6*V(1)+16*V(2) 12+2*V(2) 01 127+V(1)+V(2) 113 <A(2) 10
23 124+6*V(1)+16*V(2) 6+2*V(2) 01 127+V(1)+V(2) <A(2) 223 10
24 126+6*V(1)+16*V(2) 8+2*V(2) 01 126+V(1)+V(2) 11 (1)A> 223 10
25 132+6*V(1)+16*V(2) 14+2*V(2) 01 126+V(1)+V(2) 114 (1)A> 10
<< Success! ==> defined new CTR 7 (PPA)
3107 473276 1048 01 12524 114 (1)A> 10
== Executing PA-CTR 2, V(1)=3, V(2)=519, repcount=130, factor=7/4
5447 1429816 1828 01 124 11914 (1)A> 10
== Executing PPA-CTR 3 (once), V(1)=913
5471 1450056 1834 11 21922 <A(2) 22
== Executing PA-CTR 1, V(1)=917, V(2)=0, repcount=230, factor=7/4
9611 4422576 -6 11 212 <A(2) 221611
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=1610
9625 4441964 3222 01 121615 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=1610, repcount=403, factor=7/4
16879 13548958 5640 01 123 112822 (1)A> 10
16880 13548960 5638 01 123 112822 <A(2) 20
16881 13554604 -6 01 123 <A(2) 222822 20
16882 13554606 -4 01 122 11 (1)A> 222822 20
16883 13560250 5640 01 122 112823 (1)A> 20
16884 13560252 5642 01 122 112824 (1)B>
16885 13560256 5640 01 122 112824 <A(2) 21
16886 13565904 -8 01 122 <A(2) 222824 21
16887 13565906 -6 01 12 11 (1)A> 222824 21
16888 13571554 5642 01 12 112825 (1)A> 21
16889 13571558 5640 01 12 112825 <A(2) 22
16890 13577208 -10 01 12 <A(2) 222826
16891 13577210 -8 01 11 (1)A> 222826
16892 13582862 5644 01 112827 (1)A>
16893 13582864 5646 01 112828 (1)C>
16894 13582866 5644 01 112828 <A(2) 10
16895 13588522 -12 01 <A(2) 222828 10
16896 13588528 -10 11 (2)B> 222828 10
16897 13599840 5646 11 212828 (2)B> 10
16898 13599842 5648 11 212828 22 (1)C>
16899 13599844 5646 11 212828 22 <A(2) 10
16900 13599846 5648 11 212829 (1)A> 10
16901 13599848 5646 11 212829 <A(2) 20
16902 13599852 5648 11 212828 11 (1)A> 20
16903 13599854 5650 11 212828 112 (1)B>
16904 13599858 5648 11 212828 112 <A(2) 21
16905 13599862 5644 11 212828 <A(2) 222 21
16906 13599866 5646 11 212827 11 (1)A> 222 21
16907 13599870 5650 11 212827 113 (1)A> 21
16908 13599874 5648 11 212827 113 <A(2) 22
16909 13599880 5642 11 212827 <A(2) 224
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 01 123 111+V(1) (1)A> 10
1 2 -2 01 123 111+V(1) <A(2) 20
2 4+2*V(1) -4+-2*V(1) 01 123 <A(2) 221+V(1) 20
3 6+2*V(1) -2+-2*V(1) 01 122 11 (1)A> 221+V(1) 20
4 8+4*V(1) 0 01 122 112+V(1) (1)A> 20
5 10+4*V(1) 2 01 122 113+V(1) (1)B>
6 14+4*V(1) 0 01 122 113+V(1) <A(2) 21
7 20+6*V(1) -6+-2*V(1) 01 122 <A(2) 223+V(1) 21
8 22+6*V(1) -4+-2*V(1) 01 12 11 (1)A> 223+V(1) 21
9 28+8*V(1) 2 01 12 114+V(1) (1)A> 21
10 32+8*V(1) 0 01 12 114+V(1) <A(2) 22
11 40+10*V(1) -8+-2*V(1) 01 12 <A(2) 225+V(1)
12 42+10*V(1) -6+-2*V(1) 01 11 (1)A> 225+V(1)
13 52+12*V(1) 4 01 116+V(1) (1)A>
14 54+12*V(1) 6 01 117+V(1) (1)C>
15 56+12*V(1) 4 01 117+V(1) <A(2) 10
16 70+14*V(1) -10+-2*V(1) 01 <A(2) 227+V(1) 10
17 76+14*V(1) -8+-2*V(1) 11 (2)B> 227+V(1) 10
18 104+18*V(1) 6 11 217+V(1) (2)B> 10
19 106+18*V(1) 8 11 217+V(1) 22 (1)C>
20 108+18*V(1) 6 11 217+V(1) 22 <A(2) 10
21 110+18*V(1) 8 11 218+V(1) (1)A> 10
22 112+18*V(1) 6 11 218+V(1) <A(2) 20
23 116+18*V(1) 8 11 217+V(1) 11 (1)A> 20
24 118+18*V(1) 10 11 217+V(1) 112 (1)B>
25 122+18*V(1) 8 11 217+V(1) 112 <A(2) 21
26 126+18*V(1) 4 11 217+V(1) <A(2) 222 21
27 130+18*V(1) 6 11 216+V(1) 11 (1)A> 222 21
28 134+18*V(1) 10 11 216+V(1) 113 (1)A> 21
29 138+18*V(1) 8 11 216+V(1) 113 <A(2) 22
30 144+18*V(1) 2 11 216+V(1) <A(2) 224
<< Success! ==> defined new CTR 8 (PPA)
16909 13599880 5642 11 212827 <A(2) 224
== Executing PA-CTR 1, V(1)=2822, V(2)=3, repcount=706, factor=7/4
29617 41577248 -6 11 213 <A(2) 224946
== Executing PPA-CTR 7 (once), V(1)=0, V(2)=4945
29642 41656500 9898 01 124951 114 (1)A> 10
== Executing PA-CTR 2, V(1)=3, V(2)=4946, repcount=1237, factor=7/4
51908 127442450 17320 01 123 118663 (1)A> 10
== Executing PPA-CTR 8 (once), V(1)=8662
51938 127598510 17322 11 218668 <A(2) 224
== Executing PA-CTR 1, V(1)=8663, V(2)=3, repcount=2166, factor=7/4
90926 390524918 -6 11 214 <A(2) 2215166
== Executing PPA-CTR 6 (once), V(1)=0, V(2)=15165
90949 390828366 30336 01 1215174 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=15169, repcount=3793, factor=7/4
159223 1196605700 53094 01 122 1126552 (1)A> 10
== Executing PPA-CTR 5 (once), V(1)=26551
159237 1196977488 53096 11 2126556 <A(2) 22
== Executing PA-CTR 1, V(1)=26551, V(2)=0, repcount=6638, factor=7/4
278721 3664800024 -8 11 214 <A(2) 2246467
== Executing PPA-CTR 6 (once), V(1)=0, V(2)=46466
278744 3665729492 92936 01 1246475 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=46470, repcount=11618, factor=7/4
487868 11224841776 162644 01 123 1181327 (1)A> 10
== Executing PPA-CTR 8 (once), V(1)=81326
487898 11226305788 162646 11 2181332 <A(2) 224
== Executing PA-CTR 1, V(1)=81327, V(2)=3, repcount=20332, factor=7/4
853874 34378028876 -10 11 214 <A(2) 22142328
== Executing PPA-CTR 6 (once), V(1)=0, V(2)=142327
853897 34380875564 284656 01 12142336 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=142331, repcount=35583, factor=7/4
1494391 105286336838 498154 01 124 11249082 (1)A> 10
== Executing PPA-CTR 3 (once), V(1)=249081
1494415 105291816774 498160 11 21249090 <A(2) 22
== Executing PA-CTR 1, V(1)=249085, V(2)=0, repcount=62272, factor=7/4
2615311 322451467846 -16 11 212 <A(2) 22435905
== Executing PPA-CTR 4 (once), V(1)=0, V(2)=435904
2615325 322456698762 871800 01 12435909 11 (1)A> 10
== Executing PA-CTR 2, V(1)=0, V(2)=435904, repcount=108977, factor=7/4
4576911 987515213696 1525662 01 12 11762840 (1)A> 10
4576912 987515213698 1525660 01 12 11762840 <A(2) 20
4576913 987516739378 -20 01 12 <A(2) 22762840 20
4576914 987516739380 -18 01 11 (1)A> 22762840 20
4576915 987518265060 1525662 01 11762841 (1)A> 20
4576916 987518265062 1525664 01 11762842 (1)B>
4576917 987518265066 1525662 01 11762842 <A(2) 21
4576918 987519790750 -22 01 <A(2) 22762842 21
4576919 987519790756 -20 11 (2)B> 22762842 21
4576920 987522842124 1525664 11 21762842 (2)B> 21
4576921 987522842126 1525666 11 21762842 20 (1)Z>
4576921 987522842126 1525666 11 21762842 20 (1)Z> [stop]
Lines: 268
Top steps: 266
Macro steps: 4576921
Basic steps: 987522842126
Tape index: 1525666
nonzeros: 1525688
log10(nonzeros): 6.183
log10(steps ): 11.995
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol TM #d of G. Lafitte & C. Papazian
5T B1R A2L A1R C1R B2R C0R A1L Z1R A1L
: 1'525'688 987'522'842'126
L 6
M 400
pref sim
machv Laf33_d just simple
machv Laf33_d-r with repetitions reduced
machv Laf33_d-1 with tape symbol exponents
machv Laf33_d-m as bck-2-macro machine
machv Laf33_d-a as bck-2-macro machine with pure additive config-TRs
iam Laf33_d-a
mtype 0 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:50 CEST 2010
edate Tue Jul 6 22:11:51 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:50 CEST 2010