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.
Simulation is done with repetitions reduced.
The same TM 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 St Tape contents
0 0 A . . . . . . . . . . . 0
1 1 B . . . . . . . . . . . 10
2 2 C . . . . . . . . . . . 100
3 3 D . . . . . . . . . . . 1010
4 2 E . . . . . . . . . . . 1011
5 1 D . . . . . . . . . . . 1001
6 0 E . . . . . . . . . . . 1101
7 -1 D . . . . . . . . . . .00101
8 -2 E . . . . . . . . . . 010101
9 -3 A . . . . . . . . . .0110101
10 -2 B . . . . . . . . . .1110101
+ 12 -4 B . . . . . . . . . 01110101 by B/1 * 2
13 -3 C . . . . . . . . . 01110101
14 -4 A . . . . . . . . . 00110101
15 -3 B . . . . . . . . . 10110101
16 -2 C . . . . . . . . . 10110101
17 -3 A . . . . . . . . . 10010101
18 -2 B . . . . . . . . . 11010101
19 -1 C . . . . . . . . . 11010101
20 -2 A . . . . . . . . . 11000101
21 -1 B . . . . . . . . . 11100101
22 0 C . . . . . . . . . 11100101
23 1 D . . . . . . . . . 11101101
24 0 F . . . . . . . . . 11101101
25 -1 E . . . . . . . . . 11101101
26 -2 A . . . . . . . . . 11111101
27 -3 B . . . . . . . . . 11011101
+ 29 -5 B . . . . . . . . .011011101 by B/1 * 2
30 -4 C . . . . . . . . .011011101
31 -5 A . . . . . . . . .001011101
32 -4 B . . . . . . . . .101011101
33 -3 C . . . . . . . . .101011101
34 -4 A . . . . . . . . .100011101
35 -3 B . . . . . . . . .110011101
36 -2 C . . . . . . . . .110011101
37 -1 D . . . . . . . . .110111101
38 -2 F . . . . . . . . .110111101
39 -3 E . . . . . . . . .110111101
40 -4 A . . . . . . . . .111111101
41 -5 B . . . . . . . . .101111101
42 -6 B . . . . . . . . 0101111101
43 -5 C . . . . . . . . 0101111101
44 -6 A . . . . . . . . 0001111101
45 -5 B . . . . . . . . 1001111101
46 -4 C . . . . . . . . 1001111101
47 -3 D . . . . . . . . 1011111101
48 -4 F . . . . . . . . 1011111101
49 -5 E . . . . . . . . 1011111101
50 -6 A . . . . . . . . 1111111101
51 -7 B . . . . . . . .00111111101
52 -6 C . . . . . . . .00111111101
53 -5 D . . . . . . . .01111111101
54 -6 F . . . . . . . .01111111101
55 -7 E . . . . . . . .01111111101
56 -8 A . . . . . . . 011111111101
57 -7 B . . . . . . . 111111111101
+ 59 -9 B . . . . . . .0111111111101 by B/1 * 2
60 -8 C . . . . . . .0111111111101
61 -9 A . . . . . . .0011111111101
62 -8 B . . . . . . .1011111111101
63 -7 C . . . . . . .1011111111101
64 -8 A . . . . . . .1001111111101
65 -7 B . . . . . . .1101111111101
66 -6 C . . . . . . .1101111111101
67 -7 A . . . . . . .1100111111101
68 -6 B . . . . . . .1110111111101
69 -5 C . . . . . . .1110111111101
70 -6 A . . . . . . .1110011111101
71 -5 B . . . . . . .1111011111101
72 -4 C . . . . . . .1111011111101
73 -5 A . . . . . . .1111001111101
74 -4 B . . . . . . .1111101111101
75 -3 C . . . . . . .1111101111101
76 -4 A . . . . . . .1111100111101
77 -3 B . . . . . . .1111110111101
78 -2 C . . . . . . .1111110111101
79 -3 A . . . . . . .1111110011101
80 -2 B . . . . . . .1111111011101
81 -1 C . . . . . . .1111111011101
82 -2 A . . . . . . .1111111001101
83 -1 B . . . . . . .1111111101101
84 0 C . . . . . . .1111111101101
85 -1 A . . . . . . .1111111100101
86 0 B . . . . . . .1111111110101
87 1 C . . . . . . .1111111110101
88 0 A . . . . . . .1111111110001
89 1 B . . . . . . .1111111111001
90 2 C . . . . . . .1111111111001
91 3 D . . . . . . .1111111111011
92 2 F . . . . . . .1111111111011
93 1 E . . . . . . .1111111111011
94 0 A . . . . . . .1111111111111
95 -1 B . . . . . . .1111111110111
+ 104 -10 B . . . . . . 01111111110111 by B/1 * 9
105 -9 C . . . . . . 01111111110111
106 -10 A . . . . . . 00111111110111
107 -9 B . . . . . . 10111111110111
108 -8 C . . . . . . 10111111110111
109 -9 A . . . . . . 10011111110111
110 -8 B . . . . . . 11011111110111
111 -7 C . . . . . . 11011111110111
112 -8 A . . . . . . 11001111110111
113 -7 B . . . . . . 11101111110111
114 -6 C . . . . . . 11101111110111
115 -7 A . . . . . . 11100111110111
116 -6 B . . . . . . 11110111110111
117 -5 C . . . . . . 11110111110111
118 -6 A . . . . . . 11110011110111
119 -5 B . . . . . . 11111011110111
120 -4 C . . . . . . 11111011110111
121 -5 A . . . . . . 11111001110111
122 -4 B . . . . . . 11111101110111
123 -3 C . . . . . . 11111101110111
124 -4 A . . . . . . 11111100110111
125 -3 B . . . . . . 11111110110111
126 -2 C . . . . . . 11111110110111
127 -3 A . . . . . . 11111110010111
128 -2 B . . . . . . 11111111010111
129 -1 C . . . . . . 11111111010111
130 -2 A . . . . . . 11111111000111
131 -1 B . . . . . . 11111111100111
132 0 C . . . . . . 11111111100111
133 1 D . . . . . . 11111111101111
134 0 F . . . . . . 11111111101111
135 -1 E . . . . . . 11111111101111
136 -2 A . . . . . . 11111111111111
137 -3 B . . . . . . 11111111011111
+ 145 -11 B . . . . . .011111111011111 by B/1 * 8
146 -10 C . . . . . .011111111011111
147 -11 A . . . . . .001111111011111
148 -10 B . . . . . .101111111011111
149 -9 C . . . . . .101111111011111
150 -10 A . . . . . .100111111011111
151 -9 B . . . . . .110111111011111
152 -8 C . . . . . .110111111011111
153 -9 A . . . . . .110011111011111
154 -8 B . . . . . .111011111011111
155 -7 C . . . . . .111011111011111
156 -8 A . . . . . .111001111011111
157 -7 B . . . . . .111101111011111
158 -6 C . . . . . .111101111011111
159 -7 A . . . . . .111100111011111
160 -6 B . . . . . .111110111011111
161 -5 C . . . . . .111110111011111
162 -6 A . . . . . .111110011011111
163 -5 B . . . . . .111111011011111
164 -4 C . . . . . .111111011011111
165 -5 A . . . . . .111111001011111
166 -4 B . . . . . .111111101011111
167 -3 C . . . . . .111111101011111
168 -4 A . . . . . .111111100011111
169 -3 B . . . . . .111111110011111
170 -2 C . . . . . .111111110011111
171 -1 D . . . . . .111111110111111
172 -2 F . . . . . .111111110111111
173 -3 E . . . . . .111111110111111
174 -4 A . . . . . .111111111111111
175 -5 B . . . . . .111111101111111
+ 182 -12 B . . . . . 0111111101111111 by B/1 * 7
183 -11 C . . . . . 0111111101111111
184 -12 A . . . . . 0011111101111111
185 -11 B . . . . . 1011111101111111
186 -10 C . . . . . 1011111101111111
187 -11 A . . . . . 1001111101111111
188 -10 B . . . . . 1101111101111111
189 -9 C . . . . . 1101111101111111
190 -10 A . . . . . 1100111101111111
191 -9 B . . . . . 1110111101111111
192 -8 C . . . . . 1110111101111111
193 -9 A . . . . . 1110011101111111
194 -8 B . . . . . 1111011101111111
195 -7 C . . . . . 1111011101111111
196 -8 A . . . . . 1111001101111111
197 -7 B . . . . . 1111101101111111
198 -6 C . . . . . 1111101101111111
199 -7 A . . . . . 1111100101111111
200 -6 B . . . . . 1111110101111111
201 -5 C . . . . . 1111110101111111
202 -6 A . . . . . 1111110001111111
203 -5 B . . . . . 1111111001111111
204 -4 C . . . . . 1111111001111111
205 -3 D . . . . . 1111111011111111
206 -4 F . . . . . 1111111011111111
207 -5 E . . . . . 1111111011111111
208 -6 A . . . . . 1111111111111111
209 -7 B . . . . . 1111110111111111
+ 215 -13 B . . . . .01111110111111111 by B/1 * 6
216 -12 C . . . . .01111110111111111
217 -13 A . . . . .00111110111111111
218 -12 B . . . . .10111110111111111
219 -11 C . . . . .10111110111111111
220 -12 A . . . . .10011110111111111
221 -11 B . . . . .11011110111111111
222 -10 C . . . . .11011110111111111
223 -11 A . . . . .11001110111111111
224 -10 B . . . . .11101110111111111
225 -9 C . . . . .11101110111111111
226 -10 A . . . . .11100110111111111
227 -9 B . . . . .11110110111111111
228 -8 C . . . . .11110110111111111
229 -9 A . . . . .11110010111111111
230 -8 B . . . . .11111010111111111
231 -7 C . . . . .11111010111111111
232 -8 A . . . . .11111000111111111
233 -7 B . . . . .11111100111111111
234 -6 C . . . . .11111100111111111
235 -5 D . . . . .11111101111111111
236 -6 F . . . . .11111101111111111
237 -7 E . . . . .11111101111111111
238 -8 A . . . . .11111111111111111
239 -9 B . . . . .11111011111111111
+ 244 -14 B . . . . 011111011111111111 by B/1 * 5
245 -13 C . . . . 011111011111111111
246 -14 A . . . . 001111011111111111
247 -13 B . . . . 101111011111111111
248 -12 C . . . . 101111011111111111
249 -13 A . . . . 100111011111111111
250 -12 B . . . . 110111011111111111
251 -11 C . . . . 110111011111111111
252 -12 A . . . . 110011011111111111
253 -11 B . . . . 111011011111111111
254 -10 C . . . . 111011011111111111
255 -11 A . . . . 111001011111111111
256 -10 B . . . . 111101011111111111
257 -9 C . . . . 111101011111111111
258 -10 A . . . . 111100011111111111
259 -9 B . . . . 111110011111111111
260 -8 C . . . . 111110011111111111
261 -7 D . . . . 111110111111111111
262 -8 F . . . . 111110111111111111
263 -9 E . . . . 111110111111111111
264 -10 A . . . . 111111111111111111
265 -11 B . . . . 111101111111111111
+ 269 -15 B . . . .0111101111111111111 by B/1 * 4
270 -14 C . . . .0111101111111111111
271 -15 A . . . .0011101111111111111
272 -14 B . . . .1011101111111111111
273 -13 C . . . .1011101111111111111
274 -14 A . . . .1001101111111111111
275 -13 B . . . .1101101111111111111
276 -12 C . . . .1101101111111111111
277 -13 A . . . .1100101111111111111
278 -12 B . . . .1110101111111111111
279 -11 C . . . .1110101111111111111
280 -12 A . . . .1110001111111111111
281 -11 B . . . .1111001111111111111
282 -10 C . . . .1111001111111111111
283 -9 D . . . .1111011111111111111
284 -10 F . . . .1111011111111111111
285 -11 E . . . .1111011111111111111
286 -12 A . . . .1111111111111111111
287 -13 B . . . .1110111111111111111
+ 290 -16 B . . . 01110111111111111111 by B/1 * 3
291 -15 C . . . 01110111111111111111
292 -16 A . . . 00110111111111111111
293 -15 B . . . 10110111111111111111
294 -14 C . . . 10110111111111111111
295 -15 A . . . 10010111111111111111
296 -14 B . . . 11010111111111111111
297 -13 C . . . 11010111111111111111
298 -14 A . . . 11000111111111111111
299 -13 B . . . 11100111111111111111
300 -12 C . . . 11100111111111111111
301 -11 D . . . 11101111111111111111
302 -12 F . . . 11101111111111111111
303 -13 E . . . 11101111111111111111
304 -14 A . . . 11111111111111111111
305 -15 B . . . 11011111111111111111
+ 307 -17 B . . .011011111111111111111 by B/1 * 2
308 -16 C . . .011011111111111111111
309 -17 A . . .001011111111111111111
310 -16 B . . .101011111111111111111
311 -15 C . . .101011111111111111111
312 -16 A . . .100011111111111111111
313 -15 B . . .110011111111111111111
314 -14 C . . .110011111111111111111
315 -13 D . . .110111111111111111111
316 -14 F . . .110111111111111111111
317 -15 E . . .110111111111111111111
318 -16 A . . .111111111111111111111
319 -17 B . . .101111111111111111111
320 -18 B . . 0101111111111111111111
321 -17 C . . 0101111111111111111111
322 -18 A . . 0001111111111111111111
323 -17 B . . 1001111111111111111111
324 -16 C . . 1001111111111111111111
325 -15 D . . 1011111111111111111111
326 -16 F . . 1011111111111111111111
327 -17 E . . 1011111111111111111111
328 -18 A . . 1111111111111111111111
329 -19 B . .00111111111111111111111
330 -18 C . .00111111111111111111111
331 -17 D . .01111111111111111111111
332 -18 F . .01111111111111111111111
333 -19 E . .01111111111111111111111
334 -20 A . 011111111111111111111111
335 -19 B . 111111111111111111111111
+ 337 -21 B .0111111111111111111111111 by B/1 * 2
338 -20 C .0111111111111111111111111
339 -21 A .0011111111111111111111111
340 -20 B .1011111111111111111111111
After 340 steps (301 lines): state = B.
Produced 24 ones.
Tape index -20, scanned [-21 .. 3].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 79 | 66 | 13 | 0 | 26 |
| B | 132 | 78 | 54 | 1 | 10 |
| C | 78 | 16 | 62 | 2 | 13 |
| D | 18 | 3 | 15 | 3 | 23 |
| E | 18 | 16 | 2 | 8 | 4 |
| F | 15 | 15 | 24 | ||