Comment: This TM produces >6.7*10^47 ones in >2.0*10^95 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 | D1R | 1 | left | A | 1 | right | D |
| C | A1R | E0L | 1 | right | A | 0 | left | E |
| D | A1R | B0R | 1 | right | A | 0 | right | B |
| E | F1L | C1L | 1 | left | F | 1 | left | C |
| F | D1R | Z1R | 1 | right | D | 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 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 6 2 01 (11)D>
2 8 4 01 11 (11)B>
3 11 1 01 11 <E(00) 10
4 13 -1 01 <E(01) 00 10
5 17 -3 <E(00) 01 00 10
6 24 0 11 (11)A> 01 00 10
7 26 2 112 (11)D> 00 10
8 28 4 113 (11)B> 10
9 30 6 114 (11)A>
10 35 3 114 <C(10) 01
11 43 -5 <C(10) 104 01
12 47 -7 <F(10) 00 104 01
13 52 -4 01 (11)D> 00 104 01
14 54 -2 01 11 (11)B> 104 01
15 56 0 01 112 (11)A> 103 01
16 59 -3 01 112 <C(10) 00 102 01
17 63 -7 01 <C(10) 102 00 102 01
18 65 -9 <F(10) 103 00 102 01
19 70 -6 01 (11)D> 103 00 102 01
20 82 0 01 113 (11)D> 00 102 01
21 84 2 01 114 (11)B> 102 01
22 86 4 01 115 (11)A> 10 01
23 89 1 01 115 <C(10) 00 01
24 99 -9 01 <C(10) 105 00 01
25 101 -11 <F(10) 106 00 01
26 106 -8 01 (11)D> 106 00 01
27 130 4 01 116 (11)D> 00 01
28 132 6 01 117 (11)B> 01
29 135 3 01 117 <E(00) 11
30 137 1 01 116 <E(01) 00 11
31 149 -11 01 <E(01) 016 00 11
32 153 -13 <E(00) 017 00 11
33 160 -10 11 (11)A> 017 00 11
34 162 -8 112 (11)D> 016 00 11
35 167 -11 112 <E(01) 00 015 00 11
36 171 -15 <E(01) 012 00 015 00 11
37 178 -12 11 (10)B> 012 00 015 00 11
38 186 -8 113 (10)B> 00 015 00 11
39 190 -6 114 (11)A> 015 00 11
40 192 -4 115 (11)D> 014 00 11
41 197 -7 115 <E(01) 00 013 00 11
42 207 -17 <E(01) 015 00 013 00 11
43 214 -14 11 (10)B> 015 00 013 00 11
44 234 -4 116 (10)B> 00 013 00 11
45 238 -2 117 (11)A> 013 00 11
46 240 0 118 (11)D> 012 00 11
47 245 -3 118 <E(01) 00 01 00 11
48 261 -19 <E(01) 018 00 01 00 11
49 268 -16 11 (10)B> 018 00 01 00 11
50 300 0 119 (10)B> 00 01 00 11
51 304 2 1110 (11)A> 01 00 11
52 306 4 1111 (11)D> 00 11
53 308 6 1112 (11)B> 11
54 310 8 1113 (10)B>
55 314 10 1114 (11)A>
56 319 7 1114 <C(10) 01
57 347 -21 <C(10) 1014 01
58 351 -23 <F(10) 00 1014 01
59 356 -20 01 (11)D> 00 1014 01
60 358 -18 01 11 (11)B> 1014 01
61 360 -16 01 112 (11)A> 1013 01
62 363 -19 01 112 <C(10) 00 1012 01
63 367 -23 01 <C(10) 102 00 1012 01
64 369 -25 <F(10) 103 00 1012 01
65 374 -22 01 (11)D> 103 00 1012 01
66 386 -16 01 113 (11)D> 00 1012 01
67 388 -14 01 114 (11)B> 1012 01
68 390 -12 01 115 (11)A> 1011 01
69 393 -15 01 115 <C(10) 00 1010 01
70 403 -25 01 <C(10) 105 00 1010 01
71 405 -27 <F(10) 106 00 1010 01
72 410 -24 01 (11)D> 106 00 1010 01
73 434 -12 01 116 (11)D> 00 1010 01
74 436 -10 01 117 (11)B> 1010 01
75 438 -8 01 118 (11)A> 109 01
76 441 -11 01 118 <C(10) 00 108 01
77 457 -27 01 <C(10) 108 00 108 01
78 459 -29 <F(10) 109 00 108 01
79 464 -26 01 (11)D> 109 00 108 01
80 500 -8 01 119 (11)D> 00 108 01
81 502 -6 01 1110 (11)B> 108 01
82 504 -4 01 1111 (11)A> 107 01
83 507 -7 01 1111 <C(10) 00 106 01
84 529 -29 01 <C(10) 1011 00 106 01
85 531 -31 <F(10) 1012 00 106 01
86 536 -28 01 (11)D> 1012 00 106 01
87 584 -4 01 1112 (11)D> 00 106 01
88 586 -2 01 1113 (11)B> 106 01
89 588 0 01 1114 (11)A> 105 01
90 591 -3 01 1114 <C(10) 00 104 01
91 619 -31 01 <C(10) 1014 00 104 01
92 621 -33 <F(10) 1015 00 104 01
93 626 -30 01 (11)D> 1015 00 104 01
94 686 0 01 1115 (11)D> 00 104 01
95 688 2 01 1116 (11)B> 104 01
96 690 4 01 1117 (11)A> 103 01
97 693 1 01 1117 <C(10) 00 102 01
98 727 -33 01 <C(10) 1017 00 102 01
99 729 -35 <F(10) 1018 00 102 01
100 734 -32 01 (11)D> 1018 00 102 01
101 806 4 01 1118 (11)D> 00 102 01
102 808 6 01 1119 (11)B> 102 01
103 810 8 01 1120 (11)A> 10 01
104 813 5 01 1120 <C(10) 00 01
105 853 -35 01 <C(10) 1020 00 01
106 855 -37 <F(10) 1021 00 01
107 860 -34 01 (11)D> 1021 00 01
108 944 8 01 1121 (11)D> 00 01
109 946 10 01 1122 (11)B> 01
110 949 7 01 1122 <E(00) 11
111 951 5 01 1121 <E(01) 00 11
112 993 -37 01 <E(01) 0121 00 11
113 997 -39 <E(00) 0122 00 11
114 1004 -36 11 (11)A> 0122 00 11
115 1006 -34 112 (11)D> 0121 00 11
116 1011 -37 112 <E(01) 00 0120 00 11
117 1015 -41 <E(01) 012 00 0120 00 11
118 1022 -38 11 (10)B> 012 00 0120 00 11
119 1030 -34 113 (10)B> 00 0120 00 11
120 1034 -32 114 (11)A> 0120 00 11
121 1036 -30 115 (11)D> 0119 00 11
122 1041 -33 115 <E(01) 00 0118 00 11
123 1051 -43 <E(01) 015 00 0118 00 11
124 1058 -40 11 (10)B> 015 00 0118 00 11
125 1078 -30 116 (10)B> 00 0118 00 11
126 1082 -28 117 (11)A> 0118 00 11
127 1084 -26 118 (11)D> 0117 00 11
128 1089 -29 118 <E(01) 00 0116 00 11
129 1105 -45 <E(01) 018 00 0116 00 11
130 1112 -42 11 (10)B> 018 00 0116 00 11
131 1144 -26 119 (10)B> 00 0116 00 11
132 1148 -24 1110 (11)A> 0116 00 11
133 1150 -22 1111 (11)D> 0115 00 11
134 1155 -25 1111 <E(01) 00 0114 00 11
135 1177 -47 <E(01) 0111 00 0114 00 11
136 1184 -44 11 (10)B> 0111 00 0114 00 11
137 1228 -22 1112 (10)B> 00 0114 00 11
138 1232 -20 1113 (11)A> 0114 00 11
139 1234 -18 1114 (11)D> 0113 00 11
140 1239 -21 1114 <E(01) 00 0112 00 11
141 1267 -49 <E(01) 0114 00 0112 00 11
142 1274 -46 11 (10)B> 0114 00 0112 00 11
143 1330 -18 1115 (10)B> 00 0112 00 11
144 1334 -16 1116 (11)A> 0112 00 11
145 1336 -14 1117 (11)D> 0111 00 11
146 1341 -17 1117 <E(01) 00 0110 00 11
147 1375 -51 <E(01) 0117 00 0110 00 11
148 1382 -48 11 (10)B> 0117 00 0110 00 11
149 1450 -14 1118 (10)B> 00 0110 00 11
150 1454 -12 1119 (11)A> 0110 00 11
151 1456 -10 1120 (11)D> 019 00 11
152 1461 -13 1120 <E(01) 00 018 00 11
153 1501 -53 <E(01) 0120 00 018 00 11
154 1508 -50 11 (10)B> 0120 00 018 00 11
155 1588 -10 1121 (10)B> 00 018 00 11
156 1592 -8 1122 (11)A> 018 00 11
157 1594 -6 1123 (11)D> 017 00 11
158 1599 -9 1123 <E(01) 00 016 00 11
159 1645 -55 <E(01) 0123 00 016 00 11
160 1652 -52 11 (10)B> 0123 00 016 00 11
161 1744 -6 1124 (10)B> 00 016 00 11
162 1748 -4 1125 (11)A> 016 00 11
163 1750 -2 1126 (11)D> 015 00 11
164 1755 -5 1126 <E(01) 00 014 00 11
165 1807 -57 <E(01) 0126 00 014 00 11
166 1814 -54 11 (10)B> 0126 00 014 00 11
167 1918 -2 1127 (10)B> 00 014 00 11
168 1922 0 1128 (11)A> 014 00 11
169 1924 2 1129 (11)D> 013 00 11
170 1929 -1 1129 <E(01) 00 012 00 11
171 1987 -59 <E(01) 0129 00 012 00 11
172 1994 -56 11 (10)B> 0129 00 012 00 11
173 2110 2 1130 (10)B> 00 012 00 11
174 2114 4 1131 (11)A> 012 00 11
175 2116 6 1132 (11)D> 01 00 11
176 2121 3 1132 <E(01) 002 11
177 2185 -61 <E(01) 0132 002 11
178 2192 -58 11 (10)B> 0132 002 11
179 2320 6 1133 (10)B> 002 11
180 2324 8 1134 (11)A> 00 11
181 2329 5 1134 <C(10) 01 11
182 2397 -63 <C(10) 1034 01 11
183 2401 -65 <F(10) 00 1034 01 11
184 2406 -62 01 (11)D> 00 1034 01 11
185 2408 -60 01 11 (11)B> 1034 01 11
186 2410 -58 01 112 (11)A> 1033 01 11
187 2413 -61 01 112 <C(10) 00 1032 01 11
188 2417 -65 01 <C(10) 102 00 1032 01 11
189 2419 -67 <F(10) 103 00 1032 01 11
190 2424 -64 01 (11)D> 103 00 1032 01 11
191 2436 -58 01 113 (11)D> 00 1032 01 11
192 2438 -56 01 114 (11)B> 1032 01 11
193 2440 -54 01 115 (11)A> 1031 01 11
194 2443 -57 01 115 <C(10) 00 1030 01 11
195 2453 -67 01 <C(10) 105 00 1030 01 11
196 2455 -69 <F(10) 106 00 1030 01 11
197 2460 -66 01 (11)D> 106 00 1030 01 11
198 2484 -54 01 116 (11)D> 00 1030 01 11
199 2486 -52 01 117 (11)B> 1030 01 11
200 2488 -50 01 118 (11)A> 1029 01 11
201 2491 -53 01 118 <C(10) 00 1028 01 11
202 2507 -69 01 <C(10) 108 00 1028 01 11
203 2509 -71 <F(10) 109 00 1028 01 11
204 2514 -68 01 (11)D> 109 00 1028 01 11
205 2550 -50 01 119 (11)D> 00 1028 01 11
206 2552 -48 01 1110 (11)B> 1028 01 11
207 2554 -46 01 1111 (11)A> 1027 01 11
208 2557 -49 01 1111 <C(10) 00 1026 01 11
209 2579 -71 01 <C(10) 1011 00 1026 01 11
210 2581 -73 <F(10) 1012 00 1026 01 11
211 2586 -70 01 (11)D> 1012 00 1026 01 11
212 2634 -46 01 1112 (11)D> 00 1026 01 11
213 2636 -44 01 1113 (11)B> 1026 01 11
214 2638 -42 01 1114 (11)A> 1025 01 11
215 2641 -45 01 1114 <C(10) 00 1024 01 11
216 2669 -73 01 <C(10) 1014 00 1024 01 11
217 2671 -75 <F(10) 1015 00 1024 01 11
218 2676 -72 01 (11)D> 1015 00 1024 01 11
219 2736 -42 01 1115 (11)D> 00 1024 01 11
220 2738 -40 01 1116 (11)B> 1024 01 11
221 2740 -38 01 1117 (11)A> 1023 01 11
222 2743 -41 01 1117 <C(10) 00 1022 01 11
223 2777 -75 01 <C(10) 1017 00 1022 01 11
224 2779 -77 <F(10) 1018 00 1022 01 11
225 2784 -74 01 (11)D> 1018 00 1022 01 11
226 2856 -38 01 1118 (11)D> 00 1022 01 11
227 2858 -36 01 1119 (11)B> 1022 01 11
228 2860 -34 01 1120 (11)A> 1021 01 11
229 2863 -37 01 1120 <C(10) 00 1020 01 11
230 2903 -77 01 <C(10) 1020 00 1020 01 11
231 2905 -79 <F(10) 1021 00 1020 01 11
232 2910 -76 01 (11)D> 1021 00 1020 01 11
233 2994 -34 01 1121 (11)D> 00 1020 01 11
234 2996 -32 01 1122 (11)B> 1020 01 11
235 2998 -30 01 1123 (11)A> 1019 01 11
236 3001 -33 01 1123 <C(10) 00 1018 01 11
237 3047 -79 01 <C(10) 1023 00 1018 01 11
238 3049 -81 <F(10) 1024 00 1018 01 11
239 3054 -78 01 (11)D> 1024 00 1018 01 11
240 3150 -30 01 1124 (11)D> 00 1018 01 11
241 3152 -28 01 1125 (11)B> 1018 01 11
242 3154 -26 01 1126 (11)A> 1017 01 11
243 3157 -29 01 1126 <C(10) 00 1016 01 11
244 3209 -81 01 <C(10) 1026 00 1016 01 11
245 3211 -83 <F(10) 1027 00 1016 01 11
246 3216 -80 01 (11)D> 1027 00 1016 01 11
247 3324 -26 01 1127 (11)D> 00 1016 01 11
248 3326 -24 01 1128 (11)B> 1016 01 11
249 3328 -22 01 1129 (11)A> 1015 01 11
250 3331 -25 01 1129 <C(10) 00 1014 01 11
251 3389 -83 01 <C(10) 1029 00 1014 01 11
252 3391 -85 <F(10) 1030 00 1014 01 11
253 3396 -82 01 (11)D> 1030 00 1014 01 11
254 3516 -22 01 1130 (11)D> 00 1014 01 11
255 3518 -20 01 1131 (11)B> 1014 01 11
256 3520 -18 01 1132 (11)A> 1013 01 11
257 3523 -21 01 1132 <C(10) 00 1012 01 11
258 3587 -85 01 <C(10) 1032 00 1012 01 11
259 3589 -87 <F(10) 1033 00 1012 01 11
260 3594 -84 01 (11)D> 1033 00 1012 01 11
261 3726 -18 01 1133 (11)D> 00 1012 01 11
262 3728 -16 01 1134 (11)B> 1012 01 11
263 3730 -14 01 1135 (11)A> 1011 01 11
264 3733 -17 01 1135 <C(10) 00 1010 01 11
265 3803 -87 01 <C(10) 1035 00 1010 01 11
266 3805 -89 <F(10) 1036 00 1010 01 11
267 3810 -86 01 (11)D> 1036 00 1010 01 11
268 3954 -14 01 1136 (11)D> 00 1010 01 11
269 3956 -12 01 1137 (11)B> 1010 01 11
270 3958 -10 01 1138 (11)A> 109 01 11
271 3961 -13 01 1138 <C(10) 00 108 01 11
272 4037 -89 01 <C(10) 1038 00 108 01 11
273 4039 -91 <F(10) 1039 00 108 01 11
274 4044 -88 01 (11)D> 1039 00 108 01 11
275 4200 -10 01 1139 (11)D> 00 108 01 11
276 4202 -8 01 1140 (11)B> 108 01 11
277 4204 -6 01 1141 (11)A> 107 01 11
278 4207 -9 01 1141 <C(10) 00 106 01 11
279 4289 -91 01 <C(10) 1041 00 106 01 11
280 4291 -93 <F(10) 1042 00 106 01 11
281 4296 -90 01 (11)D> 1042 00 106 01 11
282 4464 -6 01 1142 (11)D> 00 106 01 11
283 4466 -4 01 1143 (11)B> 106 01 11
284 4468 -2 01 1144 (11)A> 105 01 11
285 4471 -5 01 1144 <C(10) 00 104 01 11
286 4559 -93 01 <C(10) 1044 00 104 01 11
287 4561 -95 <F(10) 1045 00 104 01 11
288 4566 -92 01 (11)D> 1045 00 104 01 11
289 4746 -2 01 1145 (11)D> 00 104 01 11
290 4748 0 01 1146 (11)B> 104 01 11
291 4750 2 01 1147 (11)A> 103 01 11
292 4753 -1 01 1147 <C(10) 00 102 01 11
293 4847 -95 01 <C(10) 1047 00 102 01 11
294 4849 -97 <F(10) 1048 00 102 01 11
295 4854 -94 01 (11)D> 1048 00 102 01 11
296 5046 2 01 1148 (11)D> 00 102 01 11
297 5048 4 01 1149 (11)B> 102 01 11
298 5050 6 01 1150 (11)A> 10 01 11
299 5053 3 01 1150 <C(10) 00 01 11
300 5153 -97 01 <C(10) 1050 00 01 11
301 5155 -99 <F(10) 1051 00 01 11
302 5160 -96 01 (11)D> 1051 00 01 11
303 5364 6 01 1151 (11)D> 00 01 11
304 5366 8 01 1152 (11)B> 01 11
305 5369 5 01 1152 <E(00) 112
306 5371 3 01 1151 <E(01) 00 112
307 5473 -99 01 <E(01) 0151 00 112
308 5477 -101 <E(00) 0152 00 112
309 5484 -98 11 (11)A> 0152 00 112
310 5486 -96 112 (11)D> 0151 00 112
311 5491 -99 112 <E(01) 00 0150 00 112
312 5495 -103 <E(01) 012 00 0150 00 112
313 5502 -100 11 (10)B> 012 00 0150 00 112
314 5510 -96 113 (10)B> 00 0150 00 112
315 5514 -94 114 (11)A> 0150 00 112
316 5516 -92 115 (11)D> 0149 00 112
317 5521 -95 115 <E(01) 00 0148 00 112
318 5531 -105 <E(01) 015 00 0148 00 112
319 5538 -102 11 (10)B> 015 00 0148 00 112
320 5558 -92 116 (10)B> 00 0148 00 112
321 5562 -90 117 (11)A> 0148 00 112
322 5564 -88 118 (11)D> 0147 00 112
323 5569 -91 118 <E(01) 00 0146 00 112
324 5585 -107 <E(01) 018 00 0146 00 112
325 5592 -104 11 (10)B> 018 00 0146 00 112
326 5624 -88 119 (10)B> 00 0146 00 112
327 5628 -86 1110 (11)A> 0146 00 112
328 5630 -84 1111 (11)D> 0145 00 112
329 5635 -87 1111 <E(01) 00 0144 00 112
330 5657 -109 <E(01) 0111 00 0144 00 112
331 5664 -106 11 (10)B> 0111 00 0144 00 112
332 5708 -84 1112 (10)B> 00 0144 00 112
333 5712 -82 1113 (11)A> 0144 00 112
334 5714 -80 1114 (11)D> 0143 00 112
335 5719 -83 1114 <E(01) 00 0142 00 112
336 5747 -111 <E(01) 0114 00 0142 00 112
337 5754 -108 11 (10)B> 0114 00 0142 00 112
338 5810 -80 1115 (10)B> 00 0142 00 112
339 5814 -78 1116 (11)A> 0142 00 112
340 5816 -76 1117 (11)D> 0141 00 112
341 5821 -79 1117 <E(01) 00 0140 00 112
342 5855 -113 <E(01) 0117 00 0140 00 112
343 5862 -110 11 (10)B> 0117 00 0140 00 112
344 5930 -76 1118 (10)B> 00 0140 00 112
345 5934 -74 1119 (11)A> 0140 00 112
346 5936 -72 1120 (11)D> 0139 00 112
347 5941 -75 1120 <E(01) 00 0138 00 112
348 5981 -115 <E(01) 0120 00 0138 00 112
349 5988 -112 11 (10)B> 0120 00 0138 00 112
350 6068 -72 1121 (10)B> 00 0138 00 112
351 6072 -70 1122 (11)A> 0138 00 112
352 6074 -68 1123 (11)D> 0137 00 112
353 6079 -71 1123 <E(01) 00 0136 00 112
354 6125 -117 <E(01) 0123 00 0136 00 112
355 6132 -114 11 (10)B> 0123 00 0136 00 112
356 6224 -68 1124 (10)B> 00 0136 00 112
357 6228 -66 1125 (11)A> 0136 00 112
358 6230 -64 1126 (11)D> 0135 00 112
359 6235 -67 1126 <E(01) 00 0134 00 112
360 6287 -119 <E(01) 0126 00 0134 00 112
361 6294 -116 11 (10)B> 0126 00 0134 00 112
362 6398 -64 1127 (10)B> 00 0134 00 112
363 6402 -62 1128 (11)A> 0134 00 112
364 6404 -60 1129 (11)D> 0133 00 112
365 6409 -63 1129 <E(01) 00 0132 00 112
366 6467 -121 <E(01) 0129 00 0132 00 112
367 6474 -118 11 (10)B> 0129 00 0132 00 112
368 6590 -60 1130 (10)B> 00 0132 00 112
369 6594 -58 1131 (11)A> 0132 00 112
370 6596 -56 1132 (11)D> 0131 00 112
371 6601 -59 1132 <E(01) 00 0130 00 112
372 6665 -123 <E(01) 0132 00 0130 00 112
373 6672 -120 11 (10)B> 0132 00 0130 00 112
374 6800 -56 1133 (10)B> 00 0130 00 112
375 6804 -54 1134 (11)A> 0130 00 112
376 6806 -52 1135 (11)D> 0129 00 112
377 6811 -55 1135 <E(01) 00 0128 00 112
378 6881 -125 <E(01) 0135 00 0128 00 112
379 6888 -122 11 (10)B> 0135 00 0128 00 112
380 7028 -52 1136 (10)B> 00 0128 00 112
381 7032 -50 1137 (11)A> 0128 00 112
382 7034 -48 1138 (11)D> 0127 00 112
383 7039 -51 1138 <E(01) 00 0126 00 112
384 7115 -127 <E(01) 0138 00 0126 00 112
385 7122 -124 11 (10)B> 0138 00 0126 00 112
386 7274 -48 1139 (10)B> 00 0126 00 112
387 7278 -46 1140 (11)A> 0126 00 112
388 7280 -44 1141 (11)D> 0125 00 112
389 7285 -47 1141 <E(01) 00 0124 00 112
390 7367 -129 <E(01) 0141 00 0124 00 112
391 7374 -126 11 (10)B> 0141 00 0124 00 112
392 7538 -44 1142 (10)B> 00 0124 00 112
393 7542 -42 1143 (11)A> 0124 00 112
394 7544 -40 1144 (11)D> 0123 00 112
395 7549 -43 1144 <E(01) 00 0122 00 112
396 7637 -131 <E(01) 0144 00 0122 00 112
397 7644 -128 11 (10)B> 0144 00 0122 00 112
398 7820 -40 1145 (10)B> 00 0122 00 112
399 7824 -38 1146 (11)A> 0122 00 112
400 7826 -36 1147 (11)D> 0121 00 112
401 7831 -39 1147 <E(01) 00 0120 00 112
402 7925 -133 <E(01) 0147 00 0120 00 112
403 7932 -130 11 (10)B> 0147 00 0120 00 112
404 8120 -36 1148 (10)B> 00 0120 00 112
405 8124 -34 1149 (11)A> 0120 00 112
406 8126 -32 1150 (11)D> 0119 00 112
407 8131 -35 1150 <E(01) 00 0118 00 112
408 8231 -135 <E(01) 0150 00 0118 00 112
409 8238 -132 11 (10)B> 0150 00 0118 00 112
410 8438 -32 1151 (10)B> 00 0118 00 112
411 8442 -30 1152 (11)A> 0118 00 112
412 8444 -28 1153 (11)D> 0117 00 112
413 8449 -31 1153 <E(01) 00 0116 00 112
414 8555 -137 <E(01) 0153 00 0116 00 112
415 8562 -134 11 (10)B> 0153 00 0116 00 112
416 8774 -28 1154 (10)B> 00 0116 00 112
417 8778 -26 1155 (11)A> 0116 00 112
418 8780 -24 1156 (11)D> 0115 00 112
419 8785 -27 1156 <E(01) 00 0114 00 112
420 8897 -139 <E(01) 0156 00 0114 00 112
421 8904 -136 11 (10)B> 0156 00 0114 00 112
422 9128 -24 1157 (10)B> 00 0114 00 112
423 9132 -22 1158 (11)A> 0114 00 112
424 9134 -20 1159 (11)D> 0113 00 112
425 9139 -23 1159 <E(01) 00 0112 00 112
426 9257 -141 <E(01) 0159 00 0112 00 112
427 9264 -138 11 (10)B> 0159 00 0112 00 112
428 9500 -20 1160 (10)B> 00 0112 00 112
429 9504 -18 1161 (11)A> 0112 00 112
430 9506 -16 1162 (11)D> 0111 00 112
431 9511 -19 1162 <E(01) 00 0110 00 112
432 9635 -143 <E(01) 0162 00 0110 00 112
433 9642 -140 11 (10)B> 0162 00 0110 00 112
434 9890 -16 1163 (10)B> 00 0110 00 112
435 9894 -14 1164 (11)A> 0110 00 112
436 9896 -12 1165 (11)D> 019 00 112
437 9901 -15 1165 <E(01) 00 018 00 112
438 10031 -145 <E(01) 0165 00 018 00 112
439 10038 -142 11 (10)B> 0165 00 018 00 112
440 10298 -12 1166 (10)B> 00 018 00 112
441 10302 -10 1167 (11)A> 018 00 112
442 10304 -8 1168 (11)D> 017 00 112
443 10309 -11 1168 <E(01) 00 016 00 112
444 10445 -147 <E(01) 0168 00 016 00 112
445 10452 -144 11 (10)B> 0168 00 016 00 112
446 10724 -8 1169 (10)B> 00 016 00 112
447 10728 -6 1170 (11)A> 016 00 112
448 10730 -4 1171 (11)D> 015 00 112
449 10735 -7 1171 <E(01) 00 014 00 112
450 10877 -149 <E(01) 0171 00 014 00 112
451 10884 -146 11 (10)B> 0171 00 014 00 112
452 11168 -4 1172 (10)B> 00 014 00 112
453 11172 -2 1173 (11)A> 014 00 112
454 11174 0 1174 (11)D> 013 00 112
455 11179 -3 1174 <E(01) 00 012 00 112
456 11327 -151 <E(01) 0174 00 012 00 112
457 11334 -148 11 (10)B> 0174 00 012 00 112
458 11630 0 1175 (10)B> 00 012 00 112
459 11634 2 1176 (11)A> 012 00 112
460 11636 4 1177 (11)D> 01 00 112
461 11641 1 1177 <E(01) 002 112
462 11795 -153 <E(01) 0177 002 112
463 11802 -150 11 (10)B> 0177 002 112
464 12110 4 1178 (10)B> 002 112
465 12114 6 1179 (11)A> 00 112
466 12119 3 1179 <C(10) 01 112
467 12277 -155 <C(10) 1079 01 112
468 12281 -157 <F(10) 00 1079 01 112
469 12286 -154 01 (11)D> 00 1079 01 112
470 12288 -152 01 11 (11)B> 1079 01 112
471 12290 -150 01 112 (11)A> 1078 01 112
472 12293 -153 01 112 <C(10) 00 1077 01 112
473 12297 -157 01 <C(10) 102 00 1077 01 112
474 12299 -159 <F(10) 103 00 1077 01 112
475 12304 -156 01 (11)D> 103 00 1077 01 112
476 12316 -150 01 113 (11)D> 00 1077 01 112
477 12318 -148 01 114 (11)B> 1077 01 112
478 12320 -146 01 115 (11)A> 1076 01 112
479 12323 -149 01 115 <C(10) 00 1075 01 112
480 12333 -159 01 <C(10) 105 00 1075 01 112
481 12335 -161 <F(10) 106 00 1075 01 112
482 12340 -158 01 (11)D> 106 00 1075 01 112
483 12364 -146 01 116 (11)D> 00 1075 01 112
484 12366 -144 01 117 (11)B> 1075 01 112
485 12368 -142 01 118 (11)A> 1074 01 112
486 12371 -145 01 118 <C(10) 00 1073 01 112
487 12387 -161 01 <C(10) 108 00 1073 01 112
488 12389 -163 <F(10) 109 00 1073 01 112
489 12394 -160 01 (11)D> 109 00 1073 01 112
490 12430 -142 01 119 (11)D> 00 1073 01 112
491 12432 -140 01 1110 (11)B> 1073 01 112
492 12434 -138 01 1111 (11)A> 1072 01 112
493 12437 -141 01 1111 <C(10) 00 1071 01 112
494 12459 -163 01 <C(10) 1011 00 1071 01 112
495 12461 -165 <F(10) 1012 00 1071 01 112
496 12466 -162 01 (11)D> 1012 00 1071 01 112
497 12514 -138 01 1112 (11)D> 00 1071 01 112
498 12516 -136 01 1113 (11)B> 1071 01 112
499 12518 -134 01 1114 (11)A> 1070 01 112
500 12521 -137 01 1114 <C(10) 00 1069 01 112
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 12521
Tape index: -137
ones: 104
log10(ones ): 2.017
log10(steps ): 4.098
Input to awk program:
gohalt 1
L 20
5T B1R C0L A1L D1R A1R E0L A1R B0R F1L C1L D1R Z1R : >6.7*10^47 >2.0*10^95
T 6-state TM #m from MaBu-List
M 501
pref sim
machv mbL6_m just simple
machv mbL6_m-r with repetitions reduced
machv mbL6_m-1 with tape symbol exponents
machv mbL6_m-m as 2-bck-macro machine
machv mbL6_m-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_m-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:05 CEST 2010
edate Tue Jul 6 22:11:05 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:05 CEST 2010