Comment: This TM produces 95,524,079 nonzeros in 4,345,166,620,336,565 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 2RC | 1LA | 1 | right | B | 2 | right | C | 1 | left | A |
| B | 2LA | 1RB | 1RH | 2 | left | A | 1 | right | B | 1 | right | H |
| C | 2RB | 2RA | 1LC | 2 | right | B | 2 | right | A | 1 | left | C |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . 0
1 1 B . . 10
2 0 A . . 12
3 1 C . . 22
+ 5 -1 C . .011 by C/2 * 2
6 0 B . .211
+ 8 2 B . .2110 by B/1 * 2
9 1 A . .2112
10 2 C . .2122
+ 12 0 C . .2111 by C/2 * 2
13 1 A . .2211
14 2 C . .2221
15 3 A . .22220
16 4 B . .222210
17 3 A . .222212
18 4 C . .222222
+ 24 -2 C . 0111111 by C/2 * 6
25 -1 B . 2111111
+ 31 5 B . 21111110 by B/1 * 6
32 4 A . 21111112
33 5 C . 21111122
+ 35 3 C . 21111111 by C/2 * 2
36 4 A . 21111211
37 5 C . 21111221
38 6 A . 211112220
39 7 B . 2111122210
40 6 A . 2111122212
41 7 C . 2111122222
+ 46 2 C . 2111111111 by C/2 * 5
47 3 A . 2111211111
48 4 C . 2111221111
49 5 A . 2111222111
50 6 C . 2111222211
51 7 A . 2111222221
52 8 C . 21112222220
53 9 B . 211122222220
54 8 A . 211122222222
+ 61 1 A . 211111111112 by A/2 * 7
62 2 C . 211211111112
63 3 A . 211221111112
64 4 C . 211222111112
65 5 A . 211222211112
66 6 C . 211222221112
67 7 A . 211222222112
68 8 C . 211222222212
69 9 A . 211222222222
+ 78 0 A . 211111111111 by A/2 * 9
79 1 C . 212111111111
80 2 A . 212211111111
81 3 C . 212221111111
82 4 A . 212222111111
83 5 C . 212222211111
84 6 A . 212222221111
85 7 C . 212222222111
86 8 A . 212222222211
87 9 C . 212222222221
88 10 A . 2122222222220
89 11 B . 21222222222210
90 10 A . 21222222222212
91 11 C . 21222222222222
+ 103 -1 C . 21111111111111 by C/2 * 12
104 0 A . 22111111111111
105 1 C . 22211111111111
106 2 A . 22221111111111
107 3 C . 22222111111111
108 4 A . 22222211111111
109 5 C . 22222221111111
110 6 A . 22222222111111
111 7 C . 22222222211111
112 8 A . 22222222221111
113 9 C . 22222222222111
114 10 A . 22222222222211
115 11 C . 22222222222221
116 12 A . 222222222222220
117 13 B . 2222222222222210
118 12 A . 2222222222222212
119 13 C . 2222222222222222
+ 135 -3 C .01111111111111111 by C/2 * 16
136 -2 B .21111111111111111
+ 152 14 B .211111111111111110 by B/1 * 16
153 13 A .211111111111111112
154 14 C .211111111111111122
+ 156 12 C .211111111111111111 by C/2 * 2
157 13 A .211111111111111211
158 14 C .211111111111111221
159 15 A .2111111111111112220
160 16 B .21111111111111122210
161 15 A .21111111111111122212
162 16 C .21111111111111122222
+ 167 11 C .21111111111111111111 by C/2 * 5
168 12 A .21111111111111211111
169 13 C .21111111111111221111
170 14 A .21111111111111222111
171 15 C .21111111111111222211
172 16 A .21111111111111222221
173 17 C .211111111111112222220
174 18 B .2111111111111122222220
175 17 A .2111111111111122222222
+ 182 10 A .2111111111111111111112 by A/2 * 7
183 11 C .2111111111111211111112
184 12 A .2111111111111221111112
185 13 C .2111111111111222111112
186 14 A .2111111111111222211112
187 15 C .2111111111111222221112
188 16 A .2111111111111222222112
189 17 C .2111111111111222222212
190 18 A .2111111111111222222222
+ 199 9 A .2111111111111111111111 by A/2 * 9
200 10 C .2111111111112111111111
201 11 A .2111111111112211111111
202 12 C .2111111111112221111111
203 13 A .2111111111112222111111
204 14 C .2111111111112222211111
205 15 A .2111111111112222221111
206 16 C .2111111111112222222111
207 17 A .2111111111112222222211
208 18 C .2111111111112222222221
209 19 A .21111111111122222222220
210 20 B .211111111111222222222210
211 19 A .211111111111222222222212
212 20 C .211111111111222222222222
+ 224 8 C .211111111111111111111111 by C/2 * 12
225 9 A .211111111112111111111111
226 10 C .211111111112211111111111
227 11 A .211111111112221111111111
228 12 C .211111111112222111111111
229 13 A .211111111112222211111111
230 14 C .211111111112222221111111
231 15 A .211111111112222222111111
232 16 C .211111111112222222211111
233 17 A .211111111112222222221111
234 18 C .211111111112222222222111
235 19 A .211111111112222222222211
236 20 C .211111111112222222222221
237 21 A .2111111111122222222222220
238 22 B .21111111111222222222222210
239 21 A .21111111111222222222222212
240 22 C .21111111111222222222222222
+ 255 7 C .21111111111111111111111111 by C/2 * 15
256 8 A .21111111112111111111111111
257 9 C .21111111112211111111111111
258 10 A .21111111112221111111111111
259 11 C .21111111112222111111111111
260 12 A .21111111112222211111111111
261 13 C .21111111112222221111111111
262 14 A .21111111112222222111111111
263 15 C .21111111112222222211111111
264 16 A .21111111112222222221111111
265 17 C .21111111112222222222111111
266 18 A .21111111112222222222211111
267 19 C .21111111112222222222221111
268 20 A .21111111112222222222222111
269 21 C .21111111112222222222222211
270 22 A .21111111112222222222222221
271 23 C .211111111122222222222222220
272 24 B .2111111111222222222222222220
273 23 A .2111111111222222222222222222
+ 290 6 A .2111111111111111111111111112 by A/2 * 17
291 7 C .2111111112111111111111111112
292 8 A .2111111112211111111111111112
293 9 C .2111111112221111111111111112
294 10 A .2111111112222111111111111112
295 11 C .2111111112222211111111111112
296 12 A .2111111112222221111111111112
297 13 C .2111111112222222111111111112
298 14 A .2111111112222222211111111112
299 15 C .2111111112222222221111111112
300 16 A .2111111112222222222111111112
301 17 C .2111111112222222222211111112
302 18 A .2111111112222222222221111112
303 19 C .2111111112222222222222111112
304 20 A .2111111112222222222222211112
305 21 C .2111111112222222222222221112
306 22 A .2111111112222222222222222112
307 23 C .2111111112222222222222222212
308 24 A .2111111112222222222222222222
+ 327 5 A .2111111111111111111111111111 by A/2 * 19
328 6 C .2111111121111111111111111111
329 7 A .2111111122111111111111111111
330 8 C .2111111122211111111111111111
331 9 A .2111111122221111111111111111
332 10 C .2111111122222111111111111111
333 11 A .2111111122222211111111111111
334 12 C .2111111122222221111111111111
335 13 A .2111111122222222111111111111
336 14 C .2111111122222222211111111111
337 15 A .2111111122222222221111111111
338 16 C .2111111122222222222111111111
339 17 A .2111111122222222222211111111
340 18 C .2111111122222222222221111111
341 19 A .2111111122222222222222111111
342 20 C .2111111122222222222222211111
343 21 A .2111111122222222222222221111
344 22 C .2111111122222222222222222111
345 23 A .2111111122222222222222222211
346 24 C .2111111122222222222222222221
347 25 A .21111111222222222222222222220
348 26 B .211111112222222222222222222210
349 25 A .211111112222222222222222222212
350 26 C .211111112222222222222222222222
+ 372 4 C .211111111111111111111111111111 by C/2 * 22
After 372 steps (201 lines): state = C.
Produced 30 nonzeros.
Tape index 4, scanned [-3 .. 26].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 155 | 9 | 78 | 68 | 0 | 2 | 54 |
| B | 39 | 15 | 24 | 1 | 6 | ||
| C | 178 | 6 | 71 | 101 | 5 | 12 | 3 |