Comment: This TM produces 40740206640846 ones in 5690620927332136555840780353 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 | C0L | 1 | right | B | 0 | left | C |
| B | A1L | D1R | 1 | left | A | 1 | right | D |
| C | D1R | C1L | 1 | right | D | 1 | left | C |
| D | E1R | F1L | 1 | right | E | 1 | left | F |
| E | A0R | B1R | 0 | right | A | 1 | right | B |
| F | Z1R | D0L | 1 | right | Z | 0 | left | D |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 1-bck-2-macro machine.
The same TM as 1-bck-2-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 0 1 <A 1
3 -1 <C 0 1
4 0 1 D> 0 1
5 1 1 1 E> 1
6 2 13 B>
7 1 13 <A 1
8 0 1 1 <C 0 1
+ 10 -2 <C 1 1 0 1
11 -1 1 D> 1 1 0 1
12 -2 1 <F 1 1 0 1
13 -3 <D 0 1 1 0 1
14 -2 1 E> 0 1 1 0 1
15 -1 1 0 A> 1 1 0 1
16 -2 1 0 <C 0 1 0 1
17 -1 1 1 D> 0 1 0 1
18 0 13 E> 1 0 1
19 1 14 B> 0 1
20 0 14 <A 1 1
21 -1 13 <C 0 1 1
+ 24 -4 <C 13 0 1 1
25 -3 1 D> 13 0 1 1
26 -4 1 <F 13 0 1 1
27 -5 <D 0 13 0 1 1
28 -4 1 E> 0 13 0 1 1
29 -3 1 0 A> 13 0 1 1
30 -4 1 0 <C 0 1 1 0 1 1
31 -3 1 1 D> 0 1 1 0 1 1
32 -2 13 E> 1 1 0 1 1
33 -1 14 B> 1 0 1 1
34 0 15 D> 0 1 1
35 1 16 E> 1 1
36 2 17 B> 1
37 3 18 D>
38 4 19 E>
39 5 19 0 A>
40 6 19 0 1 B>
41 5 19 0 1 <A 1
42 4 19 0 <C 0 1
43 5 110 D> 0 1
44 6 111 E> 1
45 7 112 B>
46 6 112 <A 1
47 5 111 <C 0 1
+ 58 -6 <C 111 0 1
59 -5 1 D> 111 0 1
60 -6 1 <F 111 0 1
61 -7 <D 0 111 0 1
62 -6 1 E> 0 111 0 1
63 -5 1 0 A> 111 0 1
64 -6 1 0 <C 0 110 0 1
65 -5 1 1 D> 0 110 0 1
66 -4 13 E> 110 0 1
67 -3 14 B> 19 0 1
68 -2 15 D> 18 0 1
69 -3 15 <F 18 0 1
70 -4 14 <D 0 18 0 1
71 -5 13 <F 1 0 18 0 1
72 -6 1 1 <D 0 1 0 18 0 1
73 -7 1 <F 1 0 1 0 18 0 1
74 -8 <D 0 1 0 1 0 18 0 1
75 -7 1 E> 0 1 0 1 0 18 0 1
76 -6 1 0 A> 1 0 1 0 18 0 1
77 -7 1 0 <C 0 0 1 0 18 0 1
78 -6 1 1 D> 0 0 1 0 18 0 1
79 -5 13 E> 0 1 0 18 0 1
80 -4 13 0 A> 1 0 18 0 1
81 -5 13 0 <C 0 0 18 0 1
82 -4 14 D> 0 0 18 0 1
83 -3 15 E> 0 18 0 1
84 -2 15 0 A> 18 0 1
85 -3 15 0 <C 0 17 0 1
86 -2 16 D> 0 17 0 1
87 -1 17 E> 17 0 1
88 0 18 B> 16 0 1
89 1 19 D> 15 0 1
90 0 19 <F 15 0 1
91 -1 18 <D 0 15 0 1
92 -2 17 <F 1 0 15 0 1
93 -3 16 <D 0 1 0 15 0 1
94 -4 15 <F 1 0 1 0 15 0 1
95 -5 14 <D 0 1 0 1 0 15 0 1
96 -6 13 <F 1 0 1 0 1 0 15 0 1
97 -7 1 1 <D 0 1 0 1 0 1 0 15 0 1
98 -8 1 <F 1 0 1 0 1 0 1 0 15 0 1
99 -9 <D 0 1 0 1 0 1 0 1 0 15 0 1
100 -8 1 E> 0 1 0 1 0 1 0 1 0 15 0 1
101 -7 1 0 A> 1 0 1 0 1 0 1 0 15 0 1
102 -8 1 0 <C 0 0 1 0 1 0 1 0 15 0 1
103 -7 1 1 D> 0 0 1 0 1 0 1 0 15 0 1
104 -6 13 E> 0 1 0 1 0 1 0 15 0 1
105 -5 13 0 A> 1 0 1 0 1 0 15 0 1
106 -6 13 0 <C 0 0 1 0 1 0 15 0 1
107 -5 14 D> 0 0 1 0 1 0 15 0 1
108 -4 15 E> 0 1 0 1 0 15 0 1
109 -3 15 0 A> 1 0 1 0 15 0 1
110 -4 15 0 <C 0 0 1 0 15 0 1
111 -3 16 D> 0 0 1 0 15 0 1
112 -2 17 E> 0 1 0 15 0 1
113 -1 17 0 A> 1 0 15 0 1
114 -2 17 0 <C 0 0 15 0 1
115 -1 18 D> 0 0 15 0 1
116 0 19 E> 0 15 0 1
117 1 19 0 A> 15 0 1
118 0 19 0 <C 0 14 0 1
119 1 110 D> 0 14 0 1
120 2 111 E> 14 0 1
121 3 112 B> 13 0 1
122 4 113 D> 1 1 0 1
123 3 113 <F 1 1 0 1
124 2 112 <D 0 1 1 0 1
125 1 111 <F 1 0 1 1 0 1
126 0 110 <D 0 1 0 1 1 0 1
127 -1 19 <F 1 0 1 0 1 1 0 1
128 -2 18 <D 0 1 0 1 0 1 1 0 1
129 -3 17 <F 1 0 1 0 1 0 1 1 0 1
130 -4 16 <D 0 1 0 1 0 1 0 1 1 0 1
131 -5 15 <F 1 0 1 0 1 0 1 0 1 1 0 1
132 -6 14 <D 0 1 0 1 0 1 0 1 0 1 1 0 1
133 -7 13 <F 1 0 1 0 1 0 1 0 1 0 1 1 0 1
134 -8 1 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
135 -9 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
136 -10 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
137 -9 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
138 -8 1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
139 -9 1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
140 -8 1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
141 -7 13 E> 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
142 -6 13 0 A> 1 0 1 0 1 0 1 0 1 0 1 1 0 1
143 -7 13 0 <C 0 0 1 0 1 0 1 0 1 0 1 1 0 1
144 -6 14 D> 0 0 1 0 1 0 1 0 1 0 1 1 0 1
145 -5 15 E> 0 1 0 1 0 1 0 1 0 1 1 0 1
146 -4 15 0 A> 1 0 1 0 1 0 1 0 1 1 0 1
147 -5 15 0 <C 0 0 1 0 1 0 1 0 1 1 0 1
148 -4 16 D> 0 0 1 0 1 0 1 0 1 1 0 1
149 -3 17 E> 0 1 0 1 0 1 0 1 1 0 1
150 -2 17 0 A> 1 0 1 0 1 0 1 1 0 1
151 -3 17 0 <C 0 0 1 0 1 0 1 1 0 1
152 -2 18 D> 0 0 1 0 1 0 1 1 0 1
153 -1 19 E> 0 1 0 1 0 1 1 0 1
154 0 19 0 A> 1 0 1 0 1 1 0 1
155 -1 19 0 <C 0 0 1 0 1 1 0 1
156 0 110 D> 0 0 1 0 1 1 0 1
157 1 111 E> 0 1 0 1 1 0 1
158 2 111 0 A> 1 0 1 1 0 1
159 1 111 0 <C 0 0 1 1 0 1
160 2 112 D> 0 0 1 1 0 1
161 3 113 E> 0 1 1 0 1
162 4 113 0 A> 1 1 0 1
163 3 113 0 <C 0 1 0 1
164 4 114 D> 0 1 0 1
165 5 115 E> 1 0 1
166 6 116 B> 0 1
167 5 116 <A 1 1
168 4 115 <C 0 1 1
+ 183 -11 <C 115 0 1 1
184 -10 1 D> 115 0 1 1
185 -11 1 <F 115 0 1 1
186 -12 <D 0 115 0 1 1
187 -11 1 E> 0 115 0 1 1
188 -10 1 0 A> 115 0 1 1
189 -11 1 0 <C 0 114 0 1 1
190 -10 1 1 D> 0 114 0 1 1
191 -9 13 E> 114 0 1 1
192 -8 14 B> 113 0 1 1
193 -7 15 D> 112 0 1 1
194 -8 15 <F 112 0 1 1
195 -9 14 <D 0 112 0 1 1
196 -10 13 <F 1 0 112 0 1 1
197 -11 1 1 <D 0 1 0 112 0 1 1
198 -12 1 <F 1 0 1 0 112 0 1 1
199 -13 <D 0 1 0 1 0 112 0 1 1
200 -12 1 E> 0 1 0 1 0 112 0 1 1
201 -11 1 0 A> 1 0 1 0 112 0 1 1
202 -12 1 0 <C 0 0 1 0 112 0 1 1
203 -11 1 1 D> 0 0 1 0 112 0 1 1
204 -10 13 E> 0 1 0 112 0 1 1
205 -9 13 0 A> 1 0 112 0 1 1
206 -10 13 0 <C 0 0 112 0 1 1
207 -9 14 D> 0 0 112 0 1 1
208 -8 15 E> 0 112 0 1 1
209 -7 15 0 A> 112 0 1 1
210 -8 15 0 <C 0 111 0 1 1
211 -7 16 D> 0 111 0 1 1
212 -6 17 E> 111 0 1 1
213 -5 18 B> 110 0 1 1
214 -4 19 D> 19 0 1 1
215 -5 19 <F 19 0 1 1
216 -6 18 <D 0 19 0 1 1
217 -7 17 <F 1 0 19 0 1 1
218 -8 16 <D 0 1 0 19 0 1 1
219 -9 15 <F 1 0 1 0 19 0 1 1
220 -10 14 <D 0 1 0 1 0 19 0 1 1
221 -11 13 <F 1 0 1 0 1 0 19 0 1 1
222 -12 1 1 <D 0 1 0 1 0 1 0 19 0 1 1
223 -13 1 <F 1 0 1 0 1 0 1 0 19 0 1 1
224 -14 <D 0 1 0 1 0 1 0 1 0 19 0 1 1
225 -13 1 E> 0 1 0 1 0 1 0 1 0 19 0 1 1
226 -12 1 0 A> 1 0 1 0 1 0 1 0 19 0 1 1
227 -13 1 0 <C 0 0 1 0 1 0 1 0 19 0 1 1
228 -12 1 1 D> 0 0 1 0 1 0 1 0 19 0 1 1
229 -11 13 E> 0 1 0 1 0 1 0 19 0 1 1
230 -10 13 0 A> 1 0 1 0 1 0 19 0 1 1
231 -11 13 0 <C 0 0 1 0 1 0 19 0 1 1
232 -10 14 D> 0 0 1 0 1 0 19 0 1 1
233 -9 15 E> 0 1 0 1 0 19 0 1 1
234 -8 15 0 A> 1 0 1 0 19 0 1 1
235 -9 15 0 <C 0 0 1 0 19 0 1 1
236 -8 16 D> 0 0 1 0 19 0 1 1
237 -7 17 E> 0 1 0 19 0 1 1
238 -6 17 0 A> 1 0 19 0 1 1
239 -7 17 0 <C 0 0 19 0 1 1
240 -6 18 D> 0 0 19 0 1 1
241 -5 19 E> 0 19 0 1 1
242 -4 19 0 A> 19 0 1 1
243 -5 19 0 <C 0 18 0 1 1
244 -4 110 D> 0 18 0 1 1
245 -3 111 E> 18 0 1 1
246 -2 112 B> 17 0 1 1
247 -1 113 D> 16 0 1 1
248 -2 113 <F 16 0 1 1
249 -3 112 <D 0 16 0 1 1
250 -4 111 <F 1 0 16 0 1 1
251 -5 110 <D 0 1 0 16 0 1 1
252 -6 19 <F 1 0 1 0 16 0 1 1
253 -7 18 <D 0 1 0 1 0 16 0 1 1
254 -8 17 <F 1 0 1 0 1 0 16 0 1 1
255 -9 16 <D 0 1 0 1 0 1 0 16 0 1 1
256 -10 15 <F 1 0 1 0 1 0 1 0 16 0 1 1
257 -11 14 <D 0 1 0 1 0 1 0 1 0 16 0 1 1
258 -12 13 <F 1 0 1 0 1 0 1 0 1 0 16 0 1 1
259 -13 1 1 <D 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
260 -14 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
261 -15 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
262 -14 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
263 -13 1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
264 -14 1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
265 -13 1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
266 -12 13 E> 0 1 0 1 0 1 0 1 0 1 0 16 0 1 1
267 -11 13 0 A> 1 0 1 0 1 0 1 0 1 0 16 0 1 1
268 -12 13 0 <C 0 0 1 0 1 0 1 0 1 0 16 0 1 1
269 -11 14 D> 0 0 1 0 1 0 1 0 1 0 16 0 1 1
270 -10 15 E> 0 1 0 1 0 1 0 1 0 16 0 1 1
271 -9 15 0 A> 1 0 1 0 1 0 1 0 16 0 1 1
272 -10 15 0 <C 0 0 1 0 1 0 1 0 16 0 1 1
273 -9 16 D> 0 0 1 0 1 0 1 0 16 0 1 1
274 -8 17 E> 0 1 0 1 0 1 0 16 0 1 1
275 -7 17 0 A> 1 0 1 0 1 0 16 0 1 1
276 -8 17 0 <C 0 0 1 0 1 0 16 0 1 1
277 -7 18 D> 0 0 1 0 1 0 16 0 1 1
278 -6 19 E> 0 1 0 1 0 16 0 1 1
279 -5 19 0 A> 1 0 1 0 16 0 1 1
280 -6 19 0 <C 0 0 1 0 16 0 1 1
281 -5 110 D> 0 0 1 0 16 0 1 1
282 -4 111 E> 0 1 0 16 0 1 1
283 -3 111 0 A> 1 0 16 0 1 1
284 -4 111 0 <C 0 0 16 0 1 1
285 -3 112 D> 0 0 16 0 1 1
286 -2 113 E> 0 16 0 1 1
287 -1 113 0 A> 16 0 1 1
288 -2 113 0 <C 0 15 0 1 1
289 -1 114 D> 0 15 0 1 1
290 0 115 E> 15 0 1 1
291 1 116 B> 14 0 1 1
292 2 117 D> 13 0 1 1
293 1 117 <F 13 0 1 1
294 0 116 <D 0 13 0 1 1
295 -1 115 <F 1 0 13 0 1 1
296 -2 114 <D 0 1 0 13 0 1 1
297 -3 113 <F 1 0 1 0 13 0 1 1
298 -4 112 <D 0 1 0 1 0 13 0 1 1
299 -5 111 <F 1 0 1 0 1 0 13 0 1 1
300 -6 110 <D 0 1 0 1 0 1 0 13 0 1 1
301 -7 19 <F 1 0 1 0 1 0 1 0 13 0 1 1
302 -8 18 <D 0 1 0 1 0 1 0 1 0 13 0 1 1
303 -9 17 <F 1 0 1 0 1 0 1 0 1 0 13 0 1 1
304 -10 16 <D 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
305 -11 15 <F 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
306 -12 14 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
307 -13 13 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
308 -14 1 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
309 -15 1 <F 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
310 -16 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
311 -15 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
312 -14 1 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
313 -15 1 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
314 -14 1 1 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
315 -13 13 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
316 -12 13 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
317 -13 13 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
318 -12 14 D> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
319 -11 15 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
320 -10 15 0 A> 1 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
321 -11 15 0 <C 0 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
322 -10 16 D> 0 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
323 -9 17 E> 0 1 0 1 0 1 0 1 0 1 0 13 0 1 1
324 -8 17 0 A> 1 0 1 0 1 0 1 0 1 0 13 0 1 1
325 -9 17 0 <C 0 0 1 0 1 0 1 0 1 0 13 0 1 1
326 -8 18 D> 0 0 1 0 1 0 1 0 1 0 13 0 1 1
327 -7 19 E> 0 1 0 1 0 1 0 1 0 13 0 1 1
After 327 steps (301 lines): state = E.
Produced 18 ones.
Tape index -7, scanned [-16 .. 7].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 46 | 2 | 44 | 0 | 2 |
| B | 15 | 6 | 9 | 1 | 33 |
| C | 75 | 44 | 31 | 3 | 8 |
| D | 96 | 53 | 43 | 4 | 11 |
| E | 52 | 39 | 13 | 14 | 5 |
| F | 43 | 43 | 12 | ||