Comment: This TM produces 4097 ones in 11798796 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 | D1L | 1 | right | C | 1 | left | D |
| C | A1R | C1R | 1 | right | A | 1 | right | C |
| D | H1L | E0L | 1 | left | H | 0 | 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 1 1
7 -1 1 <E 0 1 1
8 -2 <B 1 0 1 1
9 -1 1 C> 1 0 1 1
10 0 1 1 C> 0 1 1
11 1 13 A> 1 1
12 0 13 <A 1 1
+ 15 -3 <A 15
16 -4 <B 16
17 -3 1 C> 16
+ 23 3 17 C>
24 4 18 A>
25 3 18 <B 1
26 2 17 <D 1 1
27 1 16 <E 0 1 1
28 0 15 <B 1 0 1 1
29 -1 14 <D 1 1 0 1 1
30 -2 13 <E 0 1 1 0 1 1
31 -3 1 1 <B 1 0 1 1 0 1 1
32 -4 1 <D 1 1 0 1 1 0 1 1
33 -5 <E 0 1 1 0 1 1 0 1 1
34 -4 1 C> 0 1 1 0 1 1 0 1 1
35 -3 1 1 A> 1 1 0 1 1 0 1 1
36 -4 1 1 <A 1 1 0 1 1 0 1 1
+ 38 -6 <A 14 0 1 1 0 1 1
39 -7 <B 15 0 1 1 0 1 1
40 -6 1 C> 15 0 1 1 0 1 1
+ 45 -1 16 C> 0 1 1 0 1 1
46 0 17 A> 1 1 0 1 1
47 -1 17 <A 1 1 0 1 1
+ 54 -8 <A 19 0 1 1
55 -9 <B 110 0 1 1
56 -8 1 C> 110 0 1 1
+ 66 2 111 C> 0 1 1
67 3 112 A> 1 1
68 2 112 <A 1 1
+ 80 -10 <A 114
81 -11 <B 115
82 -10 1 C> 115
+ 97 5 116 C>
98 6 117 A>
99 5 117 <B 1
100 4 116 <D 1 1
101 3 115 <E 0 1 1
102 2 114 <B 1 0 1 1
103 1 113 <D 1 1 0 1 1
104 0 112 <E 0 1 1 0 1 1
105 -1 111 <B 1 0 1 1 0 1 1
106 -2 110 <D 1 1 0 1 1 0 1 1
107 -3 19 <E 0 1 1 0 1 1 0 1 1
108 -4 18 <B 1 0 1 1 0 1 1 0 1 1
109 -5 17 <D 1 1 0 1 1 0 1 1 0 1 1
110 -6 16 <E 0 1 1 0 1 1 0 1 1 0 1 1
111 -7 15 <B 1 0 1 1 0 1 1 0 1 1 0 1 1
112 -8 14 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1
113 -9 13 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
114 -10 1 1 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
115 -11 1 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
116 -12 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
117 -11 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
118 -10 1 1 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
119 -11 1 1 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 121 -13 <A 14 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
122 -14 <B 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
123 -13 1 C> 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 128 -8 16 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
129 -7 17 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1
130 -8 17 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 137 -15 <A 19 0 1 1 0 1 1 0 1 1 0 1 1
138 -16 <B 110 0 1 1 0 1 1 0 1 1 0 1 1
139 -15 1 C> 110 0 1 1 0 1 1 0 1 1 0 1 1
+ 149 -5 111 C> 0 1 1 0 1 1 0 1 1 0 1 1
150 -4 112 A> 1 1 0 1 1 0 1 1 0 1 1
151 -5 112 <A 1 1 0 1 1 0 1 1 0 1 1
+ 163 -17 <A 114 0 1 1 0 1 1 0 1 1
164 -18 <B 115 0 1 1 0 1 1 0 1 1
165 -17 1 C> 115 0 1 1 0 1 1 0 1 1
+ 180 -2 116 C> 0 1 1 0 1 1 0 1 1
181 -1 117 A> 1 1 0 1 1 0 1 1
182 -2 117 <A 1 1 0 1 1 0 1 1
+ 199 -19 <A 119 0 1 1 0 1 1
200 -20 <B 120 0 1 1 0 1 1
201 -19 1 C> 120 0 1 1 0 1 1
+ 221 1 121 C> 0 1 1 0 1 1
222 2 122 A> 1 1 0 1 1
223 1 122 <A 1 1 0 1 1
+ 245 -21 <A 124 0 1 1
246 -22 <B 125 0 1 1
247 -21 1 C> 125 0 1 1
+ 272 4 126 C> 0 1 1
273 5 127 A> 1 1
274 4 127 <A 1 1
+ 301 -23 <A 129
302 -24 <B 130
303 -23 1 C> 130
+ 333 7 131 C>
334 8 132 A>
335 7 132 <B 1
336 6 131 <D 1 1
337 5 130 <E 0 1 1
338 4 129 <B 1 0 1 1
339 3 128 <D 1 1 0 1 1
340 2 127 <E 0 1 1 0 1 1
341 1 126 <B 1 0 1 1 0 1 1
342 0 125 <D 1 1 0 1 1 0 1 1
343 -1 124 <E 0 1 1 0 1 1 0 1 1
344 -2 123 <B 1 0 1 1 0 1 1 0 1 1
345 -3 122 <D 1 1 0 1 1 0 1 1 0 1 1
346 -4 121 <E 0 1 1 0 1 1 0 1 1 0 1 1
347 -5 120 <B 1 0 1 1 0 1 1 0 1 1 0 1 1
348 -6 119 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1
349 -7 118 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
350 -8 117 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
351 -9 116 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
352 -10 115 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
353 -11 114 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
354 -12 113 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
355 -13 112 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
356 -14 111 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
357 -15 110 <D 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
358 -16 19 <E 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
359 -17 18 <B 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
360 -18 17 <D 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
361 -19 16 <E 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
362 -20 15 <B 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
363 -21 14 <D 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
364 -22 13 <E 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
365 -23 1 1 <B 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
366 -24 1 <D 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 1
367 -25 <E 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 1
368 -24 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 1
369 -23 1 1 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 1
370 -24 1 1 <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 1
+ 372 -26 <A 14 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
373 -27 <B 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 1
374 -26 1 C> 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 1
+ 379 -21 16 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
380 -20 17 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
381 -21 17 <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
+ 388 -28 <A 19 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
389 -29 <B 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 1
390 -28 1 C> 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 1
+ 400 -18 111 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
401 -17 112 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
402 -18 112 <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
+ 414 -30 <A 114 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
415 -31 <B 115 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
416 -30 1 C> 115 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 431 -15 116 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
432 -14 117 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
433 -15 117 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 450 -32 <A 119 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
451 -33 <B 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
452 -32 1 C> 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 472 -12 121 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
473 -11 122 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
474 -12 122 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 496 -34 <A 124 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
497 -35 <B 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
498 -34 1 C> 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 523 -9 126 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
524 -8 127 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
525 -9 127 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 552 -36 <A 129 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
553 -37 <B 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
554 -36 1 C> 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 584 -6 131 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1
585 -5 132 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1
586 -6 132 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1
+ 618 -38 <A 134 0 1 1 0 1 1 0 1 1 0 1 1
619 -39 <B 135 0 1 1 0 1 1 0 1 1 0 1 1
620 -38 1 C> 135 0 1 1 0 1 1 0 1 1 0 1 1
+ 655 -3 136 C> 0 1 1 0 1 1 0 1 1 0 1 1
656 -2 137 A> 1 1 0 1 1 0 1 1 0 1 1
657 -3 137 <A 1 1 0 1 1 0 1 1 0 1 1
+ 694 -40 <A 139 0 1 1 0 1 1 0 1 1
695 -41 <B 140 0 1 1 0 1 1 0 1 1
696 -40 1 C> 140 0 1 1 0 1 1 0 1 1
+ 736 0 141 C> 0 1 1 0 1 1 0 1 1
737 1 142 A> 1 1 0 1 1 0 1 1
738 0 142 <A 1 1 0 1 1 0 1 1
+ 780 -42 <A 144 0 1 1 0 1 1
781 -43 <B 145 0 1 1 0 1 1
782 -42 1 C> 145 0 1 1 0 1 1
+ 827 3 146 C> 0 1 1 0 1 1
828 4 147 A> 1 1 0 1 1
829 3 147 <A 1 1 0 1 1
+ 876 -44 <A 149 0 1 1
877 -45 <B 150 0 1 1
878 -44 1 C> 150 0 1 1
+ 928 6 151 C> 0 1 1
929 7 152 A> 1 1
930 6 152 <A 1 1
+ 982 -46 <A 154
983 -47 <B 155
After 983 steps (201 lines): state = B.
Produced 55 ones.
Tape index -47, scanned [-46 .. 8].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 455 | 26 | 429 | 0 | 11 |
| B | 43 | 22 | 21 | 1 | 5 |
| C | 443 | 25 | 418 | 3 | 2 |
| D | 21 | 21 | 6 | ||
| E | 21 | 3 | 18 | 33 | 7 |