Comment: This TM produces 4096 ones in 11804910 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 | E0R | B1L | 0 | right | E | 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 E> 1 0 1 1 0 1 1 0 1
37 -5 <B 1 0 1 1 0 1 1 0 1
38 -4 1 C> 1 0 1 1 0 1 1 0 1
39 -3 1 1 C> 0 1 1 0 1 1 0 1
40 -2 13 A> 1 1 0 1 1 0 1
41 -3 13 <A 1 1 0 1 1 0 1
+ 44 -6 <A 15 0 1 1 0 1
45 -7 <B 16 0 1 1 0 1
46 -6 1 C> 16 0 1 1 0 1
+ 52 0 17 C> 0 1 1 0 1
53 1 18 A> 1 1 0 1
54 0 18 <A 1 1 0 1
+ 62 -8 <A 110 0 1
63 -9 <B 111 0 1
64 -8 1 C> 111 0 1
+ 75 3 112 C> 0 1
76 4 113 A> 1
77 3 113 <A 1
+ 90 -10 <A 114
91 -11 <B 115
92 -10 1 C> 115
+ 107 5 116 C>
108 6 117 A>
109 5 117 <B 1
110 4 116 <D 0 1
111 3 115 <E 1 0 1
112 2 114 <B 1 1 0 1
113 1 113 <D 0 1 1 0 1
114 0 112 <E 1 0 1 1 0 1
115 -1 111 <B 1 1 0 1 1 0 1
116 -2 110 <D 0 1 1 0 1 1 0 1
117 -3 19 <E 1 0 1 1 0 1 1 0 1
118 -4 18 <B 1 1 0 1 1 0 1 1 0 1
119 -5 17 <D 0 1 1 0 1 1 0 1 1 0 1
120 -6 16 <E 1 0 1 1 0 1 1 0 1 1 0 1
121 -7 15 <B 1 1 0 1 1 0 1 1 0 1 1 0 1
122 -8 14 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1
123 -9 13 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
124 -10 1 1 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
125 -11 1 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
126 -12 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
127 -11 E> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
128 -12 <B 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
129 -11 1 C> 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
130 -10 1 1 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
131 -9 13 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
132 -10 13 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 135 -13 <A 15 0 1 1 0 1 1 0 1 1 0 1 1 0 1
136 -14 <B 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1
137 -13 1 C> 16 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 143 -7 17 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1
144 -6 18 A> 1 1 0 1 1 0 1 1 0 1 1 0 1
145 -7 18 <A 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 153 -15 <A 110 0 1 1 0 1 1 0 1 1 0 1
154 -16 <B 111 0 1 1 0 1 1 0 1 1 0 1
155 -15 1 C> 111 0 1 1 0 1 1 0 1 1 0 1
+ 166 -4 112 C> 0 1 1 0 1 1 0 1 1 0 1
167 -3 113 A> 1 1 0 1 1 0 1 1 0 1
168 -4 113 <A 1 1 0 1 1 0 1 1 0 1
+ 181 -17 <A 115 0 1 1 0 1 1 0 1
182 -18 <B 116 0 1 1 0 1 1 0 1
183 -17 1 C> 116 0 1 1 0 1 1 0 1
+ 199 -1 117 C> 0 1 1 0 1 1 0 1
200 0 118 A> 1 1 0 1 1 0 1
201 -1 118 <A 1 1 0 1 1 0 1
+ 219 -19 <A 120 0 1 1 0 1
220 -20 <B 121 0 1 1 0 1
221 -19 1 C> 121 0 1 1 0 1
+ 242 2 122 C> 0 1 1 0 1
243 3 123 A> 1 1 0 1
244 2 123 <A 1 1 0 1
+ 267 -21 <A 125 0 1
268 -22 <B 126 0 1
269 -21 1 C> 126 0 1
+ 295 5 127 C> 0 1
296 6 128 A> 1
297 5 128 <A 1
+ 325 -23 <A 129
326 -24 <B 130
327 -23 1 C> 130
+ 357 7 131 C>
358 8 132 A>
359 7 132 <B 1
360 6 131 <D 0 1
361 5 130 <E 1 0 1
362 4 129 <B 1 1 0 1
363 3 128 <D 0 1 1 0 1
364 2 127 <E 1 0 1 1 0 1
365 1 126 <B 1 1 0 1 1 0 1
366 0 125 <D 0 1 1 0 1 1 0 1
367 -1 124 <E 1 0 1 1 0 1 1 0 1
368 -2 123 <B 1 1 0 1 1 0 1 1 0 1
369 -3 122 <D 0 1 1 0 1 1 0 1 1 0 1
370 -4 121 <E 1 0 1 1 0 1 1 0 1 1 0 1
371 -5 120 <B 1 1 0 1 1 0 1 1 0 1 1 0 1
372 -6 119 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1
373 -7 118 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
374 -8 117 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
375 -9 116 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
376 -10 115 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
377 -11 114 <B 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
378 -12 113 <D 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
379 -13 112 <E 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
380 -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
381 -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
382 -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
383 -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
384 -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
385 -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
386 -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
387 -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
388 -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
389 -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
390 -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
391 -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
392 -24 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
393 -25 <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 0 1
394 -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
395 -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
396 -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
397 -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
+ 400 -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
401 -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
402 -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
+ 408 -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
409 -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
410 -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
+ 418 -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
419 -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
420 -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
+ 431 -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
432 -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
433 -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
+ 446 -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
447 -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
448 -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
+ 464 -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
465 -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
466 -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
+ 484 -32 <A 120 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
485 -33 <B 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
486 -32 1 C> 121 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 507 -11 122 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
508 -10 123 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
509 -11 123 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 532 -34 <A 125 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
533 -35 <B 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
534 -34 1 C> 126 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 560 -8 127 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
561 -7 128 A> 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
562 -8 128 <A 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 590 -36 <A 130 0 1 1 0 1 1 0 1 1 0 1 1 0 1
591 -37 <B 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1
592 -36 1 C> 131 0 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 623 -5 132 C> 0 1 1 0 1 1 0 1 1 0 1 1 0 1
624 -4 133 A> 1 1 0 1 1 0 1 1 0 1 1 0 1
625 -5 133 <A 1 1 0 1 1 0 1 1 0 1 1 0 1
+ 658 -38 <A 135 0 1 1 0 1 1 0 1 1 0 1
659 -39 <B 136 0 1 1 0 1 1 0 1 1 0 1
660 -38 1 C> 136 0 1 1 0 1 1 0 1 1 0 1
+ 696 -2 137 C> 0 1 1 0 1 1 0 1 1 0 1
697 -1 138 A> 1 1 0 1 1 0 1 1 0 1
698 -2 138 <A 1 1 0 1 1 0 1 1 0 1
+ 736 -40 <A 140 0 1 1 0 1 1 0 1
737 -41 <B 141 0 1 1 0 1 1 0 1
738 -40 1 C> 141 0 1 1 0 1 1 0 1
+ 779 1 142 C> 0 1 1 0 1 1 0 1
780 2 143 A> 1 1 0 1 1 0 1
781 1 143 <A 1 1 0 1 1 0 1
+ 824 -42 <A 145 0 1 1 0 1
825 -43 <B 146 0 1 1 0 1
826 -42 1 C> 146 0 1 1 0 1
+ 872 4 147 C> 0 1 1 0 1
873 5 148 A> 1 1 0 1
After 873 steps (201 lines): state = A.
Produced 51 ones.
Tape index 5, scanned [-43 .. 8].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 371 | 24 | 347 | 0 | 12 |
| B | 45 | 24 | 21 | 1 | 5 |
| C | 412 | 24 | 388 | 3 | 2 |
| D | 21 | 21 | 6 | ||
| E | 24 | 3 | 21 | 35 | 7 |