Comment: This TM produces 2,537,699,363,594,175,843,063 ones in >5.3*10^42 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 | C0R | 1 | right | B | 0 | right | C |
| B | A0L | D0R | 0 | left | A | 0 | right | D |
| C | D1R | H1R | 1 | right | D | 1 | right | H |
| D | E1L | D0L | 1 | left | E | 0 | left | D |
| E | F1R | B1L | 1 | right | F | 1 | left | B |
| F | A1R | E1R | 1 | right | A | 1 | right | E |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . 0
1 1 B . . . . . . . . . . 10
2 0 A . . . . . . . . . . 10
3 1 C . . . . . . . . . . 00
4 2 D . . . . . . . . . . 010
5 1 E . . . . . . . . . . 011
6 0 B . . . . . . . . . . 011
7 -1 A . . . . . . . . . .0011
8 0 B . . . . . . . . . .1011
9 -1 A . . . . . . . . . .1011
10 0 C . . . . . . . . . .0011
11 1 D . . . . . . . . . .0111
+ 13 -1 D . . . . . . . . . .0001 by D/1 * 2
14 -2 E . . . . . . . . . 01001
15 -1 F . . . . . . . . . 11001
16 0 E . . . . . . . . . 11001
17 1 F . . . . . . . . . 11101
18 2 A . . . . . . . . . 11111
19 3 C . . . . . . . . . 111100
20 4 D . . . . . . . . . 1111010
21 3 E . . . . . . . . . 1111011
22 2 B . . . . . . . . . 1111011
23 1 A . . . . . . . . . 1111011
24 2 C . . . . . . . . . 1110011
25 3 D . . . . . . . . . 1110111
+ 27 1 D . . . . . . . . . 1110001 by D/1 * 2
28 0 E . . . . . . . . . 1111001
29 -1 B . . . . . . . . . 1111001
30 0 D . . . . . . . . . 1011001
31 -1 D . . . . . . . . . 1001001
32 -2 E . . . . . . . . . 1101001
33 -3 B . . . . . . . . .01101001
34 -4 A . . . . . . . . 001101001
35 -3 B . . . . . . . . 101101001
36 -4 A . . . . . . . . 101101001
37 -3 C . . . . . . . . 001101001
38 -2 D . . . . . . . . 011101001
+ 40 -4 D . . . . . . . . 000101001 by D/1 * 2
41 -5 E . . . . . . . .0100101001
42 -4 F . . . . . . . .1100101001
43 -3 E . . . . . . . .1100101001
44 -2 F . . . . . . . .1110101001
45 -1 A . . . . . . . .1111101001
46 0 C . . . . . . . .1111001001
47 1 D . . . . . . . .1111011001
+ 49 -1 D . . . . . . . .1111000001 by D/1 * 2
50 -2 E . . . . . . . .1111100001
51 -3 B . . . . . . . .1111100001
52 -2 D . . . . . . . .1101100001
53 -3 D . . . . . . . .1100100001
54 -4 E . . . . . . . .1110100001
55 -5 B . . . . . . . .1110100001
56 -4 D . . . . . . . .0110100001
57 -5 D . . . . . . . .0010100001
58 -6 E . . . . . . . 01010100001
59 -5 F . . . . . . . 11010100001
60 -4 E . . . . . . . 11010100001
61 -3 F . . . . . . . 11110100001
62 -2 E . . . . . . . 11110100001
63 -1 F . . . . . . . 11111100001
64 0 E . . . . . . . 11111100001
65 1 F . . . . . . . 11111110001
66 2 A . . . . . . . 11111111001
67 3 B . . . . . . . 11111111101
68 2 A . . . . . . . 11111111101
69 3 C . . . . . . . 11111111001
70 4 D . . . . . . . 11111111011
+ 72 2 D . . . . . . . 11111111000 by D/1 * 2
73 1 E . . . . . . . 11111111100
74 0 B . . . . . . . 11111111100
75 1 D . . . . . . . 11111101100
76 0 D . . . . . . . 11111100100
77 -1 E . . . . . . . 11111110100
78 -2 B . . . . . . . 11111110100
79 -1 D . . . . . . . 11110110100
80 -2 D . . . . . . . 11110010100
81 -3 E . . . . . . . 11111010100
82 -4 B . . . . . . . 11111010100
83 -3 D . . . . . . . 11011010100
84 -4 D . . . . . . . 11001010100
85 -5 E . . . . . . . 11101010100
86 -6 B . . . . . . . 11101010100
87 -5 D . . . . . . . 01101010100
88 -6 D . . . . . . . 00101010100
89 -7 E . . . . . . .010101010100
90 -6 F . . . . . . .110101010100
91 -5 E . . . . . . .110101010100
92 -4 F . . . . . . .111101010100
93 -3 E . . . . . . .111101010100
94 -2 F . . . . . . .111111010100
95 -1 E . . . . . . .111111010100
96 0 F . . . . . . .111111110100
97 1 E . . . . . . .111111110100
98 2 F . . . . . . .111111111100
99 3 E . . . . . . .111111111100
100 4 F . . . . . . .111111111110
101 5 A . . . . . . .1111111111110
102 6 B . . . . . . .11111111111110
103 5 A . . . . . . .11111111111110
104 6 C . . . . . . .11111111111100
105 7 D . . . . . . .111111111111010
106 6 E . . . . . . .111111111111011
107 5 B . . . . . . .111111111111011
108 4 A . . . . . . .111111111111011
109 5 C . . . . . . .111111111110011
110 6 D . . . . . . .111111111110111
+ 112 4 D . . . . . . .111111111110001 by D/1 * 2
113 3 E . . . . . . .111111111111001
114 2 B . . . . . . .111111111111001
115 3 D . . . . . . .111111111011001
116 2 D . . . . . . .111111111001001
117 1 E . . . . . . .111111111101001
118 0 B . . . . . . .111111111101001
119 1 D . . . . . . .111111101101001
120 0 D . . . . . . .111111100101001
121 -1 E . . . . . . .111111110101001
122 -2 B . . . . . . .111111110101001
123 -1 D . . . . . . .111110110101001
124 -2 D . . . . . . .111110010101001
125 -3 E . . . . . . .111111010101001
126 -4 B . . . . . . .111111010101001
127 -3 D . . . . . . .111011010101001
128 -4 D . . . . . . .111001010101001
129 -5 E . . . . . . .111101010101001
130 -6 B . . . . . . .111101010101001
131 -5 D . . . . . . .101101010101001
132 -6 D . . . . . . .100101010101001
133 -7 E . . . . . . .110101010101001
134 -8 B . . . . . . 0110101010101001
135 -9 A . . . . . .00110101010101001
136 -8 B . . . . . .10110101010101001
137 -9 A . . . . . .10110101010101001
138 -8 C . . . . . .00110101010101001
139 -7 D . . . . . .01110101010101001
+ 141 -9 D . . . . . .00010101010101001 by D/1 * 2
142 -10 E . . . . . 010010101010101001
143 -9 F . . . . . 110010101010101001
144 -8 E . . . . . 110010101010101001
145 -7 F . . . . . 111010101010101001
146 -6 A . . . . . 111110101010101001
147 -5 C . . . . . 111100101010101001
148 -4 D . . . . . 111101101010101001
+ 150 -6 D . . . . . 111100001010101001 by D/1 * 2
151 -7 E . . . . . 111110001010101001
152 -8 B . . . . . 111110001010101001
153 -7 D . . . . . 110110001010101001
154 -8 D . . . . . 110010001010101001
155 -9 E . . . . . 111010001010101001
156 -10 B . . . . . 111010001010101001
157 -9 D . . . . . 011010001010101001
158 -10 D . . . . . 001010001010101001
159 -11 E . . . . .0101010001010101001
160 -10 F . . . . .1101010001010101001
161 -9 E . . . . .1101010001010101001
162 -8 F . . . . .1111010001010101001
163 -7 E . . . . .1111010001010101001
164 -6 F . . . . .1111110001010101001
165 -5 E . . . . .1111110001010101001
166 -4 F . . . . .1111111001010101001
167 -3 A . . . . .1111111101010101001
168 -2 B . . . . .1111111111010101001
169 -1 D . . . . .1111111110010101001
170 -2 E . . . . .1111111110110101001
171 -1 F . . . . .1111111111110101001
172 0 E . . . . .1111111111110101001
173 -1 B . . . . .1111111111110101001
174 0 D . . . . .1111111111010101001
175 -1 D . . . . .1111111111000101001
176 -2 E . . . . .1111111111100101001
177 -3 B . . . . .1111111111100101001
178 -2 D . . . . .1111111101100101001
179 -3 D . . . . .1111111100100101001
180 -4 E . . . . .1111111110100101001
181 -5 B . . . . .1111111110100101001
182 -4 D . . . . .1111110110100101001
183 -5 D . . . . .1111110010100101001
184 -6 E . . . . .1111111010100101001
185 -7 B . . . . .1111111010100101001
186 -6 D . . . . .1111011010100101001
187 -7 D . . . . .1111001010100101001
188 -8 E . . . . .1111101010100101001
189 -9 B . . . . .1111101010100101001
190 -8 D . . . . .1101101010100101001
191 -9 D . . . . .1100101010100101001
192 -10 E . . . . .1110101010100101001
193 -11 B . . . . .1110101010100101001
194 -10 D . . . . .0110101010100101001
195 -11 D . . . . .0010101010100101001
196 -12 E . . . . 01010101010100101001
197 -11 F . . . . 11010101010100101001
198 -10 E . . . . 11010101010100101001
199 -9 F . . . . 11110101010100101001
200 -8 E . . . . 11110101010100101001
201 -7 F . . . . 11111101010100101001
202 -6 E . . . . 11111101010100101001
203 -5 F . . . . 11111111010100101001
204 -4 E . . . . 11111111010100101001
205 -3 F . . . . 11111111110100101001
206 -2 E . . . . 11111111110100101001
207 -1 F . . . . 11111111111100101001
208 0 E . . . . 11111111111100101001
209 1 F . . . . 11111111111110101001
210 2 A . . . . 11111111111111101001
211 3 C . . . . 11111111111111001001
212 4 D . . . . 11111111111111011001
+ 214 2 D . . . . 11111111111111000001 by D/1 * 2
215 1 E . . . . 11111111111111100001
216 0 B . . . . 11111111111111100001
217 1 D . . . . 11111111111101100001
218 0 D . . . . 11111111111100100001
219 -1 E . . . . 11111111111110100001
220 -2 B . . . . 11111111111110100001
221 -1 D . . . . 11111111110110100001
222 -2 D . . . . 11111111110010100001
223 -3 E . . . . 11111111111010100001
224 -4 B . . . . 11111111111010100001
225 -3 D . . . . 11111111011010100001
226 -4 D . . . . 11111111001010100001
227 -5 E . . . . 11111111101010100001
228 -6 B . . . . 11111111101010100001
229 -5 D . . . . 11111101101010100001
230 -6 D . . . . 11111100101010100001
231 -7 E . . . . 11111110101010100001
232 -8 B . . . . 11111110101010100001
233 -7 D . . . . 11110110101010100001
234 -8 D . . . . 11110010101010100001
235 -9 E . . . . 11111010101010100001
236 -10 B . . . . 11111010101010100001
237 -9 D . . . . 11011010101010100001
238 -10 D . . . . 11001010101010100001
239 -11 E . . . . 11101010101010100001
240 -12 B . . . . 11101010101010100001
241 -11 D . . . . 01101010101010100001
242 -12 D . . . . 00101010101010100001
243 -13 E . . . .010101010101010100001
244 -12 F . . . .110101010101010100001
245 -11 E . . . .110101010101010100001
246 -10 F . . . .111101010101010100001
247 -9 E . . . .111101010101010100001
248 -8 F . . . .111111010101010100001
249 -7 E . . . .111111010101010100001
250 -6 F . . . .111111110101010100001
251 -5 E . . . .111111110101010100001
252 -4 F . . . .111111111101010100001
253 -3 E . . . .111111111101010100001
254 -2 F . . . .111111111111010100001
255 -1 E . . . .111111111111010100001
256 0 F . . . .111111111111110100001
257 1 E . . . .111111111111110100001
258 2 F . . . .111111111111111100001
259 3 E . . . .111111111111111100001
260 4 F . . . .111111111111111110001
261 5 A . . . .111111111111111111001
262 6 B . . . .111111111111111111101
263 5 A . . . .111111111111111111101
264 6 C . . . .111111111111111111001
265 7 D . . . .111111111111111111011
+ 267 5 D . . . .111111111111111111000 by D/1 * 2
268 4 E . . . .111111111111111111100
269 3 B . . . .111111111111111111100
270 4 D . . . .111111111111111101100
271 3 D . . . .111111111111111100100
272 2 E . . . .111111111111111110100
273 1 B . . . .111111111111111110100
274 2 D . . . .111111111111110110100
275 1 D . . . .111111111111110010100
276 0 E . . . .111111111111111010100
277 -1 B . . . .111111111111111010100
278 0 D . . . .111111111111011010100
279 -1 D . . . .111111111111001010100
280 -2 E . . . .111111111111101010100
281 -3 B . . . .111111111111101010100
282 -2 D . . . .111111111101101010100
283 -3 D . . . .111111111100101010100
284 -4 E . . . .111111111110101010100
285 -5 B . . . .111111111110101010100
286 -4 D . . . .111111110110101010100
287 -5 D . . . .111111110010101010100
288 -6 E . . . .111111111010101010100
289 -7 B . . . .111111111010101010100
290 -6 D . . . .111111011010101010100
291 -7 D . . . .111111001010101010100
292 -8 E . . . .111111101010101010100
293 -9 B . . . .111111101010101010100
294 -8 D . . . .111101101010101010100
295 -9 D . . . .111100101010101010100
296 -10 E . . . .111110101010101010100
297 -11 B . . . .111110101010101010100
298 -10 D . . . .110110101010101010100
299 -11 D . . . .110010101010101010100
300 -12 E . . . .111010101010101010100
301 -13 B . . . .111010101010101010100
302 -12 D . . . .011010101010101010100
303 -13 D . . . .001010101010101010100
304 -14 E . . . 0101010101010101010100
305 -13 F . . . 1101010101010101010100
306 -12 E . . . 1101010101010101010100
307 -11 F . . . 1111010101010101010100
308 -10 E . . . 1111010101010101010100
309 -9 F . . . 1111110101010101010100
310 -8 E . . . 1111110101010101010100
After 310 steps (301 lines): state = E.
Produced 13 ones.
Tape index -8, scanned [-14 .. 7].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 21 | 8 | 13 | 0 | 2 |
| B | 49 | 12 | 37 | 1 | 29 |
| C | 13 | 13 | 3 | ||
| D | 106 | 50 | 56 | 4 | 11 |
| E | 81 | 40 | 41 | 14 | 5 |
| F | 40 | 8 | 32 | 17 | 15 |