Comment: This TM produces 4098 ones in 47176870 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 | C1R | 1 | left | B | 1 | right | C |
| B | C1L | B1L | 1 | left | C | 1 | left | B |
| C | D1L | E0R | 1 | left | D | 0 | right | E |
| D | A1R | D1R | 1 | right | A | 1 | right | D |
| E | H1L | A0R | 1 | left | H | 0 | right | A |
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 -2 <C 1 1
3 -3 <D 13
4 -2 1 A> 13
5 -1 1 1 C> 1 1
6 0 1 1 0 E> 1
7 1 1 1 0 0 A>
8 0 1 1 0 0 <B 1
9 -1 1 1 0 <C 1 1
10 -2 1 1 <D 13
11 -1 1 1 D> 13
+ 14 2 15 D>
15 3 16 A>
16 2 16 <B 1
+ 22 -4 <B 17
23 -5 <C 18
24 -6 <D 19
25 -5 1 A> 19
26 -4 1 1 C> 18
27 -3 1 1 0 E> 17
28 -2 1 1 0 0 A> 16
29 -1 1 1 0 0 1 C> 15
30 0 1 1 0 0 1 0 E> 14
31 1 1 1 0 0 1 0 0 A> 13
32 2 1 1 0 0 1 0 0 1 C> 1 1
33 3 1 1 0 0 1 0 0 1 0 E> 1
34 4 1 1 0 0 1 0 0 1 0 0 A>
35 3 1 1 0 0 1 0 0 1 0 0 <B 1
36 2 1 1 0 0 1 0 0 1 0 <C 1 1
37 1 1 1 0 0 1 0 0 1 <D 13
38 2 1 1 0 0 1 0 0 1 D> 13
+ 41 5 1 1 0 0 1 0 0 14 D>
42 6 1 1 0 0 1 0 0 15 A>
43 5 1 1 0 0 1 0 0 15 <B 1
+ 48 0 1 1 0 0 1 0 0 <B 16
49 -1 1 1 0 0 1 0 <C 17
50 -2 1 1 0 0 1 <D 18
51 -1 1 1 0 0 1 D> 18
+ 59 7 1 1 0 0 19 D>
60 8 1 1 0 0 110 A>
61 7 1 1 0 0 110 <B 1
+ 71 -3 1 1 0 0 <B 111
72 -4 1 1 0 <C 112
73 -5 1 1 <D 113
74 -4 1 1 D> 113
+ 87 9 115 D>
88 10 116 A>
89 9 116 <B 1
+ 105 -7 <B 117
106 -8 <C 118
107 -9 <D 119
108 -8 1 A> 119
109 -7 1 1 C> 118
110 -6 1 1 0 E> 117
111 -5 1 1 0 0 A> 116
112 -4 1 1 0 0 1 C> 115
113 -3 1 1 0 0 1 0 E> 114
114 -2 1 1 0 0 1 0 0 A> 113
115 -1 1 1 0 0 1 0 0 1 C> 112
116 0 1 1 0 0 1 0 0 1 0 E> 111
117 1 1 1 0 0 1 0 0 1 0 0 A> 110
118 2 1 1 0 0 1 0 0 1 0 0 1 C> 19
119 3 1 1 0 0 1 0 0 1 0 0 1 0 E> 18
120 4 1 1 0 0 1 0 0 1 0 0 1 0 0 A> 17
121 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 16
122 6 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 15
123 7 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 14
124 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 13
125 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 1 1
126 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 1
127 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C>
128 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 1
129 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 1
130 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 D>
131 13 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 A>
132 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 <B 1
+ 135 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 14
136 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 15
137 7 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 16
138 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 16
+ 144 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 17 D>
145 15 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 A>
146 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 <B 1
+ 154 6 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 19
155 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 110
156 4 1 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 111
157 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 111
+ 168 16 1 1 0 0 1 0 0 1 0 0 1 0 0 112 D>
169 17 1 1 0 0 1 0 0 1 0 0 1 0 0 113 A>
170 16 1 1 0 0 1 0 0 1 0 0 1 0 0 113 <B 1
+ 183 3 1 1 0 0 1 0 0 1 0 0 1 0 0 <B 114
184 2 1 1 0 0 1 0 0 1 0 0 1 0 <C 115
185 1 1 1 0 0 1 0 0 1 0 0 1 <D 116
186 2 1 1 0 0 1 0 0 1 0 0 1 D> 116
+ 202 18 1 1 0 0 1 0 0 1 0 0 117 D>
203 19 1 1 0 0 1 0 0 1 0 0 118 A>
204 18 1 1 0 0 1 0 0 1 0 0 118 <B 1
+ 222 0 1 1 0 0 1 0 0 1 0 0 <B 119
223 -1 1 1 0 0 1 0 0 1 0 <C 120
224 -2 1 1 0 0 1 0 0 1 <D 121
225 -1 1 1 0 0 1 0 0 1 D> 121
+ 246 20 1 1 0 0 1 0 0 122 D>
247 21 1 1 0 0 1 0 0 123 A>
248 20 1 1 0 0 1 0 0 123 <B 1
+ 271 -3 1 1 0 0 1 0 0 <B 124
272 -4 1 1 0 0 1 0 <C 125
273 -5 1 1 0 0 1 <D 126
274 -4 1 1 0 0 1 D> 126
+ 300 22 1 1 0 0 127 D>
301 23 1 1 0 0 128 A>
302 22 1 1 0 0 128 <B 1
+ 330 -6 1 1 0 0 <B 129
331 -7 1 1 0 <C 130
332 -8 1 1 <D 131
333 -7 1 1 D> 131
+ 364 24 133 D>
365 25 134 A>
366 24 134 <B 1
+ 400 -10 <B 135
401 -11 <C 136
402 -12 <D 137
403 -11 1 A> 137
404 -10 1 1 C> 136
405 -9 1 1 0 E> 135
406 -8 1 1 0 0 A> 134
407 -7 1 1 0 0 1 C> 133
408 -6 1 1 0 0 1 0 E> 132
409 -5 1 1 0 0 1 0 0 A> 131
410 -4 1 1 0 0 1 0 0 1 C> 130
411 -3 1 1 0 0 1 0 0 1 0 E> 129
412 -2 1 1 0 0 1 0 0 1 0 0 A> 128
413 -1 1 1 0 0 1 0 0 1 0 0 1 C> 127
414 0 1 1 0 0 1 0 0 1 0 0 1 0 E> 126
415 1 1 1 0 0 1 0 0 1 0 0 1 0 0 A> 125
416 2 1 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 124
417 3 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 123
418 4 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 122
419 5 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 121
420 6 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 120
421 7 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 119
422 8 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 118
423 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 117
424 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 116
425 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 115
426 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 114
427 13 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 113
428 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 112
429 15 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 111
430 16 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 110
431 17 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 19
432 18 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 18
433 19 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 17
434 20 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 16
435 21 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 15
436 22 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 14
437 23 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C> 13
438 24 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 E> 1 1
439 25 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 A> 1
440 26 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 C>
441 25 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 1
442 26 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 1
443 27 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 D>
444 28 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 A>
445 27 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 13 <B 1
+ 448 24 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 14
449 23 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 15
450 22 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 16
451 23 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 16
+ 457 29 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 17 D>
458 30 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 A>
459 29 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 18 <B 1
+ 467 21 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 19
468 20 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 110
469 19 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 111
470 20 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 111
+ 481 31 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 112 D>
482 32 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 113 A>
483 31 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 113 <B 1
+ 496 18 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 114
497 17 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 115
498 16 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 116
499 17 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 116
+ 515 33 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 117 D>
516 34 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 118 A>
517 33 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 118 <B 1
+ 535 15 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 119
536 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 120
537 13 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 121
538 14 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 121
+ 559 35 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 122 D>
560 36 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 123 A>
561 35 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 123 <B 1
+ 584 12 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 124
585 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 <C 125
586 10 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 <D 126
587 11 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 D> 126
+ 613 37 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 127 D>
614 38 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 128 A>
615 37 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 128 <B 1
+ 643 9 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 <B 129
After 643 steps (201 lines): state = B.
Produced 37 ones.
Tape index 9, scanned [-12 .. 38].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 44 | 20 | 24 | 0 | 4 |
| B | 276 | 19 | 257 | 1 | 16 |
| C | 43 | 21 | 22 | 2 | 5 |
| D | 258 | 21 | 237 | 3 | 10 |
| E | 22 | 22 | 6 | ||