Comment: This TM produces >6.4*10^462 ones in >6.1*10^925 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 | B1R | B0L | 1 | right | B | 0 | left | B |
| B | C0R | B1L | 0 | right | C | 1 | left | B |
| C | D1R | A0L | 1 | right | D | 0 | left | A |
| D | E1L | F1L | 1 | left | E | 1 | left | F |
| E | A1L | D0L | 1 | left | A | 0 | left | D |
| F | Z1R | E1L | 1 | right | Z | 1 | left | E |
Simulation is done just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 3-bck-macro machine.
The same TM as 3-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . . . . . . 0
1 1 B . . . . . . . . . . . 10
2 2 C . . . . . . . . . . . 100
3 3 D . . . . . . . . . . . 1010
4 2 E . . . . . . . . . . . 1011
5 1 D . . . . . . . . . . . 1001
6 0 E . . . . . . . . . . . 1101
7 -1 D . . . . . . . . . . .00101
8 -2 E . . . . . . . . . . 010101
9 -3 A . . . . . . . . . .0110101
10 -2 B . . . . . . . . . .1110101
11 -3 B . . . . . . . . . .1110101
12 -4 B . . . . . . . . . 01110101
13 -3 C . . . . . . . . . 01110101
14 -4 A . . . . . . . . . 00110101
15 -3 B . . . . . . . . . 10110101
16 -2 C . . . . . . . . . 10110101
17 -3 A . . . . . . . . . 10010101
18 -2 B . . . . . . . . . 11010101
19 -1 C . . . . . . . . . 11010101
20 -2 A . . . . . . . . . 11000101
21 -1 B . . . . . . . . . 11100101
22 0 C . . . . . . . . . 11100101
23 1 D . . . . . . . . . 11101101
24 0 F . . . . . . . . . 11101101
25 -1 E . . . . . . . . . 11101101
26 -2 A . . . . . . . . . 11111101
27 -3 B . . . . . . . . . 11011101
28 -4 B . . . . . . . . . 11011101
29 -5 B . . . . . . . . .011011101
30 -4 C . . . . . . . . .011011101
31 -5 A . . . . . . . . .001011101
32 -4 B . . . . . . . . .101011101
33 -3 C . . . . . . . . .101011101
34 -4 A . . . . . . . . .100011101
35 -3 B . . . . . . . . .110011101
36 -2 C . . . . . . . . .110011101
37 -1 D . . . . . . . . .110111101
38 -2 F . . . . . . . . .110111101
39 -3 E . . . . . . . . .110111101
40 -4 A . . . . . . . . .111111101
41 -5 B . . . . . . . . .101111101
42 -6 B . . . . . . . . 0101111101
43 -5 C . . . . . . . . 0101111101
44 -6 A . . . . . . . . 0001111101
45 -5 B . . . . . . . . 1001111101
46 -4 C . . . . . . . . 1001111101
47 -3 D . . . . . . . . 1011111101
48 -4 F . . . . . . . . 1011111101
49 -5 E . . . . . . . . 1011111101
50 -6 A . . . . . . . . 1111111101
51 -7 B . . . . . . . .00111111101
52 -6 C . . . . . . . .00111111101
53 -5 D . . . . . . . .01111111101
54 -6 F . . . . . . . .01111111101
55 -7 E . . . . . . . .01111111101
56 -8 A . . . . . . . 011111111101
57 -7 B . . . . . . . 111111111101
58 -8 B . . . . . . . 111111111101
59 -9 B . . . . . . .0111111111101
60 -8 C . . . . . . .0111111111101
61 -9 A . . . . . . .0011111111101
62 -8 B . . . . . . .1011111111101
63 -7 C . . . . . . .1011111111101
64 -8 A . . . . . . .1001111111101
65 -7 B . . . . . . .1101111111101
66 -6 C . . . . . . .1101111111101
67 -7 A . . . . . . .1100111111101
68 -6 B . . . . . . .1110111111101
69 -5 C . . . . . . .1110111111101
70 -6 A . . . . . . .1110011111101
71 -5 B . . . . . . .1111011111101
72 -4 C . . . . . . .1111011111101
73 -5 A . . . . . . .1111001111101
74 -4 B . . . . . . .1111101111101
75 -3 C . . . . . . .1111101111101
76 -4 A . . . . . . .1111100111101
77 -3 B . . . . . . .1111110111101
78 -2 C . . . . . . .1111110111101
79 -3 A . . . . . . .1111110011101
80 -2 B . . . . . . .1111111011101
81 -1 C . . . . . . .1111111011101
82 -2 A . . . . . . .1111111001101
83 -1 B . . . . . . .1111111101101
84 0 C . . . . . . .1111111101101
85 -1 A . . . . . . .1111111100101
86 0 B . . . . . . .1111111110101
87 1 C . . . . . . .1111111110101
88 0 A . . . . . . .1111111110001
89 1 B . . . . . . .1111111111001
90 2 C . . . . . . .1111111111001
91 3 D . . . . . . .1111111111011
92 2 F . . . . . . .1111111111011
93 1 E . . . . . . .1111111111011
94 0 A . . . . . . .1111111111111
95 -1 B . . . . . . .1111111110111
96 -2 B . . . . . . .1111111110111
97 -3 B . . . . . . .1111111110111
98 -4 B . . . . . . .1111111110111
99 -5 B . . . . . . .1111111110111
100 -6 B . . . . . . .1111111110111
101 -7 B . . . . . . .1111111110111
102 -8 B . . . . . . .1111111110111
103 -9 B . . . . . . .1111111110111
104 -10 B . . . . . . 01111111110111
105 -9 C . . . . . . 01111111110111
106 -10 A . . . . . . 00111111110111
107 -9 B . . . . . . 10111111110111
108 -8 C . . . . . . 10111111110111
109 -9 A . . . . . . 10011111110111
110 -8 B . . . . . . 11011111110111
111 -7 C . . . . . . 11011111110111
112 -8 A . . . . . . 11001111110111
113 -7 B . . . . . . 11101111110111
114 -6 C . . . . . . 11101111110111
115 -7 A . . . . . . 11100111110111
116 -6 B . . . . . . 11110111110111
117 -5 C . . . . . . 11110111110111
118 -6 A . . . . . . 11110011110111
119 -5 B . . . . . . 11111011110111
120 -4 C . . . . . . 11111011110111
121 -5 A . . . . . . 11111001110111
122 -4 B . . . . . . 11111101110111
123 -3 C . . . . . . 11111101110111
124 -4 A . . . . . . 11111100110111
125 -3 B . . . . . . 11111110110111
126 -2 C . . . . . . 11111110110111
127 -3 A . . . . . . 11111110010111
128 -2 B . . . . . . 11111111010111
129 -1 C . . . . . . 11111111010111
130 -2 A . . . . . . 11111111000111
131 -1 B . . . . . . 11111111100111
132 0 C . . . . . . 11111111100111
133 1 D . . . . . . 11111111101111
134 0 F . . . . . . 11111111101111
135 -1 E . . . . . . 11111111101111
136 -2 A . . . . . . 11111111111111
137 -3 B . . . . . . 11111111011111
138 -4 B . . . . . . 11111111011111
139 -5 B . . . . . . 11111111011111
140 -6 B . . . . . . 11111111011111
141 -7 B . . . . . . 11111111011111
142 -8 B . . . . . . 11111111011111
143 -9 B . . . . . . 11111111011111
144 -10 B . . . . . . 11111111011111
145 -11 B . . . . . .011111111011111
146 -10 C . . . . . .011111111011111
147 -11 A . . . . . .001111111011111
148 -10 B . . . . . .101111111011111
149 -9 C . . . . . .101111111011111
150 -10 A . . . . . .100111111011111
151 -9 B . . . . . .110111111011111
152 -8 C . . . . . .110111111011111
153 -9 A . . . . . .110011111011111
154 -8 B . . . . . .111011111011111
155 -7 C . . . . . .111011111011111
156 -8 A . . . . . .111001111011111
157 -7 B . . . . . .111101111011111
158 -6 C . . . . . .111101111011111
159 -7 A . . . . . .111100111011111
160 -6 B . . . . . .111110111011111
161 -5 C . . . . . .111110111011111
162 -6 A . . . . . .111110011011111
163 -5 B . . . . . .111111011011111
164 -4 C . . . . . .111111011011111
165 -5 A . . . . . .111111001011111
166 -4 B . . . . . .111111101011111
167 -3 C . . . . . .111111101011111
168 -4 A . . . . . .111111100011111
169 -3 B . . . . . .111111110011111
170 -2 C . . . . . .111111110011111
171 -1 D . . . . . .111111110111111
172 -2 F . . . . . .111111110111111
173 -3 E . . . . . .111111110111111
174 -4 A . . . . . .111111111111111
175 -5 B . . . . . .111111101111111
176 -6 B . . . . . .111111101111111
177 -7 B . . . . . .111111101111111
178 -8 B . . . . . .111111101111111
179 -9 B . . . . . .111111101111111
180 -10 B . . . . . .111111101111111
181 -11 B . . . . . .111111101111111
182 -12 B . . . . . 0111111101111111
183 -11 C . . . . . 0111111101111111
184 -12 A . . . . . 0011111101111111
185 -11 B . . . . . 1011111101111111
186 -10 C . . . . . 1011111101111111
187 -11 A . . . . . 1001111101111111
188 -10 B . . . . . 1101111101111111
189 -9 C . . . . . 1101111101111111
190 -10 A . . . . . 1100111101111111
191 -9 B . . . . . 1110111101111111
192 -8 C . . . . . 1110111101111111
193 -9 A . . . . . 1110011101111111
194 -8 B . . . . . 1111011101111111
195 -7 C . . . . . 1111011101111111
196 -8 A . . . . . 1111001101111111
197 -7 B . . . . . 1111101101111111
198 -6 C . . . . . 1111101101111111
199 -7 A . . . . . 1111100101111111
200 -6 B . . . . . 1111110101111111
201 -5 C . . . . . 1111110101111111
202 -6 A . . . . . 1111110001111111
203 -5 B . . . . . 1111111001111111
204 -4 C . . . . . 1111111001111111
205 -3 D . . . . . 1111111011111111
206 -4 F . . . . . 1111111011111111
207 -5 E . . . . . 1111111011111111
208 -6 A . . . . . 1111111111111111
209 -7 B . . . . . 1111110111111111
210 -8 B . . . . . 1111110111111111
211 -9 B . . . . . 1111110111111111
212 -10 B . . . . . 1111110111111111
213 -11 B . . . . . 1111110111111111
214 -12 B . . . . . 1111110111111111
215 -13 B . . . . .01111110111111111
216 -12 C . . . . .01111110111111111
217 -13 A . . . . .00111110111111111
218 -12 B . . . . .10111110111111111
219 -11 C . . . . .10111110111111111
220 -12 A . . . . .10011110111111111
221 -11 B . . . . .11011110111111111
222 -10 C . . . . .11011110111111111
223 -11 A . . . . .11001110111111111
224 -10 B . . . . .11101110111111111
225 -9 C . . . . .11101110111111111
226 -10 A . . . . .11100110111111111
227 -9 B . . . . .11110110111111111
228 -8 C . . . . .11110110111111111
229 -9 A . . . . .11110010111111111
230 -8 B . . . . .11111010111111111
231 -7 C . . . . .11111010111111111
232 -8 A . . . . .11111000111111111
233 -7 B . . . . .11111100111111111
234 -6 C . . . . .11111100111111111
235 -5 D . . . . .11111101111111111
236 -6 F . . . . .11111101111111111
237 -7 E . . . . .11111101111111111
238 -8 A . . . . .11111111111111111
239 -9 B . . . . .11111011111111111
240 -10 B . . . . .11111011111111111
241 -11 B . . . . .11111011111111111
242 -12 B . . . . .11111011111111111
243 -13 B . . . . .11111011111111111
244 -14 B . . . . 011111011111111111
245 -13 C . . . . 011111011111111111
246 -14 A . . . . 001111011111111111
247 -13 B . . . . 101111011111111111
248 -12 C . . . . 101111011111111111
249 -13 A . . . . 100111011111111111
250 -12 B . . . . 110111011111111111
251 -11 C . . . . 110111011111111111
252 -12 A . . . . 110011011111111111
253 -11 B . . . . 111011011111111111
254 -10 C . . . . 111011011111111111
255 -11 A . . . . 111001011111111111
256 -10 B . . . . 111101011111111111
257 -9 C . . . . 111101011111111111
258 -10 A . . . . 111100011111111111
259 -9 B . . . . 111110011111111111
260 -8 C . . . . 111110011111111111
261 -7 D . . . . 111110111111111111
262 -8 F . . . . 111110111111111111
263 -9 E . . . . 111110111111111111
264 -10 A . . . . 111111111111111111
265 -11 B . . . . 111101111111111111
266 -12 B . . . . 111101111111111111
267 -13 B . . . . 111101111111111111
268 -14 B . . . . 111101111111111111
269 -15 B . . . .0111101111111111111
270 -14 C . . . .0111101111111111111
271 -15 A . . . .0011101111111111111
272 -14 B . . . .1011101111111111111
273 -13 C . . . .1011101111111111111
274 -14 A . . . .1001101111111111111
275 -13 B . . . .1101101111111111111
276 -12 C . . . .1101101111111111111
277 -13 A . . . .1100101111111111111
278 -12 B . . . .1110101111111111111
279 -11 C . . . .1110101111111111111
280 -12 A . . . .1110001111111111111
281 -11 B . . . .1111001111111111111
282 -10 C . . . .1111001111111111111
283 -9 D . . . .1111011111111111111
284 -10 F . . . .1111011111111111111
285 -11 E . . . .1111011111111111111
286 -12 A . . . .1111111111111111111
287 -13 B . . . .1110111111111111111
288 -14 B . . . .1110111111111111111
289 -15 B . . . .1110111111111111111
290 -16 B . . . 01110111111111111111
291 -15 C . . . 01110111111111111111
292 -16 A . . . 00110111111111111111
293 -15 B . . . 10110111111111111111
294 -14 C . . . 10110111111111111111
295 -15 A . . . 10010111111111111111
296 -14 B . . . 11010111111111111111
297 -13 C . . . 11010111111111111111
298 -14 A . . . 11000111111111111111
299 -13 B . . . 11100111111111111111
300 -12 C . . . 11100111111111111111
After 300 steps (301 lines): state = C.
Produced 18 ones.
Tape index -12, scanned [-16 .. 3].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 71 | 61 | 10 | 0 | 26 |
| B | 120 | 71 | 49 | 1 | 10 |
| C | 70 | 12 | 58 | 2 | 13 |
| D | 14 | 3 | 11 | 3 | 23 |
| E | 14 | 12 | 2 | 8 | 4 |
| F | 11 | 11 | 24 | ||