Comment: This TM produces >6.4*10^462 ones in >6.1*10^925 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | B0L | 1 | right | B | 0 | left | B |
| B | C0R | B1L | 0 | right | C | 1 | left | B |
| C | D1R | A0L | 1 | right | D | 0 | left | A |
| D | E1L | F1L | 1 | left | E | 1 | left | F |
| E | A1L | D0L | 1 | left | A | 0 | left | D |
| F | Z1R | E1L | 1 | right | Z | 1 | left | E |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 3-bck-macro machine.
The same TM as 3-bck-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 2 1 0 C>
3 3 1 0 1 D>
4 2 1 0 1 <E 1
5 1 1 0 <D 0 1
6 0 1 <E 1 0 1
7 -1 <D 0 1 0 1
8 -2 <E 1 0 1 0 1
9 -3 <A 1 1 0 1 0 1
10 -2 1 B> 1 1 0 1 0 1
11 -3 1 <B 1 1 0 1 0 1
12 -4 <B 13 0 1 0 1
13 -3 C> 13 0 1 0 1
14 -4 <A 0 1 1 0 1 0 1
15 -3 1 B> 0 1 1 0 1 0 1
16 -2 1 0 C> 1 1 0 1 0 1
17 -3 1 0 <A 0 1 0 1 0 1
18 -2 1 1 B> 0 1 0 1 0 1
19 -1 1 1 0 C> 1 0 1 0 1
20 -2 1 1 0 <A 0 0 1 0 1
21 -1 13 B> 0 0 1 0 1
22 0 13 0 C> 0 1 0 1
23 1 13 0 1 D> 1 0 1
24 0 13 0 1 <F 1 0 1
25 -1 13 0 <E 1 1 0 1
26 -2 13 <A 13 0 1
27 -3 1 1 <B 0 13 0 1
+ 29 -5 <B 1 1 0 13 0 1
30 -4 C> 1 1 0 13 0 1
31 -5 <A 0 1 0 13 0 1
32 -4 1 B> 0 1 0 13 0 1
33 -3 1 0 C> 1 0 13 0 1
34 -4 1 0 <A 0 0 13 0 1
35 -3 1 1 B> 0 0 13 0 1
36 -2 1 1 0 C> 0 13 0 1
37 -1 1 1 0 1 D> 13 0 1
38 -2 1 1 0 1 <F 13 0 1
39 -3 1 1 0 <E 14 0 1
40 -4 1 1 <A 15 0 1
41 -5 1 <B 0 15 0 1
42 -6 <B 1 0 15 0 1
43 -5 C> 1 0 15 0 1
44 -6 <A 0 0 15 0 1
45 -5 1 B> 0 0 15 0 1
46 -4 1 0 C> 0 15 0 1
47 -3 1 0 1 D> 15 0 1
48 -4 1 0 1 <F 15 0 1
49 -5 1 0 <E 16 0 1
50 -6 1 <A 17 0 1
51 -7 <B 0 17 0 1
52 -6 C> 0 17 0 1
53 -5 1 D> 17 0 1
54 -6 1 <F 17 0 1
55 -7 <E 18 0 1
56 -8 <A 19 0 1
57 -7 1 B> 19 0 1
58 -8 1 <B 19 0 1
59 -9 <B 110 0 1
60 -8 C> 110 0 1
61 -9 <A 0 19 0 1
62 -8 1 B> 0 19 0 1
63 -7 1 0 C> 19 0 1
64 -8 1 0 <A 0 18 0 1
65 -7 1 1 B> 0 18 0 1
66 -6 1 1 0 C> 18 0 1
67 -7 1 1 0 <A 0 17 0 1
68 -6 13 B> 0 17 0 1
69 -5 13 0 C> 17 0 1
70 -6 13 0 <A 0 16 0 1
71 -5 14 B> 0 16 0 1
72 -4 14 0 C> 16 0 1
73 -5 14 0 <A 0 15 0 1
74 -4 15 B> 0 15 0 1
75 -3 15 0 C> 15 0 1
76 -4 15 0 <A 0 14 0 1
77 -3 16 B> 0 14 0 1
78 -2 16 0 C> 14 0 1
79 -3 16 0 <A 0 13 0 1
80 -2 17 B> 0 13 0 1
81 -1 17 0 C> 13 0 1
82 -2 17 0 <A 0 1 1 0 1
83 -1 18 B> 0 1 1 0 1
84 0 18 0 C> 1 1 0 1
85 -1 18 0 <A 0 1 0 1
86 0 19 B> 0 1 0 1
87 1 19 0 C> 1 0 1
88 0 19 0 <A 0 0 1
89 1 110 B> 0 0 1
90 2 110 0 C> 0 1
91 3 110 0 1 D> 1
92 2 110 0 1 <F 1
93 1 110 0 <E 1 1
94 0 110 <A 13
95 -1 19 <B 0 13
+ 104 -10 <B 19 0 13
105 -9 C> 19 0 13
106 -10 <A 0 18 0 13
107 -9 1 B> 0 18 0 13
108 -8 1 0 C> 18 0 13
109 -9 1 0 <A 0 17 0 13
110 -8 1 1 B> 0 17 0 13
111 -7 1 1 0 C> 17 0 13
112 -8 1 1 0 <A 0 16 0 13
113 -7 13 B> 0 16 0 13
114 -6 13 0 C> 16 0 13
115 -7 13 0 <A 0 15 0 13
116 -6 14 B> 0 15 0 13
117 -5 14 0 C> 15 0 13
118 -6 14 0 <A 0 14 0 13
119 -5 15 B> 0 14 0 13
120 -4 15 0 C> 14 0 13
121 -5 15 0 <A 0 13 0 13
122 -4 16 B> 0 13 0 13
123 -3 16 0 C> 13 0 13
124 -4 16 0 <A 0 1 1 0 13
125 -3 17 B> 0 1 1 0 13
126 -2 17 0 C> 1 1 0 13
127 -3 17 0 <A 0 1 0 13
128 -2 18 B> 0 1 0 13
129 -1 18 0 C> 1 0 13
130 -2 18 0 <A 0 0 13
131 -1 19 B> 0 0 13
132 0 19 0 C> 0 13
133 1 19 0 1 D> 13
134 0 19 0 1 <F 13
135 -1 19 0 <E 14
136 -2 19 <A 15
137 -3 18 <B 0 15
+ 145 -11 <B 18 0 15
146 -10 C> 18 0 15
147 -11 <A 0 17 0 15
148 -10 1 B> 0 17 0 15
149 -9 1 0 C> 17 0 15
150 -10 1 0 <A 0 16 0 15
151 -9 1 1 B> 0 16 0 15
152 -8 1 1 0 C> 16 0 15
153 -9 1 1 0 <A 0 15 0 15
154 -8 13 B> 0 15 0 15
155 -7 13 0 C> 15 0 15
156 -8 13 0 <A 0 14 0 15
157 -7 14 B> 0 14 0 15
158 -6 14 0 C> 14 0 15
159 -7 14 0 <A 0 13 0 15
160 -6 15 B> 0 13 0 15
161 -5 15 0 C> 13 0 15
162 -6 15 0 <A 0 1 1 0 15
163 -5 16 B> 0 1 1 0 15
164 -4 16 0 C> 1 1 0 15
165 -5 16 0 <A 0 1 0 15
166 -4 17 B> 0 1 0 15
167 -3 17 0 C> 1 0 15
168 -4 17 0 <A 0 0 15
169 -3 18 B> 0 0 15
170 -2 18 0 C> 0 15
171 -1 18 0 1 D> 15
172 -2 18 0 1 <F 15
173 -3 18 0 <E 16
174 -4 18 <A 17
175 -5 17 <B 0 17
+ 182 -12 <B 17 0 17
183 -11 C> 17 0 17
184 -12 <A 0 16 0 17
185 -11 1 B> 0 16 0 17
186 -10 1 0 C> 16 0 17
187 -11 1 0 <A 0 15 0 17
188 -10 1 1 B> 0 15 0 17
189 -9 1 1 0 C> 15 0 17
190 -10 1 1 0 <A 0 14 0 17
191 -9 13 B> 0 14 0 17
192 -8 13 0 C> 14 0 17
193 -9 13 0 <A 0 13 0 17
194 -8 14 B> 0 13 0 17
195 -7 14 0 C> 13 0 17
196 -8 14 0 <A 0 1 1 0 17
197 -7 15 B> 0 1 1 0 17
198 -6 15 0 C> 1 1 0 17
199 -7 15 0 <A 0 1 0 17
200 -6 16 B> 0 1 0 17
201 -5 16 0 C> 1 0 17
202 -6 16 0 <A 0 0 17
203 -5 17 B> 0 0 17
204 -4 17 0 C> 0 17
205 -3 17 0 1 D> 17
206 -4 17 0 1 <F 17
207 -5 17 0 <E 18
208 -6 17 <A 19
209 -7 16 <B 0 19
+ 215 -13 <B 16 0 19
216 -12 C> 16 0 19
217 -13 <A 0 15 0 19
218 -12 1 B> 0 15 0 19
219 -11 1 0 C> 15 0 19
220 -12 1 0 <A 0 14 0 19
221 -11 1 1 B> 0 14 0 19
222 -10 1 1 0 C> 14 0 19
223 -11 1 1 0 <A 0 13 0 19
224 -10 13 B> 0 13 0 19
225 -9 13 0 C> 13 0 19
226 -10 13 0 <A 0 1 1 0 19
227 -9 14 B> 0 1 1 0 19
228 -8 14 0 C> 1 1 0 19
229 -9 14 0 <A 0 1 0 19
230 -8 15 B> 0 1 0 19
231 -7 15 0 C> 1 0 19
232 -8 15 0 <A 0 0 19
233 -7 16 B> 0 0 19
234 -6 16 0 C> 0 19
235 -5 16 0 1 D> 19
236 -6 16 0 1 <F 19
237 -7 16 0 <E 110
238 -8 16 <A 111
239 -9 15 <B 0 111
+ 244 -14 <B 15 0 111
245 -13 C> 15 0 111
246 -14 <A 0 14 0 111
247 -13 1 B> 0 14 0 111
248 -12 1 0 C> 14 0 111
249 -13 1 0 <A 0 13 0 111
250 -12 1 1 B> 0 13 0 111
251 -11 1 1 0 C> 13 0 111
252 -12 1 1 0 <A 0 1 1 0 111
253 -11 13 B> 0 1 1 0 111
254 -10 13 0 C> 1 1 0 111
255 -11 13 0 <A 0 1 0 111
256 -10 14 B> 0 1 0 111
257 -9 14 0 C> 1 0 111
258 -10 14 0 <A 0 0 111
259 -9 15 B> 0 0 111
260 -8 15 0 C> 0 111
261 -7 15 0 1 D> 111
262 -8 15 0 1 <F 111
263 -9 15 0 <E 112
264 -10 15 <A 113
265 -11 14 <B 0 113
+ 269 -15 <B 14 0 113
270 -14 C> 14 0 113
271 -15 <A 0 13 0 113
272 -14 1 B> 0 13 0 113
273 -13 1 0 C> 13 0 113
274 -14 1 0 <A 0 1 1 0 113
275 -13 1 1 B> 0 1 1 0 113
276 -12 1 1 0 C> 1 1 0 113
277 -13 1 1 0 <A 0 1 0 113
278 -12 13 B> 0 1 0 113
279 -11 13 0 C> 1 0 113
280 -12 13 0 <A 0 0 113
281 -11 14 B> 0 0 113
282 -10 14 0 C> 0 113
283 -9 14 0 1 D> 113
284 -10 14 0 1 <F 113
285 -11 14 0 <E 114
286 -12 14 <A 115
287 -13 13 <B 0 115
+ 290 -16 <B 13 0 115
291 -15 C> 13 0 115
292 -16 <A 0 1 1 0 115
293 -15 1 B> 0 1 1 0 115
294 -14 1 0 C> 1 1 0 115
295 -15 1 0 <A 0 1 0 115
296 -14 1 1 B> 0 1 0 115
297 -13 1 1 0 C> 1 0 115
298 -14 1 1 0 <A 0 0 115
299 -13 13 B> 0 0 115
300 -12 13 0 C> 0 115
301 -11 13 0 1 D> 115
302 -12 13 0 1 <F 115
303 -13 13 0 <E 116
304 -14 13 <A 117
305 -15 1 1 <B 0 117
+ 307 -17 <B 1 1 0 117
308 -16 C> 1 1 0 117
309 -17 <A 0 1 0 117
310 -16 1 B> 0 1 0 117
311 -15 1 0 C> 1 0 117
312 -16 1 0 <A 0 0 117
313 -15 1 1 B> 0 0 117
314 -14 1 1 0 C> 0 117
315 -13 1 1 0 1 D> 117
316 -14 1 1 0 1 <F 117
317 -15 1 1 0 <E 118
318 -16 1 1 <A 119
319 -17 1 <B 0 119
320 -18 <B 1 0 119
321 -17 C> 1 0 119
322 -18 <A 0 0 119
323 -17 1 B> 0 0 119
324 -16 1 0 C> 0 119
325 -15 1 0 1 D> 119
326 -16 1 0 1 <F 119
327 -17 1 0 <E 120
328 -18 1 <A 121
329 -19 <B 0 121
330 -18 C> 0 121
331 -17 1 D> 121
332 -18 1 <F 121
333 -19 <E 122
334 -20 <A 123
335 -19 1 B> 123
336 -20 1 <B 123
337 -21 <B 124
After 337 steps (301 lines): state = B.
Produced 24 ones.
Tape index -21, scanned [-20 .. 3].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 78 | 65 | 13 | 0 | 26 |
| B | 131 | 77 | 54 | 1 | 10 |
| C | 77 | 16 | 61 | 2 | 13 |
| D | 18 | 3 | 15 | 3 | 23 |
| E | 18 | 16 | 2 | 8 | 4 |
| F | 15 | 15 | 24 | ||