Comment: This TM produces 1471 ones in 2358064 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | D1L | 1 | left | B | 1 | left | D |
| B | C1R | E0R | 1 | right | C | 0 | right | E |
| C | A0L | B0R | 0 | left | A | 0 | right | B |
| D | E1L | H1L | 1 | left | E | 1 | left | H |
| E | C1R | C1L | 1 | right | C | 1 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-2-macro machine.
Simulation is done as 2-bck-2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 9 -3 <A(01) 1100
2 14 0 0010 (10)B> 1100
3 21 -3 0010 <A(01) 0100
4 32 0 1010 (10)B> 0100
5 41 -3 1010 <D(10) 1110
6 45 -7 <D(10) 11102
7 50 -4 0010 (01)C> 11102
8 59 -7 0010 <B(10) 1010 1110
9 62 -4 0011 (01)C> 1010 1110
10 66 0 0011 0101 (01)C> 1110
11 75 -3 0011 0101 <B(10) 1010
12 83 -7 0011 <B(10) 10102
13 94 -4 1001 (01)C> 10102
14 102 4 1001 01012 (01)C>
15 105 1 1001 01012 <E(11)
16 113 -7 1001 <E(11) 01112
17 119 -11 <A(01) 01113
18 124 -8 0010 (10)B> 01113
19 137 -11 0010 <A(01) 0101 01112
20 148 -8 1010 (10)B> 0101 01112
21 152 -4 10102 (10)B> 01112
22 165 -7 10102 <A(01) 0101 0111
23 181 -15 <A(01) 01013 0111
24 186 -12 0010 (10)B> 01013 0111
25 198 0 0010 10103 (10)B> 0111
26 211 -3 0010 10103 <A(01) 0101
27 235 -15 0010 <A(01) 01014
28 246 -12 1010 (10)B> 01014
29 262 4 10105 (10)B>
30 267 1 10105 <C(11) 1000
31 287 -19 <C(11) 10115 1000
32 294 -16 0101 (00)E> 10115 1000
33 297 -19 0101 <B(10) 10115 1000
34 305 -23 <B(10) 1010 10115 1000
35 308 -20 0001 (01)C> 1010 10115 1000
36 312 -16 0001 0101 (01)C> 10115 1000
37 316 -12 0001 01012 (00)E> 10114 1000
38 319 -15 0001 01012 <B(10) 10114 1000
39 335 -23 0001 <B(10) 10102 10114 1000
40 344 -20 0101 (01)C> 10102 10114 1000
41 352 -12 01013 (01)C> 10114 1000
42 356 -8 01014 (00)E> 10113 1000
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 01011+V(1) (00)E> 10113+V(2) [*]*
1 3 -3 01011+V(1) <B(10) 10113+V(2) [*]*
2 11+8*V(1) -7+-4*V(1) <B(10) 10101+V(1) 10113+V(2) [*]*
3 14+8*V(1) -4+-4*V(1) 0001 (01)C> 10101+V(1) 10113+V(2) [*]*
4 18+12*V(1) 0 0001 01011+V(1) (01)C> 10113+V(2) [*]*
5 22+12*V(1) 4 0001 01012+V(1) (00)E> 10112+V(2) [*]*
6 25+12*V(1) 1 0001 01012+V(1) <B(10) 10112+V(2) [*]*
7 41+20*V(1) -7+-4*V(1) 0001 <B(10) 10102+V(1) 10112+V(2) [*]*
8 50+20*V(1) -4+-4*V(1) 0101 (01)C> 10102+V(1) 10112+V(2) [*]*
9 58+24*V(1) 4 01013+V(1) (01)C> 10112+V(2) [*]*
10 62+24*V(1) 8 01014+V(1) (00)E> 10111+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
42 356 -8 01014 (00)E> 10113 1000
== Executing PA-CTR 1, V(1)=3, V(2)=0, repcount=1, factor=3/2
52 490 0 01017 (00)E> 1011 1000
53 493 -3 01017 <B(10) 1011 1000
54 549 -31 <B(10) 10107 1011 1000
55 552 -28 0001 (01)C> 10107 1011 1000
56 580 0 0001 01017 (01)C> 1011 1000
57 584 4 0001 01018 (00)E> 1000
58 587 1 0001 01018 <B(10) 1000
59 651 -31 0001 <B(10) 10108 1000
60 660 -28 0101 (01)C> 10108 1000
61 692 4 01019 (01)C> 1000
62 699 1 01019 <A(01) 1100
63 735 -35 <A(01) 11019 1100
64 740 -32 0010 (10)B> 11019 1100
65 747 -35 0010 <A(01) 0101 11018 1100
66 758 -32 1010 (10)B> 0101 11018 1100
67 762 -28 10102 (10)B> 11018 1100
68 769 -31 10102 <A(01) 0101 11017 1100
69 785 -39 <A(01) 01013 11017 1100
70 790 -36 0010 (10)B> 01013 11017 1100
71 802 -24 0010 10103 (10)B> 11017 1100
72 809 -27 0010 10103 <A(01) 0101 11016 1100
73 833 -39 0010 <A(01) 01014 11016 1100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0010 <A(01) 01011+V(2) 11013+V(1) [*]*
1 11 3 1010 (10)B> 01011+V(2) 11013+V(1) [*]*
2 15+4*V(2) 7+4*V(2) 10102+V(2) (10)B> 11013+V(1) [*]*
3 22+4*V(2) 4+4*V(2) 10102+V(2) <A(01) 0101 11012+V(1) [*]*
4 38+12*V(2) -4 <A(01) 01013+V(2) 11012+V(1) [*]*
5 43+12*V(2) -1 0010 (10)B> 01013+V(2) 11012+V(1) [*]*
6 55+16*V(2) 11+4*V(2) 0010 10103+V(2) (10)B> 11012+V(1) [*]*
7 62+16*V(2) 8+4*V(2) 0010 10103+V(2) <A(01) 0101 11011+V(1) [*]*
8 86+24*V(2) -4 0010 <A(01) 01014+V(2) 11011+V(1) [*]*
<< Success! ==> defined new CTR 2 (PA)
73 833 -39 0010 <A(01) 01014 11016 1100
== Executing PA-CTR 2, V(1)=3, V(2)=3, repcount=2, factor=3/2
89 1221 -47 0010 <A(01) 010110 11012 1100
90 1232 -44 1010 (10)B> 010110 11012 1100
91 1272 -4 101011 (10)B> 11012 1100
92 1279 -7 101011 <A(01) 0101 1101 1100
93 1367 -51 <A(01) 010112 1101 1100
94 1372 -48 0010 (10)B> 010112 1101 1100
95 1420 0 0010 101012 (10)B> 1101 1100
96 1427 -3 0010 101012 <A(01) 0101 1100
97 1523 -51 0010 <A(01) 010113 1100
98 1534 -48 1010 (10)B> 010113 1100
99 1586 4 101014 (10)B> 1100
100 1593 1 101014 <A(01) 0100
101 1705 -55 <A(01) 010114 0100
102 1710 -52 0010 (10)B> 010114 0100
103 1766 4 0010 101014 (10)B> 0100
104 1775 1 0010 101014 <D(10) 1110
105 1831 -55 0010 <D(10) 111015
106 1835 -59 <B(10) 111016
107 1838 -56 0001 (01)C> 111016
108 1847 -59 0001 <B(10) 1010 111015
109 1856 -56 0101 (01)C> 1010 111015
110 1860 -52 01012 (01)C> 111015
111 1869 -55 01012 <B(10) 1010 111014
112 1885 -63 <B(10) 10103 111014
113 1888 -60 0001 (01)C> 10103 111014
114 1900 -48 0001 01013 (01)C> 111014
115 1909 -51 0001 01013 <B(10) 1010 111013
116 1933 -63 0001 <B(10) 10104 111013
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0001 <B(10) 10101+V(2) 11103+V(1)
1 9 3 0101 (01)C> 10101+V(2) 11103+V(1)
2 13+4*V(2) 7+4*V(2) 01012+V(2) (01)C> 11103+V(1)
3 22+4*V(2) 4+4*V(2) 01012+V(2) <B(10) 1010 11102+V(1)
4 38+12*V(2) -4 <B(10) 10103+V(2) 11102+V(1)
5 41+12*V(2) -1 0001 (01)C> 10103+V(2) 11102+V(1)
6 53+16*V(2) 11+4*V(2) 0001 01013+V(2) (01)C> 11102+V(1)
7 62+16*V(2) 8+4*V(2) 0001 01013+V(2) <B(10) 1010 11101+V(1)
8 86+24*V(2) -4 0001 <B(10) 10104+V(2) 11101+V(1)
<< Success! ==> defined new CTR 3 (PA)
116 1933 -63 0001 <B(10) 10104 111013
== Executing PA-CTR 3, V(1)=10, V(2)=3, repcount=6, factor=3/2
164 3961 -87 0001 <B(10) 101022 1110
165 3970 -84 0101 (01)C> 101022 1110
166 4058 4 010123 (01)C> 1110
167 4067 1 010123 <B(10) 1010
168 4251 -91 <B(10) 101024
169 4254 -88 0001 (01)C> 101024
170 4350 8 0001 010124 (01)C>
171 4353 5 0001 010124 <E(11)
172 4449 -91 0001 <E(11) 011124
173 4467 -95 <A(01) 0101 011124
174 4472 -92 0010 (10)B> 0101 011124
175 4476 -88 0010 1010 (10)B> 011124
176 4489 -91 0010 1010 <A(01) 0101 011123
177 4497 -95 0010 <A(01) 01012 011123
178 4508 -92 1010 (10)B> 01012 011123
179 4516 -84 10103 (10)B> 011123
180 4529 -87 10103 <A(01) 0101 011122
181 4553 -99 <A(01) 01014 011122
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 <A(01) 01011+V(2) 01113+V(1)
1 5 3 0010 (10)B> 01011+V(2) 01113+V(1)
2 9+4*V(2) 7+4*V(2) 0010 10101+V(2) (10)B> 01113+V(1)
3 22+4*V(2) 4+4*V(2) 0010 10101+V(2) <A(01) 0101 01112+V(1)
4 30+12*V(2) 0 0010 <A(01) 01012+V(2) 01112+V(1)
5 41+12*V(2) 3 1010 (10)B> 01012+V(2) 01112+V(1)
6 49+16*V(2) 11+4*V(2) 10103+V(2) (10)B> 01112+V(1)
7 62+16*V(2) 8+4*V(2) 10103+V(2) <A(01) 0101 01111+V(1)
8 86+24*V(2) -4 <A(01) 01014+V(2) 01111+V(1)
<< Success! ==> defined new CTR 4 (PA)
181 4553 -99 <A(01) 01014 011122
== Executing PA-CTR 4, V(1)=19, V(2)=3, repcount=10, factor=3/2
261 9373 -139 <A(01) 010134 01112
262 9378 -136 0010 (10)B> 010134 01112
263 9514 0 0010 101034 (10)B> 01112
264 9527 -3 0010 101034 <A(01) 0101 0111
265 9799 -139 0010 <A(01) 010135 0111
266 9810 -136 1010 (10)B> 010135 0111
267 9950 4 101036 (10)B> 0111
268 9963 1 101036 <A(01) 0101
269 10251 -143 <A(01) 010137
270 10256 -140 0010 (10)B> 010137
271 10404 8 0010 101037 (10)B>
272 10409 5 0010 101037 <C(11) 1000
273 10557 -143 0010 <C(11) 101137 1000
274 10566 -140 1001 (00)E> 101137 1000
275 10569 -143 1001 <B(10) 101137 1000
276 10578 -140 1101 (01)C> 101137 1000
277 10582 -136 1101 0101 (00)E> 101136 1000
278 10585 -139 1101 0101 <B(10) 101136 1000
279 10593 -143 1101 <B(10) 1010 101136 1000
280 10601 -147 <D(10) 10102 101136 1000
281 10606 -144 0010 (01)C> 10102 101136 1000
282 10614 -136 0010 01012 (01)C> 101136 1000
283 10618 -132 0010 01013 (00)E> 101135 1000
284 10621 -135 0010 01013 <B(10) 101135 1000
285 10645 -147 0010 <B(10) 10103 101135 1000
286 10648 -144 0011 (01)C> 10103 101135 1000
287 10660 -132 0011 01013 (01)C> 101135 1000
288 10664 -128 0011 01014 (00)E> 101134 1000
289 10667 -131 0011 01014 <B(10) 101134 1000
290 10699 -147 0011 <B(10) 10104 101134 1000
291 10710 -144 1001 (01)C> 10104 101134 1000
292 10726 -128 1001 01014 (01)C> 101134 1000
293 10730 -124 1001 01015 (00)E> 101133 1000
294 10733 -127 1001 01015 <B(10) 101133 1000
295 10773 -147 1001 <B(10) 10105 101133 1000
296 10782 -144 1101 (01)C> 10105 101133 1000
297 10802 -124 1101 01015 (01)C> 101133 1000
298 10806 -120 1101 01016 (00)E> 101132 1000
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1101 01011+V(1) (00)E> 10115+V(2) [*]*
1 3 -3 1101 01011+V(1) <B(10) 10115+V(2) [*]*
2 11+8*V(1) -7+-4*V(1) 1101 <B(10) 10101+V(1) 10115+V(2) [*]*
3 19+8*V(1) -11+-4*V(1) <D(10) 10102+V(1) 10115+V(2) [*]*
4 24+8*V(1) -8+-4*V(1) 0010 (01)C> 10102+V(1) 10115+V(2) [*]*
5 32+12*V(1) 0 0010 01012+V(1) (01)C> 10115+V(2) [*]*
6 36+12*V(1) 4 0010 01013+V(1) (00)E> 10114+V(2) [*]*
7 39+12*V(1) 1 0010 01013+V(1) <B(10) 10114+V(2) [*]*
8 63+20*V(1) -11+-4*V(1) 0010 <B(10) 10103+V(1) 10114+V(2) [*]*
9 66+20*V(1) -8+-4*V(1) 0011 (01)C> 10103+V(1) 10114+V(2) [*]*
10 78+24*V(1) 4 0011 01013+V(1) (01)C> 10114+V(2) [*]*
11 82+24*V(1) 8 0011 01014+V(1) (00)E> 10113+V(2) [*]*
12 85+24*V(1) 5 0011 01014+V(1) <B(10) 10113+V(2) [*]*
13 117+32*V(1) -11+-4*V(1) 0011 <B(10) 10104+V(1) 10113+V(2) [*]*
14 128+32*V(1) -8+-4*V(1) 1001 (01)C> 10104+V(1) 10113+V(2) [*]*
15 144+36*V(1) 8 1001 01014+V(1) (01)C> 10113+V(2) [*]*
16 148+36*V(1) 12 1001 01015+V(1) (00)E> 10112+V(2) [*]*
17 151+36*V(1) 9 1001 01015+V(1) <B(10) 10112+V(2) [*]*
18 191+44*V(1) -11+-4*V(1) 1001 <B(10) 10105+V(1) 10112+V(2) [*]*
19 200+44*V(1) -8+-4*V(1) 1101 (01)C> 10105+V(1) 10112+V(2) [*]*
20 220+48*V(1) 12 1101 01015+V(1) (01)C> 10112+V(2) [*]*
21 224+48*V(1) 16 1101 01016+V(1) (00)E> 10111+V(2) [*]*
<< Success! ==> defined new CTR 5 (PA)
298 10806 -120 1101 01016 (00)E> 101132 1000
== Executing PA-CTR 5, V(1)=5, V(2)=27, repcount=7, factor=5/4
445 19094 -8 1101 010141 (00)E> 10114 1000
446 19097 -11 1101 010141 <B(10) 10114 1000
447 19425 -175 1101 <B(10) 101041 10114 1000
448 19433 -179 <D(10) 101042 10114 1000
449 19438 -176 0010 (01)C> 101042 10114 1000
450 19606 -8 0010 010142 (01)C> 10114 1000
451 19610 -4 0010 010143 (00)E> 10113 1000
452 19613 -7 0010 010143 <B(10) 10113 1000
453 19957 -179 0010 <B(10) 101043 10113 1000
454 19960 -176 0011 (01)C> 101043 10113 1000
455 20132 -4 0011 010143 (01)C> 10113 1000
456 20136 0 0011 010144 (00)E> 10112 1000
457 20139 -3 0011 010144 <B(10) 10112 1000
458 20491 -179 0011 <B(10) 101044 10112 1000
459 20502 -176 1001 (01)C> 101044 10112 1000
460 20678 0 1001 010144 (01)C> 10112 1000
461 20682 4 1001 010145 (00)E> 1011 1000
462 20685 1 1001 010145 <B(10) 1011 1000
463 21045 -179 1001 <B(10) 101045 1011 1000
464 21054 -176 1101 (01)C> 101045 1011 1000
465 21234 4 1101 010145 (01)C> 1011 1000
466 21238 8 1101 010146 (00)E> 1000
467 21241 5 1101 010146 <B(10) 1000
468 21609 -179 1101 <B(10) 101046 1000
469 21617 -183 <D(10) 101047 1000
470 21622 -180 0010 (01)C> 101047 1000
471 21810 8 0010 010147 (01)C> 1000
472 21817 5 0010 010147 <A(01) 1100
473 22005 -183 0010 <A(01) 110147 1100
474 22016 -180 1010 (10)B> 110147 1100
475 22023 -183 1010 <A(01) 0101 110146 1100
476 22031 -187 <A(01) 01012 110146 1100
477 22036 -184 0010 (10)B> 01012 110146 1100
478 22044 -176 0010 10102 (10)B> 110146 1100
479 22051 -179 0010 10102 <A(01) 0101 110145 1100
480 22067 -187 0010 <A(01) 01013 110145 1100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 1101 01011+V(1) (00)E> 10114 1000
1 3 -3 1101 01011+V(1) <B(10) 10114 1000
2 11+8*V(1) -7+-4*V(1) 1101 <B(10) 10101+V(1) 10114 1000
3 19+8*V(1) -11+-4*V(1) <D(10) 10102+V(1) 10114 1000
4 24+8*V(1) -8+-4*V(1) 0010 (01)C> 10102+V(1) 10114 1000
5 32+12*V(1) 0 0010 01012+V(1) (01)C> 10114 1000
6 36+12*V(1) 4 0010 01013+V(1) (00)E> 10113 1000
7 39+12*V(1) 1 0010 01013+V(1) <B(10) 10113 1000
8 63+20*V(1) -11+-4*V(1) 0010 <B(10) 10103+V(1) 10113 1000
9 66+20*V(1) -8+-4*V(1) 0011 (01)C> 10103+V(1) 10113 1000
10 78+24*V(1) 4 0011 01013+V(1) (01)C> 10113 1000
11 82+24*V(1) 8 0011 01014+V(1) (00)E> 10112 1000
12 85+24*V(1) 5 0011 01014+V(1) <B(10) 10112 1000
13 117+32*V(1) -11+-4*V(1) 0011 <B(10) 10104+V(1) 10112 1000
14 128+32*V(1) -8+-4*V(1) 1001 (01)C> 10104+V(1) 10112 1000
15 144+36*V(1) 8 1001 01014+V(1) (01)C> 10112 1000
16 148+36*V(1) 12 1001 01015+V(1) (00)E> 1011 1000
17 151+36*V(1) 9 1001 01015+V(1) <B(10) 1011 1000
18 191+44*V(1) -11+-4*V(1) 1001 <B(10) 10105+V(1) 1011 1000
19 200+44*V(1) -8+-4*V(1) 1101 (01)C> 10105+V(1) 1011 1000
20 220+48*V(1) 12 1101 01015+V(1) (01)C> 1011 1000
21 224+48*V(1) 16 1101 01016+V(1) (00)E> 1000
22 227+48*V(1) 13 1101 01016+V(1) <B(10) 1000
23 275+56*V(1) -11+-4*V(1) 1101 <B(10) 10106+V(1) 1000
24 283+56*V(1) -15+-4*V(1) <D(10) 10107+V(1) 1000
25 288+56*V(1) -12+-4*V(1) 0010 (01)C> 10107+V(1) 1000
26 316+60*V(1) 16 0010 01017+V(1) (01)C> 1000
27 323+60*V(1) 13 0010 01017+V(1) <A(01) 1100
28 351+64*V(1) -15+-4*V(1) 0010 <A(01) 11017+V(1) 1100
29 362+64*V(1) -12+-4*V(1) 1010 (10)B> 11017+V(1) 1100
30 369+64*V(1) -15+-4*V(1) 1010 <A(01) 0101 11016+V(1) 1100
31 377+64*V(1) -19+-4*V(1) <A(01) 01012 11016+V(1) 1100
32 382+64*V(1) -16+-4*V(1) 0010 (10)B> 01012 11016+V(1) 1100
33 390+64*V(1) -8+-4*V(1) 0010 10102 (10)B> 11016+V(1) 1100
34 397+64*V(1) -11+-4*V(1) 0010 10102 <A(01) 0101 11015+V(1) 1100
35 413+64*V(1) -19+-4*V(1) 0010 <A(01) 01013 11015+V(1) 1100
<< Success! ==> defined new CTR 6 (PPA)
480 22067 -187 0010 <A(01) 01013 110145 1100
== Executing PA-CTR 2, V(1)=42, V(2)=2, repcount=22, factor=3/2
656 41647 -275 0010 <A(01) 010169 1101 1100
657 41658 -272 1010 (10)B> 010169 1101 1100
658 41934 4 101070 (10)B> 1101 1100
659 41941 1 101070 <A(01) 0101 1100
660 42501 -279 <A(01) 010171 1100
661 42506 -276 0010 (10)B> 010171 1100
662 42790 8 0010 101071 (10)B> 1100
663 42797 5 0010 101071 <A(01) 0100
664 43365 -279 0010 <A(01) 010171 0100
665 43376 -276 1010 (10)B> 010171 0100
666 43660 8 101072 (10)B> 0100
667 43669 5 101072 <D(10) 1110
668 43957 -283 <D(10) 111073
669 43962 -280 0010 (01)C> 111073
670 43971 -283 0010 <B(10) 1010 111072
671 43974 -280 0011 (01)C> 1010 111072
672 43978 -276 0011 0101 (01)C> 111072
673 43987 -279 0011 0101 <B(10) 1010 111071
674 43995 -283 0011 <B(10) 10102 111071
675 44006 -280 1001 (01)C> 10102 111071
676 44014 -272 1001 01012 (01)C> 111071
677 44023 -275 1001 01012 <B(10) 1010 111070
678 44039 -283 1001 <B(10) 10103 111070
679 44048 -280 1101 (01)C> 10103 111070
680 44060 -268 1101 01013 (01)C> 111070
681 44069 -271 1101 01013 <B(10) 1010 111069
682 44093 -283 1101 <B(10) 10104 111069
683 44101 -287 <D(10) 10105 111069
684 44106 -284 0010 (01)C> 10105 111069
685 44126 -264 0010 01015 (01)C> 111069
686 44135 -267 0010 01015 <B(10) 1010 111068
687 44175 -287 0010 <B(10) 10106 111068
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0010 <B(10) 10101+V(2) 11105+V(1)
1 3 3 0011 (01)C> 10101+V(2) 11105+V(1)
2 7+4*V(2) 7+4*V(2) 0011 01011+V(2) (01)C> 11105+V(1)
3 16+4*V(2) 4+4*V(2) 0011 01011+V(2) <B(10) 1010 11104+V(1)
4 24+12*V(2) 0 0011 <B(10) 10102+V(2) 11104+V(1)
5 35+12*V(2) 3 1001 (01)C> 10102+V(2) 11104+V(1)
6 43+16*V(2) 11+4*V(2) 1001 01012+V(2) (01)C> 11104+V(1)
7 52+16*V(2) 8+4*V(2) 1001 01012+V(2) <B(10) 1010 11103+V(1)
8 68+24*V(2) 0 1001 <B(10) 10103+V(2) 11103+V(1)
9 77+24*V(2) 3 1101 (01)C> 10103+V(2) 11103+V(1)
10 89+28*V(2) 15+4*V(2) 1101 01013+V(2) (01)C> 11103+V(1)
11 98+28*V(2) 12+4*V(2) 1101 01013+V(2) <B(10) 1010 11102+V(1)
12 122+36*V(2) 0 1101 <B(10) 10104+V(2) 11102+V(1)
13 130+36*V(2) -4 <D(10) 10105+V(2) 11102+V(1)
14 135+36*V(2) -1 0010 (01)C> 10105+V(2) 11102+V(1)
15 155+40*V(2) 19+4*V(2) 0010 01015+V(2) (01)C> 11102+V(1)
16 164+40*V(2) 16+4*V(2) 0010 01015+V(2) <B(10) 1010 11101+V(1)
17 204+48*V(2) -4 0010 <B(10) 10106+V(2) 11101+V(1)
<< Success! ==> defined new CTR 7 (PA)
687 44175 -287 0010 <B(10) 10106 111068
== Executing PA-CTR 7, V(1)=63, V(2)=5, repcount=16, factor=5/4
959 80079 -351 0010 <B(10) 101086 11104
960 80082 -348 0011 (01)C> 101086 11104
961 80426 -4 0011 010186 (01)C> 11104
962 80435 -7 0011 010186 <B(10) 1010 11103
963 81123 -351 0011 <B(10) 101087 11103
964 81134 -348 1001 (01)C> 101087 11103
965 81482 0 1001 010187 (01)C> 11103
966 81491 -3 1001 010187 <B(10) 1010 11102
967 82187 -351 1001 <B(10) 101088 11102
968 82196 -348 1101 (01)C> 101088 11102
969 82548 4 1101 010188 (01)C> 11102
970 82557 1 1101 010188 <B(10) 1010 1110
971 83261 -351 1101 <B(10) 101089 1110
972 83269 -355 <D(10) 101090 1110
973 83274 -352 0010 (01)C> 101090 1110
974 83634 8 0010 010190 (01)C> 1110
975 83643 5 0010 010190 <B(10) 1010
976 84363 -355 0010 <B(10) 101091
977 84366 -352 0011 (01)C> 101091
978 84730 12 0011 010191 (01)C>
979 84733 9 0011 010191 <E(11)
980 85097 -355 0011 <E(11) 011191
981 85108 -352 0101 (00)E> 011191
982 85124 -348 0101 1010 (10)B> 011190
983 85137 -351 0101 1010 <A(01) 0101 011189
984 85145 -355 0101 <A(01) 01012 011189
985 85149 -359 <A(01) 1101 01012 011189
986 85154 -356 0010 (10)B> 1101 01012 011189
987 85161 -359 0010 <A(01) 01013 011189
988 85172 -356 1010 (10)B> 01013 011189
989 85184 -344 10104 (10)B> 011189
990 85197 -347 10104 <A(01) 0101 011188
991 85229 -363 <A(01) 01015 011188
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0010 <B(10) 10101+V(1) 11104
1 3 3 0011 (01)C> 10101+V(1) 11104
2 7+4*V(1) 7+4*V(1) 0011 01011+V(1) (01)C> 11104
3 16+4*V(1) 4+4*V(1) 0011 01011+V(1) <B(10) 1010 11103
4 24+12*V(1) 0 0011 <B(10) 10102+V(1) 11103
5 35+12*V(1) 3 1001 (01)C> 10102+V(1) 11103
6 43+16*V(1) 11+4*V(1) 1001 01012+V(1) (01)C> 11103
7 52+16*V(1) 8+4*V(1) 1001 01012+V(1) <B(10) 1010 11102
8 68+24*V(1) 0 1001 <B(10) 10103+V(1) 11102
9 77+24*V(1) 3 1101 (01)C> 10103+V(1) 11102
10 89+28*V(1) 15+4*V(1) 1101 01013+V(1) (01)C> 11102
11 98+28*V(1) 12+4*V(1) 1101 01013+V(1) <B(10) 1010 1110
12 122+36*V(1) 0 1101 <B(10) 10104+V(1) 1110
13 130+36*V(1) -4 <D(10) 10105+V(1) 1110
14 135+36*V(1) -1 0010 (01)C> 10105+V(1) 1110
15 155+40*V(1) 19+4*V(1) 0010 01015+V(1) (01)C> 1110
16 164+40*V(1) 16+4*V(1) 0010 01015+V(1) <B(10) 1010
17 204+48*V(1) -4 0010 <B(10) 10106+V(1)
18 207+48*V(1) -1 0011 (01)C> 10106+V(1)
19 231+52*V(1) 23+4*V(1) 0011 01016+V(1) (01)C>
20 234+52*V(1) 20+4*V(1) 0011 01016+V(1) <E(11)
21 258+56*V(1) -4 0011 <E(11) 01116+V(1)
22 269+56*V(1) -1 0101 (00)E> 01116+V(1)
23 285+56*V(1) 3 0101 1010 (10)B> 01115+V(1)
24 298+56*V(1) 0 0101 1010 <A(01) 0101 01114+V(1)
25 306+56*V(1) -4 0101 <A(01) 01012 01114+V(1)
26 310+56*V(1) -8 <A(01) 1101 01012 01114+V(1)
27 315+56*V(1) -5 0010 (10)B> 1101 01012 01114+V(1)
28 322+56*V(1) -8 0010 <A(01) 01013 01114+V(1)
29 333+56*V(1) -5 1010 (10)B> 01013 01114+V(1)
30 345+56*V(1) 7 10104 (10)B> 01114+V(1)
31 358+56*V(1) 4 10104 <A(01) 0101 01113+V(1)
32 390+56*V(1) -12 <A(01) 01015 01113+V(1)
<< Success! ==> defined new CTR 8 (PPA)
991 85229 -363 <A(01) 01015 011188
== Executing PA-CTR 4, V(1)=85, V(2)=4, repcount=43, factor=3/2
1335 158071 -535 <A(01) 0101134 01112
1336 158076 -532 0010 (10)B> 0101134 01112
1337 158612 4 0010 1010134 (10)B> 01112
1338 158625 1 0010 1010134 <A(01) 0101 0111
1339 159697 -535 0010 <A(01) 0101135 0111
1340 159708 -532 1010 (10)B> 0101135 0111
1341 160248 8 1010136 (10)B> 0111
1342 160261 5 1010136 <A(01) 0101
1343 161349 -539 <A(01) 0101137
1344 161354 -536 0010 (10)B> 0101137
1345 161902 12 0010 1010137 (10)B>
1346 161907 9 0010 1010137 <C(11) 1000
1347 162455 -539 0010 <C(11) 1011137 1000
1348 162464 -536 1001 (00)E> 1011137 1000
1349 162467 -539 1001 <B(10) 1011137 1000
1350 162476 -536 1101 (01)C> 1011137 1000
1351 162480 -532 1101 0101 (00)E> 1011136 1000
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 <A(01) 01013+V(1) 01112
1 5 3 0010 (10)B> 01013+V(1) 01112
2 17+4*V(1) 15+4*V(1) 0010 10103+V(1) (10)B> 01112
3 30+4*V(1) 12+4*V(1) 0010 10103+V(1) <A(01) 0101 0111
4 54+12*V(1) 0 0010 <A(01) 01014+V(1) 0111
5 65+12*V(1) 3 1010 (10)B> 01014+V(1) 0111
6 81+16*V(1) 19+4*V(1) 10105+V(1) (10)B> 0111
7 94+16*V(1) 16+4*V(1) 10105+V(1) <A(01) 0101
8 134+24*V(1) -4 <A(01) 01016+V(1)
9 139+24*V(1) -1 0010 (10)B> 01016+V(1)
10 163+28*V(1) 23+4*V(1) 0010 10106+V(1) (10)B>
11 168+28*V(1) 20+4*V(1) 0010 10106+V(1) <C(11) 1000
12 192+32*V(1) -4 0010 <C(11) 10116+V(1) 1000
13 201+32*V(1) -1 1001 (00)E> 10116+V(1) 1000
14 204+32*V(1) -4 1001 <B(10) 10116+V(1) 1000
15 213+32*V(1) -1 1101 (01)C> 10116+V(1) 1000
16 217+32*V(1) 3 1101 0101 (00)E> 10115+V(1) 1000
<< Success! ==> defined new CTR 9 (PPA)
1351 162480 -532 1101 0101 (00)E> 1011136 1000
== Executing PA-CTR 5, V(1)=0, V(2)=131, repcount=33, factor=5/4
2044 296592 -4 1101 0101166 (00)E> 10114 1000
== Executing PPA-CTR 6 (once), V(1)=165
2079 307565 -683 0010 <A(01) 01013 1101170 1100
== Executing PA-CTR 2, V(1)=167, V(2)=2, repcount=84, factor=3/2
2751 569813 -1019 0010 <A(01) 0101255 11012 1100
2752 569824 -1016 1010 (10)B> 0101255 11012 1100
2753 570844 4 1010256 (10)B> 11012 1100
2754 570851 1 1010256 <A(01) 0101 1101 1100
2755 572899 -1023 <A(01) 0101257 1101 1100
2756 572904 -1020 0010 (10)B> 0101257 1101 1100
2757 573932 8 0010 1010257 (10)B> 1101 1100
2758 573939 5 0010 1010257 <A(01) 0101 1100
2759 575995 -1023 0010 <A(01) 0101258 1100
2760 576006 -1020 1010 (10)B> 0101258 1100
2761 577038 12 1010259 (10)B> 1100
2762 577045 9 1010259 <A(01) 0100
2763 579117 -1027 <A(01) 0101259 0100
2764 579122 -1024 0010 (10)B> 0101259 0100
2765 580158 12 0010 1010259 (10)B> 0100
2766 580167 9 0010 1010259 <D(10) 1110
2767 581203 -1027 0010 <D(10) 1110260
2768 581207 -1031 <B(10) 1110261
2769 581210 -1028 0001 (01)C> 1110261
2770 581219 -1031 0001 <B(10) 1010 1110260
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 0010 <A(01) 01011+V(1) 11012 1100
1 11 3 1010 (10)B> 01011+V(1) 11012 1100
2 15+4*V(1) 7+4*V(1) 10102+V(1) (10)B> 11012 1100
3 22+4*V(1) 4+4*V(1) 10102+V(1) <A(01) 0101 1101 1100
4 38+12*V(1) -4 <A(01) 01013+V(1) 1101 1100
5 43+12*V(1) -1 0010 (10)B> 01013+V(1) 1101 1100
6 55+16*V(1) 11+4*V(1) 0010 10103+V(1) (10)B> 1101 1100
7 62+16*V(1) 8+4*V(1) 0010 10103+V(1) <A(01) 0101 1100
8 86+24*V(1) -4 0010 <A(01) 01014+V(1) 1100
9 97+24*V(1) -1 1010 (10)B> 01014+V(1) 1100
10 113+28*V(1) 15+4*V(1) 10105+V(1) (10)B> 1100
11 120+28*V(1) 12+4*V(1) 10105+V(1) <A(01) 0100
12 160+36*V(1) -8 <A(01) 01015+V(1) 0100
13 165+36*V(1) -5 0010 (10)B> 01015+V(1) 0100
14 185+40*V(1) 15+4*V(1) 0010 10105+V(1) (10)B> 0100
15 194+40*V(1) 12+4*V(1) 0010 10105+V(1) <D(10) 1110
16 214+44*V(1) -8 0010 <D(10) 11106+V(1)
17 218+44*V(1) -12 <B(10) 11107+V(1)
18 221+44*V(1) -9 0001 (01)C> 11107+V(1)
19 230+44*V(1) -12 0001 <B(10) 1010 11106+V(1)
<< Success! ==> defined new CTR 10 (PPA)
2770 581219 -1031 0001 <B(10) 1010 1110260
== Executing PA-CTR 3, V(1)=257, V(2)=0, repcount=129, factor=3/2
3802 1186745 -1547 0001 <B(10) 1010388 11102
3803 1186754 -1544 0101 (01)C> 1010388 11102
3804 1188306 8 0101389 (01)C> 11102
3805 1188315 5 0101389 <B(10) 1010 1110
3806 1191427 -1551 <B(10) 1010390 1110
3807 1191430 -1548 0001 (01)C> 1010390 1110
3808 1192990 12 0001 0101390 (01)C> 1110
3809 1192999 9 0001 0101390 <B(10) 1010
3810 1196119 -1551 0001 <B(10) 1010391
3811 1196128 -1548 0101 (01)C> 1010391
3812 1197692 16 0101392 (01)C>
3813 1197695 13 0101392 <E(11)
3814 1199263 -1555 <E(11) 0111392
3815 1199266 -1552 0001 (00)E> 0111392
3816 1199282 -1548 0001 1010 (10)B> 0111391
3817 1199295 -1551 0001 1010 <A(01) 0101 0111390
3818 1199303 -1555 0001 <A(01) 01012 0111390
3819 1199310 -1552 0100 (10)B> 01012 0111390
3820 1199318 -1544 0100 10102 (10)B> 0111390
3821 1199331 -1547 0100 10102 <A(01) 0101 0111389
3822 1199347 -1555 0100 <A(01) 01013 0111389
3823 1199352 -1552 0110 (10)B> 01013 0111389
3824 1199364 -1540 0110 10103 (10)B> 0111389
3825 1199377 -1543 0110 10103 <A(01) 0101 0111388
3826 1199401 -1555 0110 <A(01) 01014 0111388
3827 1199407 -1559 <E(11) 01015 0111388
3828 1199410 -1556 0001 (00)E> 01015 0111388
3829 1199414 -1552 0001 0010 (10)B> 01014 0111388
3830 1199430 -1536 0001 0010 10104 (10)B> 0111388
3831 1199443 -1539 0001 0010 10104 <A(01) 0101 0111387
3832 1199475 -1555 0001 0010 <A(01) 01015 0111387
3833 1199486 -1552 0001 1010 (10)B> 01015 0111387
3834 1199506 -1532 0001 10106 (10)B> 0111387
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 0001 10101+V(1) (10)B> 01115+V(2)
1 13 -3 0001 10101+V(1) <A(01) 0101 01114+V(2)
2 21+8*V(1) -7+-4*V(1) 0001 <A(01) 01012+V(1) 01114+V(2)
3 28+8*V(1) -4+-4*V(1) 0100 (10)B> 01012+V(1) 01114+V(2)
4 36+12*V(1) 4 0100 10102+V(1) (10)B> 01114+V(2)
5 49+12*V(1) 1 0100 10102+V(1) <A(01) 0101 01113+V(2)
6 65+20*V(1) -7+-4*V(1) 0100 <A(01) 01013+V(1) 01113+V(2)
7 70+20*V(1) -4+-4*V(1) 0110 (10)B> 01013+V(1) 01113+V(2)
8 82+24*V(1) 8 0110 10103+V(1) (10)B> 01113+V(2)
9 95+24*V(1) 5 0110 10103+V(1) <A(01) 0101 01112+V(2)
10 119+32*V(1) -7+-4*V(1) 0110 <A(01) 01014+V(1) 01112+V(2)
11 125+32*V(1) -11+-4*V(1) <E(11) 01015+V(1) 01112+V(2)
12 128+32*V(1) -8+-4*V(1) 0001 (00)E> 01015+V(1) 01112+V(2)
13 132+32*V(1) -4+-4*V(1) 0001 0010 (10)B> 01014+V(1) 01112+V(2)
14 148+36*V(1) 12 0001 0010 10104+V(1) (10)B> 01112+V(2)
15 161+36*V(1) 9 0001 0010 10104+V(1) <A(01) 0101 01111+V(2)
16 193+44*V(1) -7+-4*V(1) 0001 0010 <A(01) 01015+V(1) 01111+V(2)
17 204+44*V(1) -4+-4*V(1) 0001 1010 (10)B> 01015+V(1) 01111+V(2)
18 224+48*V(1) 16 0001 10106+V(1) (10)B> 01111+V(2)
<< Success! ==> defined new CTR 11 (PA)
3834 1199506 -1532 0001 10106 (10)B> 0111387
== Executing PA-CTR 11, V(1)=5, V(2)=382, repcount=96, factor=5/4
5562 2338450 4 0001 1010486 (10)B> 01113
5563 2338463 1 0001 1010486 <A(01) 0101 01112
5564 2342351 -1943 0001 <A(01) 0101487 01112
5565 2342358 -1940 0100 (10)B> 0101487 01112
5566 2344306 8 0100 1010487 (10)B> 01112
5567 2344319 5 0100 1010487 <A(01) 0101 0111
5568 2348215 -1943 0100 <A(01) 0101488 0111
5569 2348220 -1940 0110 (10)B> 0101488 0111
5570 2350172 12 0110 1010488 (10)B> 0111
5571 2350185 9 0110 1010488 <A(01) 0101
5572 2354089 -1943 0110 <A(01) 0101489
5573 2354095 -1947 <E(11) 0101490
5574 2354098 -1944 0001 (00)E> 0101490
5575 2354102 -1940 0001 0010 (10)B> 0101489
5576 2356058 16 0001 0010 1010489 (10)B>
5577 2356063 13 0001 0010 1010489 <C(11) 1000
5578 2358019 -1943 0001 0010 <C(11) 1011489 1000
5579 2358028 -1940 0001 1001 (00)E> 1011489 1000
5580 2358031 -1943 0001 1001 <B(10) 1011489 1000
5581 2358040 -1940 0001 1101 (01)C> 1011489 1000
5582 2358044 -1936 0001 1101 0101 (00)E> 1011488 1000
5583 2358047 -1939 0001 1101 0101 <B(10) 1011488 1000
5584 2358055 -1943 0001 1101 <B(10) 1010 1011488 1000
5585 2358063 -1947 0001 <D(10) 10102 1011488 1000
5586 2358064 -1948 00 H> 0110 10102 1011488 1000 [stop]
Lines: 347
Top steps: 346
Macro steps: 5586
Basic steps: 2358064
Tape index: -1948
ones: 1471
log10(ones ): 3.168
log10(steps ): 6.373
Run state: stop
Input to awk program:
gohalt 1
5T B1L D1L C1R E0R A0L B0R E1L H1L C1R C1L : 1471 2358064
T 5-state TM #7 from MaBu-List
M 400
pref sim
machv mbL5_7 just simple
machv mbL5_7-r with repetitions reduced
machv mbL5_7-1 with tape symbol exponents
machv mbL5_7-m as 2-bck-2-macro machine
machv mbL5_7-a as 2-bck-2-macro machine with pure additive config-TRs
iam mbL5_7-a
mtype 2 0 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:24 CEST 2010
edate Tue Jul 6 22:10:25 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:10:24 CEST 2010