Comment: This TM produces 32213 nonzeros in 544884219 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| 1 | 1R2 | 1L2 | 2L1 | 1 | right | 2 | 1 | left | 2 | 2 | left | 1 |
| 2 | 1L1 | 1R3 | 1Rh | 1 | left | 1 | 1 | right | 3 | 1 | right | h |
| 3 | 0L1 | 2R3 | 1L3 | 0 | left | 1 | 2 | right | 3 | 1 | left | 3 |
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 1>
1 3 -1 <2 11
2 6 0 11 3> 11
3 8 2 11 22 3>
4 9 1 11 22 <1
5 11 -1 11 <1 22
6 14 0 12 3> 22
7 15 -1 12 <3 12
8 18 0 22 3> 12
9 21 -1 22 <3 11
10 23 -3 <3 112
11 27 -5 <2 113
12 30 -4 11 3> 113
13 36 2 11 223 3>
14 37 1 11 223 <1
15 43 -5 11 <1 223
16 46 -4 12 3> 223
17 47 -5 12 <3 12 222
18 50 -4 22 3> 12 222
19 53 -5 22 <3 11 222
20 55 -7 <3 112 222
21 59 -9 <2 113 222
22 62 -8 11 3> 113 222
23 68 -2 11 223 3> 222
24 69 -3 11 223 <3 12 22
25 75 -9 11 <3 113 12 22
26 76 -8 12 3> 113 12 22
27 82 -2 12 223 3> 12 22
28 85 -3 12 223 <3 11 22
29 91 -9 12 <3 114 22
30 94 -8 22 3> 114 22
31 102 0 225 3> 22
32 103 -1 225 <3 12
33 113 -11 <3 115 12
34 117 -13 <2 116 12
35 120 -12 11 3> 116 12
36 132 0 11 226 3> 12
37 135 -1 11 226 <3 11
38 147 -13 11 <3 117
39 148 -12 12 3> 117
40 162 2 12 227 3>
41 163 1 12 227 <1
42 177 -13 12 <1 227
43 179 -15 <2 12 227
44 182 -14 11 3> 12 227
45 185 -15 11 <3 11 227
46 186 -14 12 3> 11 227
47 188 -12 12 22 3> 227
48 189 -13 12 22 <3 12 226
49 191 -15 12 <3 11 12 226
50 194 -14 22 3> 11 12 226
51 196 -12 222 3> 12 226
52 199 -13 222 <3 11 226
53 203 -17 <3 113 226
54 207 -19 <2 114 226
55 210 -18 11 3> 114 226
56 218 -10 11 224 3> 226
57 219 -11 11 224 <3 12 225
58 227 -19 11 <3 114 12 225
59 228 -18 12 3> 114 12 225
60 236 -10 12 224 3> 12 225
61 239 -11 12 224 <3 11 225
62 247 -19 12 <3 115 225
63 250 -18 22 3> 115 225
64 260 -8 226 3> 225
65 261 -9 226 <3 12 224
66 273 -21 <3 116 12 224
67 277 -23 <2 117 12 224
68 280 -22 11 3> 117 12 224
69 294 -8 11 227 3> 12 224
70 297 -9 11 227 <3 11 224
71 311 -23 11 <3 118 224
>> Try to prove a PA-CTR with 2 Vars...
0 0 0 11 <3 111+V(2) 224+V(1)
1 1 1 12 3> 111+V(2) 224+V(1)
2 3+2*V(2) 3+2*V(2) 12 221+V(2) 3> 224+V(1)
3 4+2*V(2) 2+2*V(2) 12 221+V(2) <3 12 223+V(1)
4 6+4*V(2) 0 12 <3 111+V(2) 12 223+V(1)
5 9+4*V(2) 1 22 3> 111+V(2) 12 223+V(1)
6 11+6*V(2) 3+2*V(2) 222+V(2) 3> 12 223+V(1)
7 14+6*V(2) 2+2*V(2) 222+V(2) <3 11 223+V(1)
8 18+8*V(2) -2 <3 113+V(2) 223+V(1)
9 22+8*V(2) -4 <2 114+V(2) 223+V(1)
10 25+8*V(2) -3 11 3> 114+V(2) 223+V(1)
11 33+10*V(2) 5+2*V(2) 11 224+V(2) 3> 223+V(1)
12 34+10*V(2) 4+2*V(2) 11 224+V(2) <3 12 222+V(1)
13 42+12*V(2) -4 11 <3 114+V(2) 12 222+V(1)
14 43+12*V(2) -3 12 3> 114+V(2) 12 222+V(1)
15 51+14*V(2) 5+2*V(2) 12 224+V(2) 3> 12 222+V(1)
16 54+14*V(2) 4+2*V(2) 12 224+V(2) <3 11 222+V(1)
17 62+16*V(2) -4 12 <3 115+V(2) 222+V(1)
18 65+16*V(2) -3 22 3> 115+V(2) 222+V(1)
19 75+18*V(2) 7+2*V(2) 226+V(2) 3> 222+V(1)
20 76+18*V(2) 6+2*V(2) 226+V(2) <3 12 221+V(1)
21 88+20*V(2) -6 <3 116+V(2) 12 221+V(1)
22 92+20*V(2) -8 <2 117+V(2) 12 221+V(1)
23 95+20*V(2) -7 11 3> 117+V(2) 12 221+V(1)
24 109+22*V(2) 7+2*V(2) 11 227+V(2) 3> 12 221+V(1)
25 112+22*V(2) 6+2*V(2) 11 227+V(2) <3 11 221+V(1)
26 126+24*V(2) -8 11 <3 118+V(2) 221+V(1)
<< Success! ==> defined new CTR 1 (PA)
71 311 -23 11 <3 118 224
== Executing PA-CTR 1, V(1)=0, V(2)=7, repcount=1, factor=7/3
97 605 -31 11 <3 1115 22
98 606 -30 12 3> 1115 22
99 636 0 12 2215 3> 22
100 637 -1 12 2215 <3 12
101 667 -31 12 <3 1115 12
102 670 -30 22 3> 1115 12
103 700 0 2216 3> 12
104 703 -1 2216 <3 11
105 735 -33 <3 1117
106 739 -35 <2 1118
107 742 -34 11 3> 1118
108 778 2 11 2218 3>
109 779 1 11 2218 <1
110 815 -35 11 <1 2218
111 818 -34 12 3> 2218
112 819 -35 12 <3 12 2217
113 822 -34 22 3> 12 2217
114 825 -35 22 <3 11 2217
115 827 -37 <3 112 2217
116 831 -39 <2 113 2217
117 834 -38 11 3> 113 2217
118 840 -32 11 223 3> 2217
119 841 -33 11 223 <3 12 2216
120 847 -39 11 <3 113 12 2216
121 848 -38 12 3> 113 12 2216
122 854 -32 12 223 3> 12 2216
123 857 -33 12 223 <3 11 2216
124 863 -39 12 <3 114 2216
125 866 -38 22 3> 114 2216
126 874 -30 225 3> 2216
127 875 -31 225 <3 12 2215
128 885 -41 <3 115 12 2215
129 889 -43 <2 116 12 2215
130 892 -42 11 3> 116 12 2215
131 904 -30 11 226 3> 12 2215
132 907 -31 11 226 <3 11 2215
133 919 -43 11 <3 117 2215
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 11 <3 114+V(1) 22
1 1 1 12 3> 114+V(1) 22
2 9+2*V(1) 9+2*V(1) 12 224+V(1) 3> 22
3 10+2*V(1) 8+2*V(1) 12 224+V(1) <3 12
4 18+4*V(1) 0 12 <3 114+V(1) 12
5 21+4*V(1) 1 22 3> 114+V(1) 12
6 29+6*V(1) 9+2*V(1) 225+V(1) 3> 12
7 32+6*V(1) 8+2*V(1) 225+V(1) <3 11
8 42+8*V(1) -2 <3 116+V(1)
9 46+8*V(1) -4 <2 117+V(1)
10 49+8*V(1) -3 11 3> 117+V(1)
11 63+10*V(1) 11+2*V(1) 11 227+V(1) 3>
12 64+10*V(1) 10+2*V(1) 11 227+V(1) <1
13 78+12*V(1) -4 11 <1 227+V(1)
14 81+12*V(1) -3 12 3> 227+V(1)
15 82+12*V(1) -4 12 <3 12 226+V(1)
16 85+12*V(1) -3 22 3> 12 226+V(1)
17 88+12*V(1) -4 22 <3 11 226+V(1)
18 90+12*V(1) -6 <3 112 226+V(1)
19 94+12*V(1) -8 <2 113 226+V(1)
20 97+12*V(1) -7 11 3> 113 226+V(1)
21 103+12*V(1) -1 11 223 3> 226+V(1)
22 104+12*V(1) -2 11 223 <3 12 225+V(1)
23 110+12*V(1) -8 11 <3 113 12 225+V(1)
24 111+12*V(1) -7 12 3> 113 12 225+V(1)
25 117+12*V(1) -1 12 223 3> 12 225+V(1)
26 120+12*V(1) -2 12 223 <3 11 225+V(1)
27 126+12*V(1) -8 12 <3 114 225+V(1)
28 129+12*V(1) -7 22 3> 114 225+V(1)
29 137+12*V(1) 1 225 3> 225+V(1)
30 138+12*V(1) 0 225 <3 12 224+V(1)
31 148+12*V(1) -10 <3 115 12 224+V(1)
32 152+12*V(1) -12 <2 116 12 224+V(1)
33 155+12*V(1) -11 11 3> 116 12 224+V(1)
34 167+12*V(1) 1 11 226 3> 12 224+V(1)
35 170+12*V(1) 0 11 226 <3 11 224+V(1)
36 182+12*V(1) -12 11 <3 117 224+V(1)
<< Success! ==> defined new CTR 2 (PPA)
133 919 -43 11 <3 117 2215
== Executing PA-CTR 1, V(1)=11, V(2)=6, repcount=4, factor=7/3
237 3007 -75 11 <3 1135 223
238 3008 -74 12 3> 1135 223
239 3078 -4 12 2235 3> 223
240 3079 -5 12 2235 <3 12 222
241 3149 -75 12 <3 1135 12 222
242 3152 -74 22 3> 1135 12 222
243 3222 -4 2236 3> 12 222
244 3225 -5 2236 <3 11 222
245 3297 -77 <3 1137 222
246 3301 -79 <2 1138 222
247 3304 -78 11 3> 1138 222
248 3380 -2 11 2238 3> 222
249 3381 -3 11 2238 <3 12 22
250 3457 -79 11 <3 1138 12 22
251 3458 -78 12 3> 1138 12 22
252 3534 -2 12 2238 3> 12 22
253 3537 -3 12 2238 <3 11 22
254 3613 -79 12 <3 1139 22
255 3616 -78 22 3> 1139 22
256 3694 0 2240 3> 22
257 3695 -1 2240 <3 12
258 3775 -81 <3 1140 12
259 3779 -83 <2 1141 12
260 3782 -82 11 3> 1141 12
261 3864 0 11 2241 3> 12
262 3867 -1 11 2241 <3 11
263 3949 -83 11 <3 1142
264 3950 -82 12 3> 1142
265 4034 2 12 2242 3>
266 4035 1 12 2242 <1
267 4119 -83 12 <1 2242
268 4121 -85 <2 12 2242
269 4124 -84 11 3> 12 2242
270 4127 -85 11 <3 11 2242
>> Try to prove a PPA-CTR with 1 Vars...
0 0 0 11 <3 111+V(1) 223
1 1 1 12 3> 111+V(1) 223
2 3+2*V(1) 3+2*V(1) 12 221+V(1) 3> 223
3 4+2*V(1) 2+2*V(1) 12 221+V(1) <3 12 222
4 6+4*V(1) 0 12 <3 111+V(1) 12 222
5 9+4*V(1) 1 22 3> 111+V(1) 12 222
6 11+6*V(1) 3+2*V(1) 222+V(1) 3> 12 222
7 14+6*V(1) 2+2*V(1) 222+V(1) <3 11 222
8 18+8*V(1) -2 <3 113+V(1) 222
9 22+8*V(1) -4 <2 114+V(1) 222
10 25+8*V(1) -3 11 3> 114+V(1) 222
11 33+10*V(1) 5+2*V(1) 11 224+V(1) 3> 222
12 34+10*V(1) 4+2*V(1) 11 224+V(1) <3 12 22
13 42+12*V(1) -4 11 <3 114+V(1) 12 22
14 43+12*V(1) -3 12 3> 114+V(1) 12 22
15 51+14*V(1) 5+2*V(1) 12 224+V(1) 3> 12 22
16 54+14*V(1) 4+2*V(1) 12 224+V(1) <3 11 22
17 62+16*V(1) -4 12 <3 115+V(1) 22
18 65+16*V(1) -3 22 3> 115+V(1) 22
19 75+18*V(1) 7+2*V(1) 226+V(1) 3> 22
20 76+18*V(1) 6+2*V(1) 226+V(1) <3 12
21 88+20*V(1) -6 <3 116+V(1) 12
22 92+20*V(1) -8 <2 117+V(1) 12
23 95+20*V(1) -7 11 3> 117+V(1) 12
24 109+22*V(1) 7+2*V(1) 11 227+V(1) 3> 12
25 112+22*V(1) 6+2*V(1) 11 227+V(1) <3 11
26 126+24*V(1) -8 11 <3 118+V(1)
27 127+24*V(1) -7 12 3> 118+V(1)
28 143+26*V(1) 9+2*V(1) 12 228+V(1) 3>
29 144+26*V(1) 8+2*V(1) 12 228+V(1) <1
30 160+28*V(1) -8 12 <1 228+V(1)
31 162+28*V(1) -10 <2 12 228+V(1)
32 165+28*V(1) -9 11 3> 12 228+V(1)
33 168+28*V(1) -10 11 <3 11 228+V(1)
<< Success! ==> defined new CTR 3 (PPA)
270 4127 -85 11 <3 11 2242
== Executing PA-CTR 1, V(1)=38, V(2)=0, repcount=13, factor=7/3
608 18869 -189 11 <3 1192 223
== Executing PPA-CTR 3 (once), V(1)=91
641 21585 -199 11 <3 11 2299
== Executing PA-CTR 1, V(1)=95, V(2)=0, repcount=32, factor=7/3
1473 108945 -455 11 <3 11225 223
== Executing PPA-CTR 3 (once), V(1)=224
1506 115385 -465 11 <3 11 22232
== Executing PA-CTR 1, V(1)=228, V(2)=0, repcount=77, factor=7/3
3508 616655 -1081 11 <3 11540 22
== Executing PPA-CTR 2 (once), V(1)=536
3544 623269 -1093 11 <3 117 22540
== Executing PA-CTR 1, V(1)=536, V(2)=6, repcount=179, factor=7/3
8198 3348007 -2525 11 <3 111260 223
== Executing PPA-CTR 3 (once), V(1)=1259
8231 3383427 -2535 11 <3 11 221267
== Executing PA-CTR 1, V(1)=1263, V(2)=0, repcount=422, factor=7/3
19203 18360207 -5911 11 <3 112955 22
== Executing PPA-CTR 2 (once), V(1)=2951
19239 18395801 -5923 11 <3 117 222955
== Executing PA-CTR 1, V(1)=2951, V(2)=6, repcount=984, factor=7/3
44823 99912329 -13795 11 <3 116895 223
== Executing PPA-CTR 3 (once), V(1)=6894
44856 100105529 -13805 11 <3 11 226902
== Executing PA-CTR 1, V(1)=6898, V(2)=0, repcount=2300, factor=7/3
104656 544562129 -32205 11 <3 1116101 222
104657 544562130 -32204 12 3> 1116101 222
104658 544594332 -2 12 2216101 3> 222
104659 544594333 -3 12 2216101 <3 12 22
104660 544626535 -32205 12 <3 1116101 12 22
104661 544626538 -32204 22 3> 1116101 12 22
104662 544658740 -2 2216102 3> 12 22
104663 544658743 -3 2216102 <3 11 22
104664 544690947 -32207 <3 1116103 22
104665 544690951 -32209 <2 1116104 22
104666 544690954 -32208 11 3> 1116104 22
104667 544723162 0 11 2216104 3> 22
104668 544723163 -1 11 2216104 <3 12
104669 544755371 -32209 11 <3 1116104 12
104670 544755372 -32208 12 3> 1116104 12
104671 544787580 0 12 2216104 3> 12
104672 544787583 -1 12 2216104 <3 11
104673 544819791 -32209 12 <3 1116105
104674 544819794 -32208 22 3> 1116105
104675 544852004 2 2216106 3>
104676 544852005 1 2216106 <1
104677 544884217 -32211 <1 2216106
104678 544884218 -32210 01 2> 2216106
104679 544884219 -32209 01 1 h> 2 2216105 [stop]
Lines: 179
Top steps: 178
Macro steps: 104679
Basic steps: 544884219
Tape index: -32209
nonzeros: 32213
log10(nonzeros): 4.508
log10(steps ): 8.736
Run state: stop
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol former champion of Myron Souris
5t 1R2 1L2 2L1 1L1 1R3 1Rh 0L1 2R3 1L3
: 32213 544884219
L 58
M 201
pref sim
machv MS33_b just simple
machv MS33_b-r with repetitions reduced
machv MS33_b-1 with tape symbol exponents
machv MS33_b-m as 2-macro machine
machv MS33_b-a as 2-macro machine with pure additive config-TRs
iam MS33_b-a
mtype 2
mmtyp 3
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:43 CEST 2010
edate Tue Jul 6 22:11:44 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:43 CEST 2010