Comment: A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2 Comment: The halting transition has been modified to print a 1 Comment: This TM produces 13949 nonzeros in 92649163 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | Z1= | C2L | 1 | right | B | 1 | stay | Z | 2 | left | C |
| B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
| C | A1L | B0R | A2L | 1 | left | A | 0 | right | B | 2 | left | A |
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 4 2 02 B>
2 5 1 02 <C 10
3 10 2 22 B> 10
4 13 1 22 <A 21
5 15 -1 <A 22 21
6 16 0 01 B> 22 21
7 17 -1 01 <B 12 21
8 18 0 02 B> 12 21
9 21 -1 02 <B 11 21
10 23 -3 <C 112 21
11 26 -2 12 B> 112 21
12 30 2 12 222 B> 21
13 31 1 12 222 <B 11
14 35 -3 12 <B 113
15 38 -2 22 B> 113
16 44 4 224 B>
17 45 3 224 <C 10
18 53 -5 <C 224 10
19 56 -4 12 B> 224 10
20 57 -5 12 <B 12 223 10
21 60 -4 22 B> 12 223 10
22 63 -5 22 <B 11 223 10
23 65 -7 <B 112 223 10
24 67 -9 <A 113 223 10
25 68 -8 01 B> 113 223 10
26 74 -2 01 223 B> 223 10
27 75 -3 01 223 <B 12 222 10
28 81 -9 01 <B 113 12 222 10
29 82 -8 02 B> 113 12 222 10
30 88 -2 02 223 B> 12 222 10
31 91 -3 02 223 <B 11 222 10
32 97 -9 02 <B 114 222 10
33 99 -11 <C 115 222 10
34 102 -10 12 B> 115 222 10
35 112 0 12 225 B> 222 10
36 113 -1 12 225 <B 12 22 10
37 123 -11 12 <B 115 12 22 10
38 126 -10 22 B> 115 12 22 10
39 136 0 226 B> 12 22 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 221+V(1) B> 12 223+V(2) [*]*
1 3 -1 221+V(1) <B 11 223+V(2) [*]*
2 5+2*V(1) -3+-2*V(1) <B 112+V(1) 223+V(2) [*]*
3 7+2*V(1) -5+-2*V(1) <A 113+V(1) 223+V(2) [*]*
4 8+2*V(1) -4+-2*V(1) 01 B> 113+V(1) 223+V(2) [*]*
5 14+4*V(1) 2 01 223+V(1) B> 223+V(2) [*]*
6 15+4*V(1) 1 01 223+V(1) <B 12 222+V(2) [*]*
7 21+6*V(1) -5+-2*V(1) 01 <B 113+V(1) 12 222+V(2) [*]*
8 22+6*V(1) -4+-2*V(1) 02 B> 113+V(1) 12 222+V(2) [*]*
9 28+8*V(1) 2 02 223+V(1) B> 12 222+V(2) [*]*
10 31+8*V(1) 1 02 223+V(1) <B 11 222+V(2) [*]*
11 37+10*V(1) -5+-2*V(1) 02 <B 114+V(1) 222+V(2) [*]*
12 39+10*V(1) -7+-2*V(1) <C 115+V(1) 222+V(2) [*]*
13 42+10*V(1) -6+-2*V(1) 12 B> 115+V(1) 222+V(2) [*]*
14 52+12*V(1) 4 12 225+V(1) B> 222+V(2) [*]*
15 53+12*V(1) 3 12 225+V(1) <B 12 221+V(2) [*]*
16 63+14*V(1) -7+-2*V(1) 12 <B 115+V(1) 12 221+V(2) [*]*
17 66+14*V(1) -6+-2*V(1) 22 B> 115+V(1) 12 221+V(2) [*]*
18 76+16*V(1) 4 226+V(1) B> 12 221+V(2) [*]*
<< Success! ==> defined new CTR 1 (PA)
40 139 -1 226 <B 11 22 10
41 151 -13 <B 117 22 10
42 153 -15 <A 118 22 10
43 154 -14 01 B> 118 22 10
44 170 2 01 228 B> 22 10
45 171 1 01 228 <B 12 10
46 187 -15 01 <B 118 12 10
47 188 -14 02 B> 118 12 10
48 204 2 02 228 B> 12 10
49 207 1 02 228 <B 11 10
50 223 -15 02 <B 119 10
51 225 -17 <C 1110 10
52 228 -16 12 B> 1110 10
53 248 4 12 2210 B> 10
54 251 3 12 2210 <A 21
55 271 -17 12 <A 2210 21
56 275 -19 <C 11 2210 21
57 278 -18 12 B> 11 2210 21
58 280 -16 12 22 B> 2210 21
59 281 -17 12 22 <B 12 229 21
60 283 -19 12 <B 11 12 229 21
61 286 -18 22 B> 11 12 229 21
62 288 -16 222 B> 12 229 21
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 221+V(1) B> 12 22 10
1 3 -1 221+V(1) <B 11 22 10
2 5+2*V(1) -3+-2*V(1) <B 112+V(1) 22 10
3 7+2*V(1) -5+-2*V(1) <A 113+V(1) 22 10
4 8+2*V(1) -4+-2*V(1) 01 B> 113+V(1) 22 10
5 14+4*V(1) 2 01 223+V(1) B> 22 10
6 15+4*V(1) 1 01 223+V(1) <B 12 10
7 21+6*V(1) -5+-2*V(1) 01 <B 113+V(1) 12 10
8 22+6*V(1) -4+-2*V(1) 02 B> 113+V(1) 12 10
9 28+8*V(1) 2 02 223+V(1) B> 12 10
10 31+8*V(1) 1 02 223+V(1) <B 11 10
11 37+10*V(1) -5+-2*V(1) 02 <B 114+V(1) 10
12 39+10*V(1) -7+-2*V(1) <C 115+V(1) 10
13 42+10*V(1) -6+-2*V(1) 12 B> 115+V(1) 10
14 52+12*V(1) 4 12 225+V(1) B> 10
15 55+12*V(1) 3 12 225+V(1) <A 21
16 65+14*V(1) -7+-2*V(1) 12 <A 225+V(1) 21
17 69+14*V(1) -9+-2*V(1) <C 11 225+V(1) 21
18 72+14*V(1) -8+-2*V(1) 12 B> 11 225+V(1) 21
19 74+14*V(1) -6+-2*V(1) 12 22 B> 225+V(1) 21
20 75+14*V(1) -7+-2*V(1) 12 22 <B 12 224+V(1) 21
21 77+14*V(1) -9+-2*V(1) 12 <B 11 12 224+V(1) 21
22 80+14*V(1) -8+-2*V(1) 22 B> 11 12 224+V(1) 21
23 82+14*V(1) -6+-2*V(1) 222 B> 12 224+V(1) 21
<< Success! ==> defined new CTR 2 (PPA)
62 288 -16 222 B> 12 229 21
== Executing PA-CTR 1, V(1)=1, V(2)=6, repcount=4, factor=5/2
134 1136 0 2222 B> 12 22 21
135 1139 -1 2222 <B 11 22 21
136 1183 -45 <B 1123 22 21
137 1185 -47 <A 1124 22 21
138 1186 -46 01 B> 1124 22 21
139 1234 2 01 2224 B> 22 21
140 1235 1 01 2224 <B 12 21
141 1283 -47 01 <B 1124 12 21
142 1284 -46 02 B> 1124 12 21
143 1332 2 02 2224 B> 12 21
144 1335 1 02 2224 <B 11 21
145 1383 -47 02 <B 1125 21
146 1385 -49 <C 1126 21
147 1388 -48 12 B> 1126 21
148 1440 4 12 2226 B> 21
149 1441 3 12 2226 <B 11
150 1493 -49 12 <B 1127
151 1496 -48 22 B> 1127
152 1550 6 2228 B>
153 1551 5 2228 <C 10
154 1607 -51 <C 2228 10
155 1610 -50 12 B> 2228 10
156 1611 -51 12 <B 12 2227 10
157 1614 -50 22 B> 12 2227 10
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 221+V(1) B> 12 22 21
1 3 -1 221+V(1) <B 11 22 21
2 5+2*V(1) -3+-2*V(1) <B 112+V(1) 22 21
3 7+2*V(1) -5+-2*V(1) <A 113+V(1) 22 21
4 8+2*V(1) -4+-2*V(1) 01 B> 113+V(1) 22 21
5 14+4*V(1) 2 01 223+V(1) B> 22 21
6 15+4*V(1) 1 01 223+V(1) <B 12 21
7 21+6*V(1) -5+-2*V(1) 01 <B 113+V(1) 12 21
8 22+6*V(1) -4+-2*V(1) 02 B> 113+V(1) 12 21
9 28+8*V(1) 2 02 223+V(1) B> 12 21
10 31+8*V(1) 1 02 223+V(1) <B 11 21
11 37+10*V(1) -5+-2*V(1) 02 <B 114+V(1) 21
12 39+10*V(1) -7+-2*V(1) <C 115+V(1) 21
13 42+10*V(1) -6+-2*V(1) 12 B> 115+V(1) 21
14 52+12*V(1) 4 12 225+V(1) B> 21
15 53+12*V(1) 3 12 225+V(1) <B 11
16 63+14*V(1) -7+-2*V(1) 12 <B 116+V(1)
17 66+14*V(1) -6+-2*V(1) 22 B> 116+V(1)
18 78+16*V(1) 6 227+V(1) B>
19 79+16*V(1) 5 227+V(1) <C 10
20 93+18*V(1) -9+-2*V(1) <C 227+V(1) 10
21 96+18*V(1) -8+-2*V(1) 12 B> 227+V(1) 10
22 97+18*V(1) -9+-2*V(1) 12 <B 12 226+V(1) 10
23 100+18*V(1) -8+-2*V(1) 22 B> 12 226+V(1) 10
<< Success! ==> defined new CTR 3 (PPA)
157 1614 -50 22 B> 12 2227 10
== Executing PA-CTR 1, V(1)=0, V(2)=24, repcount=13, factor=5/2
391 8842 2 2266 B> 12 22 10
== Executing PPA-CTR 2 (once), V(1)=65
414 9834 -134 222 B> 12 2269 21
== Executing PA-CTR 1, V(1)=1, V(2)=66, repcount=34, factor=5/2
1026 57842 2 22172 B> 12 22 21
== Executing PPA-CTR 3 (once), V(1)=171
1049 61020 -348 22 B> 12 22177 10
== Executing PA-CTR 1, V(1)=0, V(2)=174, repcount=88, factor=5/2
2633 373948 4 22441 B> 12 22 10
== Executing PPA-CTR 2 (once), V(1)=440
2656 380190 -882 222 B> 12 22444 21
== Executing PA-CTR 1, V(1)=1, V(2)=441, repcount=221, factor=5/2
6634 2345322 2 221107 B> 12 222 21
6635 2345325 1 221107 <B 11 222 21
6636 2347539 -2213 <B 111108 222 21
6637 2347541 -2215 <A 111109 222 21
6638 2347542 -2214 01 B> 111109 222 21
6639 2349760 4 01 221109 B> 222 21
6640 2349761 3 01 221109 <B 12 22 21
6641 2351979 -2215 01 <B 111109 12 22 21
6642 2351980 -2214 02 B> 111109 12 22 21
6643 2354198 4 02 221109 B> 12 22 21
6644 2354201 3 02 221109 <B 11 22 21
6645 2356419 -2215 02 <B 111110 22 21
6646 2356421 -2217 <C 111111 22 21
6647 2356424 -2216 12 B> 111111 22 21
6648 2358646 6 12 221111 B> 22 21
6649 2358647 5 12 221111 <B 12 21
6650 2360869 -2217 12 <B 111111 12 21
6651 2360872 -2216 22 B> 111111 12 21
6652 2363094 6 221112 B> 12 21
6653 2363097 5 221112 <B 11 21
6654 2365321 -2219 <B 111113 21
6655 2365323 -2221 <A 111114 21
6656 2365324 -2220 01 B> 111114 21
6657 2367552 8 01 221114 B> 21
6658 2367553 7 01 221114 <B 11
6659 2369781 -2221 01 <B 111115
6660 2369782 -2220 02 B> 111115
6661 2372012 10 02 221115 B>
6662 2372013 9 02 221115 <C 10
6663 2374243 -2221 02 <C 221115 10
6664 2374248 -2220 22 B> 221115 10
6665 2374249 -2221 22 <B 12 221114 10
6666 2374251 -2223 <B 11 12 221114 10
6667 2374253 -2225 <A 112 12 221114 10
6668 2374254 -2224 01 B> 112 12 221114 10
6669 2374258 -2220 01 222 B> 12 221114 10
6670 2374261 -2221 01 222 <B 11 221114 10
6671 2374265 -2225 01 <B 113 221114 10
6672 2374266 -2224 02 B> 113 221114 10
6673 2374272 -2218 02 223 B> 221114 10
6674 2374273 -2219 02 223 <B 12 221113 10
6675 2374279 -2225 02 <B 113 12 221113 10
6676 2374281 -2227 <C 114 12 221113 10
6677 2374284 -2226 12 B> 114 12 221113 10
6678 2374292 -2218 12 224 B> 12 221113 10
6679 2374295 -2219 12 224 <B 11 221113 10
6680 2374303 -2227 12 <B 115 221113 10
6681 2374306 -2226 22 B> 115 221113 10
6682 2374316 -2216 226 B> 221113 10
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 221+V(1) B> 223+V(2) [*]*
1 1 -1 221+V(1) <B 12 222+V(2) [*]*
2 3+2*V(1) -3+-2*V(1) <B 111+V(1) 12 222+V(2) [*]*
3 5+2*V(1) -5+-2*V(1) <A 112+V(1) 12 222+V(2) [*]*
4 6+2*V(1) -4+-2*V(1) 01 B> 112+V(1) 12 222+V(2) [*]*
5 10+4*V(1) 0 01 222+V(1) B> 12 222+V(2) [*]*
6 13+4*V(1) -1 01 222+V(1) <B 11 222+V(2) [*]*
7 17+6*V(1) -5+-2*V(1) 01 <B 113+V(1) 222+V(2) [*]*
8 18+6*V(1) -4+-2*V(1) 02 B> 113+V(1) 222+V(2) [*]*
9 24+8*V(1) 2 02 223+V(1) B> 222+V(2) [*]*
10 25+8*V(1) 1 02 223+V(1) <B 12 221+V(2) [*]*
11 31+10*V(1) -5+-2*V(1) 02 <B 113+V(1) 12 221+V(2) [*]*
12 33+10*V(1) -7+-2*V(1) <C 114+V(1) 12 221+V(2) [*]*
13 36+10*V(1) -6+-2*V(1) 12 B> 114+V(1) 12 221+V(2) [*]*
14 44+12*V(1) 2 12 224+V(1) B> 12 221+V(2) [*]*
15 47+12*V(1) 1 12 224+V(1) <B 11 221+V(2) [*]*
16 55+14*V(1) -7+-2*V(1) 12 <B 115+V(1) 221+V(2) [*]*
17 58+14*V(1) -6+-2*V(1) 22 B> 115+V(1) 221+V(2) [*]*
18 68+16*V(1) 4 226+V(1) B> 221+V(2) [*]*
<< Success! ==> defined new CTR 4 (PA)
6682 2374316 -2216 226 B> 221113 10
== Executing PA-CTR 4, V(1)=5, V(2)=1110, repcount=556, factor=5/2
16690 14799804 8 222786 B> 22 10
16691 14799805 7 222786 <B 12 10
16692 14805377 -5565 <B 112786 12 10
16693 14805379 -5567 <A 112787 12 10
16694 14805380 -5566 01 B> 112787 12 10
16695 14810954 8 01 222787 B> 12 10
16696 14810957 7 01 222787 <B 11 10
16697 14816531 -5567 01 <B 112788 10
16698 14816532 -5566 02 B> 112788 10
16699 14822108 10 02 222788 B> 10
16700 14822111 9 02 222788 <A 21
16701 14827687 -5567 02 <A 222788 21
16702 14827689 -5569 <A 12 222788 21
16703 14827690 -5568 01 B> 12 222788 21
16704 14827693 -5569 01 <B 11 222788 21
16705 14827694 -5568 02 B> 11 222788 21
16706 14827696 -5566 02 22 B> 222788 21
16707 14827697 -5567 02 22 <B 12 222787 21
16708 14827699 -5569 02 <B 11 12 222787 21
16709 14827701 -5571 <C 112 12 222787 21
16710 14827704 -5570 12 B> 112 12 222787 21
16711 14827708 -5566 12 222 B> 12 222787 21
16712 14827711 -5567 12 222 <B 11 222787 21
16713 14827715 -5571 12 <B 113 222787 21
16714 14827718 -5570 22 B> 113 222787 21
16715 14827724 -5564 224 B> 222787 21
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 222+V(1) B> 22 10
1 1 -1 222+V(1) <B 12 10
2 5+2*V(1) -5+-2*V(1) <B 112+V(1) 12 10
3 7+2*V(1) -7+-2*V(1) <A 113+V(1) 12 10
4 8+2*V(1) -6+-2*V(1) 01 B> 113+V(1) 12 10
5 14+4*V(1) 0 01 223+V(1) B> 12 10
6 17+4*V(1) -1 01 223+V(1) <B 11 10
7 23+6*V(1) -7+-2*V(1) 01 <B 114+V(1) 10
8 24+6*V(1) -6+-2*V(1) 02 B> 114+V(1) 10
9 32+8*V(1) 2 02 224+V(1) B> 10
10 35+8*V(1) 1 02 224+V(1) <A 21
11 43+10*V(1) -7+-2*V(1) 02 <A 224+V(1) 21
12 45+10*V(1) -9+-2*V(1) <A 12 224+V(1) 21
13 46+10*V(1) -8+-2*V(1) 01 B> 12 224+V(1) 21
14 49+10*V(1) -9+-2*V(1) 01 <B 11 224+V(1) 21
15 50+10*V(1) -8+-2*V(1) 02 B> 11 224+V(1) 21
16 52+10*V(1) -6+-2*V(1) 02 22 B> 224+V(1) 21
17 53+10*V(1) -7+-2*V(1) 02 22 <B 12 223+V(1) 21
18 55+10*V(1) -9+-2*V(1) 02 <B 11 12 223+V(1) 21
19 57+10*V(1) -11+-2*V(1) <C 112 12 223+V(1) 21
20 60+10*V(1) -10+-2*V(1) 12 B> 112 12 223+V(1) 21
21 64+10*V(1) -6+-2*V(1) 12 222 B> 12 223+V(1) 21
22 67+10*V(1) -7+-2*V(1) 12 222 <B 11 223+V(1) 21
23 71+10*V(1) -11+-2*V(1) 12 <B 113 223+V(1) 21
24 74+10*V(1) -10+-2*V(1) 22 B> 113 223+V(1) 21
25 80+10*V(1) -4+-2*V(1) 224 B> 223+V(1) 21
<< Success! ==> defined new CTR 5 (PPA)
16715 14827724 -5564 224 B> 222787 21
== Executing PA-CTR 4, V(1)=3, V(2)=2784, repcount=1393, factor=5/2
41789 92551552 8 226969 B> 22 21
41790 92551553 7 226969 <B 12 21
41791 92565491 -13931 <B 116969 12 21
41792 92565493 -13933 <A 116970 12 21
41793 92565494 -13932 01 B> 116970 12 21
41794 92579434 8 01 226970 B> 12 21
41795 92579437 7 01 226970 <B 11 21
41796 92593377 -13933 01 <B 116971 21
41797 92593378 -13932 02 B> 116971 21
41798 92607320 10 02 226971 B> 21
41799 92607321 9 02 226971 <B 11
41800 92621263 -13933 02 <B 116972
41801 92621265 -13935 <C 116973
41802 92621268 -13934 12 B> 116973
41803 92635214 12 12 226973 B>
41804 92635215 11 12 226973 <C 10
41805 92649161 -13935 12 <C 226973 10
41806 92649163 -13936 Z> 12 226973 10 [stop]
Lines: 186
Top steps: 185
Macro steps: 41806
Basic steps: 92649163
Tape index: -13936
nonzeros: 13949
log10(nonzeros): 4.145
log10(steps ): 7.967
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol champion #16,812,191 of Allen Brady
C A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2
C The halting transition has been modified to print a 1
5T B1R Z1= C2L C1L B2R B1L A1L B0R A2L
: 13949 92649163
L 50
M 300
pref sim
machv AB3Y_c just simple
machv AB3Y_c-r with repetitions reduced
machv AB3Y_c-1 with tape symbol exponents
machv AB3Y_c-m as 2-macro machine
machv AB3Y_c-a as 2-macro machine with pure additive config-TRs
iam AB3Y_c-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:39 CEST 2010
edate Tue Jul 6 22:11:39 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:39 CEST 2010