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.
Simulation is done as 2-macro machine.
The same TM 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
72 312 -22 12 3> 118 224
73 328 -6 12 228 3> 224
74 329 -7 12 228 <3 12 223
75 345 -23 12 <3 118 12 223
76 348 -22 22 3> 118 12 223
77 364 -6 229 3> 12 223
78 367 -7 229 <3 11 223
79 385 -25 <3 1110 223
80 389 -27 <2 1111 223
81 392 -26 11 3> 1111 223
82 414 -4 11 2211 3> 223
83 415 -5 11 2211 <3 12 222
84 437 -27 11 <3 1111 12 222
85 438 -26 12 3> 1111 12 222
86 460 -4 12 2211 3> 12 222
87 463 -5 12 2211 <3 11 222
88 485 -27 12 <3 1112 222
89 488 -26 22 3> 1112 222
90 512 -2 2213 3> 222
91 513 -3 2213 <3 12 22
92 539 -29 <3 1113 12 22
93 543 -31 <2 1114 12 22
94 546 -30 11 3> 1114 12 22
95 574 -2 11 2214 3> 12 22
96 577 -3 11 2214 <3 11 22
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
134 920 -42 12 3> 117 2215
135 934 -28 12 227 3> 2215
136 935 -29 12 227 <3 12 2214
137 949 -43 12 <3 117 12 2214
138 952 -42 22 3> 117 12 2214
139 966 -28 228 3> 12 2214
140 969 -29 228 <3 11 2214
141 985 -45 <3 119 2214
142 989 -47 <2 1110 2214
143 992 -46 11 3> 1110 2214
144 1012 -26 11 2210 3> 2214
145 1013 -27 11 2210 <3 12 2213
146 1033 -47 11 <3 1110 12 2213
147 1034 -46 12 3> 1110 12 2213
148 1054 -26 12 2210 3> 12 2213
149 1057 -27 12 2210 <3 11 2213
150 1077 -47 12 <3 1111 2213
151 1080 -46 22 3> 1111 2213
152 1102 -24 2212 3> 2213
153 1103 -25 2212 <3 12 2212
154 1127 -49 <3 1112 12 2212
155 1131 -51 <2 1113 12 2212
156 1134 -50 11 3> 1113 12 2212
157 1160 -24 11 2213 3> 12 2212
158 1163 -25 11 2213 <3 11 2212
159 1189 -51 11 <3 1114 2212
160 1190 -50 12 3> 1114 2212
161 1218 -22 12 2214 3> 2212
162 1219 -23 12 2214 <3 12 2211
163 1247 -51 12 <3 1114 12 2211
164 1250 -50 22 3> 1114 12 2211
165 1278 -22 2215 3> 12 2211
166 1281 -23 2215 <3 11 2211
167 1311 -53 <3 1116 2211
168 1315 -55 <2 1117 2211
169 1318 -54 11 3> 1117 2211
170 1352 -20 11 2217 3> 2211
171 1353 -21 11 2217 <3 12 2210
172 1387 -55 11 <3 1117 12 2210
173 1388 -54 12 3> 1117 12 2210
174 1422 -20 12 2217 3> 12 2210
175 1425 -21 12 2217 <3 11 2210
176 1459 -55 12 <3 1118 2210
177 1462 -54 22 3> 1118 2210
178 1498 -18 2219 3> 2210
179 1499 -19 2219 <3 12 229
180 1537 -57 <3 1119 12 229
181 1541 -59 <2 1120 12 229
182 1544 -58 11 3> 1120 12 229
183 1584 -18 11 2220 3> 12 229
184 1587 -19 11 2220 <3 11 229
185 1627 -59 11 <3 1121 229
186 1628 -58 12 3> 1121 229
187 1670 -16 12 2221 3> 229
188 1671 -17 12 2221 <3 12 228
189 1713 -59 12 <3 1121 12 228
190 1716 -58 22 3> 1121 12 228
191 1758 -16 2222 3> 12 228
192 1761 -17 2222 <3 11 228
193 1805 -61 <3 1123 228
194 1809 -63 <2 1124 228
195 1812 -62 11 3> 1124 228
196 1860 -14 11 2224 3> 228
197 1861 -15 11 2224 <3 12 227
198 1909 -63 11 <3 1124 12 227
199 1910 -62 12 3> 1124 12 227
200 1958 -14 12 2224 3> 12 227
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1958
Tape index: -14
nonzeros: 66
log10(nonzeros): 1.820
log10(steps ): 3.292
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-m
mtype 2
mmtyp 1
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:43 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