Comment: This TM produces 5234513991 ones in 93943325529148987897 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | B1R | B0L | 1 | right | B | 0 | left | B |
| B | A1L | C1L | 1 | left | A | 1 | left | C |
| C | B1L | D0R | 1 | left | B | 0 | right | D |
| D | Z1R | E1R | 1 | right | Z | 1 | right | E |
| E | F1R | A0R | 1 | right | F | 0 | right | A |
| F | C0R | C1L | 0 | right | C | 1 | left | C |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-bck-bck-macro machine.
The same TM as 2-bck-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)(00)A>
1 12 2 (01)(01)E>
2 14 4 01 (01)(10)C>
3 19 -1 01 <B(11)(01) 10
4 21 -3 <B(11)(11) 01 10
5 31 -5 <A(10)(10) 11 01 10
6 40 0 (10)(11)F> 11 01 10
7 44 2 10 (10)(10)A> 01 10
8 48 4 102 (10)(01)E> 10
9 50 6 103 (01)(01)B>
10 55 1 103 <A(10)(10) 10
11 64 6 103 (10)(11)F> 10
12 68 8 104 (10)(11)F>
13 75 3 104 <C(11)(10) 11
14 77 1 103 <C(11)(11) 10 11
15 83 -5 <C(11)(11) 113 10 11
16 85 -7 <A(11)(11) 114 10 11
17 106 -2 01 (01)(01)E> 114 10 11
18 113 -7 01 <A(10)(10) 10 113 10 11
19 115 -9 <A(10)(10) 102 113 10 11
20 124 -4 (10)(11)F> 102 113 10 11
21 132 0 102 (10)(11)F> 113 10 11
22 136 2 103 (10)(10)A> 112 10 11
23 141 -3 103 <B(01)(01) 01 11 10 11
24 147 -9 <B(01)(01) 014 11 10 11
25 160 -4 01 (01)(01)E> 014 11 10 11
26 176 4 015 (01)(01)E> 11 10 11
27 183 -1 015 <A(10)(10) 102 11
28 193 -11 <A(10)(10) 107 11
29 202 -6 (10)(11)F> 107 11
30 230 8 107 (10)(11)F> 11
31 234 10 108 (10)(10)A>
32 241 5 108 <B(01)(01) 01
33 257 -11 <B(01)(01) 019
34 270 -6 01 (01)(01)E> 019
35 306 12 0110 (01)(01)E>
36 308 14 0111 (01)(10)C>
37 313 9 0111 <B(11)(01) 10
38 315 7 0110 <B(11)(11) 01 10
39 335 -13 <B(11)(11) 1110 01 10
40 345 -15 <A(10)(10) 1111 01 10
41 354 -10 (10)(11)F> 1111 01 10
42 358 -8 10 (10)(10)A> 1110 01 10
43 363 -13 10 <B(01)(01) 01 119 01 10
44 365 -15 <B(01)(01) 012 119 01 10
45 378 -10 01 (01)(01)E> 012 119 01 10
46 386 -6 013 (01)(01)E> 119 01 10
47 393 -11 013 <A(10)(10) 10 118 01 10
48 399 -17 <A(10)(10) 104 118 01 10
49 408 -12 (10)(11)F> 104 118 01 10
50 424 -4 104 (10)(11)F> 118 01 10
51 428 -2 105 (10)(10)A> 117 01 10
52 433 -7 105 <B(01)(01) 01 116 01 10
53 443 -17 <B(01)(01) 016 116 01 10
54 456 -12 01 (01)(01)E> 016 116 01 10
55 480 0 017 (01)(01)E> 116 01 10
56 487 -5 017 <A(10)(10) 10 115 01 10
57 501 -19 <A(10)(10) 108 115 01 10
58 510 -14 (10)(11)F> 108 115 01 10
59 542 2 108 (10)(11)F> 115 01 10
60 546 4 109 (10)(10)A> 114 01 10
61 551 -1 109 <B(01)(01) 01 113 01 10
62 569 -19 <B(01)(01) 0110 113 01 10
63 582 -14 01 (01)(01)E> 0110 113 01 10
64 622 6 0111 (01)(01)E> 113 01 10
65 629 1 0111 <A(10)(10) 10 112 01 10
66 651 -21 <A(10)(10) 1012 112 01 10
67 660 -16 (10)(11)F> 1012 112 01 10
68 708 8 1012 (10)(11)F> 112 01 10
69 712 10 1013 (10)(10)A> 11 01 10
70 717 5 1013 <B(01)(01) 012 10
71 743 -21 <B(01)(01) 0115 10
72 756 -16 01 (01)(01)E> 0115 10
73 816 14 0116 (01)(01)E> 10
74 818 16 0117 (01)(01)B>
75 823 11 0117 <A(10)(10) 10
76 857 -23 <A(10)(10) 1018
77 866 -18 (10)(11)F> 1018
78 938 18 1018 (10)(11)F>
79 945 13 1018 <C(11)(10) 11
80 947 11 1017 <C(11)(11) 10 11
81 981 -23 <C(11)(11) 1117 10 11
82 983 -25 <A(11)(11) 1118 10 11
83 1004 -20 01 (01)(01)E> 1118 10 11
84 1011 -25 01 <A(10)(10) 10 1117 10 11
85 1013 -27 <A(10)(10) 102 1117 10 11
86 1022 -22 (10)(11)F> 102 1117 10 11
87 1030 -18 102 (10)(11)F> 1117 10 11
88 1034 -16 103 (10)(10)A> 1116 10 11
89 1039 -21 103 <B(01)(01) 01 1115 10 11
90 1045 -27 <B(01)(01) 014 1115 10 11
91 1058 -22 01 (01)(01)E> 014 1115 10 11
92 1074 -14 015 (01)(01)E> 1115 10 11
93 1081 -19 015 <A(10)(10) 10 1114 10 11
94 1091 -29 <A(10)(10) 106 1114 10 11
95 1100 -24 (10)(11)F> 106 1114 10 11
96 1124 -12 106 (10)(11)F> 1114 10 11
97 1128 -10 107 (10)(10)A> 1113 10 11
98 1133 -15 107 <B(01)(01) 01 1112 10 11
99 1147 -29 <B(01)(01) 018 1112 10 11
100 1160 -24 01 (01)(01)E> 018 1112 10 11
101 1192 -8 019 (01)(01)E> 1112 10 11
102 1199 -13 019 <A(10)(10) 10 1111 10 11
103 1217 -31 <A(10)(10) 1010 1111 10 11
104 1226 -26 (10)(11)F> 1010 1111 10 11
105 1266 -6 1010 (10)(11)F> 1111 10 11
106 1270 -4 1011 (10)(10)A> 1110 10 11
107 1275 -9 1011 <B(01)(01) 01 119 10 11
108 1297 -31 <B(01)(01) 0112 119 10 11
109 1310 -26 01 (01)(01)E> 0112 119 10 11
110 1358 -2 0113 (01)(01)E> 119 10 11
111 1365 -7 0113 <A(10)(10) 10 118 10 11
112 1391 -33 <A(10)(10) 1014 118 10 11
113 1400 -28 (10)(11)F> 1014 118 10 11
114 1456 0 1014 (10)(11)F> 118 10 11
115 1460 2 1015 (10)(10)A> 117 10 11
116 1465 -3 1015 <B(01)(01) 01 116 10 11
117 1495 -33 <B(01)(01) 0116 116 10 11
118 1508 -28 01 (01)(01)E> 0116 116 10 11
119 1572 4 0117 (01)(01)E> 116 10 11
120 1579 -1 0117 <A(10)(10) 10 115 10 11
121 1613 -35 <A(10)(10) 1018 115 10 11
122 1622 -30 (10)(11)F> 1018 115 10 11
123 1694 6 1018 (10)(11)F> 115 10 11
124 1698 8 1019 (10)(10)A> 114 10 11
125 1703 3 1019 <B(01)(01) 01 113 10 11
126 1741 -35 <B(01)(01) 0120 113 10 11
127 1754 -30 01 (01)(01)E> 0120 113 10 11
128 1834 10 0121 (01)(01)E> 113 10 11
129 1841 5 0121 <A(10)(10) 10 112 10 11
130 1883 -37 <A(10)(10) 1022 112 10 11
131 1892 -32 (10)(11)F> 1022 112 10 11
132 1980 12 1022 (10)(11)F> 112 10 11
133 1984 14 1023 (10)(10)A> 11 10 11
134 1989 9 1023 <B(01)(01) 01 10 11
135 2035 -37 <B(01)(01) 0124 10 11
136 2048 -32 01 (01)(01)E> 0124 10 11
137 2144 16 0125 (01)(01)E> 10 11
138 2146 18 0126 (01)(01)B> 11
139 2150 20 0127 (00)(10)A>
140 2168 22 0128 (01)(01)E>
141 2170 24 0129 (01)(10)C>
142 2175 19 0129 <B(11)(01) 10
143 2177 17 0128 <B(11)(11) 01 10
144 2233 -39 <B(11)(11) 1128 01 10
145 2243 -41 <A(10)(10) 1129 01 10
146 2252 -36 (10)(11)F> 1129 01 10
147 2256 -34 10 (10)(10)A> 1128 01 10
148 2261 -39 10 <B(01)(01) 01 1127 01 10
149 2263 -41 <B(01)(01) 012 1127 01 10
150 2276 -36 01 (01)(01)E> 012 1127 01 10
151 2284 -32 013 (01)(01)E> 1127 01 10
152 2291 -37 013 <A(10)(10) 10 1126 01 10
153 2297 -43 <A(10)(10) 104 1126 01 10
154 2306 -38 (10)(11)F> 104 1126 01 10
155 2322 -30 104 (10)(11)F> 1126 01 10
156 2326 -28 105 (10)(10)A> 1125 01 10
157 2331 -33 105 <B(01)(01) 01 1124 01 10
158 2341 -43 <B(01)(01) 016 1124 01 10
159 2354 -38 01 (01)(01)E> 016 1124 01 10
160 2378 -26 017 (01)(01)E> 1124 01 10
161 2385 -31 017 <A(10)(10) 10 1123 01 10
162 2399 -45 <A(10)(10) 108 1123 01 10
163 2408 -40 (10)(11)F> 108 1123 01 10
164 2440 -24 108 (10)(11)F> 1123 01 10
165 2444 -22 109 (10)(10)A> 1122 01 10
166 2449 -27 109 <B(01)(01) 01 1121 01 10
167 2467 -45 <B(01)(01) 0110 1121 01 10
168 2480 -40 01 (01)(01)E> 0110 1121 01 10
169 2520 -20 0111 (01)(01)E> 1121 01 10
170 2527 -25 0111 <A(10)(10) 10 1120 01 10
171 2549 -47 <A(10)(10) 1012 1120 01 10
172 2558 -42 (10)(11)F> 1012 1120 01 10
173 2606 -18 1012 (10)(11)F> 1120 01 10
174 2610 -16 1013 (10)(10)A> 1119 01 10
175 2615 -21 1013 <B(01)(01) 01 1118 01 10
176 2641 -47 <B(01)(01) 0114 1118 01 10
177 2654 -42 01 (01)(01)E> 0114 1118 01 10
178 2710 -14 0115 (01)(01)E> 1118 01 10
179 2717 -19 0115 <A(10)(10) 10 1117 01 10
180 2747 -49 <A(10)(10) 1016 1117 01 10
181 2756 -44 (10)(11)F> 1016 1117 01 10
182 2820 -12 1016 (10)(11)F> 1117 01 10
183 2824 -10 1017 (10)(10)A> 1116 01 10
184 2829 -15 1017 <B(01)(01) 01 1115 01 10
185 2863 -49 <B(01)(01) 0118 1115 01 10
186 2876 -44 01 (01)(01)E> 0118 1115 01 10
187 2948 -8 0119 (01)(01)E> 1115 01 10
188 2955 -13 0119 <A(10)(10) 10 1114 01 10
189 2993 -51 <A(10)(10) 1020 1114 01 10
190 3002 -46 (10)(11)F> 1020 1114 01 10
191 3082 -6 1020 (10)(11)F> 1114 01 10
192 3086 -4 1021 (10)(10)A> 1113 01 10
193 3091 -9 1021 <B(01)(01) 01 1112 01 10
194 3133 -51 <B(01)(01) 0122 1112 01 10
195 3146 -46 01 (01)(01)E> 0122 1112 01 10
196 3234 -2 0123 (01)(01)E> 1112 01 10
197 3241 -7 0123 <A(10)(10) 10 1111 01 10
198 3287 -53 <A(10)(10) 1024 1111 01 10
199 3296 -48 (10)(11)F> 1024 1111 01 10
200 3392 0 1024 (10)(11)F> 1111 01 10
201 3396 2 1025 (10)(10)A> 1110 01 10
202 3401 -3 1025 <B(01)(01) 01 119 01 10
203 3451 -53 <B(01)(01) 0126 119 01 10
204 3464 -48 01 (01)(01)E> 0126 119 01 10
205 3568 4 0127 (01)(01)E> 119 01 10
206 3575 -1 0127 <A(10)(10) 10 118 01 10
207 3629 -55 <A(10)(10) 1028 118 01 10
208 3638 -50 (10)(11)F> 1028 118 01 10
209 3750 6 1028 (10)(11)F> 118 01 10
210 3754 8 1029 (10)(10)A> 117 01 10
211 3759 3 1029 <B(01)(01) 01 116 01 10
212 3817 -55 <B(01)(01) 0130 116 01 10
213 3830 -50 01 (01)(01)E> 0130 116 01 10
214 3950 10 0131 (01)(01)E> 116 01 10
215 3957 5 0131 <A(10)(10) 10 115 01 10
216 4019 -57 <A(10)(10) 1032 115 01 10
217 4028 -52 (10)(11)F> 1032 115 01 10
218 4156 12 1032 (10)(11)F> 115 01 10
219 4160 14 1033 (10)(10)A> 114 01 10
220 4165 9 1033 <B(01)(01) 01 113 01 10
221 4231 -57 <B(01)(01) 0134 113 01 10
222 4244 -52 01 (01)(01)E> 0134 113 01 10
223 4380 16 0135 (01)(01)E> 113 01 10
224 4387 11 0135 <A(10)(10) 10 112 01 10
225 4457 -59 <A(10)(10) 1036 112 01 10
226 4466 -54 (10)(11)F> 1036 112 01 10
227 4610 18 1036 (10)(11)F> 112 01 10
228 4614 20 1037 (10)(10)A> 11 01 10
229 4619 15 1037 <B(01)(01) 012 10
230 4693 -59 <B(01)(01) 0139 10
231 4706 -54 01 (01)(01)E> 0139 10
232 4862 24 0140 (01)(01)E> 10
233 4864 26 0141 (01)(01)B>
234 4869 21 0141 <A(10)(10) 10
235 4951 -61 <A(10)(10) 1042
236 4960 -56 (10)(11)F> 1042
237 5128 28 1042 (10)(11)F>
238 5135 23 1042 <C(11)(10) 11
239 5137 21 1041 <C(11)(11) 10 11
240 5219 -61 <C(11)(11) 1141 10 11
241 5221 -63 <A(11)(11) 1142 10 11
242 5242 -58 01 (01)(01)E> 1142 10 11
243 5249 -63 01 <A(10)(10) 10 1141 10 11
244 5251 -65 <A(10)(10) 102 1141 10 11
245 5260 -60 (10)(11)F> 102 1141 10 11
246 5268 -56 102 (10)(11)F> 1141 10 11
247 5272 -54 103 (10)(10)A> 1140 10 11
248 5277 -59 103 <B(01)(01) 01 1139 10 11
249 5283 -65 <B(01)(01) 014 1139 10 11
250 5296 -60 01 (01)(01)E> 014 1139 10 11
251 5312 -52 015 (01)(01)E> 1139 10 11
252 5319 -57 015 <A(10)(10) 10 1138 10 11
253 5329 -67 <A(10)(10) 106 1138 10 11
254 5338 -62 (10)(11)F> 106 1138 10 11
255 5362 -50 106 (10)(11)F> 1138 10 11
256 5366 -48 107 (10)(10)A> 1137 10 11
257 5371 -53 107 <B(01)(01) 01 1136 10 11
258 5385 -67 <B(01)(01) 018 1136 10 11
259 5398 -62 01 (01)(01)E> 018 1136 10 11
260 5430 -46 019 (01)(01)E> 1136 10 11
261 5437 -51 019 <A(10)(10) 10 1135 10 11
262 5455 -69 <A(10)(10) 1010 1135 10 11
263 5464 -64 (10)(11)F> 1010 1135 10 11
264 5504 -44 1010 (10)(11)F> 1135 10 11
265 5508 -42 1011 (10)(10)A> 1134 10 11
266 5513 -47 1011 <B(01)(01) 01 1133 10 11
267 5535 -69 <B(01)(01) 0112 1133 10 11
268 5548 -64 01 (01)(01)E> 0112 1133 10 11
269 5596 -40 0113 (01)(01)E> 1133 10 11
270 5603 -45 0113 <A(10)(10) 10 1132 10 11
271 5629 -71 <A(10)(10) 1014 1132 10 11
272 5638 -66 (10)(11)F> 1014 1132 10 11
273 5694 -38 1014 (10)(11)F> 1132 10 11
274 5698 -36 1015 (10)(10)A> 1131 10 11
275 5703 -41 1015 <B(01)(01) 01 1130 10 11
276 5733 -71 <B(01)(01) 0116 1130 10 11
277 5746 -66 01 (01)(01)E> 0116 1130 10 11
278 5810 -34 0117 (01)(01)E> 1130 10 11
279 5817 -39 0117 <A(10)(10) 10 1129 10 11
280 5851 -73 <A(10)(10) 1018 1129 10 11
281 5860 -68 (10)(11)F> 1018 1129 10 11
282 5932 -32 1018 (10)(11)F> 1129 10 11
283 5936 -30 1019 (10)(10)A> 1128 10 11
284 5941 -35 1019 <B(01)(01) 01 1127 10 11
285 5979 -73 <B(01)(01) 0120 1127 10 11
286 5992 -68 01 (01)(01)E> 0120 1127 10 11
287 6072 -28 0121 (01)(01)E> 1127 10 11
288 6079 -33 0121 <A(10)(10) 10 1126 10 11
289 6121 -75 <A(10)(10) 1022 1126 10 11
290 6130 -70 (10)(11)F> 1022 1126 10 11
291 6218 -26 1022 (10)(11)F> 1126 10 11
292 6222 -24 1023 (10)(10)A> 1125 10 11
293 6227 -29 1023 <B(01)(01) 01 1124 10 11
294 6273 -75 <B(01)(01) 0124 1124 10 11
295 6286 -70 01 (01)(01)E> 0124 1124 10 11
296 6382 -22 0125 (01)(01)E> 1124 10 11
297 6389 -27 0125 <A(10)(10) 10 1123 10 11
298 6439 -77 <A(10)(10) 1026 1123 10 11
299 6448 -72 (10)(11)F> 1026 1123 10 11
300 6552 -20 1026 (10)(11)F> 1123 10 11
301 6556 -18 1027 (10)(10)A> 1122 10 11
302 6561 -23 1027 <B(01)(01) 01 1121 10 11
303 6615 -77 <B(01)(01) 0128 1121 10 11
304 6628 -72 01 (01)(01)E> 0128 1121 10 11
305 6740 -16 0129 (01)(01)E> 1121 10 11
306 6747 -21 0129 <A(10)(10) 10 1120 10 11
307 6805 -79 <A(10)(10) 1030 1120 10 11
308 6814 -74 (10)(11)F> 1030 1120 10 11
309 6934 -14 1030 (10)(11)F> 1120 10 11
310 6938 -12 1031 (10)(10)A> 1119 10 11
311 6943 -17 1031 <B(01)(01) 01 1118 10 11
312 7005 -79 <B(01)(01) 0132 1118 10 11
313 7018 -74 01 (01)(01)E> 0132 1118 10 11
314 7146 -10 0133 (01)(01)E> 1118 10 11
315 7153 -15 0133 <A(10)(10) 10 1117 10 11
316 7219 -81 <A(10)(10) 1034 1117 10 11
317 7228 -76 (10)(11)F> 1034 1117 10 11
318 7364 -8 1034 (10)(11)F> 1117 10 11
319 7368 -6 1035 (10)(10)A> 1116 10 11
320 7373 -11 1035 <B(01)(01) 01 1115 10 11
321 7443 -81 <B(01)(01) 0136 1115 10 11
322 7456 -76 01 (01)(01)E> 0136 1115 10 11
323 7600 -4 0137 (01)(01)E> 1115 10 11
324 7607 -9 0137 <A(10)(10) 10 1114 10 11
325 7681 -83 <A(10)(10) 1038 1114 10 11
326 7690 -78 (10)(11)F> 1038 1114 10 11
327 7842 -2 1038 (10)(11)F> 1114 10 11
328 7846 0 1039 (10)(10)A> 1113 10 11
329 7851 -5 1039 <B(01)(01) 01 1112 10 11
330 7929 -83 <B(01)(01) 0140 1112 10 11
331 7942 -78 01 (01)(01)E> 0140 1112 10 11
332 8102 2 0141 (01)(01)E> 1112 10 11
333 8109 -3 0141 <A(10)(10) 10 1111 10 11
334 8191 -85 <A(10)(10) 1042 1111 10 11
335 8200 -80 (10)(11)F> 1042 1111 10 11
336 8368 4 1042 (10)(11)F> 1111 10 11
337 8372 6 1043 (10)(10)A> 1110 10 11
338 8377 1 1043 <B(01)(01) 01 119 10 11
339 8463 -85 <B(01)(01) 0144 119 10 11
340 8476 -80 01 (01)(01)E> 0144 119 10 11
341 8652 8 0145 (01)(01)E> 119 10 11
342 8659 3 0145 <A(10)(10) 10 118 10 11
343 8749 -87 <A(10)(10) 1046 118 10 11
344 8758 -82 (10)(11)F> 1046 118 10 11
345 8942 10 1046 (10)(11)F> 118 10 11
346 8946 12 1047 (10)(10)A> 117 10 11
347 8951 7 1047 <B(01)(01) 01 116 10 11
348 9045 -87 <B(01)(01) 0148 116 10 11
349 9058 -82 01 (01)(01)E> 0148 116 10 11
350 9250 14 0149 (01)(01)E> 116 10 11
351 9257 9 0149 <A(10)(10) 10 115 10 11
352 9355 -89 <A(10)(10) 1050 115 10 11
353 9364 -84 (10)(11)F> 1050 115 10 11
354 9564 16 1050 (10)(11)F> 115 10 11
355 9568 18 1051 (10)(10)A> 114 10 11
356 9573 13 1051 <B(01)(01) 01 113 10 11
357 9675 -89 <B(01)(01) 0152 113 10 11
358 9688 -84 01 (01)(01)E> 0152 113 10 11
359 9896 20 0153 (01)(01)E> 113 10 11
360 9903 15 0153 <A(10)(10) 10 112 10 11
361 10009 -91 <A(10)(10) 1054 112 10 11
362 10018 -86 (10)(11)F> 1054 112 10 11
363 10234 22 1054 (10)(11)F> 112 10 11
364 10238 24 1055 (10)(10)A> 11 10 11
365 10243 19 1055 <B(01)(01) 01 10 11
366 10353 -91 <B(01)(01) 0156 10 11
367 10366 -86 01 (01)(01)E> 0156 10 11
368 10590 26 0157 (01)(01)E> 10 11
369 10592 28 0158 (01)(01)B> 11
370 10596 30 0159 (00)(10)A>
371 10614 32 0160 (01)(01)E>
372 10616 34 0161 (01)(10)C>
373 10621 29 0161 <B(11)(01) 10
374 10623 27 0160 <B(11)(11) 01 10
375 10743 -93 <B(11)(11) 1160 01 10
376 10753 -95 <A(10)(10) 1161 01 10
377 10762 -90 (10)(11)F> 1161 01 10
378 10766 -88 10 (10)(10)A> 1160 01 10
379 10771 -93 10 <B(01)(01) 01 1159 01 10
380 10773 -95 <B(01)(01) 012 1159 01 10
381 10786 -90 01 (01)(01)E> 012 1159 01 10
382 10794 -86 013 (01)(01)E> 1159 01 10
383 10801 -91 013 <A(10)(10) 10 1158 01 10
384 10807 -97 <A(10)(10) 104 1158 01 10
385 10816 -92 (10)(11)F> 104 1158 01 10
386 10832 -84 104 (10)(11)F> 1158 01 10
387 10836 -82 105 (10)(10)A> 1157 01 10
388 10841 -87 105 <B(01)(01) 01 1156 01 10
389 10851 -97 <B(01)(01) 016 1156 01 10
390 10864 -92 01 (01)(01)E> 016 1156 01 10
391 10888 -80 017 (01)(01)E> 1156 01 10
392 10895 -85 017 <A(10)(10) 10 1155 01 10
393 10909 -99 <A(10)(10) 108 1155 01 10
394 10918 -94 (10)(11)F> 108 1155 01 10
395 10950 -78 108 (10)(11)F> 1155 01 10
396 10954 -76 109 (10)(10)A> 1154 01 10
397 10959 -81 109 <B(01)(01) 01 1153 01 10
398 10977 -99 <B(01)(01) 0110 1153 01 10
399 10990 -94 01 (01)(01)E> 0110 1153 01 10
400 11030 -74 0111 (01)(01)E> 1153 01 10
401 11037 -79 0111 <A(10)(10) 10 1152 01 10
402 11059 -101 <A(10)(10) 1012 1152 01 10
403 11068 -96 (10)(11)F> 1012 1152 01 10
404 11116 -72 1012 (10)(11)F> 1152 01 10
405 11120 -70 1013 (10)(10)A> 1151 01 10
406 11125 -75 1013 <B(01)(01) 01 1150 01 10
407 11151 -101 <B(01)(01) 0114 1150 01 10
408 11164 -96 01 (01)(01)E> 0114 1150 01 10
409 11220 -68 0115 (01)(01)E> 1150 01 10
410 11227 -73 0115 <A(10)(10) 10 1149 01 10
411 11257 -103 <A(10)(10) 1016 1149 01 10
412 11266 -98 (10)(11)F> 1016 1149 01 10
413 11330 -66 1016 (10)(11)F> 1149 01 10
414 11334 -64 1017 (10)(10)A> 1148 01 10
415 11339 -69 1017 <B(01)(01) 01 1147 01 10
416 11373 -103 <B(01)(01) 0118 1147 01 10
417 11386 -98 01 (01)(01)E> 0118 1147 01 10
418 11458 -62 0119 (01)(01)E> 1147 01 10
419 11465 -67 0119 <A(10)(10) 10 1146 01 10
420 11503 -105 <A(10)(10) 1020 1146 01 10
421 11512 -100 (10)(11)F> 1020 1146 01 10
422 11592 -60 1020 (10)(11)F> 1146 01 10
423 11596 -58 1021 (10)(10)A> 1145 01 10
424 11601 -63 1021 <B(01)(01) 01 1144 01 10
425 11643 -105 <B(01)(01) 0122 1144 01 10
426 11656 -100 01 (01)(01)E> 0122 1144 01 10
427 11744 -56 0123 (01)(01)E> 1144 01 10
428 11751 -61 0123 <A(10)(10) 10 1143 01 10
429 11797 -107 <A(10)(10) 1024 1143 01 10
430 11806 -102 (10)(11)F> 1024 1143 01 10
431 11902 -54 1024 (10)(11)F> 1143 01 10
432 11906 -52 1025 (10)(10)A> 1142 01 10
433 11911 -57 1025 <B(01)(01) 01 1141 01 10
434 11961 -107 <B(01)(01) 0126 1141 01 10
435 11974 -102 01 (01)(01)E> 0126 1141 01 10
436 12078 -50 0127 (01)(01)E> 1141 01 10
437 12085 -55 0127 <A(10)(10) 10 1140 01 10
438 12139 -109 <A(10)(10) 1028 1140 01 10
439 12148 -104 (10)(11)F> 1028 1140 01 10
440 12260 -48 1028 (10)(11)F> 1140 01 10
441 12264 -46 1029 (10)(10)A> 1139 01 10
442 12269 -51 1029 <B(01)(01) 01 1138 01 10
443 12327 -109 <B(01)(01) 0130 1138 01 10
444 12340 -104 01 (01)(01)E> 0130 1138 01 10
445 12460 -44 0131 (01)(01)E> 1138 01 10
446 12467 -49 0131 <A(10)(10) 10 1137 01 10
447 12529 -111 <A(10)(10) 1032 1137 01 10
448 12538 -106 (10)(11)F> 1032 1137 01 10
449 12666 -42 1032 (10)(11)F> 1137 01 10
450 12670 -40 1033 (10)(10)A> 1136 01 10
451 12675 -45 1033 <B(01)(01) 01 1135 01 10
452 12741 -111 <B(01)(01) 0134 1135 01 10
453 12754 -106 01 (01)(01)E> 0134 1135 01 10
454 12890 -38 0135 (01)(01)E> 1135 01 10
455 12897 -43 0135 <A(10)(10) 10 1134 01 10
456 12967 -113 <A(10)(10) 1036 1134 01 10
457 12976 -108 (10)(11)F> 1036 1134 01 10
458 13120 -36 1036 (10)(11)F> 1134 01 10
459 13124 -34 1037 (10)(10)A> 1133 01 10
460 13129 -39 1037 <B(01)(01) 01 1132 01 10
461 13203 -113 <B(01)(01) 0138 1132 01 10
462 13216 -108 01 (01)(01)E> 0138 1132 01 10
463 13368 -32 0139 (01)(01)E> 1132 01 10
464 13375 -37 0139 <A(10)(10) 10 1131 01 10
465 13453 -115 <A(10)(10) 1040 1131 01 10
466 13462 -110 (10)(11)F> 1040 1131 01 10
467 13622 -30 1040 (10)(11)F> 1131 01 10
468 13626 -28 1041 (10)(10)A> 1130 01 10
469 13631 -33 1041 <B(01)(01) 01 1129 01 10
470 13713 -115 <B(01)(01) 0142 1129 01 10
471 13726 -110 01 (01)(01)E> 0142 1129 01 10
472 13894 -26 0143 (01)(01)E> 1129 01 10
473 13901 -31 0143 <A(10)(10) 10 1128 01 10
474 13987 -117 <A(10)(10) 1044 1128 01 10
475 13996 -112 (10)(11)F> 1044 1128 01 10
476 14172 -24 1044 (10)(11)F> 1128 01 10
477 14176 -22 1045 (10)(10)A> 1127 01 10
478 14181 -27 1045 <B(01)(01) 01 1126 01 10
479 14271 -117 <B(01)(01) 0146 1126 01 10
480 14284 -112 01 (01)(01)E> 0146 1126 01 10
481 14468 -20 0147 (01)(01)E> 1126 01 10
482 14475 -25 0147 <A(10)(10) 10 1125 01 10
483 14569 -119 <A(10)(10) 1048 1125 01 10
484 14578 -114 (10)(11)F> 1048 1125 01 10
485 14770 -18 1048 (10)(11)F> 1125 01 10
486 14774 -16 1049 (10)(10)A> 1124 01 10
487 14779 -21 1049 <B(01)(01) 01 1123 01 10
488 14877 -119 <B(01)(01) 0150 1123 01 10
489 14890 -114 01 (01)(01)E> 0150 1123 01 10
490 15090 -14 0151 (01)(01)E> 1123 01 10
491 15097 -19 0151 <A(10)(10) 10 1122 01 10
492 15199 -121 <A(10)(10) 1052 1122 01 10
493 15208 -116 (10)(11)F> 1052 1122 01 10
494 15416 -12 1052 (10)(11)F> 1122 01 10
495 15420 -10 1053 (10)(10)A> 1121 01 10
496 15425 -15 1053 <B(01)(01) 01 1120 01 10
497 15531 -121 <B(01)(01) 0154 1120 01 10
498 15544 -116 01 (01)(01)E> 0154 1120 01 10
499 15760 -8 0155 (01)(01)E> 1120 01 10
500 15767 -13 0155 <A(10)(10) 10 1119 01 10
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 15767
Tape index: -13
ones: 98
log10(ones ): 1.991
log10(steps ): 4.198
Input to awk program:
gohalt 1
L 12
5T B1R B0L A1L C1L B1L D0R Z1R E1R F1R A0R C0R C1L : 5234513991 93943325529148987897
T 6-state TM #d from MaBu-List
M 501
pref sim
machv mbL6_d just simple
machv mbL6_d-r with repetitions reduced
machv mbL6_d-1 with tape symbol exponents
machv mbL6_d-m as 2-bck-bck-macro machine
machv mbL6_d-a as 2-bck-bck-macro machine with pure additive config-TRs
iam mbL6_d-m
mtype 2 0 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:44 CEST 2010
edate Tue Jul 6 22:10:44 CEST 2010
bnspeed 1
short 7
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:10:44 CEST 2010