Comment: This TM produces 4096 ones in 11804896 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 | B1L | A1L | 1 | left | B | 1 | left | A |
| B | C1R | D0L | 1 | right | C | 0 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E1L | 1 | left | H | 1 | left | E |
| E | C1R | B1L | 1 | right | C | 1 | left | B |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 3-macro machine.
The same TM as 3-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 -1 <B 1
2 0 1 C> 1
3 1 1 1 C>
4 2 13 A>
5 1 13 <B 1
6 0 1 1 <D 0 1
7 -1 1 <E 1 0 1
8 -2 <B 1 1 0 1
9 -1 1 C> 1 1 0 1
+ 11 1 13 C> 0 1
12 2 14 A> 1
13 1 14 <A 1
+ 17 -3 <A 15
18 -4 <B 16
19 -3 1 C> 16
+ 25 3 17 C>
26 4 18 A>
27 3 18 <B 1
28 2 17 <D 0 1
29 1 16 <E 1 0 1
30 0 15 <B 1 1 0 1
31 -1 14 <D 0 1 1 0 1
32 -2 13 <E 1 0 1 1 0 1
33 -3 1 1 <B 1 1 0 1 1 0 1
34 -4 1 <D 0 1 1 0 1 1 0 1
35 -5 <E 1 0 1 1 0 1 1 0 1
36 -4 1 C> 1 0 1 1 0 1 1 0 1
37 -3 1 1 C> 0 1 1 0 1 1 0 1
38 -2 13 A> 1 1 0 1 1 0 1
39 -3 13 <A 1 1 0 1 1 0 1
+ 42 -6 <A 15 0 1 1 0 1
43 -7 <B 16 0 1 1 0 1
44 -6 1 C> 16 0 1 1 0 1
+ 50 0 17 C> 0 1 1 0 1
51 1 18 A> 1 1 0 1
52 0 18 <A 1 1 0 1
+ 60 -8 <A 110 0 1
61 -9 <B 111 0 1
62 -8 1 C> 111 0 1
+ 73 3 112 C> 0 1
74 4 113 A> 1
75 3 113 <A 1
+ 88 -10 <A 114
89 -11 <B 115
90 -10 1 C> 115
+ 105 5 116 C>
106 6 117 A>
107 5 117 <B 1
108 4 116 <D 0 1
109 3 115 <E 1 0 1
110 2 114 <B 1 1 0 1
111 1 113 <D 0 1 1 0 1
112 0 112 <E 1 0 1 1 0 1
113 -1 111 <B 1 1 0 1 1 0 1
114 -2 110 <D 0 1 1 0 1 1 0 1
115 -3 19 <E 1 0 1 1 0 1 1 0 1
116 -4 18 <B 1 1 0 1 1 0 1 1 0 1
117 -5 17 <D 0 1 1 0 1 1 0 1 1 0 1
118 -6 16 <E 1 0 1 1 0 1 1 0 1 1 0 1
119 -7 15 <B 1 1 0 1 1 0 1 1 0 1 1 0 1
120 -8 14 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1
121 -9 13 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
122 -10 1 1 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
123 -11 1 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
124 -12 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
125 -11 1 C> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
126 -10 1 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
127 -9 13 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
128 -10 13 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 131 -13 <A 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1
132 -14 <B 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1
133 -13 1 C> 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 139 -7 17 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1
140 -6 18 A> 1 1 0 1 1 0 1 1 0 1 1 0 1
141 -7 18 <A 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 149 -15 <A 110 0 1 1 0 1 1 0 1 1 0 1
150 -16 <B 111 0 1 1 0 1 1 0 1 1 0 1
151 -15 1 C> 111 0 1 1 0 1 1 0 1 1 0 1
+ 162 -4 112 C> 0 1 1 0 1 1 0 1 1 0 1
163 -3 113 A> 1 1 0 1 1 0 1 1 0 1
164 -4 113 <A 1 1 0 1 1 0 1 1 0 1
+ 177 -17 <A 115 0 1 1 0 1 1 0 1
178 -18 <B 116 0 1 1 0 1 1 0 1
179 -17 1 C> 116 0 1 1 0 1 1 0 1
+ 195 -1 117 C> 0 1 1 0 1 1 0 1
196 0 118 A> 1 1 0 1 1 0 1
197 -1 118 <A 1 1 0 1 1 0 1
+ 215 -19 <A 120 0 1 1 0 1
216 -20 <B 121 0 1 1 0 1
217 -19 1 C> 121 0 1 1 0 1
+ 238 2 122 C> 0 1 1 0 1
239 3 123 A> 1 1 0 1
240 2 123 <A 1 1 0 1
+ 263 -21 <A 125 0 1
264 -22 <B 126 0 1
265 -21 1 C> 126 0 1
+ 291 5 127 C> 0 1
292 6 128 A> 1
293 5 128 <A 1
+ 321 -23 <A 129
322 -24 <B 130
323 -23 1 C> 130
+ 353 7 131 C>
354 8 132 A>
355 7 132 <B 1
356 6 131 <D 0 1
357 5 130 <E 1 0 1
358 4 129 <B 1 1 0 1
359 3 128 <D 0 1 1 0 1
360 2 127 <E 1 0 1 1 0 1
361 1 126 <B 1 1 0 1 1 0 1
362 0 125 <D 0 1 1 0 1 1 0 1
363 -1 124 <E 1 0 1 1 0 1 1 0 1
364 -2 123 <B 1 1 0 1 1 0 1 1 0 1
365 -3 122 <D 0 1 1 0 1 1 0 1 1 0 1
366 -4 121 <E 1 0 1 1 0 1 1 0 1 1 0 1
367 -5 120 <B 1 1 0 1 1 0 1 1 0 1 1 0 1
368 -6 119 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1
369 -7 118 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
370 -8 117 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
371 -9 116 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
372 -10 115 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
373 -11 114 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
374 -12 113 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
375 -13 112 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
376 -14 111 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
377 -15 110 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
378 -16 19 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
379 -17 18 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
380 -18 17 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
381 -19 16 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
382 -20 15 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
383 -21 14 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
384 -22 13 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
385 -23 1 1 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
386 -24 1 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
387 -25 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
388 -24 1 C> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
389 -23 1 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
390 -22 13 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
391 -23 13 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 394 -26 <A 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
395 -27 <B 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
396 -26 1 C> 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 402 -20 17 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
403 -19 18 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
404 -20 18 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 412 -28 <A 110 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
413 -29 <B 111 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
414 -28 1 C> 111 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 425 -17 112 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
426 -16 113 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
427 -17 113 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 440 -30 <A 115 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
441 -31 <B 116 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
442 -30 1 C> 116 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 458 -14 117 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
459 -13 118 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
460 -14 118 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 478 -32 <A 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
479 -33 <B 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
480 -32 1 C> 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 501 -11 122 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
502 -10 123 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
503 -11 123 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 526 -34 <A 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
527 -35 <B 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
528 -34 1 C> 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 554 -8 127 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
555 -7 128 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
556 -8 128 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 584 -36 <A 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1
585 -37 <B 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1
586 -36 1 C> 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 617 -5 132 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1
618 -4 133 A> 1 1 0 1 1 0 1 1 0 1 1 0 1
619 -5 133 <A 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 652 -38 <A 135 0 1 1 0 1 1 0 1 1 0 1
653 -39 <B 136 0 1 1 0 1 1 0 1 1 0 1
654 -38 1 C> 136 0 1 1 0 1 1 0 1 1 0 1
+ 690 -2 137 C> 0 1 1 0 1 1 0 1 1 0 1
691 -1 138 A> 1 1 0 1 1 0 1 1 0 1
692 -2 138 <A 1 1 0 1 1 0 1 1 0 1
+ 730 -40 <A 140 0 1 1 0 1 1 0 1
731 -41 <B 141 0 1 1 0 1 1 0 1
732 -40 1 C> 141 0 1 1 0 1 1 0 1
+ 773 1 142 C> 0 1 1 0 1 1 0 1
774 2 143 A> 1 1 0 1 1 0 1
775 1 143 <A 1 1 0 1 1 0 1
+ 818 -42 <A 145 0 1 1 0 1
819 -43 <B 146 0 1 1 0 1
820 -42 1 C> 146 0 1 1 0 1
+ 866 4 147 C> 0 1 1 0 1
867 5 148 A> 1 1 0 1
868 4 148 <A 1 1 0 1
+ 916 -44 <A 150 0 1
917 -45 <B 151 0 1
918 -44 1 C> 151 0 1
+ 969 7 152 C> 0 1
970 8 153 A> 1
After 970 steps (201 lines): state = A.
Produced 54 ones.
Tape index 8, scanned [-45 .. 8].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 421 | 25 | 396 | 0 | 12 |
| B | 43 | 22 | 21 | 1 | 5 |
| C | 464 | 25 | 439 | 3 | 2 |
| D | 21 | 21 | 6 | ||
| E | 21 | 3 | 18 | 35 | 7 |