Comment: This TM produces 17485734 ones in 95547257425490 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 | C0L | 1 | right | B | 0 | left | C |
| B | A1L | A0R | 1 | left | A | 0 | right | A |
| C | D0L | Z1R | 0 | left | D | 1 | right | Z |
| D | E1R | D1L | 1 | right | E | 1 | left | D |
| E | F0L | E0L | 0 | left | F | 0 | left | E |
| F | F1R | B0L | 1 | right | F | 0 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 0 1 <A 1
3 -1 <C 0 1
4 -2 <D 0 0 1
5 -1 1 E> 0 0 1
6 -2 1 <F 0 0 1
7 -3 <B 03 1
8 -4 <A 1 03 1
9 -3 1 B> 1 03 1
10 -2 1 0 A> 03 1
11 -1 1 0 1 B> 0 0 1
12 -2 1 0 1 <A 1 0 1
13 -3 1 0 <C 0 1 0 1
14 -4 1 <D 0 0 1 0 1
15 -5 <D 1 0 0 1 0 1
16 -4 1 E> 1 0 0 1 0 1
17 -5 1 <E 03 1 0 1
18 -6 <E 04 1 0 1
19 -7 <F 05 1 0 1
20 -6 1 F> 05 1 0 1
+ 25 -1 16 F> 1 0 1
26 -2 16 <B 0 0 1
27 -1 15 0 A> 0 0 1
28 0 15 0 1 B> 0 1
29 -1 15 0 1 <A 1 1
30 -2 15 0 <C 0 1 1
31 -3 15 <D 0 0 1 1
+ 36 -8 <D 15 0 0 1 1
37 -7 1 E> 15 0 0 1 1
38 -8 1 <E 0 14 0 0 1 1
39 -9 <E 0 0 14 0 0 1 1
40 -10 <F 03 14 0 0 1 1
41 -9 1 F> 03 14 0 0 1 1
+ 44 -6 14 F> 14 0 0 1 1
45 -7 14 <B 0 13 0 0 1 1
46 -6 13 0 A> 0 13 0 0 1 1
47 -5 13 0 1 B> 13 0 0 1 1
48 -4 13 0 1 0 A> 1 1 0 0 1 1
49 -5 13 0 1 0 <C 0 1 0 0 1 1
50 -6 13 0 1 <D 0 0 1 0 0 1 1
51 -7 13 0 <D 1 0 0 1 0 0 1 1
52 -6 14 E> 1 0 0 1 0 0 1 1
53 -7 14 <E 03 1 0 0 1 1
+ 57 -11 <E 07 1 0 0 1 1
58 -12 <F 08 1 0 0 1 1
59 -11 1 F> 08 1 0 0 1 1
+ 67 -3 19 F> 1 0 0 1 1
68 -4 19 <B 03 1 1
69 -3 18 0 A> 03 1 1
70 -2 18 0 1 B> 0 0 1 1
71 -3 18 0 1 <A 1 0 1 1
72 -4 18 0 <C 0 1 0 1 1
73 -5 18 <D 0 0 1 0 1 1
+ 81 -13 <D 18 0 0 1 0 1 1
82 -12 1 E> 18 0 0 1 0 1 1
83 -13 1 <E 0 17 0 0 1 0 1 1
84 -14 <E 0 0 17 0 0 1 0 1 1
85 -15 <F 03 17 0 0 1 0 1 1
86 -14 1 F> 03 17 0 0 1 0 1 1
+ 89 -11 14 F> 17 0 0 1 0 1 1
90 -12 14 <B 0 16 0 0 1 0 1 1
91 -11 13 0 A> 0 16 0 0 1 0 1 1
92 -10 13 0 1 B> 16 0 0 1 0 1 1
93 -9 13 0 1 0 A> 15 0 0 1 0 1 1
94 -10 13 0 1 0 <C 0 14 0 0 1 0 1 1
95 -11 13 0 1 <D 0 0 14 0 0 1 0 1 1
96 -12 13 0 <D 1 0 0 14 0 0 1 0 1 1
97 -11 14 E> 1 0 0 14 0 0 1 0 1 1
98 -12 14 <E 03 14 0 0 1 0 1 1
+ 102 -16 <E 07 14 0 0 1 0 1 1
103 -17 <F 08 14 0 0 1 0 1 1
104 -16 1 F> 08 14 0 0 1 0 1 1
+ 112 -8 19 F> 14 0 0 1 0 1 1
113 -9 19 <B 0 13 0 0 1 0 1 1
114 -8 18 0 A> 0 13 0 0 1 0 1 1
115 -7 18 0 1 B> 13 0 0 1 0 1 1
116 -6 18 0 1 0 A> 1 1 0 0 1 0 1 1
117 -7 18 0 1 0 <C 0 1 0 0 1 0 1 1
118 -8 18 0 1 <D 0 0 1 0 0 1 0 1 1
119 -9 18 0 <D 1 0 0 1 0 0 1 0 1 1
120 -8 19 E> 1 0 0 1 0 0 1 0 1 1
121 -9 19 <E 03 1 0 0 1 0 1 1
+ 130 -18 <E 012 1 0 0 1 0 1 1
131 -19 <F 013 1 0 0 1 0 1 1
132 -18 1 F> 013 1 0 0 1 0 1 1
+ 145 -5 114 F> 1 0 0 1 0 1 1
146 -6 114 <B 03 1 0 1 1
147 -5 113 0 A> 03 1 0 1 1
148 -4 113 0 1 B> 0 0 1 0 1 1
149 -5 113 0 1 <A 1 0 1 0 1 1
150 -6 113 0 <C 0 1 0 1 0 1 1
151 -7 113 <D 0 0 1 0 1 0 1 1
+ 164 -20 <D 113 0 0 1 0 1 0 1 1
165 -19 1 E> 113 0 0 1 0 1 0 1 1
166 -20 1 <E 0 112 0 0 1 0 1 0 1 1
167 -21 <E 0 0 112 0 0 1 0 1 0 1 1
168 -22 <F 03 112 0 0 1 0 1 0 1 1
169 -21 1 F> 03 112 0 0 1 0 1 0 1 1
+ 172 -18 14 F> 112 0 0 1 0 1 0 1 1
173 -19 14 <B 0 111 0 0 1 0 1 0 1 1
174 -18 13 0 A> 0 111 0 0 1 0 1 0 1 1
175 -17 13 0 1 B> 111 0 0 1 0 1 0 1 1
176 -16 13 0 1 0 A> 110 0 0 1 0 1 0 1 1
177 -17 13 0 1 0 <C 0 19 0 0 1 0 1 0 1 1
178 -18 13 0 1 <D 0 0 19 0 0 1 0 1 0 1 1
179 -19 13 0 <D 1 0 0 19 0 0 1 0 1 0 1 1
180 -18 14 E> 1 0 0 19 0 0 1 0 1 0 1 1
181 -19 14 <E 03 19 0 0 1 0 1 0 1 1
+ 185 -23 <E 07 19 0 0 1 0 1 0 1 1
186 -24 <F 08 19 0 0 1 0 1 0 1 1
187 -23 1 F> 08 19 0 0 1 0 1 0 1 1
+ 195 -15 19 F> 19 0 0 1 0 1 0 1 1
196 -16 19 <B 0 18 0 0 1 0 1 0 1 1
197 -15 18 0 A> 0 18 0 0 1 0 1 0 1 1
198 -14 18 0 1 B> 18 0 0 1 0 1 0 1 1
199 -13 18 0 1 0 A> 17 0 0 1 0 1 0 1 1
200 -14 18 0 1 0 <C 0 16 0 0 1 0 1 0 1 1
201 -15 18 0 1 <D 0 0 16 0 0 1 0 1 0 1 1
202 -16 18 0 <D 1 0 0 16 0 0 1 0 1 0 1 1
203 -15 19 E> 1 0 0 16 0 0 1 0 1 0 1 1
204 -16 19 <E 03 16 0 0 1 0 1 0 1 1
+ 213 -25 <E 012 16 0 0 1 0 1 0 1 1
214 -26 <F 013 16 0 0 1 0 1 0 1 1
215 -25 1 F> 013 16 0 0 1 0 1 0 1 1
+ 228 -12 114 F> 16 0 0 1 0 1 0 1 1
229 -13 114 <B 0 15 0 0 1 0 1 0 1 1
230 -12 113 0 A> 0 15 0 0 1 0 1 0 1 1
231 -11 113 0 1 B> 15 0 0 1 0 1 0 1 1
232 -10 113 0 1 0 A> 14 0 0 1 0 1 0 1 1
233 -11 113 0 1 0 <C 0 13 0 0 1 0 1 0 1 1
234 -12 113 0 1 <D 0 0 13 0 0 1 0 1 0 1 1
235 -13 113 0 <D 1 0 0 13 0 0 1 0 1 0 1 1
236 -12 114 E> 1 0 0 13 0 0 1 0 1 0 1 1
237 -13 114 <E 03 13 0 0 1 0 1 0 1 1
+ 251 -27 <E 017 13 0 0 1 0 1 0 1 1
252 -28 <F 018 13 0 0 1 0 1 0 1 1
253 -27 1 F> 018 13 0 0 1 0 1 0 1 1
+ 271 -9 119 F> 13 0 0 1 0 1 0 1 1
272 -10 119 <B 0 1 1 0 0 1 0 1 0 1 1
273 -9 118 0 A> 0 1 1 0 0 1 0 1 0 1 1
274 -8 118 0 1 B> 1 1 0 0 1 0 1 0 1 1
275 -7 118 0 1 0 A> 1 0 0 1 0 1 0 1 1
276 -8 118 0 1 0 <C 03 1 0 1 0 1 1
277 -9 118 0 1 <D 04 1 0 1 0 1 1
278 -10 118 0 <D 1 04 1 0 1 0 1 1
279 -9 119 E> 1 04 1 0 1 0 1 1
280 -10 119 <E 05 1 0 1 0 1 1
+ 299 -29 <E 024 1 0 1 0 1 1
300 -30 <F 025 1 0 1 0 1 1
301 -29 1 F> 025 1 0 1 0 1 1
+ 326 -4 126 F> 1 0 1 0 1 1
327 -5 126 <B 0 0 1 0 1 1
328 -4 125 0 A> 0 0 1 0 1 1
329 -3 125 0 1 B> 0 1 0 1 1
330 -4 125 0 1 <A 1 1 0 1 1
331 -5 125 0 <C 0 1 1 0 1 1
332 -6 125 <D 0 0 1 1 0 1 1
+ 357 -31 <D 125 0 0 1 1 0 1 1
358 -30 1 E> 125 0 0 1 1 0 1 1
359 -31 1 <E 0 124 0 0 1 1 0 1 1
360 -32 <E 0 0 124 0 0 1 1 0 1 1
361 -33 <F 03 124 0 0 1 1 0 1 1
362 -32 1 F> 03 124 0 0 1 1 0 1 1
+ 365 -29 14 F> 124 0 0 1 1 0 1 1
366 -30 14 <B 0 123 0 0 1 1 0 1 1
367 -29 13 0 A> 0 123 0 0 1 1 0 1 1
368 -28 13 0 1 B> 123 0 0 1 1 0 1 1
369 -27 13 0 1 0 A> 122 0 0 1 1 0 1 1
370 -28 13 0 1 0 <C 0 121 0 0 1 1 0 1 1
371 -29 13 0 1 <D 0 0 121 0 0 1 1 0 1 1
372 -30 13 0 <D 1 0 0 121 0 0 1 1 0 1 1
373 -29 14 E> 1 0 0 121 0 0 1 1 0 1 1
374 -30 14 <E 03 121 0 0 1 1 0 1 1
+ 378 -34 <E 07 121 0 0 1 1 0 1 1
379 -35 <F 08 121 0 0 1 1 0 1 1
380 -34 1 F> 08 121 0 0 1 1 0 1 1
+ 388 -26 19 F> 121 0 0 1 1 0 1 1
389 -27 19 <B 0 120 0 0 1 1 0 1 1
390 -26 18 0 A> 0 120 0 0 1 1 0 1 1
391 -25 18 0 1 B> 120 0 0 1 1 0 1 1
392 -24 18 0 1 0 A> 119 0 0 1 1 0 1 1
393 -25 18 0 1 0 <C 0 118 0 0 1 1 0 1 1
394 -26 18 0 1 <D 0 0 118 0 0 1 1 0 1 1
395 -27 18 0 <D 1 0 0 118 0 0 1 1 0 1 1
396 -26 19 E> 1 0 0 118 0 0 1 1 0 1 1
397 -27 19 <E 03 118 0 0 1 1 0 1 1
+ 406 -36 <E 012 118 0 0 1 1 0 1 1
407 -37 <F 013 118 0 0 1 1 0 1 1
408 -36 1 F> 013 118 0 0 1 1 0 1 1
+ 421 -23 114 F> 118 0 0 1 1 0 1 1
422 -24 114 <B 0 117 0 0 1 1 0 1 1
423 -23 113 0 A> 0 117 0 0 1 1 0 1 1
424 -22 113 0 1 B> 117 0 0 1 1 0 1 1
425 -21 113 0 1 0 A> 116 0 0 1 1 0 1 1
426 -22 113 0 1 0 <C 0 115 0 0 1 1 0 1 1
427 -23 113 0 1 <D 0 0 115 0 0 1 1 0 1 1
428 -24 113 0 <D 1 0 0 115 0 0 1 1 0 1 1
429 -23 114 E> 1 0 0 115 0 0 1 1 0 1 1
430 -24 114 <E 03 115 0 0 1 1 0 1 1
+ 444 -38 <E 017 115 0 0 1 1 0 1 1
445 -39 <F 018 115 0 0 1 1 0 1 1
446 -38 1 F> 018 115 0 0 1 1 0 1 1
+ 464 -20 119 F> 115 0 0 1 1 0 1 1
465 -21 119 <B 0 114 0 0 1 1 0 1 1
466 -20 118 0 A> 0 114 0 0 1 1 0 1 1
467 -19 118 0 1 B> 114 0 0 1 1 0 1 1
468 -18 118 0 1 0 A> 113 0 0 1 1 0 1 1
469 -19 118 0 1 0 <C 0 112 0 0 1 1 0 1 1
470 -20 118 0 1 <D 0 0 112 0 0 1 1 0 1 1
471 -21 118 0 <D 1 0 0 112 0 0 1 1 0 1 1
472 -20 119 E> 1 0 0 112 0 0 1 1 0 1 1
473 -21 119 <E 03 112 0 0 1 1 0 1 1
+ 492 -40 <E 022 112 0 0 1 1 0 1 1
493 -41 <F 023 112 0 0 1 1 0 1 1
494 -40 1 F> 023 112 0 0 1 1 0 1 1
+ 517 -17 124 F> 112 0 0 1 1 0 1 1
518 -18 124 <B 0 111 0 0 1 1 0 1 1
519 -17 123 0 A> 0 111 0 0 1 1 0 1 1
520 -16 123 0 1 B> 111 0 0 1 1 0 1 1
521 -15 123 0 1 0 A> 110 0 0 1 1 0 1 1
522 -16 123 0 1 0 <C 0 19 0 0 1 1 0 1 1
523 -17 123 0 1 <D 0 0 19 0 0 1 1 0 1 1
524 -18 123 0 <D 1 0 0 19 0 0 1 1 0 1 1
525 -17 124 E> 1 0 0 19 0 0 1 1 0 1 1
526 -18 124 <E 03 19 0 0 1 1 0 1 1
+ 550 -42 <E 027 19 0 0 1 1 0 1 1
551 -43 <F 028 19 0 0 1 1 0 1 1
552 -42 1 F> 028 19 0 0 1 1 0 1 1
+ 580 -14 129 F> 19 0 0 1 1 0 1 1
581 -15 129 <B 0 18 0 0 1 1 0 1 1
582 -14 128 0 A> 0 18 0 0 1 1 0 1 1
583 -13 128 0 1 B> 18 0 0 1 1 0 1 1
584 -12 128 0 1 0 A> 17 0 0 1 1 0 1 1
585 -13 128 0 1 0 <C 0 16 0 0 1 1 0 1 1
586 -14 128 0 1 <D 0 0 16 0 0 1 1 0 1 1
587 -15 128 0 <D 1 0 0 16 0 0 1 1 0 1 1
588 -14 129 E> 1 0 0 16 0 0 1 1 0 1 1
589 -15 129 <E 03 16 0 0 1 1 0 1 1
+ 618 -44 <E 032 16 0 0 1 1 0 1 1
619 -45 <F 033 16 0 0 1 1 0 1 1
620 -44 1 F> 033 16 0 0 1 1 0 1 1
+ 653 -11 134 F> 16 0 0 1 1 0 1 1
654 -12 134 <B 0 15 0 0 1 1 0 1 1
655 -11 133 0 A> 0 15 0 0 1 1 0 1 1
656 -10 133 0 1 B> 15 0 0 1 1 0 1 1
657 -9 133 0 1 0 A> 14 0 0 1 1 0 1 1
658 -10 133 0 1 0 <C 0 13 0 0 1 1 0 1 1
659 -11 133 0 1 <D 0 0 13 0 0 1 1 0 1 1
660 -12 133 0 <D 1 0 0 13 0 0 1 1 0 1 1
661 -11 134 E> 1 0 0 13 0 0 1 1 0 1 1
662 -12 134 <E 03 13 0 0 1 1 0 1 1
+ 696 -46 <E 037 13 0 0 1 1 0 1 1
697 -47 <F 038 13 0 0 1 1 0 1 1
698 -46 1 F> 038 13 0 0 1 1 0 1 1
+ 736 -8 139 F> 13 0 0 1 1 0 1 1
737 -9 139 <B 0 1 1 0 0 1 1 0 1 1
738 -8 138 0 A> 0 1 1 0 0 1 1 0 1 1
739 -7 138 0 1 B> 1 1 0 0 1 1 0 1 1
740 -6 138 0 1 0 A> 1 0 0 1 1 0 1 1
741 -7 138 0 1 0 <C 03 1 1 0 1 1
742 -8 138 0 1 <D 04 1 1 0 1 1
743 -9 138 0 <D 1 04 1 1 0 1 1
744 -8 139 E> 1 04 1 1 0 1 1
745 -9 139 <E 05 1 1 0 1 1
+ 784 -48 <E 044 1 1 0 1 1
785 -49 <F 045 1 1 0 1 1
786 -48 1 F> 045 1 1 0 1 1
+ 831 -3 146 F> 1 1 0 1 1
832 -4 146 <B 0 1 0 1 1
833 -3 145 0 A> 0 1 0 1 1
834 -2 145 0 1 B> 1 0 1 1
835 -1 145 0 1 0 A> 0 1 1
836 0 145 0 1 0 1 B> 1 1
837 1 145 0 1 0 1 0 A> 1
838 0 145 0 1 0 1 0 <C
839 -1 145 0 1 0 1 <D
840 -2 145 0 1 0 <D 1
841 -1 145 0 1 1 E> 1
842 -2 145 0 1 1 <E
+ 844 -4 145 0 <E
845 -5 145 <F
846 -6 144 <B
847 -5 143 0 A>
848 -4 143 0 1 B>
849 -5 143 0 1 <A 1
850 -6 143 0 <C 0 1
851 -7 143 <D 0 0 1
+ 894 -50 <D 143 0 0 1
895 -49 1 E> 143 0 0 1
896 -50 1 <E 0 142 0 0 1
897 -51 <E 0 0 142 0 0 1
898 -52 <F 03 142 0 0 1
899 -51 1 F> 03 142 0 0 1
+ 902 -48 14 F> 142 0 0 1
903 -49 14 <B 0 141 0 0 1
904 -48 13 0 A> 0 141 0 0 1
905 -47 13 0 1 B> 141 0 0 1
906 -46 13 0 1 0 A> 140 0 0 1
907 -47 13 0 1 0 <C 0 139 0 0 1
908 -48 13 0 1 <D 0 0 139 0 0 1
After 908 steps (301 lines): state = D.
Produced 44 ones.
Tape index -48, scanned [-52 .. 1].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 50 | 26 | 24 | 0 | 2 |
| B | 49 | 8 | 41 | 1 | 9 |
| C | 24 | 24 | 3 | ||
| D | 134 | 23 | 111 | 4 | 14 |
| E | 288 | 23 | 265 | 5 | 16 |
| F | 363 | 340 | 23 | 19 | 6 |