Comment: Found by jubu 1991-10-24, published first 2005-11-12 (on web) 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 | E1L | 1 | right | B | 1 | left | E |
| B | C1L | B0R | 1 | left | C | 0 | right | B |
| C | A0L | D0L | 0 | left | A | 0 | left | D |
| D | A1R | C1L | 1 | right | A | 1 | left | C |
| E | Z== | B1L | Z | stay | = | 1 | left | B |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 7-bck-22-macro machine.
The same TM as 7-bck-22-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . 0
1 1 B . . . . . . 10
2 0 C . . . . . . 11
3 -1 D . . . . . .001
4 0 A . . . . . .101
5 1 B . . . . . .111
6 2 B . . . . . .1100
7 1 C . . . . . .1101
8 0 A . . . . . .1101
9 -1 E . . . . . .1101
10 -2 B . . . . . 01101
11 -3 C . . . . .011101
12 -4 A . . . . 0011101
13 -3 B . . . . 1011101
14 -4 C . . . . 1111101
15 -5 D . . . .00111101
16 -4 A . . . .10111101
17 -3 B . . . .11111101
+ 21 1 B . . . .11000001 by B/1 * 4
22 0 C . . . .11000011
23 -1 A . . . .11000011
24 0 B . . . .11001011
25 -1 C . . . .11001111
26 -2 D . . . .11000111
27 -1 A . . . .11010111
28 0 B . . . .11011111
+ 31 3 B . . . .110110000 by B/1 * 3
32 2 C . . . .110110001
33 1 A . . . .110110001
34 2 B . . . .110110101
35 1 C . . . .110110111
36 0 D . . . .110110011
37 1 A . . . .110111011
38 2 B . . . .110111111
+ 40 4 B . . . .1101111000 by B/1 * 2
41 3 C . . . .1101111001
42 2 A . . . .1101111001
43 3 B . . . .1101111101
44 2 C . . . .1101111111
45 1 D . . . .1101111011
46 0 C . . . .1101111011
47 -1 D . . . .1101101011
48 -2 C . . . .1101101011
49 -3 D . . . .1100101011
50 -2 A . . . .1110101011
51 -1 B . . . .1111101011
52 0 B . . . .1111001011
53 -1 C . . . .1111011011
54 -2 A . . . .1111011011
55 -3 E . . . .1111011011
56 -4 B . . . .1111011011
+ 59 -1 B . . . .1000011011 by B/1 * 3
60 -2 C . . . .1000111011
61 -3 A . . . .1000111011
62 -2 B . . . .1010111011
63 -3 C . . . .1011111011
64 -4 D . . . .1001111011
65 -3 A . . . .1101111011
66 -2 B . . . .1111111011
+ 70 2 B . . . .1110000011 by B/1 * 4
71 1 C . . . .1110000111
72 0 A . . . .1110000111
73 1 B . . . .1110010111
74 0 C . . . .1110011111
75 -1 D . . . .1110001111
76 0 A . . . .1110101111
77 1 B . . . .1110111111
+ 81 5 B . . . .11101100000 by B/1 * 4
82 4 C . . . .11101100001
83 3 A . . . .11101100001
84 4 B . . . .11101100101
85 3 C . . . .11101100111
86 2 D . . . .11101100011
87 3 A . . . .11101101011
88 4 B . . . .11101101111
+ 90 6 B . . . .111011011000 by B/1 * 2
91 5 C . . . .111011011001
92 4 A . . . .111011011001
93 5 B . . . .111011011101
94 4 C . . . .111011011111
95 3 D . . . .111011011011
96 2 C . . . .111011011011
97 1 D . . . .111011001011
98 2 A . . . .111011101011
99 3 B . . . .111011111011
100 4 B . . . .111011110011
101 3 C . . . .111011110111
102 2 A . . . .111011110111
103 1 E . . . .111011110111
104 0 B . . . .111011110111
+ 107 3 B . . . .111010000111 by B/1 * 3
108 2 C . . . .111010001111
109 1 A . . . .111010001111
110 2 B . . . .111010101111
111 1 C . . . .111010111111
112 0 D . . . .111010011111
113 1 A . . . .111011011111
114 2 B . . . .111011111111
+ 119 7 B . . . .1110111000000 by B/1 * 5
120 6 C . . . .1110111000001
121 5 A . . . .1110111000001
122 6 B . . . .1110111000101
123 5 C . . . .1110111000111
124 4 D . . . .1110111000011
125 5 A . . . .1110111001011
126 6 B . . . .1110111001111
+ 128 8 B . . . .11101110011000 by B/1 * 2
129 7 C . . . .11101110011001
130 6 A . . . .11101110011001
131 7 B . . . .11101110011101
132 6 C . . . .11101110011111
133 5 D . . . .11101110011011
134 4 C . . . .11101110011011
135 3 D . . . .11101110001011
136 4 A . . . .11101110101011
137 5 B . . . .11101110111011
138 6 B . . . .11101110110011
139 5 C . . . .11101110110111
140 4 A . . . .11101110110111
141 3 E . . . .11101110110111
142 2 B . . . .11101110110111
143 1 C . . . .11101111110111
144 0 D . . . .11101101110111
145 -1 C . . . .11101101110111
146 -2 D . . . .11100101110111
147 -1 A . . . .11110101110111
148 0 B . . . .11111101110111
149 1 B . . . .11111001110111
150 0 C . . . .11111011110111
151 -1 A . . . .11111011110111
152 -2 E . . . .11111011110111
153 -3 B . . . .11111011110111
+ 156 0 B . . . .11000011110111 by B/1 * 3
157 -1 C . . . .11000111110111
158 -2 A . . . .11000111110111
159 -1 B . . . .11010111110111
160 -2 C . . . .11011111110111
161 -3 D . . . .11001111110111
162 -2 A . . . .11101111110111
163 -1 B . . . .11111111110111
+ 169 5 B . . . .11110000000111 by B/1 * 6
170 4 C . . . .11110000001111
171 3 A . . . .11110000001111
172 4 B . . . .11110000101111
173 3 C . . . .11110000111111
174 2 D . . . .11110000011111
175 3 A . . . .11110001011111
176 4 B . . . .11110001111111
+ 181 9 B . . . .111100011000000 by B/1 * 5
182 8 C . . . .111100011000001
183 7 A . . . .111100011000001
184 8 B . . . .111100011000101
185 7 C . . . .111100011000111
186 6 D . . . .111100011000011
187 7 A . . . .111100011001011
188 8 B . . . .111100011001111
+ 190 10 B . . . .1111000110011000 by B/1 * 2
191 9 C . . . .1111000110011001
192 8 A . . . .1111000110011001
193 9 B . . . .1111000110011101
194 8 C . . . .1111000110011111
195 7 D . . . .1111000110011011
196 6 C . . . .1111000110011011
197 5 D . . . .1111000110001011
198 6 A . . . .1111000110101011
199 7 B . . . .1111000110111011
200 8 B . . . .1111000110110011
201 7 C . . . .1111000110110111
202 6 A . . . .1111000110110111
203 5 E . . . .1111000110110111
204 4 B . . . .1111000110110111
205 3 C . . . .1111000111110111
206 2 D . . . .1111000101110111
207 1 C . . . .1111000101110111
208 0 A . . . .1111000101110111
209 1 B . . . .1111010101110111
210 0 C . . . .1111011101110111
211 -1 D . . . .1111001101110111
212 0 A . . . .1111101101110111
213 1 B . . . .1111111101110111
+ 215 3 B . . . .1111110001110111 by B/1 * 2
216 2 C . . . .1111110011110111
217 1 A . . . .1111110011110111
218 2 B . . . .1111111011110111
219 1 C . . . .1111111111110111
220 0 D . . . .1111110111110111
221 -1 C . . . .1111110111110111
222 -2 D . . . .1111010111110111
223 -3 C . . . .1111010111110111
224 -4 D . . . .1101010111110111
225 -5 C . . . .1101010111110111
226 -6 D . . . 00101010111110111
227 -5 A . . . 10101010111110111
228 -4 B . . . 11101010111110111
229 -3 B . . . 11001010111110111
230 -4 C . . . 11011010111110111
231 -5 A . . . 11011010111110111
232 -6 E . . . 11011010111110111
233 -7 B . . .011011010111110111
234 -8 C . . 0111011010111110111
235 -9 A . .00111011010111110111
236 -8 B . .10111011010111110111
237 -9 C . .11111011010111110111
238 -10 D . 001111011010111110111
239 -9 A . 101111011010111110111
240 -8 B . 111111011010111110111
+ 244 -4 B . 110000011010111110111 by B/1 * 4
245 -5 C . 110000111010111110111
246 -6 A . 110000111010111110111
247 -5 B . 110010111010111110111
248 -6 C . 110011111010111110111
249 -7 D . 110001111010111110111
250 -6 A . 110101111010111110111
251 -5 B . 110111111010111110111
+ 255 -1 B . 110110000010111110111 by B/1 * 4
256 -2 C . 110110000110111110111
257 -3 A . 110110000110111110111
258 -2 B . 110110010110111110111
259 -3 C . 110110011110111110111
260 -4 D . 110110001110111110111
261 -3 A . 110110101110111110111
262 -2 B . 110110111110111110111
+ 265 1 B . 110110110000111110111 by B/1 * 3
266 0 C . 110110110001111110111
267 -1 A . 110110110001111110111
268 0 B . 110110110101111110111
269 -1 C . 110110110111111110111
270 -2 D . 110110110011111110111
271 -1 A . 110110111011111110111
272 0 B . 110110111111111110111
+ 279 7 B . 110110111100000000111 by B/1 * 7
280 6 C . 110110111100000001111
281 5 A . 110110111100000001111
282 6 B . 110110111100000101111
283 5 C . 110110111100000111111
284 4 D . 110110111100000011111
285 5 A . 110110111100001011111
286 6 B . 110110111100001111111
+ 291 11 B . 1101101111000011000000 by B/1 * 5
292 10 C . 1101101111000011000001
293 9 A . 1101101111000011000001
294 10 B . 1101101111000011000101
295 9 C . 1101101111000011000111
296 8 D . 1101101111000011000011
297 9 A . 1101101111000011001011
298 10 B . 1101101111000011001111
+ 300 12 B . 11011011110000110011000 by B/1 * 2
301 11 C . 11011011110000110011001
302 10 A . 11011011110000110011001
303 11 B . 11011011110000110011101
304 10 C . 11011011110000110011111
305 9 D . 11011011110000110011011
306 8 C . 11011011110000110011011
307 7 D . 11011011110000110001011
308 8 A . 11011011110000110101011
309 9 B . 11011011110000110111011
310 10 B . 11011011110000110110011
311 9 C . 11011011110000110110111
312 8 A . 11011011110000110110111
313 7 E . 11011011110000110110111
314 6 B . 11011011110000110110111
315 5 C . 11011011110000111110111
316 4 D . 11011011110000101110111
317 3 C . 11011011110000101110111
318 2 A . 11011011110000101110111
319 3 B . 11011011110010101110111
320 2 C . 11011011110011101110111
321 1 D . 11011011110001101110111
322 2 A . 11011011110101101110111
323 3 B . 11011011110111101110111
+ 325 5 B . 11011011110110001110111 by B/1 * 2
326 4 C . 11011011110110011110111
327 3 A . 11011011110110011110111
328 4 B . 11011011110111011110111
329 3 C . 11011011110111111110111
330 2 D . 11011011110110111110111
331 1 C . 11011011110110111110111
332 0 D . 11011011110010111110111
333 1 A . 11011011111010111110111
334 2 B . 11011011111110111110111
335 3 B . 11011011111100111110111
336 2 C . 11011011111101111110111
337 1 A . 11011011111101111110111
338 0 E . 11011011111101111110111
339 -1 B . 11011011111101111110111
+ 342 2 B . 11011011100001111110111 by B/1 * 3
343 1 C . 11011011100011111110111
344 0 A . 11011011100011111110111
345 1 B . 11011011101011111110111
346 0 C . 11011011101111111110111
347 -1 D . 11011011100111111110111
348 0 A . 11011011110111111110111
349 1 B . 11011011111111111110111
+ 357 9 B . 11011011111000000000111 by B/1 * 8
358 8 C . 11011011111000000001111
359 7 A . 11011011111000000001111
360 8 B . 11011011111000000101111
361 7 C . 11011011111000000111111
362 6 D . 11011011111000000011111
363 7 A . 11011011111000001011111
364 8 B . 11011011111000001111111
+ 369 13 B . 110110111110000011000000 by B/1 * 5
370 12 C . 110110111110000011000001
371 11 A . 110110111110000011000001
372 12 B . 110110111110000011000101
373 11 C . 110110111110000011000111
374 10 D . 110110111110000011000011
375 11 A . 110110111110000011001011
376 12 B . 110110111110000011001111
+ 378 14 B . 1101101111100000110011000 by B/1 * 2
379 13 C . 1101101111100000110011001
380 12 A . 1101101111100000110011001
381 13 B . 1101101111100000110011101
382 12 C . 1101101111100000110011111
383 11 D . 1101101111100000110011011
384 10 C . 1101101111100000110011011
385 9 D . 1101101111100000110001011
386 10 A . 1101101111100000110101011
387 11 B . 1101101111100000110111011
388 12 B . 1101101111100000110110011
389 11 C . 1101101111100000110110111
390 10 A . 1101101111100000110110111
391 9 E . 1101101111100000110110111
392 8 B . 1101101111100000110110111
393 7 C . 1101101111100000111110111
394 6 D . 1101101111100000101110111
395 5 C . 1101101111100000101110111
396 4 A . 1101101111100000101110111
397 5 B . 1101101111100010101110111
398 4 C . 1101101111100011101110111
399 3 D . 1101101111100001101110111
400 4 A . 1101101111100101101110111
401 5 B . 1101101111100111101110111
+ 403 7 B . 1101101111100110001110111 by B/1 * 2
404 6 C . 1101101111100110011110111
405 5 A . 1101101111100110011110111
406 6 B . 1101101111100111011110111
407 5 C . 1101101111100111111110111
408 4 D . 1101101111100110111110111
409 3 C . 1101101111100110111110111
410 2 D . 1101101111100010111110111
411 3 A . 1101101111101010111110111
412 4 B . 1101101111101110111110111
413 5 B . 1101101111101100111110111
414 4 C . 1101101111101101111110111
415 3 A . 1101101111101101111110111
416 2 E . 1101101111101101111110111
417 1 B . 1101101111101101111110111
418 0 C . 1101101111111101111110111
419 -1 D . 1101101111011101111110111
420 -2 C . 1101101111011101111110111
421 -3 D . 1101101101011101111110111
422 -4 C . 1101101101011101111110111
423 -5 D . 1101100101011101111110111
424 -4 A . 1101110101011101111110111
425 -3 B . 1101111101011101111110111
426 -2 B . 1101111001011101111110111
427 -3 C . 1101111011011101111110111
428 -4 A . 1101111011011101111110111
429 -5 E . 1101111011011101111110111
430 -6 B . 1101111011011101111110111
+ 433 -3 B . 1101000011011101111110111 by B/1 * 3
434 -4 C . 1101000111011101111110111
435 -5 A . 1101000111011101111110111
436 -4 B . 1101010111011101111110111
437 -5 C . 1101011111011101111110111
438 -6 D . 1101001111011101111110111
439 -5 A . 1101101111011101111110111
440 -4 B . 1101111111011101111110111
+ 444 0 B . 1101110000011101111110111 by B/1 * 4
445 -1 C . 1101110000111101111110111
446 -2 A . 1101110000111101111110111
447 -1 B . 1101110010111101111110111
448 -2 C . 1101110011111101111110111
449 -3 D . 1101110001111101111110111
450 -2 A . 1101110101111101111110111
451 -1 B . 1101110111111101111110111
+ 456 4 B . 1101110110000001111110111 by B/1 * 5
457 3 C . 1101110110000011111110111
458 2 A . 1101110110000011111110111
459 3 B . 1101110110001011111110111
460 2 C . 1101110110001111111110111
461 1 D . 1101110110000111111110111
462 2 A . 1101110110010111111110111
463 3 B . 1101110110011111111110111
+ 471 11 B . 1101110110011000000000111 by B/1 * 8
472 10 C . 1101110110011000000001111
473 9 A . 1101110110011000000001111
474 10 B . 1101110110011000000101111
475 9 C . 1101110110011000000111111
476 8 D . 1101110110011000000011111
477 9 A . 1101110110011000001011111
478 10 B . 1101110110011000001111111
+ 483 15 B . 11011101100110000011000000 by B/1 * 5
484 14 C . 11011101100110000011000001
485 13 A . 11011101100110000011000001
486 14 B . 11011101100110000011000101
487 13 C . 11011101100110000011000111
488 12 D . 11011101100110000011000011
489 13 A . 11011101100110000011001011
490 14 B . 11011101100110000011001111
+ 492 16 B . 110111011001100000110011000 by B/1 * 2
493 15 C . 110111011001100000110011001
494 14 A . 110111011001100000110011001
495 15 B . 110111011001100000110011101
496 14 C . 110111011001100000110011111
497 13 D . 110111011001100000110011011
498 12 C . 110111011001100000110011011
499 11 D . 110111011001100000110001011
500 12 A . 110111011001100000110101011
501 13 B . 110111011001100000110111011
502 14 B . 110111011001100000110110011
503 13 C . 110111011001100000110110111
504 12 A . 110111011001100000110110111
505 11 E . 110111011001100000110110111
506 10 B . 110111011001100000110110111
507 9 C . 110111011001100000111110111
508 8 D . 110111011001100000101110111
509 7 C . 110111011001100000101110111
510 6 A . 110111011001100000101110111
511 7 B . 110111011001100010101110111
512 6 C . 110111011001100011101110111
513 5 D . 110111011001100001101110111
514 6 A . 110111011001100101101110111
515 7 B . 110111011001100111101110111
+ 517 9 B . 110111011001100110001110111 by B/1 * 2
518 8 C . 110111011001100110011110111
519 7 A . 110111011001100110011110111
520 8 B . 110111011001100111011110111
521 7 C . 110111011001100111111110111
522 6 D . 110111011001100110111110111
523 5 C . 110111011001100110111110111
524 4 D . 110111011001100010111110111
525 5 A . 110111011001101010111110111
526 6 B . 110111011001101110111110111
527 7 B . 110111011001101100111110111
528 6 C . 110111011001101101111110111
529 5 A . 110111011001101101111110111
530 4 E . 110111011001101101111110111
531 3 B . 110111011001101101111110111
532 2 C . 110111011001111101111110111
533 1 D . 110111011001011101111110111
534 0 C . 110111011001011101111110111
535 -1 A . 110111011001011101111110111
536 0 B . 110111011101011101111110111
537 -1 C . 110111011111011101111110111
538 -2 D . 110111011011011101111110111
539 -3 C . 110111011011011101111110111
540 -4 D . 110111001011011101111110111
541 -3 A . 110111101011011101111110111
542 -2 B . 110111111011011101111110111
543 -1 B . 110111110011011101111110111
544 -2 C . 110111110111011101111110111
545 -3 A . 110111110111011101111110111
546 -4 E . 110111110111011101111110111
547 -5 B . 110111110111011101111110111
+ 550 -2 B . 110110000111011101111110111 by B/1 * 3
551 -3 C . 110110001111011101111110111
552 -4 A . 110110001111011101111110111
553 -3 B . 110110101111011101111110111
554 -4 C . 110110111111011101111110111
555 -5 D . 110110011111011101111110111
556 -4 A . 110111011111011101111110111
557 -3 B . 110111111111011101111110111
+ 562 2 B . 110111100000011101111110111 by B/1 * 5
563 1 C . 110111100000111101111110111
564 0 A . 110111100000111101111110111
565 1 B . 110111100010111101111110111
566 0 C . 110111100011111101111110111
567 -1 D . 110111100001111101111110111
568 0 A . 110111100101111101111110111
569 1 B . 110111100111111101111110111
+ 574 6 B . 110111100110000001111110111 by B/1 * 5
575 5 C . 110111100110000011111110111
576 4 A . 110111100110000011111110111
577 5 B . 110111100110001011111110111
578 4 C . 110111100110001111111110111
579 3 D . 110111100110000111111110111
580 4 A . 110111100110010111111110111
581 5 B . 110111100110011111111110111
+ 589 13 B . 110111100110011000000000111 by B/1 * 8
590 12 C . 110111100110011000000001111
591 11 A . 110111100110011000000001111
592 12 B . 110111100110011000000101111
593 11 C . 110111100110011000000111111
594 10 D . 110111100110011000000011111
595 11 A . 110111100110011000001011111
596 12 B . 110111100110011000001111111
+ 601 17 B . 1101111001100110000011000000 by B/1 * 5
602 16 C . 1101111001100110000011000001
603 15 A . 1101111001100110000011000001
604 16 B . 1101111001100110000011000101
605 15 C . 1101111001100110000011000111
606 14 D . 1101111001100110000011000011
607 15 A . 1101111001100110000011001011
608 16 B . 1101111001100110000011001111
+ 610 18 B . 11011110011001100000110011000 by B/1 * 2
611 17 C . 11011110011001100000110011001
612 16 A . 11011110011001100000110011001
613 17 B . 11011110011001100000110011101
After 613 steps (500 lines): state = B.
Produced 16 ones.
Tape index 17, scanned [-10 .. 18].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 112 | 97 | 15 | 0 | 8 |
| B | 280 | 111 | 169 | 1 | 5 |
| C | 134 | 62 | 72 | 7 | 2 |
| D | 72 | 49 | 23 | 3 | 45 |
| E | 15 | 15 | 9 | ||