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.
The same TM with repetitions reduced.
Simulation is done 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 Tape contents
0 0 <A
1 1 1 B>
2 0 1 <A
3 1 C>
4 2 1 D>
5 1 1 <E 1
6 0 <B 1 1
7 -1 <A 0 1 1
8 0 1 B> 0 1 1
9 -1 1 <A 0 1 1
10 0 C> 0 1 1
11 1 1 D> 1 1
12 0 1 <D 0 1
13 -1 <D 0 0 1
14 -2 <E 1 0 0 1
15 -1 1 F> 1 0 0 1
16 0 1 1 E> 0 0 1
17 1 13 F> 0 1
18 2 14 A> 1
19 3 14 0 C>
20 4 14 0 1 D>
21 3 14 0 1 <E 1
22 2 14 0 <B 1 1
23 1 14 <A 0 1 1
24 2 13 0 C> 0 1 1
25 3 13 0 1 D> 1 1
26 2 13 0 1 <D 0 1
27 1 13 0 <D 0 0 1
28 0 13 <E 1 0 0 1
29 -1 1 1 <B 1 1 0 0 1
30 0 1 0 D> 1 1 0 0 1
31 -1 1 0 <D 0 1 0 0 1
32 -2 1 <E 1 0 1 0 0 1
33 -3 <B 1 1 0 1 0 0 1
34 -4 <A 0 1 1 0 1 0 0 1
35 -3 1 B> 0 1 1 0 1 0 0 1
36 -4 1 <A 0 1 1 0 1 0 0 1
37 -3 C> 0 1 1 0 1 0 0 1
38 -2 1 D> 1 1 0 1 0 0 1
39 -3 1 <D 0 1 0 1 0 0 1
40 -4 <D 0 0 1 0 1 0 0 1
41 -5 <E 1 0 0 1 0 1 0 0 1
42 -4 1 F> 1 0 0 1 0 1 0 0 1
43 -3 1 1 E> 0 0 1 0 1 0 0 1
44 -2 13 F> 0 1 0 1 0 0 1
45 -1 14 A> 1 0 1 0 0 1
46 0 14 0 C> 0 1 0 0 1
47 1 14 0 1 D> 1 0 0 1
48 0 14 0 1 <D 03 1
49 -1 14 0 <D 04 1
50 -2 14 <E 1 04 1
51 -3 13 <B 1 1 04 1
52 -2 1 1 0 D> 1 1 04 1
53 -3 1 1 0 <D 0 1 04 1
54 -4 1 1 <E 1 0 1 04 1
55 -5 1 <B 1 1 0 1 04 1
56 -4 D> 1 1 0 1 04 1
57 -5 <D 0 1 0 1 04 1
58 -6 <E 1 0 1 0 1 04 1
59 -5 1 F> 1 0 1 0 1 04 1
60 -4 1 1 E> 0 1 0 1 04 1
61 -3 13 F> 1 0 1 04 1
62 -2 14 E> 0 1 04 1
63 -1 15 F> 1 04 1
64 0 16 E> 04 1
65 1 17 F> 03 1
66 2 18 A> 0 0 1
67 3 19 B> 0 1
68 2 19 <A 0 1
69 3 18 0 C> 0 1
70 4 18 0 1 D> 1
71 3 18 0 1 <D
72 2 18 0 <D
73 1 18 <E 1
74 0 17 <B 1 1
75 1 16 0 D> 1 1
76 0 16 0 <D 0 1
77 -1 16 <E 1 0 1
78 -2 15 <B 1 1 0 1
79 -1 14 0 D> 1 1 0 1
80 -2 14 0 <D 0 1 0 1
81 -3 14 <E 1 0 1 0 1
82 -4 13 <B 1 1 0 1 0 1
83 -3 1 1 0 D> 1 1 0 1 0 1
84 -4 1 1 0 <D 0 1 0 1 0 1
85 -5 1 1 <E 1 0 1 0 1 0 1
86 -6 1 <B 1 1 0 1 0 1 0 1
87 -5 D> 1 1 0 1 0 1 0 1
88 -6 <D 0 1 0 1 0 1 0 1
89 -7 <E 1 0 1 0 1 0 1 0 1
90 -6 1 F> 1 0 1 0 1 0 1 0 1
91 -5 1 1 E> 0 1 0 1 0 1 0 1
92 -4 13 F> 1 0 1 0 1 0 1
93 -3 14 E> 0 1 0 1 0 1
94 -2 15 F> 1 0 1 0 1
95 -1 16 E> 0 1 0 1
96 0 17 F> 1 0 1
97 1 18 E> 0 1
98 2 19 F> 1
99 3 110 E>
100 4 111 F>
101 5 112 A>
102 6 113 B>
103 5 113 <A
104 6 112 0 C>
105 7 112 0 1 D>
106 6 112 0 1 <E 1
107 5 112 0 <B 1 1
108 4 112 <A 0 1 1
109 5 111 0 C> 0 1 1
110 6 111 0 1 D> 1 1
111 5 111 0 1 <D 0 1
112 4 111 0 <D 0 0 1
113 3 111 <E 1 0 0 1
114 2 110 <B 1 1 0 0 1
115 3 19 0 D> 1 1 0 0 1
116 2 19 0 <D 0 1 0 0 1
117 1 19 <E 1 0 1 0 0 1
118 0 18 <B 1 1 0 1 0 0 1
119 1 17 0 D> 1 1 0 1 0 0 1
120 0 17 0 <D 0 1 0 1 0 0 1
121 -1 17 <E 1 0 1 0 1 0 0 1
122 -2 16 <B 1 1 0 1 0 1 0 0 1
123 -1 15 0 D> 1 1 0 1 0 1 0 0 1
124 -2 15 0 <D 0 1 0 1 0 1 0 0 1
125 -3 15 <E 1 0 1 0 1 0 1 0 0 1
126 -4 14 <B 1 1 0 1 0 1 0 1 0 0 1
127 -3 13 0 D> 1 1 0 1 0 1 0 1 0 0 1
128 -4 13 0 <D 0 1 0 1 0 1 0 1 0 0 1
129 -5 13 <E 1 0 1 0 1 0 1 0 1 0 0 1
130 -6 1 1 <B 1 1 0 1 0 1 0 1 0 1 0 0 1
131 -5 1 0 D> 1 1 0 1 0 1 0 1 0 1 0 0 1
132 -6 1 0 <D 0 1 0 1 0 1 0 1 0 1 0 0 1
133 -7 1 <E 1 0 1 0 1 0 1 0 1 0 1 0 0 1
134 -8 <B 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1
135 -9 <A 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1
136 -8 1 B> 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1
137 -9 1 <A 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1
138 -8 C> 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1
139 -7 1 D> 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1
140 -8 1 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1
141 -9 <D 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1
142 -10 <E 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1
143 -9 1 F> 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1
144 -8 1 1 E> 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1
145 -7 13 F> 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1
146 -6 14 A> 1 0 1 0 1 0 1 0 1 0 1 0 0 1
147 -5 14 0 C> 0 1 0 1 0 1 0 1 0 1 0 0 1
148 -4 14 0 1 D> 1 0 1 0 1 0 1 0 1 0 0 1
149 -5 14 0 1 <D 0 0 1 0 1 0 1 0 1 0 0 1
150 -6 14 0 <D 03 1 0 1 0 1 0 1 0 0 1
151 -7 14 <E 1 03 1 0 1 0 1 0 1 0 0 1
152 -8 13 <B 1 1 03 1 0 1 0 1 0 1 0 0 1
153 -7 1 1 0 D> 1 1 03 1 0 1 0 1 0 1 0 0 1
154 -8 1 1 0 <D 0 1 03 1 0 1 0 1 0 1 0 0 1
155 -9 1 1 <E 1 0 1 03 1 0 1 0 1 0 1 0 0 1
156 -10 1 <B 1 1 0 1 03 1 0 1 0 1 0 1 0 0 1
157 -9 D> 1 1 0 1 03 1 0 1 0 1 0 1 0 0 1
158 -10 <D 0 1 0 1 03 1 0 1 0 1 0 1 0 0 1
159 -11 <E 1 0 1 0 1 03 1 0 1 0 1 0 1 0 0 1
160 -10 1 F> 1 0 1 0 1 03 1 0 1 0 1 0 1 0 0 1
161 -9 1 1 E> 0 1 0 1 03 1 0 1 0 1 0 1 0 0 1
162 -8 13 F> 1 0 1 03 1 0 1 0 1 0 1 0 0 1
163 -7 14 E> 0 1 03 1 0 1 0 1 0 1 0 0 1
164 -6 15 F> 1 03 1 0 1 0 1 0 1 0 0 1
165 -5 16 E> 03 1 0 1 0 1 0 1 0 0 1
166 -4 17 F> 0 0 1 0 1 0 1 0 1 0 0 1
167 -3 18 A> 0 1 0 1 0 1 0 1 0 0 1
168 -2 19 B> 1 0 1 0 1 0 1 0 0 1
169 -1 19 0 D> 0 1 0 1 0 1 0 0 1
170 -2 19 0 <E 1 1 0 1 0 1 0 0 1
171 -1 110 F> 1 1 0 1 0 1 0 0 1
172 0 111 E> 1 0 1 0 1 0 0 1
173 -1 111 <B 1 0 1 0 1 0 0 1
174 0 110 0 D> 1 0 1 0 1 0 0 1
175 -1 110 0 <D 0 0 1 0 1 0 0 1
176 -2 110 <E 1 0 0 1 0 1 0 0 1
177 -3 19 <B 1 1 0 0 1 0 1 0 0 1
178 -2 18 0 D> 1 1 0 0 1 0 1 0 0 1
179 -3 18 0 <D 0 1 0 0 1 0 1 0 0 1
180 -4 18 <E 1 0 1 0 0 1 0 1 0 0 1
181 -5 17 <B 1 1 0 1 0 0 1 0 1 0 0 1
182 -4 16 0 D> 1 1 0 1 0 0 1 0 1 0 0 1
183 -5 16 0 <D 0 1 0 1 0 0 1 0 1 0 0 1
184 -6 16 <E 1 0 1 0 1 0 0 1 0 1 0 0 1
185 -7 15 <B 1 1 0 1 0 1 0 0 1 0 1 0 0 1
186 -6 14 0 D> 1 1 0 1 0 1 0 0 1 0 1 0 0 1
187 -7 14 0 <D 0 1 0 1 0 1 0 0 1 0 1 0 0 1
188 -8 14 <E 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
189 -9 13 <B 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
190 -8 1 1 0 D> 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
191 -9 1 1 0 <D 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
192 -10 1 1 <E 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
193 -11 1 <B 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
194 -10 D> 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
195 -11 <D 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
196 -12 <E 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
197 -11 1 F> 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
198 -10 1 1 E> 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
199 -9 13 F> 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
200 -8 14 E> 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
201 -7 15 F> 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1
202 -6 16 E> 0 1 0 1 0 1 0 0 1 0 1 0 0 1
203 -5 17 F> 1 0 1 0 1 0 0 1 0 1 0 0 1
204 -4 18 E> 0 1 0 1 0 0 1 0 1 0 0 1
205 -3 19 F> 1 0 1 0 0 1 0 1 0 0 1
206 -2 110 E> 0 1 0 0 1 0 1 0 0 1
207 -1 111 F> 1 0 0 1 0 1 0 0 1
208 0 112 E> 0 0 1 0 1 0 0 1
209 1 113 F> 0 1 0 1 0 0 1
210 2 114 A> 1 0 1 0 0 1
211 3 114 0 C> 0 1 0 0 1
212 4 114 0 1 D> 1 0 0 1
213 3 114 0 1 <D 03 1
214 2 114 0 <D 04 1
215 1 114 <E 1 04 1
216 0 113 <B 1 1 04 1
217 1 112 0 D> 1 1 04 1
218 0 112 0 <D 0 1 04 1
219 -1 112 <E 1 0 1 04 1
220 -2 111 <B 1 1 0 1 04 1
221 -1 110 0 D> 1 1 0 1 04 1
222 -2 110 0 <D 0 1 0 1 04 1
223 -3 110 <E 1 0 1 0 1 04 1
224 -4 19 <B 1 1 0 1 0 1 04 1
225 -3 18 0 D> 1 1 0 1 0 1 04 1
226 -4 18 0 <D 0 1 0 1 0 1 04 1
227 -5 18 <E 1 0 1 0 1 0 1 04 1
228 -6 17 <B 1 1 0 1 0 1 0 1 04 1
229 -5 16 0 D> 1 1 0 1 0 1 0 1 04 1
230 -6 16 0 <D 0 1 0 1 0 1 0 1 04 1
231 -7 16 <E 1 0 1 0 1 0 1 0 1 04 1
232 -8 15 <B 1 1 0 1 0 1 0 1 0 1 04 1
233 -7 14 0 D> 1 1 0 1 0 1 0 1 0 1 04 1
234 -8 14 0 <D 0 1 0 1 0 1 0 1 0 1 04 1
235 -9 14 <E 1 0 1 0 1 0 1 0 1 0 1 04 1
236 -10 13 <B 1 1 0 1 0 1 0 1 0 1 0 1 04 1
237 -9 1 1 0 D> 1 1 0 1 0 1 0 1 0 1 0 1 04 1
238 -10 1 1 0 <D 0 1 0 1 0 1 0 1 0 1 0 1 04 1
239 -11 1 1 <E 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
240 -12 1 <B 1 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
241 -11 D> 1 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
242 -12 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
243 -13 <E 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
244 -12 1 F> 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
245 -11 1 1 E> 0 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
246 -10 13 F> 1 0 1 0 1 0 1 0 1 0 1 0 1 04 1
247 -9 14 E> 0 1 0 1 0 1 0 1 0 1 0 1 04 1
248 -8 15 F> 1 0 1 0 1 0 1 0 1 0 1 04 1
249 -7 16 E> 0 1 0 1 0 1 0 1 0 1 04 1
250 -6 17 F> 1 0 1 0 1 0 1 0 1 04 1
251 -5 18 E> 0 1 0 1 0 1 0 1 04 1
252 -4 19 F> 1 0 1 0 1 0 1 04 1
253 -3 110 E> 0 1 0 1 0 1 04 1
254 -2 111 F> 1 0 1 0 1 04 1
255 -1 112 E> 0 1 0 1 04 1
256 0 113 F> 1 0 1 04 1
257 1 114 E> 0 1 04 1
258 2 115 F> 1 04 1
259 3 116 E> 04 1
260 4 117 F> 03 1
261 5 118 A> 0 0 1
262 6 119 B> 0 1
263 5 119 <A 0 1
264 6 118 0 C> 0 1
265 7 118 0 1 D> 1
266 6 118 0 1 <D
267 5 118 0 <D
268 4 118 <E 1
269 3 117 <B 1 1
270 4 116 0 D> 1 1
271 3 116 0 <D 0 1
272 2 116 <E 1 0 1
273 1 115 <B 1 1 0 1
274 2 114 0 D> 1 1 0 1
275 1 114 0 <D 0 1 0 1
276 0 114 <E 1 0 1 0 1
277 -1 113 <B 1 1 0 1 0 1
278 0 112 0 D> 1 1 0 1 0 1
279 -1 112 0 <D 0 1 0 1 0 1
280 -2 112 <E 1 0 1 0 1 0 1
281 -3 111 <B 1 1 0 1 0 1 0 1
282 -2 110 0 D> 1 1 0 1 0 1 0 1
283 -3 110 0 <D 0 1 0 1 0 1 0 1
284 -4 110 <E 1 0 1 0 1 0 1 0 1
285 -5 19 <B 1 1 0 1 0 1 0 1 0 1
286 -4 18 0 D> 1 1 0 1 0 1 0 1 0 1
287 -5 18 0 <D 0 1 0 1 0 1 0 1 0 1
288 -6 18 <E 1 0 1 0 1 0 1 0 1 0 1
289 -7 17 <B 1 1 0 1 0 1 0 1 0 1 0 1
290 -6 16 0 D> 1 1 0 1 0 1 0 1 0 1 0 1
291 -7 16 0 <D 0 1 0 1 0 1 0 1 0 1 0 1
292 -8 16 <E 1 0 1 0 1 0 1 0 1 0 1 0 1
293 -9 15 <B 1 1 0 1 0 1 0 1 0 1 0 1 0 1
294 -8 14 0 D> 1 1 0 1 0 1 0 1 0 1 0 1 0 1
295 -9 14 0 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1
296 -10 14 <E 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
297 -11 13 <B 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
298 -10 1 1 0 D> 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
299 -11 1 1 0 <D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
300 -12 1 1 <E 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
After 300 steps (301 lines): state = E.
Produced 11 ones.
Tape index -12, scanned [-13 .. 7].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 21 | 8 | 13 | 0 | 2 |
| B | 48 | 12 | 36 | 1 | 29 |
| C | 13 | 13 | 3 | ||
| D | 104 | 49 | 55 | 4 | 11 |
| E | 77 | 37 | 40 | 14 | 5 |
| F | 37 | 8 | 29 | 17 | 15 |