Comment: This TM produces 4097 ones in 23554764 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1L | D0R | 1 | left | B | 0 | right | D |
| B | C1R | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E1L | 1 | left | H | 1 | left | E |
| E | A1L | B0L | 1 | left | A | 0 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-bck-macro machine.
Simulation is done as 3-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 3.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (000)A>
1 20 -4 <B(111) 111
2 24 0 001 (111)C> 111
3 27 3 001 111 (111)C>
4 33 -1 001 111 <D(101) 110
5 36 -4 001 <D(101) 101 110
6 39 -7 <B(111) 1012 110
7 43 -3 001 (111)C> 1012 110
8 46 0 001 111 (110)D> 101 110
9 54 -4 001 111 <A(111) 101 110
10 63 -7 001 <A(111) 111 101 110
11 73 -3 111 (111)C> 111 101 110
12 76 0 1112 (111)C> 101 110
13 79 3 1113 (110)D> 110
14 87 -1 1113 <A(111) 110
15 114 -10 <A(111) 1113 110
16 120 -6 011 (111)C> 1113 110
17 129 3 011 1113 (111)C> 110
18 132 6 011 1114 (111)A>
19 136 2 011 1114 <B(011) 100
20 148 -10 011 <B(011) 0114 100
21 151 -13 <A(111) 0115 100
22 157 -9 011 (111)C> 0115 100
23 173 -13 011 <A(111) 111 0114 100
24 180 -16 <B(111) 1112 0114 100
25 184 -12 001 (111)C> 1112 0114 100
26 190 -6 001 1112 (111)C> 0114 100
27 206 -10 001 1112 <A(111) 111 0113 100
28 224 -16 001 <A(111) 1113 0113 100
29 234 -12 111 (111)C> 1113 0113 100
30 243 -3 1114 (111)C> 0113 100
31 259 -7 1114 <A(111) 111 0112 100
32 295 -19 <A(111) 1115 0112 100
33 301 -15 011 (111)C> 1115 0112 100
34 316 0 011 1115 (111)C> 0112 100
35 332 -4 011 1115 <A(111) 111 011 100
36 377 -19 011 <A(111) 1116 011 100
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011 <A(111) 1111+V(2) 0114+V(1) [*]*
1 7 -3 <B(111) 1112+V(2) 0114+V(1) [*]*
2 11 1 001 (111)C> 1112+V(2) 0114+V(1) [*]*
3 17+3*V(2) 7+3*V(2) 001 1112+V(2) (111)C> 0114+V(1) [*]*
4 33+3*V(2) 3+3*V(2) 001 1112+V(2) <A(111) 111 0113+V(1) [*]*
5 51+12*V(2) -3 001 <A(111) 1113+V(2) 0113+V(1) [*]*
6 61+12*V(2) 1 111 (111)C> 1113+V(2) 0113+V(1) [*]*
7 70+15*V(2) 10+3*V(2) 1114+V(2) (111)C> 0113+V(1) [*]*
8 86+15*V(2) 6+3*V(2) 1114+V(2) <A(111) 111 0112+V(1) [*]*
9 122+24*V(2) -6 <A(111) 1115+V(2) 0112+V(1) [*]*
10 128+24*V(2) -2 011 (111)C> 1115+V(2) 0112+V(1) [*]*
11 143+27*V(2) 13+3*V(2) 011 1115+V(2) (111)C> 0112+V(1) [*]*
12 159+27*V(2) 9+3*V(2) 011 1115+V(2) <A(111) 111 0111+V(1) [*]*
13 204+36*V(2) -6 011 <A(111) 1116+V(2) 0111+V(1) [*]*
<< Success! ==> defined new CTR 1 (PA)
37 384 -22 <B(111) 1117 011 100
38 388 -18 001 (111)C> 1117 011 100
39 409 3 001 1117 (111)C> 011 100
40 425 -1 001 1117 <A(111) 111 100
41 488 -22 001 <A(111) 1118 100
42 498 -18 111 (111)C> 1118 100
43 522 6 1119 (111)C> 100
44 530 2 1119 <E(110) 111
45 557 -25 <E(110) 1109 111
46 565 -21 111 (111)A> 1109 111
47 577 -25 111 <A(111) 1109 111
48 586 -28 <A(111) 111 1109 111
49 592 -24 011 (111)C> 111 1109 111
50 595 -21 011 111 (111)C> 1109 111
51 598 -18 011 1112 (111)A> 1108 111
52 610 -22 011 1112 <A(111) 1108 111
53 628 -28 011 <A(111) 1112 1108 111
54 635 -31 <B(111) 1113 1108 111
55 639 -27 001 (111)C> 1113 1108 111
56 648 -18 001 1113 (111)C> 1108 111
57 651 -15 001 1114 (111)A> 1107 111
58 663 -19 001 1114 <A(111) 1107 111
59 699 -31 001 <A(111) 1114 1107 111
60 709 -27 111 (111)C> 1114 1107 111
61 721 -15 1115 (111)C> 1107 111
62 724 -12 1116 (111)A> 1106 111
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 1111+V(1) (111)A> 1104+V(2) [*]*
1 12 -4 1111+V(1) <A(111) 1104+V(2) [*]*
2 21+9*V(1) -7+-3*V(1) <A(111) 1111+V(1) 1104+V(2) [*]*
3 27+9*V(1) -3+-3*V(1) 011 (111)C> 1111+V(1) 1104+V(2) [*]*
4 30+12*V(1) 0 011 1111+V(1) (111)C> 1104+V(2) [*]*
5 33+12*V(1) 3 011 1112+V(1) (111)A> 1103+V(2) [*]*
6 45+12*V(1) -1 011 1112+V(1) <A(111) 1103+V(2) [*]*
7 63+21*V(1) -7+-3*V(1) 011 <A(111) 1112+V(1) 1103+V(2) [*]*
8 70+21*V(1) -10+-3*V(1) <B(111) 1113+V(1) 1103+V(2) [*]*
9 74+21*V(1) -6+-3*V(1) 001 (111)C> 1113+V(1) 1103+V(2) [*]*
10 83+24*V(1) 3 001 1113+V(1) (111)C> 1103+V(2) [*]*
11 86+24*V(1) 6 001 1114+V(1) (111)A> 1102+V(2) [*]*
12 98+24*V(1) 2 001 1114+V(1) <A(111) 1102+V(2) [*]*
13 134+33*V(1) -10+-3*V(1) 001 <A(111) 1114+V(1) 1102+V(2) [*]*
14 144+33*V(1) -6+-3*V(1) 111 (111)C> 1114+V(1) 1102+V(2) [*]*
15 156+36*V(1) 6 1115+V(1) (111)C> 1102+V(2) [*]*
16 159+36*V(1) 9 1116+V(1) (111)A> 1101+V(2) [*]*
<< Success! ==> defined new CTR 2 (PA)
62 724 -12 1116 (111)A> 1106 111
== Executing PA-CTR 2, V(1)=5, V(2)=2, repcount=1, factor=5/3
78 1063 -3 11111 (111)A> 1103 111
79 1075 -7 11111 <A(111) 1103 111
80 1174 -40 <A(111) 11111 1103 111
81 1180 -36 011 (111)C> 11111 1103 111
82 1213 -3 011 11111 (111)C> 1103 111
83 1216 0 011 11112 (111)A> 1102 111
84 1228 -4 011 11112 <A(111) 1102 111
85 1336 -40 011 <A(111) 11112 1102 111
86 1343 -43 <B(111) 11113 1102 111
87 1347 -39 001 (111)C> 11113 1102 111
88 1386 0 001 11113 (111)C> 1102 111
89 1389 3 001 11114 (111)A> 110 111
90 1401 -1 001 11114 <A(111) 110 111
91 1527 -43 001 <A(111) 11114 110 111
92 1537 -39 111 (111)C> 11114 110 111
93 1579 3 11115 (111)C> 110 111
94 1582 6 11116 (111)A> 111
95 1594 2 11116 <A(111) 111
96 1738 -46 <A(111) 11117
97 1744 -42 011 (111)C> 11117
98 1795 9 011 11117 (111)C>
99 1801 5 011 11117 <D(101) 110
100 1852 -46 011 <D(101) 10117 110
101 1865 -49 <A(111) 10118 110
102 1871 -45 011 (111)C> 10118 110
103 1874 -42 011 111 (110)D> 10117 110
104 1882 -46 011 111 <A(111) 10117 110
105 1891 -49 011 <A(111) 111 10117 110
106 1898 -52 <B(111) 1112 10117 110
107 1902 -48 001 (111)C> 1112 10117 110
108 1908 -42 001 1112 (111)C> 10117 110
109 1911 -39 001 1113 (110)D> 10116 110
110 1919 -43 001 1113 <A(111) 10116 110
111 1946 -52 001 <A(111) 1113 10116 110
112 1956 -48 111 (111)C> 1113 10116 110
113 1965 -39 1114 (111)C> 10116 110
114 1968 -36 1115 (110)D> 10115 110
115 1976 -40 1115 <A(111) 10115 110
116 2021 -55 <A(111) 1115 10115 110
117 2027 -51 011 (111)C> 1115 10115 110
118 2042 -36 011 1115 (111)C> 10115 110
119 2045 -33 011 1116 (110)D> 10114 110
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 011 1111+V(1) (110)D> 1014+V(2) [*]*
1 8 -4 011 1111+V(1) <A(111) 1014+V(2) [*]*
2 17+9*V(1) -7+-3*V(1) 011 <A(111) 1111+V(1) 1014+V(2) [*]*
3 24+9*V(1) -10+-3*V(1) <B(111) 1112+V(1) 1014+V(2) [*]*
4 28+9*V(1) -6+-3*V(1) 001 (111)C> 1112+V(1) 1014+V(2) [*]*
5 34+12*V(1) 0 001 1112+V(1) (111)C> 1014+V(2) [*]*
6 37+12*V(1) 3 001 1113+V(1) (110)D> 1013+V(2) [*]*
7 45+12*V(1) -1 001 1113+V(1) <A(111) 1013+V(2) [*]*
8 72+21*V(1) -10+-3*V(1) 001 <A(111) 1113+V(1) 1013+V(2) [*]*
9 82+21*V(1) -6+-3*V(1) 111 (111)C> 1113+V(1) 1013+V(2) [*]*
10 91+24*V(1) 3 1114+V(1) (111)C> 1013+V(2) [*]*
11 94+24*V(1) 6 1115+V(1) (110)D> 1012+V(2) [*]*
12 102+24*V(1) 2 1115+V(1) <A(111) 1012+V(2) [*]*
13 147+33*V(1) -13+-3*V(1) <A(111) 1115+V(1) 1012+V(2) [*]*
14 153+33*V(1) -9+-3*V(1) 011 (111)C> 1115+V(1) 1012+V(2) [*]*
15 168+36*V(1) 6 011 1115+V(1) (111)C> 1012+V(2) [*]*
16 171+36*V(1) 9 011 1116+V(1) (110)D> 1011+V(2) [*]*
<< Success! ==> defined new CTR 3 (PA)
119 2045 -33 011 1116 (110)D> 10114 110
== Executing PA-CTR 3, V(1)=5, V(2)=10, repcount=4, factor=5/3
183 4529 3 011 11126 (110)D> 1012 110
184 4537 -1 011 11126 <A(111) 1012 110
185 4771 -79 011 <A(111) 11126 1012 110
186 4778 -82 <B(111) 11127 1012 110
187 4782 -78 001 (111)C> 11127 1012 110
188 4863 3 001 11127 (111)C> 1012 110
189 4866 6 001 11128 (110)D> 101 110
190 4874 2 001 11128 <A(111) 101 110
191 5126 -82 001 <A(111) 11128 101 110
192 5136 -78 111 (111)C> 11128 101 110
193 5220 6 11129 (111)C> 101 110
194 5223 9 11130 (110)D> 110
195 5231 5 11130 <A(111) 110
196 5501 -85 <A(111) 11130 110
197 5507 -81 011 (111)C> 11130 110
198 5597 9 011 11130 (111)C> 110
199 5600 12 011 11131 (111)A>
200 5604 8 011 11131 <B(011) 100
201 5697 -85 011 <B(011) 01131 100
202 5700 -88 <A(111) 01132 100
203 5706 -84 011 (111)C> 01132 100
204 5722 -88 011 <A(111) 111 01131 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011 1111+V(1) (110)D> 1012 110
1 8 -4 011 1111+V(1) <A(111) 1012 110
2 17+9*V(1) -7+-3*V(1) 011 <A(111) 1111+V(1) 1012 110
3 24+9*V(1) -10+-3*V(1) <B(111) 1112+V(1) 1012 110
4 28+9*V(1) -6+-3*V(1) 001 (111)C> 1112+V(1) 1012 110
5 34+12*V(1) 0 001 1112+V(1) (111)C> 1012 110
6 37+12*V(1) 3 001 1113+V(1) (110)D> 101 110
7 45+12*V(1) -1 001 1113+V(1) <A(111) 101 110
8 72+21*V(1) -10+-3*V(1) 001 <A(111) 1113+V(1) 101 110
9 82+21*V(1) -6+-3*V(1) 111 (111)C> 1113+V(1) 101 110
10 91+24*V(1) 3 1114+V(1) (111)C> 101 110
11 94+24*V(1) 6 1115+V(1) (110)D> 110
12 102+24*V(1) 2 1115+V(1) <A(111) 110
13 147+33*V(1) -13+-3*V(1) <A(111) 1115+V(1) 110
14 153+33*V(1) -9+-3*V(1) 011 (111)C> 1115+V(1) 110
15 168+36*V(1) 6 011 1115+V(1) (111)C> 110
16 171+36*V(1) 9 011 1116+V(1) (111)A>
17 175+36*V(1) 5 011 1116+V(1) <B(011) 100
18 193+39*V(1) -13+-3*V(1) 011 <B(011) 0116+V(1) 100
19 196+39*V(1) -16+-3*V(1) <A(111) 0117+V(1) 100
20 202+39*V(1) -12+-3*V(1) 011 (111)C> 0117+V(1) 100
21 218+39*V(1) -16+-3*V(1) 011 <A(111) 111 0116+V(1) 100
<< Success! ==> defined new CTR 4 (PPA)
204 5722 -88 011 <A(111) 111 01131 100
== Executing PA-CTR 1, V(1)=27, V(2)=0, repcount=10, factor=5/3
334 15862 -148 011 <A(111) 11151 011 100
335 15869 -151 <B(111) 11152 011 100
336 15873 -147 001 (111)C> 11152 011 100
337 16029 9 001 11152 (111)C> 011 100
338 16045 5 001 11152 <A(111) 111 100
339 16513 -151 001 <A(111) 11153 100
340 16523 -147 111 (111)C> 11153 100
341 16682 12 11154 (111)C> 100
342 16690 8 11154 <E(110) 111
343 16852 -154 <E(110) 11054 111
344 16860 -150 111 (111)A> 11054 111
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011 <A(111) 1111+V(1) 011 100
1 7 -3 <B(111) 1112+V(1) 011 100
2 11 1 001 (111)C> 1112+V(1) 011 100
3 17+3*V(1) 7+3*V(1) 001 1112+V(1) (111)C> 011 100
4 33+3*V(1) 3+3*V(1) 001 1112+V(1) <A(111) 111 100
5 51+12*V(1) -3 001 <A(111) 1113+V(1) 100
6 61+12*V(1) 1 111 (111)C> 1113+V(1) 100
7 70+15*V(1) 10+3*V(1) 1114+V(1) (111)C> 100
8 78+15*V(1) 6+3*V(1) 1114+V(1) <E(110) 111
9 90+18*V(1) -6 <E(110) 1104+V(1) 111
10 98+18*V(1) -2 111 (111)A> 1104+V(1) 111
<< Success! ==> defined new CTR 5 (PPA)
344 16860 -150 111 (111)A> 11054 111
== Executing PA-CTR 2, V(1)=0, V(2)=50, repcount=17, factor=5/3
616 44043 3 11186 (111)A> 1103 111
617 44055 -1 11186 <A(111) 1103 111
618 44829 -259 <A(111) 11186 1103 111
619 44835 -255 011 (111)C> 11186 1103 111
620 45093 3 011 11186 (111)C> 1103 111
621 45096 6 011 11187 (111)A> 1102 111
622 45108 2 011 11187 <A(111) 1102 111
623 45891 -259 011 <A(111) 11187 1102 111
624 45898 -262 <B(111) 11188 1102 111
625 45902 -258 001 (111)C> 11188 1102 111
626 46166 6 001 11188 (111)C> 1102 111
627 46169 9 001 11189 (111)A> 110 111
628 46181 5 001 11189 <A(111) 110 111
629 46982 -262 001 <A(111) 11189 110 111
630 46992 -258 111 (111)C> 11189 110 111
631 47259 9 11190 (111)C> 110 111
632 47262 12 11191 (111)A> 111
633 47274 8 11191 <A(111) 111
634 48093 -265 <A(111) 11192
635 48099 -261 011 (111)C> 11192
636 48375 15 011 11192 (111)C>
637 48381 11 011 11192 <D(101) 110
638 48657 -265 011 <D(101) 10192 110
639 48670 -268 <A(111) 10193 110
640 48676 -264 011 (111)C> 10193 110
641 48679 -261 011 111 (110)D> 10192 110
>> Try to prove a PPA-CTR with 2 Vars...
0 0 0 1111+V(1) (111)A> 1103 1111+V(2)
1 12 -4 1111+V(1) <A(111) 1103 1111+V(2)
2 21+9*V(1) -7+-3*V(1) <A(111) 1111+V(1) 1103 1111+V(2)
3 27+9*V(1) -3+-3*V(1) 011 (111)C> 1111+V(1) 1103 1111+V(2)
4 30+12*V(1) 0 011 1111+V(1) (111)C> 1103 1111+V(2)
5 33+12*V(1) 3 011 1112+V(1) (111)A> 1102 1111+V(2)
6 45+12*V(1) -1 011 1112+V(1) <A(111) 1102 1111+V(2)
7 63+21*V(1) -7+-3*V(1) 011 <A(111) 1112+V(1) 1102 1111+V(2)
8 70+21*V(1) -10+-3*V(1) <B(111) 1113+V(1) 1102 1111+V(2)
9 74+21*V(1) -6+-3*V(1) 001 (111)C> 1113+V(1) 1102 1111+V(2)
10 83+24*V(1) 3 001 1113+V(1) (111)C> 1102 1111+V(2)
11 86+24*V(1) 6 001 1114+V(1) (111)A> 110 1111+V(2)
12 98+24*V(1) 2 001 1114+V(1) <A(111) 110 1111+V(2)
13 134+33*V(1) -10+-3*V(1) 001 <A(111) 1114+V(1) 110 1111+V(2)
14 144+33*V(1) -6+-3*V(1) 111 (111)C> 1114+V(1) 110 1111+V(2)
15 156+36*V(1) 6 1115+V(1) (111)C> 110 1111+V(2)
16 159+36*V(1) 9 1116+V(1) (111)A> 1111+V(2)
17 171+36*V(1) 5 1116+V(1) <A(111) 1111+V(2)
18 225+45*V(1) -13+-3*V(1) <A(111) 1117+V(1)+V(2)
19 231+45*V(1) -9+-3*V(1) 011 (111)C> 1117+V(1)+V(2)
20 252+48*V(1)+3*V(2) 12+3*V(2) 011 1117+V(1)+V(2) (111)C>
21 258+48*V(1)+3*V(2) 8+3*V(2) 011 1117+V(1)+V(2) <D(101) 110
22 279+51*V(1)+6*V(2) -13+-3*V(1) 011 <D(101) 1017+V(1)+V(2) 110
23 292+51*V(1)+6*V(2) -16+-3*V(1) <A(111) 1018+V(1)+V(2) 110
24 298+51*V(1)+6*V(2) -12+-3*V(1) 011 (111)C> 1018+V(1)+V(2) 110
25 301+51*V(1)+6*V(2) -9+-3*V(1) 011 111 (110)D> 1017+V(1)+V(2) 110
<< Success! ==> defined new CTR 6 (PPA)
641 48679 -261 011 111 (110)D> 10192 110
== Executing PA-CTR 3, V(1)=0, V(2)=88, repcount=30, factor=5/3
1121 132109 9 011 111151 (110)D> 1012 110
== Executing PPA-CTR 4 (once), V(1)=150
1142 138177 -457 011 <A(111) 111 011156 100
== Executing PA-CTR 1, V(1)=152, V(2)=0, repcount=51, factor=5/3
1805 378081 -763 011 <A(111) 111256 0113 100
1806 378088 -766 <B(111) 111257 0113 100
1807 378092 -762 001 (111)C> 111257 0113 100
1808 378863 9 001 111257 (111)C> 0113 100
1809 378879 5 001 111257 <A(111) 111 0112 100
1810 381192 -766 001 <A(111) 111258 0112 100
1811 381202 -762 111 (111)C> 111258 0112 100
1812 381976 12 111259 (111)C> 0112 100
1813 381992 8 111259 <A(111) 111 011 100
1814 384323 -769 <A(111) 111260 011 100
1815 384329 -765 011 (111)C> 111260 011 100
1816 385109 15 011 111260 (111)C> 011 100
1817 385125 11 011 111260 <A(111) 111 100
1818 387465 -769 011 <A(111) 111261 100
1819 387472 -772 <B(111) 111262 100
1820 387476 -768 001 (111)C> 111262 100
1821 388262 18 001 111262 (111)C> 100
1822 388270 14 001 111262 <E(110) 111
1823 389056 -772 001 <E(110) 110262 111
1824 389069 -775 <B(111) 110263 111
1825 389073 -771 001 (111)C> 110263 111
1826 389076 -768 001 111 (111)A> 110262 111
1827 389088 -772 001 111 <A(111) 110262 111
1828 389097 -775 001 <A(111) 111 110262 111
1829 389107 -771 111 (111)C> 111 110262 111
1830 389110 -768 1112 (111)C> 110262 111
1831 389113 -765 1113 (111)A> 110261 111
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011 <A(111) 1111+V(1) 0113 100
1 7 -3 <B(111) 1112+V(1) 0113 100
2 11 1 001 (111)C> 1112+V(1) 0113 100
3 17+3*V(1) 7+3*V(1) 001 1112+V(1) (111)C> 0113 100
4 33+3*V(1) 3+3*V(1) 001 1112+V(1) <A(111) 111 0112 100
5 51+12*V(1) -3 001 <A(111) 1113+V(1) 0112 100
6 61+12*V(1) 1 111 (111)C> 1113+V(1) 0112 100
7 70+15*V(1) 10+3*V(1) 1114+V(1) (111)C> 0112 100
8 86+15*V(1) 6+3*V(1) 1114+V(1) <A(111) 111 011 100
9 122+24*V(1) -6 <A(111) 1115+V(1) 011 100
10 128+24*V(1) -2 011 (111)C> 1115+V(1) 011 100
11 143+27*V(1) 13+3*V(1) 011 1115+V(1) (111)C> 011 100
12 159+27*V(1) 9+3*V(1) 011 1115+V(1) <A(111) 111 100
13 204+36*V(1) -6 011 <A(111) 1116+V(1) 100
14 211+36*V(1) -9 <B(111) 1117+V(1) 100
15 215+36*V(1) -5 001 (111)C> 1117+V(1) 100
16 236+39*V(1) 16+3*V(1) 001 1117+V(1) (111)C> 100
17 244+39*V(1) 12+3*V(1) 001 1117+V(1) <E(110) 111
18 265+42*V(1) -9 001 <E(110) 1107+V(1) 111
19 278+42*V(1) -12 <B(111) 1108+V(1) 111
20 282+42*V(1) -8 001 (111)C> 1108+V(1) 111
21 285+42*V(1) -5 001 111 (111)A> 1107+V(1) 111
22 297+42*V(1) -9 001 111 <A(111) 1107+V(1) 111
23 306+42*V(1) -12 001 <A(111) 111 1107+V(1) 111
24 316+42*V(1) -8 111 (111)C> 111 1107+V(1) 111
25 319+42*V(1) -5 1112 (111)C> 1107+V(1) 111
26 322+42*V(1) -2 1113 (111)A> 1106+V(1) 111
<< Success! ==> defined new CTR 7 (PPA)
1831 389113 -765 1113 (111)A> 110261 111
== Executing PA-CTR 2, V(1)=2, V(2)=257, repcount=86, factor=5/3
3207 1066879 9 111433 (111)A> 1103 111
== Executing PPA-CTR 6 (once), V(1)=432, V(2)=0
3232 1089212 -1296 011 111 (110)D> 101439 110
== Executing PA-CTR 3, V(1)=0, V(2)=435, repcount=146, factor=5/3
5568 3019478 18 011 111731 (110)D> 101 110
5569 3019486 14 011 111731 <A(111) 101 110
5570 3026065 -2179 011 <A(111) 111731 101 110
5571 3026072 -2182 <B(111) 111732 101 110
5572 3026076 -2178 001 (111)C> 111732 101 110
5573 3028272 18 001 111732 (111)C> 101 110
5574 3028275 21 001 111733 (110)D> 110
5575 3028283 17 001 111733 <A(111) 110
5576 3034880 -2182 001 <A(111) 111733 110
5577 3034890 -2178 111 (111)C> 111733 110
5578 3037089 21 111734 (111)C> 110
5579 3037092 24 111735 (111)A>
5580 3037096 20 111735 <B(011) 100
5581 3039301 -2185 <B(011) 011735 100
5582 3039319 -2181 111 (111)C> 011735 100
5583 3039335 -2185 111 <A(111) 111 011734 100
5584 3039344 -2188 <A(111) 1112 011734 100
5585 3039350 -2184 011 (111)C> 1112 011734 100
5586 3039356 -2178 011 1112 (111)C> 011734 100
5587 3039372 -2182 011 1112 <A(111) 111 011733 100
5588 3039390 -2188 011 <A(111) 1113 011733 100
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 011 1112+V(1) (110)D> 101 110
1 8 -4 011 1112+V(1) <A(111) 101 110
2 26+9*V(1) -10+-3*V(1) 011 <A(111) 1112+V(1) 101 110
3 33+9*V(1) -13+-3*V(1) <B(111) 1113+V(1) 101 110
4 37+9*V(1) -9+-3*V(1) 001 (111)C> 1113+V(1) 101 110
5 46+12*V(1) 0 001 1113+V(1) (111)C> 101 110
6 49+12*V(1) 3 001 1114+V(1) (110)D> 110
7 57+12*V(1) -1 001 1114+V(1) <A(111) 110
8 93+21*V(1) -13+-3*V(1) 001 <A(111) 1114+V(1) 110
9 103+21*V(1) -9+-3*V(1) 111 (111)C> 1114+V(1) 110
10 115+24*V(1) 3 1115+V(1) (111)C> 110
11 118+24*V(1) 6 1116+V(1) (111)A>
12 122+24*V(1) 2 1116+V(1) <B(011) 100
13 140+27*V(1) -16+-3*V(1) <B(011) 0116+V(1) 100
14 158+27*V(1) -12+-3*V(1) 111 (111)C> 0116+V(1) 100
15 174+27*V(1) -16+-3*V(1) 111 <A(111) 111 0115+V(1) 100
16 183+27*V(1) -19+-3*V(1) <A(111) 1112 0115+V(1) 100
17 189+27*V(1) -15+-3*V(1) 011 (111)C> 1112 0115+V(1) 100
18 195+27*V(1) -9+-3*V(1) 011 1112 (111)C> 0115+V(1) 100
19 211+27*V(1) -13+-3*V(1) 011 1112 <A(111) 111 0114+V(1) 100
20 229+27*V(1) -19+-3*V(1) 011 <A(111) 1113 0114+V(1) 100
<< Success! ==> defined new CTR 8 (PPA)
5588 3039390 -2188 011 <A(111) 1113 011733 100
== Executing PA-CTR 1, V(1)=729, V(2)=2, repcount=244, factor=5/3
8760 8443014 -3652 011 <A(111) 1111223 011 100
== Executing PPA-CTR 5 (once), V(1)=1222
8770 8465108 -3654 111 (111)A> 1101226 111
== Executing PA-CTR 2, V(1)=0, V(2)=1222, repcount=408, factor=5/3
15298 23475020 18 1112041 (111)A> 1102 111
15299 23475032 14 1112041 <A(111) 1102 111
15300 23493401 -6109 <A(111) 1112041 1102 111
15301 23493407 -6105 011 (111)C> 1112041 1102 111
15302 23499530 18 011 1112041 (111)C> 1102 111
15303 23499533 21 011 1112042 (111)A> 110 111
15304 23499545 17 011 1112042 <A(111) 110 111
15305 23517923 -6109 011 <A(111) 1112042 110 111
15306 23517930 -6112 <B(111) 1112043 110 111
15307 23517934 -6108 001 (111)C> 1112043 110 111
15308 23524063 21 001 1112043 (111)C> 110 111
15309 23524066 24 001 1112044 (111)A> 111
15310 23524078 20 001 1112044 <A(111) 111
15311 23542474 -6112 001 <A(111) 1112045
15312 23542484 -6108 111 (111)C> 1112045
15313 23548619 27 1112046 (111)C>
15314 23548625 23 1112046 <D(101) 110
15315 23554763 -6115 <D(101) 1012046 110
15316 23554764 -6116 0 H> 01101 1012046 110 [stop]
Lines: 237
Top steps: 236
Macro steps: 15316
Basic steps: 23554764
Tape index: -6116
ones: 4097
log10(ones ): 3.612
log10(steps ): 7.372
Run state: stop
Input to awk program:
gohalt 1
5T B1L D0R C1R D1L A1R C1R H1L E1L A1L B0L : 4097 23554764
T 5-state TM #3 from MaBu-List
M 300
pref sim
machv mbL5_3 just simple
machv mbL5_3-r with repetitions reduced
machv mbL5_3-1 with tape symbol exponents
machv mbL5_3-m as 3-bck-macro machine
machv mbL5_3-a as 3-bck-macro machine with pure additive config-TRs
iam mbL5_3-a
mtype 3 0
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:18 CEST 2010
edate Tue Jul 6 22:10:19 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:18 CEST 2010