Comment: This TM produces >1.1*10^49 ones in >3.2*10^98 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | C0L | 1 | right | B | 0 | left | C |
| B | A1L | D1L | 1 | left | A | 1 | left | D |
| C | D1R | C0R | 1 | right | D | 0 | right | C |
| D | B0L | E0R | 0 | left | B | 0 | right | E |
| E | C1R | F1L | 1 | right | C | 1 | left | F |
| F | E1L | Z1R | 1 | left | E | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as bck-4-macro machine.
The same TM as bck-4-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing BCK machine.
Pushing macro factor 4.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 6 -2 <D(1) 0100
2 18 0 1001 (0)E> 0100
3 26 -2 1001 <B(0) 1010
4 30 -6 <C(0) 10102
5 40 -10 <E(1) 10103
6 42 -8 0001 (0)C> 10103
7 46 -4 0001 0010 (1)C> 10102
8 54 4 0001 0010 10102 (1)C>
9 60 2 0001 0010 10102 <E(1) 1000
10 62 4 0001 0010 1010 1011 (0)C> 1000
11 68 2 0001 0010 1010 1011 <A(1) 0100
12 72 4 0001 0010 1010 1001 (0)E> 0100
13 80 2 0001 0010 1010 1001 <B(0) 1010
14 84 -2 0001 0010 1010 <C(0) 10102
15 94 0 0001 0010 1100 (1)D> 10102
16 102 8 0001 0010 1100 10102 (1)D>
17 104 6 0001 0010 1100 10102 <D(1)
18 112 -2 0001 0010 1100 <D(1) 01012
19 120 0 0001 0010 0101 (0)C> 01012
20 128 8 0001 0010 01013 (0)C>
21 132 6 0001 0010 01013 <B(0) 1000
22 144 -6 0001 0010 <B(0) 10103 1000
23 150 -10 0001 <B(0) 10104 1000
24 158 -14 <E(1) 10105 1000
25 160 -12 0001 (0)C> 10105 1000
26 164 -8 0001 0010 (1)C> 10104 1000
27 180 8 0001 0010 10104 (1)C> 1000
28 186 6 0001 0010 10104 <D(1) 0100
29 202 -10 0001 0010 <D(1) 01014 0100
30 206 -14 0001 <A(1) 01015 0100
31 212 -18 <A(1) 01016 0100
32 220 -16 0010 (0)C> 01016 0100
33 244 8 0010 01016 (0)C> 0100
34 248 12 0010 01017 (1)D>
35 250 10 0010 01017 <D(1)
36 256 12 0010 01016 0110 (0)C>
37 260 10 0010 01016 0110 <B(0) 1000
38 266 12 0010 01016 0010 (1)C> 1000
39 272 10 0010 01016 0010 <D(1) 0100
40 276 6 0010 01016 <A(1) 0101 0100
41 288 8 0010 01015 1001 (0)E> 0101 0100
42 292 12 0010 01015 1001 0101 (0)E> 0100
43 300 10 0010 01015 1001 0101 <B(0) 1010
44 304 6 0010 01015 1001 <B(0) 10102
45 308 2 0010 01015 <C(0) 10103
46 310 4 0010 01014 0100 (1)D> 10103
47 322 16 0010 01014 0100 10103 (1)D>
48 324 14 0010 01014 0100 10103 <D(1)
49 336 2 0010 01014 0100 <D(1) 01013
50 342 -2 0010 01014 <D(1) 01014
51 348 0 0010 01013 0110 (0)C> 01014
52 364 16 0010 01013 0110 01014 (0)C>
53 368 14 0010 01013 0110 01014 <B(0) 1000
54 384 -2 0010 01013 0110 <B(0) 10104 1000
55 390 0 0010 01013 0010 (1)C> 10104 1000
56 406 16 0010 01013 0010 10104 (1)C> 1000
57 412 14 0010 01013 0010 10104 <D(1) 0100
58 428 -2 0010 01013 0010 <D(1) 01014 0100
59 432 -6 0010 01013 <A(1) 01015 0100
60 444 -4 0010 01012 1001 (0)E> 01015 0100
61 464 16 0010 01012 1001 01015 (0)E> 0100
62 472 14 0010 01012 1001 01015 <B(0) 1010
63 492 -6 0010 01012 1001 <B(0) 10106
64 496 -10 0010 01012 <C(0) 10107
65 498 -8 0010 0101 0100 (1)D> 10107
66 526 20 0010 0101 0100 10107 (1)D>
67 528 18 0010 0101 0100 10107 <D(1)
68 556 -10 0010 0101 0100 <D(1) 01017
69 562 -14 0010 0101 <D(1) 01018
70 568 -12 0010 0110 (0)C> 01018
71 600 20 0010 0110 01018 (0)C>
72 604 18 0010 0110 01018 <B(0) 1000
73 636 -14 0010 0110 <B(0) 10108 1000
74 642 -12 00102 (1)C> 10108 1000
75 674 20 00102 10108 (1)C> 1000
76 680 18 00102 10108 <D(1) 0100
77 712 -14 00102 <D(1) 01018 0100
78 716 -18 0010 <A(1) 01019 0100
79 728 -16 1000 (0)C> 01019 0100
80 764 20 1000 01019 (0)C> 0100
81 768 24 1000 010110 (1)D>
82 770 22 1000 010110 <D(1)
83 776 24 1000 01019 0110 (0)C>
84 780 22 1000 01019 0110 <B(0) 1000
85 786 24 1000 01019 0010 (1)C> 1000
86 792 22 1000 01019 0010 <D(1) 0100
87 796 18 1000 01019 <A(1) 0101 0100
88 808 20 1000 01018 1001 (0)E> 0101 0100
89 812 24 1000 01018 1001 0101 (0)E> 0100
90 820 22 1000 01018 1001 0101 <B(0) 1010
91 824 18 1000 01018 1001 <B(0) 10102
92 828 14 1000 01018 <C(0) 10103
93 830 16 1000 01017 0100 (1)D> 10103
94 842 28 1000 01017 0100 10103 (1)D>
95 844 26 1000 01017 0100 10103 <D(1)
96 856 14 1000 01017 0100 <D(1) 01013
97 862 10 1000 01017 <D(1) 01014
98 868 12 1000 01016 0110 (0)C> 01014
99 884 28 1000 01016 0110 01014 (0)C>
100 888 26 1000 01016 0110 01014 <B(0) 1000
101 904 10 1000 01016 0110 <B(0) 10104 1000
102 910 12 1000 01016 0010 (1)C> 10104 1000
103 926 28 1000 01016 0010 10104 (1)C> 1000
104 932 26 1000 01016 0010 10104 <D(1) 0100
105 948 10 1000 01016 0010 <D(1) 01014 0100
106 952 6 1000 01016 <A(1) 01015 0100
107 964 8 1000 01015 1001 (0)E> 01015 0100
108 984 28 1000 01015 1001 01015 (0)E> 0100
109 992 26 1000 01015 1001 01015 <B(0) 1010
110 1012 6 1000 01015 1001 <B(0) 10106
111 1016 2 1000 01015 <C(0) 10107
112 1018 4 1000 01014 0100 (1)D> 10107
113 1046 32 1000 01014 0100 10107 (1)D>
114 1048 30 1000 01014 0100 10107 <D(1)
115 1076 2 1000 01014 0100 <D(1) 01017
116 1082 -2 1000 01014 <D(1) 01018
117 1088 0 1000 01013 0110 (0)C> 01018
118 1120 32 1000 01013 0110 01018 (0)C>
119 1124 30 1000 01013 0110 01018 <B(0) 1000
120 1156 -2 1000 01013 0110 <B(0) 10108 1000
121 1162 0 1000 01013 0010 (1)C> 10108 1000
122 1194 32 1000 01013 0010 10108 (1)C> 1000
123 1200 30 1000 01013 0010 10108 <D(1) 0100
124 1232 -2 1000 01013 0010 <D(1) 01018 0100
125 1236 -6 1000 01013 <A(1) 01019 0100
126 1248 -4 1000 01012 1001 (0)E> 01019 0100
127 1284 32 1000 01012 1001 01019 (0)E> 0100
128 1292 30 1000 01012 1001 01019 <B(0) 1010
129 1328 -6 1000 01012 1001 <B(0) 101010
130 1332 -10 1000 01012 <C(0) 101011
131 1334 -8 1000 0101 0100 (1)D> 101011
132 1378 36 1000 0101 0100 101011 (1)D>
133 1380 34 1000 0101 0100 101011 <D(1)
134 1424 -10 1000 0101 0100 <D(1) 010111
135 1430 -14 1000 0101 <D(1) 010112
136 1436 -12 1000 0110 (0)C> 010112
137 1484 36 1000 0110 010112 (0)C>
138 1488 34 1000 0110 010112 <B(0) 1000
139 1536 -14 1000 0110 <B(0) 101012 1000
140 1542 -12 1000 0010 (1)C> 101012 1000
141 1590 36 1000 0010 101012 (1)C> 1000
142 1596 34 1000 0010 101012 <D(1) 0100
143 1644 -14 1000 0010 <D(1) 010112 0100
144 1648 -18 1000 <A(1) 010113 0100
145 1656 -16 1010 (0)C> 010113 0100
146 1708 36 1010 010113 (0)C> 0100
147 1712 40 1010 010114 (1)D>
148 1714 38 1010 010114 <D(1)
149 1720 40 1010 010113 0110 (0)C>
150 1724 38 1010 010113 0110 <B(0) 1000
151 1730 40 1010 010113 0010 (1)C> 1000
152 1736 38 1010 010113 0010 <D(1) 0100
153 1740 34 1010 010113 <A(1) 0101 0100
154 1752 36 1010 010112 1001 (0)E> 0101 0100
155 1756 40 1010 010112 1001 0101 (0)E> 0100
156 1764 38 1010 010112 1001 0101 <B(0) 1010
157 1768 34 1010 010112 1001 <B(0) 10102
158 1772 30 1010 010112 <C(0) 10103
159 1774 32 1010 010111 0100 (1)D> 10103
160 1786 44 1010 010111 0100 10103 (1)D>
161 1788 42 1010 010111 0100 10103 <D(1)
162 1800 30 1010 010111 0100 <D(1) 01013
163 1806 26 1010 010111 <D(1) 01014
164 1812 28 1010 010110 0110 (0)C> 01014
165 1828 44 1010 010110 0110 01014 (0)C>
166 1832 42 1010 010110 0110 01014 <B(0) 1000
167 1848 26 1010 010110 0110 <B(0) 10104 1000
168 1854 28 1010 010110 0010 (1)C> 10104 1000
169 1870 44 1010 010110 0010 10104 (1)C> 1000
170 1876 42 1010 010110 0010 10104 <D(1) 0100
171 1892 26 1010 010110 0010 <D(1) 01014 0100
172 1896 22 1010 010110 <A(1) 01015 0100
173 1908 24 1010 01019 1001 (0)E> 01015 0100
174 1928 44 1010 01019 1001 01015 (0)E> 0100
175 1936 42 1010 01019 1001 01015 <B(0) 1010
176 1956 22 1010 01019 1001 <B(0) 10106
177 1960 18 1010 01019 <C(0) 10107
178 1962 20 1010 01018 0100 (1)D> 10107
179 1990 48 1010 01018 0100 10107 (1)D>
180 1992 46 1010 01018 0100 10107 <D(1)
181 2020 18 1010 01018 0100 <D(1) 01017
182 2026 14 1010 01018 <D(1) 01018
183 2032 16 1010 01017 0110 (0)C> 01018
184 2064 48 1010 01017 0110 01018 (0)C>
185 2068 46 1010 01017 0110 01018 <B(0) 1000
186 2100 14 1010 01017 0110 <B(0) 10108 1000
187 2106 16 1010 01017 0010 (1)C> 10108 1000
188 2138 48 1010 01017 0010 10108 (1)C> 1000
189 2144 46 1010 01017 0010 10108 <D(1) 0100
190 2176 14 1010 01017 0010 <D(1) 01018 0100
191 2180 10 1010 01017 <A(1) 01019 0100
192 2192 12 1010 01016 1001 (0)E> 01019 0100
193 2228 48 1010 01016 1001 01019 (0)E> 0100
194 2236 46 1010 01016 1001 01019 <B(0) 1010
195 2272 10 1010 01016 1001 <B(0) 101010
196 2276 6 1010 01016 <C(0) 101011
197 2278 8 1010 01015 0100 (1)D> 101011
198 2322 52 1010 01015 0100 101011 (1)D>
199 2324 50 1010 01015 0100 101011 <D(1)
200 2368 6 1010 01015 0100 <D(1) 010111
201 2374 2 1010 01015 <D(1) 010112
202 2380 4 1010 01014 0110 (0)C> 010112
203 2428 52 1010 01014 0110 010112 (0)C>
204 2432 50 1010 01014 0110 010112 <B(0) 1000
205 2480 2 1010 01014 0110 <B(0) 101012 1000
206 2486 4 1010 01014 0010 (1)C> 101012 1000
207 2534 52 1010 01014 0010 101012 (1)C> 1000
208 2540 50 1010 01014 0010 101012 <D(1) 0100
209 2588 2 1010 01014 0010 <D(1) 010112 0100
210 2592 -2 1010 01014 <A(1) 010113 0100
211 2604 0 1010 01013 1001 (0)E> 010113 0100
212 2656 52 1010 01013 1001 010113 (0)E> 0100
213 2664 50 1010 01013 1001 010113 <B(0) 1010
214 2716 -2 1010 01013 1001 <B(0) 101014
215 2720 -6 1010 01013 <C(0) 101015
216 2722 -4 1010 01012 0100 (1)D> 101015
217 2782 56 1010 01012 0100 101015 (1)D>
218 2784 54 1010 01012 0100 101015 <D(1)
219 2844 -6 1010 01012 0100 <D(1) 010115
220 2850 -10 1010 01012 <D(1) 010116
221 2856 -8 1010 0101 0110 (0)C> 010116
222 2920 56 1010 0101 0110 010116 (0)C>
223 2924 54 1010 0101 0110 010116 <B(0) 1000
224 2988 -10 1010 0101 0110 <B(0) 101016 1000
225 2994 -8 1010 0101 0010 (1)C> 101016 1000
226 3058 56 1010 0101 0010 101016 (1)C> 1000
227 3064 54 1010 0101 0010 101016 <D(1) 0100
228 3128 -10 1010 0101 0010 <D(1) 010116 0100
229 3132 -14 1010 0101 <A(1) 010117 0100
230 3144 -12 1010 1001 (0)E> 010117 0100
231 3212 56 1010 1001 010117 (0)E> 0100
232 3220 54 1010 1001 010117 <B(0) 1010
233 3288 -14 1010 1001 <B(0) 101018
234 3292 -18 1010 <C(0) 101019
235 3302 -16 1100 (1)D> 101019
236 3378 60 1100 101019 (1)D>
237 3380 58 1100 101019 <D(1)
238 3456 -18 1100 <D(1) 010119
239 3464 -16 0101 (0)C> 010119
240 3540 60 010120 (0)C>
241 3544 58 010120 <B(0) 1000
242 3624 -22 <B(0) 101020 1000
243 3634 -20 0100 (1)D> 101020 1000
244 3714 60 0100 101020 (1)D> 1000
245 3726 64 0100 101020 1100 (1)D>
246 3728 62 0100 101020 1100 <D(1)
247 3736 64 0100 101020 0101 (0)C>
248 3740 62 0100 101020 0101 <B(0) 1000
249 3744 58 0100 101020 <B(0) 1010 1000
250 3752 54 0100 101019 <E(1) 10102 1000
251 3754 56 0100 101018 1011 (0)C> 10102 1000
252 3758 60 0100 101018 1011 0010 (1)C> 1010 1000
253 3762 64 0100 101018 1011 0010 1010 (1)C> 1000
254 3768 62 0100 101018 1011 0010 1010 <D(1) 0100
255 3772 58 0100 101018 1011 0010 <D(1) 0101 0100
256 3776 54 0100 101018 1011 <A(1) 01012 0100
257 3780 56 0100 101018 1001 (0)E> 01012 0100
258 3788 64 0100 101018 1001 01012 (0)E> 0100
259 3796 62 0100 101018 1001 01012 <B(0) 1010
260 3804 54 0100 101018 1001 <B(0) 10103
261 3808 50 0100 101018 <C(0) 10104
262 3818 52 0100 101017 1100 (1)D> 10104
263 3834 68 0100 101017 1100 10104 (1)D>
264 3836 66 0100 101017 1100 10104 <D(1)
265 3852 50 0100 101017 1100 <D(1) 01014
266 3860 52 0100 101017 0101 (0)C> 01014
267 3876 68 0100 101017 01015 (0)C>
268 3880 66 0100 101017 01015 <B(0) 1000
269 3900 46 0100 101017 <B(0) 10105 1000
270 3908 42 0100 101016 <E(1) 10106 1000
271 3910 44 0100 101015 1011 (0)C> 10106 1000
272 3914 48 0100 101015 1011 0010 (1)C> 10105 1000
273 3934 68 0100 101015 1011 0010 10105 (1)C> 1000
274 3940 66 0100 101015 1011 0010 10105 <D(1) 0100
275 3960 46 0100 101015 1011 0010 <D(1) 01015 0100
276 3964 42 0100 101015 1011 <A(1) 01016 0100
277 3968 44 0100 101015 1001 (0)E> 01016 0100
278 3992 68 0100 101015 1001 01016 (0)E> 0100
279 4000 66 0100 101015 1001 01016 <B(0) 1010
280 4024 42 0100 101015 1001 <B(0) 10107
281 4028 38 0100 101015 <C(0) 10108
282 4038 40 0100 101014 1100 (1)D> 10108
283 4070 72 0100 101014 1100 10108 (1)D>
284 4072 70 0100 101014 1100 10108 <D(1)
285 4104 38 0100 101014 1100 <D(1) 01018
286 4112 40 0100 101014 0101 (0)C> 01018
287 4144 72 0100 101014 01019 (0)C>
288 4148 70 0100 101014 01019 <B(0) 1000
289 4184 34 0100 101014 <B(0) 10109 1000
290 4192 30 0100 101013 <E(1) 101010 1000
291 4194 32 0100 101012 1011 (0)C> 101010 1000
292 4198 36 0100 101012 1011 0010 (1)C> 10109 1000
293 4234 72 0100 101012 1011 0010 10109 (1)C> 1000
294 4240 70 0100 101012 1011 0010 10109 <D(1) 0100
295 4276 34 0100 101012 1011 0010 <D(1) 01019 0100
296 4280 30 0100 101012 1011 <A(1) 010110 0100
297 4284 32 0100 101012 1001 (0)E> 010110 0100
298 4324 72 0100 101012 1001 010110 (0)E> 0100
299 4332 70 0100 101012 1001 010110 <B(0) 1010
300 4372 30 0100 101012 1001 <B(0) 101011
301 4376 26 0100 101012 <C(0) 101012
302 4386 28 0100 101011 1100 (1)D> 101012
303 4434 76 0100 101011 1100 101012 (1)D>
304 4436 74 0100 101011 1100 101012 <D(1)
305 4484 26 0100 101011 1100 <D(1) 010112
306 4492 28 0100 101011 0101 (0)C> 010112
307 4540 76 0100 101011 010113 (0)C>
308 4544 74 0100 101011 010113 <B(0) 1000
309 4596 22 0100 101011 <B(0) 101013 1000
310 4604 18 0100 101010 <E(1) 101014 1000
311 4606 20 0100 10109 1011 (0)C> 101014 1000
312 4610 24 0100 10109 1011 0010 (1)C> 101013 1000
313 4662 76 0100 10109 1011 0010 101013 (1)C> 1000
314 4668 74 0100 10109 1011 0010 101013 <D(1) 0100
315 4720 22 0100 10109 1011 0010 <D(1) 010113 0100
316 4724 18 0100 10109 1011 <A(1) 010114 0100
317 4728 20 0100 10109 1001 (0)E> 010114 0100
318 4784 76 0100 10109 1001 010114 (0)E> 0100
319 4792 74 0100 10109 1001 010114 <B(0) 1010
320 4848 18 0100 10109 1001 <B(0) 101015
321 4852 14 0100 10109 <C(0) 101016
322 4862 16 0100 10108 1100 (1)D> 101016
323 4926 80 0100 10108 1100 101016 (1)D>
324 4928 78 0100 10108 1100 101016 <D(1)
325 4992 14 0100 10108 1100 <D(1) 010116
326 5000 16 0100 10108 0101 (0)C> 010116
327 5064 80 0100 10108 010117 (0)C>
328 5068 78 0100 10108 010117 <B(0) 1000
329 5136 10 0100 10108 <B(0) 101017 1000
330 5144 6 0100 10107 <E(1) 101018 1000
331 5146 8 0100 10106 1011 (0)C> 101018 1000
332 5150 12 0100 10106 1011 0010 (1)C> 101017 1000
333 5218 80 0100 10106 1011 0010 101017 (1)C> 1000
334 5224 78 0100 10106 1011 0010 101017 <D(1) 0100
335 5292 10 0100 10106 1011 0010 <D(1) 010117 0100
336 5296 6 0100 10106 1011 <A(1) 010118 0100
337 5300 8 0100 10106 1001 (0)E> 010118 0100
338 5372 80 0100 10106 1001 010118 (0)E> 0100
339 5380 78 0100 10106 1001 010118 <B(0) 1010
340 5452 6 0100 10106 1001 <B(0) 101019
341 5456 2 0100 10106 <C(0) 101020
342 5466 4 0100 10105 1100 (1)D> 101020
343 5546 84 0100 10105 1100 101020 (1)D>
344 5548 82 0100 10105 1100 101020 <D(1)
345 5628 2 0100 10105 1100 <D(1) 010120
346 5636 4 0100 10105 0101 (0)C> 010120
347 5716 84 0100 10105 010121 (0)C>
348 5720 82 0100 10105 010121 <B(0) 1000
349 5804 -2 0100 10105 <B(0) 101021 1000
350 5812 -6 0100 10104 <E(1) 101022 1000
351 5814 -4 0100 10103 1011 (0)C> 101022 1000
352 5818 0 0100 10103 1011 0010 (1)C> 101021 1000
353 5902 84 0100 10103 1011 0010 101021 (1)C> 1000
354 5908 82 0100 10103 1011 0010 101021 <D(1) 0100
355 5992 -2 0100 10103 1011 0010 <D(1) 010121 0100
356 5996 -6 0100 10103 1011 <A(1) 010122 0100
357 6000 -4 0100 10103 1001 (0)E> 010122 0100
358 6088 84 0100 10103 1001 010122 (0)E> 0100
359 6096 82 0100 10103 1001 010122 <B(0) 1010
360 6184 -6 0100 10103 1001 <B(0) 101023
361 6188 -10 0100 10103 <C(0) 101024
362 6198 -8 0100 10102 1100 (1)D> 101024
363 6294 88 0100 10102 1100 101024 (1)D>
364 6296 86 0100 10102 1100 101024 <D(1)
365 6392 -10 0100 10102 1100 <D(1) 010124
366 6400 -8 0100 10102 0101 (0)C> 010124
367 6496 88 0100 10102 010125 (0)C>
368 6500 86 0100 10102 010125 <B(0) 1000
369 6600 -14 0100 10102 <B(0) 101025 1000
370 6608 -18 0100 1010 <E(1) 101026 1000
371 6610 -16 0100 1011 (0)C> 101026 1000
372 6614 -12 0100 1011 0010 (1)C> 101025 1000
373 6714 88 0100 1011 0010 101025 (1)C> 1000
374 6720 86 0100 1011 0010 101025 <D(1) 0100
375 6820 -14 0100 1011 0010 <D(1) 010125 0100
376 6824 -18 0100 1011 <A(1) 010126 0100
377 6828 -16 0100 1001 (0)E> 010126 0100
378 6932 88 0100 1001 010126 (0)E> 0100
379 6940 86 0100 1001 010126 <B(0) 1010
380 7044 -18 0100 1001 <B(0) 101027
381 7048 -22 0100 <C(0) 101028
382 7054 -26 <B(0) 101029
383 7064 -24 0100 (1)D> 101029
384 7180 92 0100 101029 (1)D>
385 7182 90 0100 101029 <D(1)
386 7298 -26 0100 <D(1) 010129
387 7304 -30 <D(1) 010130
388 7316 -28 1001 (0)E> 010130
389 7436 92 1001 010130 (0)E>
390 7452 90 1001 010130 <C(0) 1010
391 7454 92 1001 010129 0100 (1)D> 1010
392 7458 96 1001 010129 0100 1010 (1)D>
393 7460 94 1001 010129 0100 1010 <D(1)
394 7464 90 1001 010129 0100 <D(1) 0101
395 7470 86 1001 010129 <D(1) 01012
396 7476 88 1001 010128 0110 (0)C> 01012
397 7484 96 1001 010128 0110 01012 (0)C>
398 7488 94 1001 010128 0110 01012 <B(0) 1000
399 7496 86 1001 010128 0110 <B(0) 10102 1000
400 7502 88 1001 010128 0010 (1)C> 10102 1000
401 7510 96 1001 010128 0010 10102 (1)C> 1000
402 7516 94 1001 010128 0010 10102 <D(1) 0100
403 7524 86 1001 010128 0010 <D(1) 01012 0100
404 7528 82 1001 010128 <A(1) 01013 0100
405 7540 84 1001 010127 1001 (0)E> 01013 0100
406 7552 96 1001 010127 1001 01013 (0)E> 0100
407 7560 94 1001 010127 1001 01013 <B(0) 1010
408 7572 82 1001 010127 1001 <B(0) 10104
409 7576 78 1001 010127 <C(0) 10105
410 7578 80 1001 010126 0100 (1)D> 10105
411 7598 100 1001 010126 0100 10105 (1)D>
412 7600 98 1001 010126 0100 10105 <D(1)
413 7620 78 1001 010126 0100 <D(1) 01015
414 7626 74 1001 010126 <D(1) 01016
415 7632 76 1001 010125 0110 (0)C> 01016
416 7656 100 1001 010125 0110 01016 (0)C>
417 7660 98 1001 010125 0110 01016 <B(0) 1000
418 7684 74 1001 010125 0110 <B(0) 10106 1000
419 7690 76 1001 010125 0010 (1)C> 10106 1000
420 7714 100 1001 010125 0010 10106 (1)C> 1000
421 7720 98 1001 010125 0010 10106 <D(1) 0100
422 7744 74 1001 010125 0010 <D(1) 01016 0100
423 7748 70 1001 010125 <A(1) 01017 0100
424 7760 72 1001 010124 1001 (0)E> 01017 0100
425 7788 100 1001 010124 1001 01017 (0)E> 0100
426 7796 98 1001 010124 1001 01017 <B(0) 1010
427 7824 70 1001 010124 1001 <B(0) 10108
428 7828 66 1001 010124 <C(0) 10109
429 7830 68 1001 010123 0100 (1)D> 10109
430 7866 104 1001 010123 0100 10109 (1)D>
431 7868 102 1001 010123 0100 10109 <D(1)
432 7904 66 1001 010123 0100 <D(1) 01019
433 7910 62 1001 010123 <D(1) 010110
434 7916 64 1001 010122 0110 (0)C> 010110
435 7956 104 1001 010122 0110 010110 (0)C>
436 7960 102 1001 010122 0110 010110 <B(0) 1000
437 8000 62 1001 010122 0110 <B(0) 101010 1000
438 8006 64 1001 010122 0010 (1)C> 101010 1000
439 8046 104 1001 010122 0010 101010 (1)C> 1000
440 8052 102 1001 010122 0010 101010 <D(1) 0100
441 8092 62 1001 010122 0010 <D(1) 010110 0100
442 8096 58 1001 010122 <A(1) 010111 0100
443 8108 60 1001 010121 1001 (0)E> 010111 0100
444 8152 104 1001 010121 1001 010111 (0)E> 0100
445 8160 102 1001 010121 1001 010111 <B(0) 1010
446 8204 58 1001 010121 1001 <B(0) 101012
447 8208 54 1001 010121 <C(0) 101013
448 8210 56 1001 010120 0100 (1)D> 101013
449 8262 108 1001 010120 0100 101013 (1)D>
450 8264 106 1001 010120 0100 101013 <D(1)
451 8316 54 1001 010120 0100 <D(1) 010113
452 8322 50 1001 010120 <D(1) 010114
453 8328 52 1001 010119 0110 (0)C> 010114
454 8384 108 1001 010119 0110 010114 (0)C>
455 8388 106 1001 010119 0110 010114 <B(0) 1000
456 8444 50 1001 010119 0110 <B(0) 101014 1000
457 8450 52 1001 010119 0010 (1)C> 101014 1000
458 8506 108 1001 010119 0010 101014 (1)C> 1000
459 8512 106 1001 010119 0010 101014 <D(1) 0100
460 8568 50 1001 010119 0010 <D(1) 010114 0100
461 8572 46 1001 010119 <A(1) 010115 0100
462 8584 48 1001 010118 1001 (0)E> 010115 0100
463 8644 108 1001 010118 1001 010115 (0)E> 0100
464 8652 106 1001 010118 1001 010115 <B(0) 1010
465 8712 46 1001 010118 1001 <B(0) 101016
466 8716 42 1001 010118 <C(0) 101017
467 8718 44 1001 010117 0100 (1)D> 101017
468 8786 112 1001 010117 0100 101017 (1)D>
469 8788 110 1001 010117 0100 101017 <D(1)
470 8856 42 1001 010117 0100 <D(1) 010117
471 8862 38 1001 010117 <D(1) 010118
472 8868 40 1001 010116 0110 (0)C> 010118
473 8940 112 1001 010116 0110 010118 (0)C>
474 8944 110 1001 010116 0110 010118 <B(0) 1000
475 9016 38 1001 010116 0110 <B(0) 101018 1000
476 9022 40 1001 010116 0010 (1)C> 101018 1000
477 9094 112 1001 010116 0010 101018 (1)C> 1000
478 9100 110 1001 010116 0010 101018 <D(1) 0100
479 9172 38 1001 010116 0010 <D(1) 010118 0100
480 9176 34 1001 010116 <A(1) 010119 0100
481 9188 36 1001 010115 1001 (0)E> 010119 0100
482 9264 112 1001 010115 1001 010119 (0)E> 0100
483 9272 110 1001 010115 1001 010119 <B(0) 1010
484 9348 34 1001 010115 1001 <B(0) 101020
485 9352 30 1001 010115 <C(0) 101021
486 9354 32 1001 010114 0100 (1)D> 101021
487 9438 116 1001 010114 0100 101021 (1)D>
488 9440 114 1001 010114 0100 101021 <D(1)
489 9524 30 1001 010114 0100 <D(1) 010121
490 9530 26 1001 010114 <D(1) 010122
491 9536 28 1001 010113 0110 (0)C> 010122
492 9624 116 1001 010113 0110 010122 (0)C>
493 9628 114 1001 010113 0110 010122 <B(0) 1000
494 9716 26 1001 010113 0110 <B(0) 101022 1000
495 9722 28 1001 010113 0010 (1)C> 101022 1000
496 9810 116 1001 010113 0010 101022 (1)C> 1000
497 9816 114 1001 010113 0010 101022 <D(1) 0100
498 9904 26 1001 010113 0010 <D(1) 010122 0100
499 9908 22 1001 010113 <A(1) 010123 0100
500 9920 24 1001 010112 1001 (0)E> 010123 0100
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 9920
Tape index: 24
ones: 75
log10(ones ): 1.875
log10(steps ): 3.997
Input to awk program:
gohalt 1
L 20
5T B1R C0L A1L D1L D1R C0R B0L E0R C1R F1L E1L Z1R : >1.1*10^49 >3.2*10^98
T 6-state TM #n from MaBu-List
M 501
pref sim
machv mbL6_n just simple
machv mbL6_n-r with repetitions reduced
machv mbL6_n-1 with tape symbol exponents
machv mbL6_n-m as bck-4-macro machine
machv mbL6_n-a as bck-4-macro machine with pure additive config-TRs
iam mbL6_n-m
mtype 0 4
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:07 CEST 2010
edate Tue Jul 6 22:11:08 CEST 2010
bnspeed 1
Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $
$Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $
$Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $
$Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $
$Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $
$Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $
bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:11:07 CEST 2010