Comment: Found by jubu 1989-09-02, published first 2005-11-12 (on web) 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 | Z== | E0L | Z | stay | = | 0 | left | E |
| E | C1L | B0L | 1 | left | C | 0 | left | B |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 13-macro machine.
The same TM as 13-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . . . . . . . . . . . . . . . . . 0
1 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . .01
2 0 C . . . . . . . . . . . . . . . . . . . . . . . . . .11
3 1 C . . . . . . . . . . . . . . . . . . . . . . . . . .110
4 2 A . . . . . . . . . . . . . . . . . . . . . . . . . .1110
5 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1111
6 0 D . . . . . . . . . . . . . . . . . . . . . . . . . .1111
7 -1 E . . . . . . . . . . . . . . . . . . . . . . . . . .1011
8 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . 00011
9 -1 C . . . . . . . . . . . . . . . . . . . . . . . . . 10011
10 0 A . . . . . . . . . . . . . . . . . . . . . . . . . 11011
11 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . 11111
12 -2 D . . . . . . . . . . . . . . . . . . . . . . . . . 11111
13 -3 E . . . . . . . . . . . . . . . . . . . . . . . . .001111
14 -4 C . . . . . . . . . . . . . . . . . . . . . . . . 0101111
15 -3 A . . . . . . . . . . . . . . . . . . . . . . . . 1101111
+ 17 -5 A . . . . . . . . . . . . . . . . . . . . . . . .01101111 by A/1 * 2
18 -6 B . . . . . . . . . . . . . . . . . . . . . . . 011101111
19 -5 C . . . . . . . . . . . . . . . . . . . . . . . 111101111
+ 22 -2 C . . . . . . . . . . . . . . . . . . . . . . . 111101111 by C/1 * 3
23 -1 A . . . . . . . . . . . . . . . . . . . . . . . 111111111
+ 29 -7 A . . . . . . . . . . . . . . . . . . . . . . .0111111111 by A/1 * 6
30 -8 B . . . . . . . . . . . . . . . . . . . . . . 01111111111
31 -7 C . . . . . . . . . . . . . . . . . . . . . . 11111111111
+ 41 3 C . . . . . . . . . . . . . . . . . . . . . . 111111111110 by C/1 * 10
42 4 A . . . . . . . . . . . . . . . . . . . . . . 1111111111110
43 3 B . . . . . . . . . . . . . . . . . . . . . . 1111111111111
44 2 D . . . . . . . . . . . . . . . . . . . . . . 1111111111111
45 1 E . . . . . . . . . . . . . . . . . . . . . . 1111111111011
46 0 B . . . . . . . . . . . . . . . . . . . . . . 1111111110011
47 -1 D . . . . . . . . . . . . . . . . . . . . . . 1111111110011
48 -2 E . . . . . . . . . . . . . . . . . . . . . . 1111111010011
49 -3 B . . . . . . . . . . . . . . . . . . . . . . 1111110010011
50 -4 D . . . . . . . . . . . . . . . . . . . . . . 1111110010011
51 -5 E . . . . . . . . . . . . . . . . . . . . . . 1111010010011
52 -6 B . . . . . . . . . . . . . . . . . . . . . . 1110010010011
53 -7 D . . . . . . . . . . . . . . . . . . . . . . 1110010010011
54 -8 E . . . . . . . . . . . . . . . . . . . . . . 1010010010011
55 -9 B . . . . . . . . . . . . . . . . . . . . . .00010010010011
56 -8 C . . . . . . . . . . . . . . . . . . . . . .10010010010011
57 -7 A . . . . . . . . . . . . . . . . . . . . . .11010010010011
58 -8 B . . . . . . . . . . . . . . . . . . . . . .11110010010011
59 -9 D . . . . . . . . . . . . . . . . . . . . . .11110010010011
60 -10 E . . . . . . . . . . . . . . . . . . . . . 001110010010011
61 -11 C . . . . . . . . . . . . . . . . . . . . .0101110010010011
62 -10 A . . . . . . . . . . . . . . . . . . . . .1101110010010011
+ 64 -12 A . . . . . . . . . . . . . . . . . . . . 01101110010010011 by A/1 * 2
65 -13 B . . . . . . . . . . . . . . . . . . . .011101110010010011
66 -12 C . . . . . . . . . . . . . . . . . . . .111101110010010011
+ 69 -9 C . . . . . . . . . . . . . . . . . . . .111101110010010011 by C/1 * 3
70 -8 A . . . . . . . . . . . . . . . . . . . .111111110010010011
+ 76 -14 A . . . . . . . . . . . . . . . . . . . 0111111110010010011 by A/1 * 6
77 -15 B . . . . . . . . . . . . . . . . . . .01111111110010010011
78 -14 C . . . . . . . . . . . . . . . . . . .11111111110010010011
+ 87 -5 C . . . . . . . . . . . . . . . . . . .11111111110010010011 by C/1 * 9
88 -4 A . . . . . . . . . . . . . . . . . . .11111111111010010011
89 -5 B . . . . . . . . . . . . . . . . . . .11111111111110010011
90 -6 D . . . . . . . . . . . . . . . . . . .11111111111110010011
91 -7 E . . . . . . . . . . . . . . . . . . .11111111101110010011
92 -8 B . . . . . . . . . . . . . . . . . . .11111111001110010011
93 -9 D . . . . . . . . . . . . . . . . . . .11111111001110010011
94 -10 E . . . . . . . . . . . . . . . . . . .11111101001110010011
95 -11 B . . . . . . . . . . . . . . . . . . .11111001001110010011
96 -12 D . . . . . . . . . . . . . . . . . . .11111001001110010011
97 -13 E . . . . . . . . . . . . . . . . . . .11101001001110010011
98 -14 B . . . . . . . . . . . . . . . . . . .11001001001110010011
99 -15 D . . . . . . . . . . . . . . . . . . .11001001001110010011
100 -16 E . . . . . . . . . . . . . . . . . . 001001001001110010011
101 -17 C . . . . . . . . . . . . . . . . . .0101001001001110010011
102 -16 A . . . . . . . . . . . . . . . . . .1101001001001110010011
+ 104 -18 A . . . . . . . . . . . . . . . . . 01101001001001110010011 by A/1 * 2
105 -19 B . . . . . . . . . . . . . . . . .011101001001001110010011
106 -18 C . . . . . . . . . . . . . . . . .111101001001001110010011
+ 109 -15 C . . . . . . . . . . . . . . . . .111101001001001110010011 by C/1 * 3
110 -14 A . . . . . . . . . . . . . . . . .111111001001001110010011
+ 116 -20 A . . . . . . . . . . . . . . . . 0111111001001001110010011 by A/1 * 6
117 -21 B . . . . . . . . . . . . . . . .01111111001001001110010011
118 -20 C . . . . . . . . . . . . . . . .11111111001001001110010011
+ 125 -13 C . . . . . . . . . . . . . . . .11111111001001001110010011 by C/1 * 7
126 -12 A . . . . . . . . . . . . . . . .11111111101001001110010011
127 -13 B . . . . . . . . . . . . . . . .11111111111001001110010011
128 -14 D . . . . . . . . . . . . . . . .11111111111001001110010011
129 -15 E . . . . . . . . . . . . . . . .11111110111001001110010011
130 -16 B . . . . . . . . . . . . . . . .11111100111001001110010011
131 -17 D . . . . . . . . . . . . . . . .11111100111001001110010011
132 -18 E . . . . . . . . . . . . . . . .11110100111001001110010011
133 -19 B . . . . . . . . . . . . . . . .11100100111001001110010011
134 -20 D . . . . . . . . . . . . . . . .11100100111001001110010011
135 -21 E . . . . . . . . . . . . . . . .10100100111001001110010011
136 -22 B . . . . . . . . . . . . . . . 000100100111001001110010011
137 -21 C . . . . . . . . . . . . . . . 100100100111001001110010011
138 -20 A . . . . . . . . . . . . . . . 110100100111001001110010011
139 -21 B . . . . . . . . . . . . . . . 111100100111001001110010011
140 -22 D . . . . . . . . . . . . . . . 111100100111001001110010011
141 -23 E . . . . . . . . . . . . . . .0011100100111001001110010011
142 -24 C . . . . . . . . . . . . . . 01011100100111001001110010011
143 -23 A . . . . . . . . . . . . . . 11011100100111001001110010011
+ 145 -25 A . . . . . . . . . . . . . .011011100100111001001110010011 by A/1 * 2
146 -26 B . . . . . . . . . . . . . 0111011100100111001001110010011
147 -25 C . . . . . . . . . . . . . 1111011100100111001001110010011
+ 150 -22 C . . . . . . . . . . . . . 1111011100100111001001110010011 by C/1 * 3
151 -21 A . . . . . . . . . . . . . 1111111100100111001001110010011
+ 157 -27 A . . . . . . . . . . . . .01111111100100111001001110010011 by A/1 * 6
158 -28 B . . . . . . . . . . . . 011111111100100111001001110010011
159 -27 C . . . . . . . . . . . . 111111111100100111001001110010011
+ 168 -18 C . . . . . . . . . . . . 111111111100100111001001110010011 by C/1 * 9
169 -17 A . . . . . . . . . . . . 111111111110100111001001110010011
170 -18 B . . . . . . . . . . . . 111111111111100111001001110010011
171 -19 D . . . . . . . . . . . . 111111111111100111001001110010011
172 -20 E . . . . . . . . . . . . 111111111011100111001001110010011
173 -21 B . . . . . . . . . . . . 111111110011100111001001110010011
174 -22 D . . . . . . . . . . . . 111111110011100111001001110010011
175 -23 E . . . . . . . . . . . . 111111010011100111001001110010011
176 -24 B . . . . . . . . . . . . 111110010011100111001001110010011
177 -25 D . . . . . . . . . . . . 111110010011100111001001110010011
178 -26 E . . . . . . . . . . . . 111010010011100111001001110010011
179 -27 B . . . . . . . . . . . . 110010010011100111001001110010011
180 -28 D . . . . . . . . . . . . 110010010011100111001001110010011
181 -29 E . . . . . . . . . . . .0010010010011100111001001110010011
182 -30 C . . . . . . . . . . . 01010010010011100111001001110010011
183 -29 A . . . . . . . . . . . 11010010010011100111001001110010011
+ 185 -31 A . . . . . . . . . . .011010010010011100111001001110010011 by A/1 * 2
186 -32 B . . . . . . . . . . 0111010010010011100111001001110010011
187 -31 C . . . . . . . . . . 1111010010010011100111001001110010011
+ 190 -28 C . . . . . . . . . . 1111010010010011100111001001110010011 by C/1 * 3
191 -27 A . . . . . . . . . . 1111110010010011100111001001110010011
+ 197 -33 A . . . . . . . . . .01111110010010011100111001001110010011 by A/1 * 6
198 -34 B . . . . . . . . . 011111110010010011100111001001110010011
199 -33 C . . . . . . . . . 111111110010010011100111001001110010011
+ 206 -26 C . . . . . . . . . 111111110010010011100111001001110010011 by C/1 * 7
207 -25 A . . . . . . . . . 111111111010010011100111001001110010011
208 -26 B . . . . . . . . . 111111111110010011100111001001110010011
209 -27 D . . . . . . . . . 111111111110010011100111001001110010011
210 -28 E . . . . . . . . . 111111101110010011100111001001110010011
211 -29 B . . . . . . . . . 111111001110010011100111001001110010011
212 -30 D . . . . . . . . . 111111001110010011100111001001110010011
213 -31 E . . . . . . . . . 111101001110010011100111001001110010011
214 -32 B . . . . . . . . . 111001001110010011100111001001110010011
215 -33 D . . . . . . . . . 111001001110010011100111001001110010011
216 -34 E . . . . . . . . . 101001001110010011100111001001110010011
217 -35 B . . . . . . . . .0001001001110010011100111001001110010011
218 -34 C . . . . . . . . .1001001001110010011100111001001110010011
219 -33 A . . . . . . . . .1101001001110010011100111001001110010011
220 -34 B . . . . . . . . .1111001001110010011100111001001110010011
221 -35 D . . . . . . . . .1111001001110010011100111001001110010011
222 -36 E . . . . . . . . 00111001001110010011100111001001110010011
223 -37 C . . . . . . . .010111001001110010011100111001001110010011
224 -36 A . . . . . . . .110111001001110010011100111001001110010011
+ 226 -38 A . . . . . . . 0110111001001110010011100111001001110010011 by A/1 * 2
227 -39 B . . . . . . .01110111001001110010011100111001001110010011
228 -38 C . . . . . . .11110111001001110010011100111001001110010011
+ 231 -35 C . . . . . . .11110111001001110010011100111001001110010011 by C/1 * 3
232 -34 A . . . . . . .11111111001001110010011100111001001110010011
+ 238 -40 A . . . . . . 011111111001001110010011100111001001110010011 by A/1 * 6
239 -41 B . . . . . .0111111111001001110010011100111001001110010011
240 -40 C . . . . . .1111111111001001110010011100111001001110010011
+ 249 -31 C . . . . . .1111111111001001110010011100111001001110010011 by C/1 * 9
250 -30 A . . . . . .1111111111101001110010011100111001001110010011
251 -31 B . . . . . .1111111111111001110010011100111001001110010011
252 -32 D . . . . . .1111111111111001110010011100111001001110010011
253 -33 E . . . . . .1111111110111001110010011100111001001110010011
254 -34 B . . . . . .1111111100111001110010011100111001001110010011
255 -35 D . . . . . .1111111100111001110010011100111001001110010011
256 -36 E . . . . . .1111110100111001110010011100111001001110010011
257 -37 B . . . . . .1111100100111001110010011100111001001110010011
258 -38 D . . . . . .1111100100111001110010011100111001001110010011
259 -39 E . . . . . .1110100100111001110010011100111001001110010011
260 -40 B . . . . . .1100100100111001110010011100111001001110010011
261 -41 D . . . . . .1100100100111001110010011100111001001110010011
262 -42 E . . . . . 00100100100111001110010011100111001001110010011
263 -43 C . . . . .010100100100111001110010011100111001001110010011
264 -42 A . . . . .110100100100111001110010011100111001001110010011
+ 266 -44 A . . . . 0110100100100111001110010011100111001001110010011 by A/1 * 2
267 -45 B . . . .01110100100100111001110010011100111001001110010011
268 -44 C . . . .11110100100100111001110010011100111001001110010011
+ 271 -41 C . . . .11110100100100111001110010011100111001001110010011 by C/1 * 3
272 -40 A . . . .11111100100100111001110010011100111001001110010011
+ 278 -46 A . . . 011111100100100111001110010011100111001001110010011 by A/1 * 6
279 -47 B . . .0111111100100100111001110010011100111001001110010011
280 -46 C . . .1111111100100100111001110010011100111001001110010011
+ 287 -39 C . . .1111111100100100111001110010011100111001001110010011 by C/1 * 7
288 -38 A . . .1111111110100100111001110010011100111001001110010011
289 -39 B . . .1111111111100100111001110010011100111001001110010011
290 -40 D . . .1111111111100100111001110010011100111001001110010011
291 -41 E . . .1111111011100100111001110010011100111001001110010011
292 -42 B . . .1111110011100100111001110010011100111001001110010011
293 -43 D . . .1111110011100100111001110010011100111001001110010011
294 -44 E . . .1111010011100100111001110010011100111001001110010011
295 -45 B . . .1110010011100100111001110010011100111001001110010011
296 -46 D . . .1110010011100100111001110010011100111001001110010011
297 -47 E . . .1010010011100100111001110010011100111001001110010011
298 -48 B . . 00010010011100100111001110010011100111001001110010011
299 -47 C . . 10010010011100100111001110010011100111001001110010011
300 -46 A . . 11010010011100100111001110010011100111001001110010011
301 -47 B . . 11110010011100100111001110010011100111001001110010011
302 -48 D . . 11110010011100100111001110010011100111001001110010011
303 -49 E . .001110010011100100111001110010011100111001001110010011
304 -50 C . 0101110010011100100111001110010011100111001001110010011
305 -49 A . 1101110010011100100111001110010011100111001001110010011
+ 307 -51 A .01101110010011100100111001110010011100111001001110010011 by A/1 * 2
308 -52 B 011101110010011100100111001110010011100111001001110010011
After 308 steps (201 lines): state = B.
Produced 31 ones.
Tape index -52, scanned [-51 .. 4].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 87 | 29 | 58 | 0 | 15 |
| B | 51 | 20 | 31 | 1 | 5 |
| C | 108 | 28 | 80 | 3 | 2 |
| D | 31 | 31 | 6 | ||
| E | 31 | 8 | 23 | 13 | 7 |