Comment: This TM produces 4098 ones in 11798826 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 | B1R | 1 | right | C | 1 | right | B |
| C | A1L | D1R | 1 | left | A | 1 | right | D |
| D | A1L | E1R | 1 | left | A | 1 | right | E |
| E | H1R | C0R | 1 | right | H | 0 | right | C |
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 D>
4 0 1 1 <A 1
+ 6 -2 <A 13
7 -3 <B 14
8 -2 1 C> 14
9 -1 1 1 D> 13
10 0 13 E> 1 1
11 1 13 0 C> 1
12 2 13 0 1 D>
13 1 13 0 1 <A 1
14 0 13 0 <A 1 1
15 -1 13 <B 13
16 0 13 B> 13
+ 19 3 16 B>
20 4 17 C>
21 3 17 <A 1
+ 28 -4 <A 18
29 -5 <B 19
30 -4 1 C> 19
31 -3 1 1 D> 18
32 -2 13 E> 17
33 -1 13 0 C> 16
34 0 13 0 1 D> 15
35 1 13 0 1 1 E> 14
36 2 13 0 1 1 0 C> 13
37 3 13 0 1 1 0 1 D> 1 1
38 4 13 0 1 1 0 1 1 E> 1
39 5 13 0 1 1 0 1 1 0 C>
40 4 13 0 1 1 0 1 1 0 <A 1
41 3 13 0 1 1 0 1 1 <B 1 1
42 4 13 0 1 1 0 1 1 B> 1 1
+ 44 6 13 0 1 1 0 14 B>
45 7 13 0 1 1 0 15 C>
46 6 13 0 1 1 0 15 <A 1
+ 51 1 13 0 1 1 0 <A 16
52 0 13 0 1 1 <B 17
53 1 13 0 1 1 B> 17
+ 60 8 13 0 19 B>
61 9 13 0 110 C>
62 8 13 0 110 <A 1
+ 72 -2 13 0 <A 111
73 -3 13 <B 112
74 -2 13 B> 112
+ 86 10 115 B>
87 11 116 C>
88 10 116 <A 1
+ 104 -6 <A 117
105 -7 <B 118
106 -6 1 C> 118
107 -5 1 1 D> 117
108 -4 13 E> 116
109 -3 13 0 C> 115
110 -2 13 0 1 D> 114
111 -1 13 0 1 1 E> 113
112 0 13 0 1 1 0 C> 112
113 1 13 0 1 1 0 1 D> 111
114 2 13 0 1 1 0 1 1 E> 110
115 3 13 0 1 1 0 1 1 0 C> 19
116 4 13 0 1 1 0 1 1 0 1 D> 18
117 5 13 0 1 1 0 1 1 0 1 1 E> 17
118 6 13 0 1 1 0 1 1 0 1 1 0 C> 16
119 7 13 0 1 1 0 1 1 0 1 1 0 1 D> 15
120 8 13 0 1 1 0 1 1 0 1 1 0 1 1 E> 14
121 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 13
122 10 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 1 1
123 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 1
124 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C>
125 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 1
126 10 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 1 1
127 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 1 1
+ 129 13 13 0 1 1 0 1 1 0 1 1 0 1 1 0 14 B>
130 14 13 0 1 1 0 1 1 0 1 1 0 1 1 0 15 C>
131 13 13 0 1 1 0 1 1 0 1 1 0 1 1 0 15 <A 1
+ 136 8 13 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 16
137 7 13 0 1 1 0 1 1 0 1 1 0 1 1 <B 17
138 8 13 0 1 1 0 1 1 0 1 1 0 1 1 B> 17
+ 145 15 13 0 1 1 0 1 1 0 1 1 0 19 B>
146 16 13 0 1 1 0 1 1 0 1 1 0 110 C>
147 15 13 0 1 1 0 1 1 0 1 1 0 110 <A 1
+ 157 5 13 0 1 1 0 1 1 0 1 1 0 <A 111
158 4 13 0 1 1 0 1 1 0 1 1 <B 112
159 5 13 0 1 1 0 1 1 0 1 1 B> 112
+ 171 17 13 0 1 1 0 1 1 0 114 B>
172 18 13 0 1 1 0 1 1 0 115 C>
173 17 13 0 1 1 0 1 1 0 115 <A 1
+ 188 2 13 0 1 1 0 1 1 0 <A 116
189 1 13 0 1 1 0 1 1 <B 117
190 2 13 0 1 1 0 1 1 B> 117
+ 207 19 13 0 1 1 0 119 B>
208 20 13 0 1 1 0 120 C>
209 19 13 0 1 1 0 120 <A 1
+ 229 -1 13 0 1 1 0 <A 121
230 -2 13 0 1 1 <B 122
231 -1 13 0 1 1 B> 122
+ 253 21 13 0 124 B>
254 22 13 0 125 C>
255 21 13 0 125 <A 1
+ 280 -4 13 0 <A 126
281 -5 13 <B 127
282 -4 13 B> 127
+ 309 23 130 B>
310 24 131 C>
311 23 131 <A 1
+ 342 -8 <A 132
343 -9 <B 133
344 -8 1 C> 133
345 -7 1 1 D> 132
346 -6 13 E> 131
347 -5 13 0 C> 130
348 -4 13 0 1 D> 129
349 -3 13 0 1 1 E> 128
350 -2 13 0 1 1 0 C> 127
351 -1 13 0 1 1 0 1 D> 126
352 0 13 0 1 1 0 1 1 E> 125
353 1 13 0 1 1 0 1 1 0 C> 124
354 2 13 0 1 1 0 1 1 0 1 D> 123
355 3 13 0 1 1 0 1 1 0 1 1 E> 122
356 4 13 0 1 1 0 1 1 0 1 1 0 C> 121
357 5 13 0 1 1 0 1 1 0 1 1 0 1 D> 120
358 6 13 0 1 1 0 1 1 0 1 1 0 1 1 E> 119
359 7 13 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 118
360 8 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 117
361 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 116
362 10 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 115
363 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 114
364 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 113
365 13 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 112
366 14 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 111
367 15 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 110
368 16 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 C> 19
369 17 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 D> 18
370 18 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 E> 17
371 19 13 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 C> 16
372 20 13 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 D> 15
373 21 13 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 E> 14
374 22 13 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 C> 13
375 23 13 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 D> 1 1
376 24 13 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 E> 1
377 25 13 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 C>
378 24 13 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 <A 1
379 23 13 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 <B 1 1
380 24 13 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 B> 1 1
+ 382 26 13 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 14 B>
383 27 13 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 15 C>
384 26 13 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 15 <A 1
+ 389 21 13 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 <A 16
390 20 13 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 <B 17
391 21 13 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 B> 17
+ 398 28 13 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 19 B>
399 29 13 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 110 C>
400 28 13 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 110 <A 1
+ 410 18 13 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 <A 111
411 17 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 112
412 18 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 112
+ 424 30 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 114 B>
425 31 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 115 C>
426 30 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 115 <A 1
+ 441 15 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 116
442 14 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 117
443 15 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 117
+ 460 32 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 119 B>
461 33 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 C>
462 32 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 120 <A 1
+ 482 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 121
483 11 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 122
484 12 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 122
+ 506 34 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 124 B>
507 35 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 125 C>
508 34 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 125 <A 1
+ 533 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 126
534 8 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 <B 127
535 9 13 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 B> 127
+ 562 36 13 0 1 1 0 1 1 0 1 1 0 1 1 0 129 B>
563 37 13 0 1 1 0 1 1 0 1 1 0 1 1 0 130 C>
564 36 13 0 1 1 0 1 1 0 1 1 0 1 1 0 130 <A 1
+ 594 6 13 0 1 1 0 1 1 0 1 1 0 1 1 0 <A 131
595 5 13 0 1 1 0 1 1 0 1 1 0 1 1 <B 132
596 6 13 0 1 1 0 1 1 0 1 1 0 1 1 B> 132
+ 628 38 13 0 1 1 0 1 1 0 1 1 0 134 B>
629 39 13 0 1 1 0 1 1 0 1 1 0 135 C>
630 38 13 0 1 1 0 1 1 0 1 1 0 135 <A 1
+ 665 3 13 0 1 1 0 1 1 0 1 1 0 <A 136
666 2 13 0 1 1 0 1 1 0 1 1 <B 137
667 3 13 0 1 1 0 1 1 0 1 1 B> 137
+ 704 40 13 0 1 1 0 1 1 0 139 B>
705 41 13 0 1 1 0 1 1 0 140 C>
706 40 13 0 1 1 0 1 1 0 140 <A 1
+ 746 0 13 0 1 1 0 1 1 0 <A 141
747 -1 13 0 1 1 0 1 1 <B 142
748 0 13 0 1 1 0 1 1 B> 142
+ 790 42 13 0 1 1 0 144 B>
791 43 13 0 1 1 0 145 C>
792 42 13 0 1 1 0 145 <A 1
+ 837 -3 13 0 1 1 0 <A 146
838 -4 13 0 1 1 <B 147
839 -3 13 0 1 1 B> 147
+ 886 44 13 0 149 B>
887 45 13 0 150 C>
After 887 steps (201 lines): state = C.
Produced 53 ones.
Tape index 45, scanned [-9 .. 44].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 397 | 25 | 372 | 0 | 4 |
| B | 401 | 25 | 376 | 1 | 15 |
| C | 45 | 22 | 23 | 20 | 2 |
| D | 23 | 2 | 21 | 3 | 9 |
| E | 21 | 21 | 10 | ||