Comment: This TM produces >1.9*10^19 ones in >7.0*10^37 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 | B0L | E0L | 0 | left | B | 0 | left | E |
| D | A1R | B0R | 1 | right | A | 0 | right | B |
| E | F1L | C1L | 1 | left | F | 1 | left | C |
| F | A0L | Z1R | 0 | left | A | 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 5 -3 <A(10) 01
2 8 0 01 (11)A> 01
3 10 2 01 11 (11)D>
4 12 4 01 112 (11)B>
5 15 1 01 112 <E(00) 10
6 17 -1 01 11 <E(01) 00 10
7 19 -3 01 <E(01) 01 00 10
8 21 -5 <B(01) 012 00 10
9 29 -7 <E(01) 00 012 00 10
10 31 -9 <A(01) 01 00 012 00 10
11 35 -11 <B(00) 11 01 00 012 00 10
12 40 -8 11 (11)B> 11 01 00 012 00 10
13 42 -6 112 (10)B> 01 00 012 00 10
14 46 -4 113 (10)B> 00 012 00 10
15 50 -2 114 (11)A> 012 00 10
16 52 0 115 (11)D> 01 00 10
17 57 -3 115 <E(01) 002 10
18 67 -13 <E(01) 015 002 10
19 69 -15 <A(01) 016 002 10
20 73 -17 <B(00) 11 016 002 10
21 78 -14 11 (11)B> 11 016 002 10
22 80 -12 112 (10)B> 016 002 10
23 104 0 118 (10)B> 002 10
24 108 2 119 (11)A> 00 10
25 113 -1 119 <C(10) 01 10
26 131 -19 <C(10) 109 01 10
27 133 -21 <A(10) 1010 01 10
28 136 -18 01 (11)A> 1010 01 10
29 139 -21 01 <C(10) 00 109 01 10
30 141 -23 <F(10) 10 00 109 01 10
31 145 -25 <C(01) 102 00 109 01 10
32 147 -27 <A(10) 01 102 00 109 01 10
33 150 -24 01 (11)A> 01 102 00 109 01 10
34 152 -22 01 11 (11)D> 102 00 109 01 10
35 160 -18 01 113 (11)D> 00 109 01 10
36 162 -16 01 114 (11)B> 109 01 10
37 164 -14 01 115 (11)A> 108 01 10
38 167 -17 01 115 <C(10) 00 107 01 10
39 177 -27 01 <C(10) 105 00 107 01 10
40 179 -29 <F(10) 106 00 107 01 10
41 183 -31 <C(01) 107 00 107 01 10
42 185 -33 <A(10) 01 107 00 107 01 10
43 188 -30 01 (11)A> 01 107 00 107 01 10
44 190 -28 01 11 (11)D> 107 00 107 01 10
45 218 -14 01 118 (11)D> 00 107 01 10
46 220 -12 01 119 (11)B> 107 01 10
47 222 -10 01 1110 (11)A> 106 01 10
48 225 -13 01 1110 <C(10) 00 105 01 10
49 245 -33 01 <C(10) 1010 00 105 01 10
50 247 -35 <F(10) 1011 00 105 01 10
51 251 -37 <C(01) 1012 00 105 01 10
52 253 -39 <A(10) 01 1012 00 105 01 10
53 256 -36 01 (11)A> 01 1012 00 105 01 10
54 258 -34 01 11 (11)D> 1012 00 105 01 10
55 306 -10 01 1113 (11)D> 00 105 01 10
56 308 -8 01 1114 (11)B> 105 01 10
57 310 -6 01 1115 (11)A> 104 01 10
58 313 -9 01 1115 <C(10) 00 103 01 10
59 343 -39 01 <C(10) 1015 00 103 01 10
60 345 -41 <F(10) 1016 00 103 01 10
61 349 -43 <C(01) 1017 00 103 01 10
62 351 -45 <A(10) 01 1017 00 103 01 10
63 354 -42 01 (11)A> 01 1017 00 103 01 10
64 356 -40 01 11 (11)D> 1017 00 103 01 10
65 424 -6 01 1118 (11)D> 00 103 01 10
66 426 -4 01 1119 (11)B> 103 01 10
67 428 -2 01 1120 (11)A> 102 01 10
68 431 -5 01 1120 <C(10) 00 10 01 10
69 471 -45 01 <C(10) 1020 00 10 01 10
70 473 -47 <F(10) 1021 00 10 01 10
71 477 -49 <C(01) 1022 00 10 01 10
72 479 -51 <A(10) 01 1022 00 10 01 10
73 482 -48 01 (11)A> 01 1022 00 10 01 10
74 484 -46 01 11 (11)D> 1022 00 10 01 10
75 572 -2 01 1123 (11)D> 00 10 01 10
76 574 0 01 1124 (11)B> 10 01 10
77 576 2 01 1125 (11)A> 01 10
78 578 4 01 1126 (11)D> 10
79 582 6 01 1127 (11)D>
80 584 8 01 1128 (11)B>
81 587 5 01 1128 <E(00) 10
82 589 3 01 1127 <E(01) 00 10
83 643 -51 01 <E(01) 0127 00 10
84 645 -53 <B(01) 0128 00 10
85 653 -55 <E(01) 00 0128 00 10
86 655 -57 <A(01) 01 00 0128 00 10
87 659 -59 <B(00) 11 01 00 0128 00 10
88 664 -56 11 (11)B> 11 01 00 0128 00 10
89 666 -54 112 (10)B> 01 00 0128 00 10
90 670 -52 113 (10)B> 00 0128 00 10
91 674 -50 114 (11)A> 0128 00 10
92 676 -48 115 (11)D> 0127 00 10
93 681 -51 115 <E(01) 00 0126 00 10
94 691 -61 <E(01) 015 00 0126 00 10
95 693 -63 <A(01) 016 00 0126 00 10
96 697 -65 <B(00) 11 016 00 0126 00 10
97 702 -62 11 (11)B> 11 016 00 0126 00 10
98 704 -60 112 (10)B> 016 00 0126 00 10
99 728 -48 118 (10)B> 00 0126 00 10
100 732 -46 119 (11)A> 0126 00 10
101 734 -44 1110 (11)D> 0125 00 10
102 739 -47 1110 <E(01) 00 0124 00 10
103 759 -67 <E(01) 0110 00 0124 00 10
104 761 -69 <A(01) 0111 00 0124 00 10
105 765 -71 <B(00) 11 0111 00 0124 00 10
106 770 -68 11 (11)B> 11 0111 00 0124 00 10
107 772 -66 112 (10)B> 0111 00 0124 00 10
108 816 -44 1113 (10)B> 00 0124 00 10
109 820 -42 1114 (11)A> 0124 00 10
110 822 -40 1115 (11)D> 0123 00 10
111 827 -43 1115 <E(01) 00 0122 00 10
112 857 -73 <E(01) 0115 00 0122 00 10
113 859 -75 <A(01) 0116 00 0122 00 10
114 863 -77 <B(00) 11 0116 00 0122 00 10
115 868 -74 11 (11)B> 11 0116 00 0122 00 10
116 870 -72 112 (10)B> 0116 00 0122 00 10
117 934 -40 1118 (10)B> 00 0122 00 10
118 938 -38 1119 (11)A> 0122 00 10
119 940 -36 1120 (11)D> 0121 00 10
120 945 -39 1120 <E(01) 00 0120 00 10
121 985 -79 <E(01) 0120 00 0120 00 10
122 987 -81 <A(01) 0121 00 0120 00 10
123 991 -83 <B(00) 11 0121 00 0120 00 10
124 996 -80 11 (11)B> 11 0121 00 0120 00 10
125 998 -78 112 (10)B> 0121 00 0120 00 10
126 1082 -36 1123 (10)B> 00 0120 00 10
127 1086 -34 1124 (11)A> 0120 00 10
128 1088 -32 1125 (11)D> 0119 00 10
129 1093 -35 1125 <E(01) 00 0118 00 10
130 1143 -85 <E(01) 0125 00 0118 00 10
131 1145 -87 <A(01) 0126 00 0118 00 10
132 1149 -89 <B(00) 11 0126 00 0118 00 10
133 1154 -86 11 (11)B> 11 0126 00 0118 00 10
134 1156 -84 112 (10)B> 0126 00 0118 00 10
135 1260 -32 1128 (10)B> 00 0118 00 10
136 1264 -30 1129 (11)A> 0118 00 10
137 1266 -28 1130 (11)D> 0117 00 10
138 1271 -31 1130 <E(01) 00 0116 00 10
139 1331 -91 <E(01) 0130 00 0116 00 10
140 1333 -93 <A(01) 0131 00 0116 00 10
141 1337 -95 <B(00) 11 0131 00 0116 00 10
142 1342 -92 11 (11)B> 11 0131 00 0116 00 10
143 1344 -90 112 (10)B> 0131 00 0116 00 10
144 1468 -28 1133 (10)B> 00 0116 00 10
145 1472 -26 1134 (11)A> 0116 00 10
146 1474 -24 1135 (11)D> 0115 00 10
147 1479 -27 1135 <E(01) 00 0114 00 10
148 1549 -97 <E(01) 0135 00 0114 00 10
149 1551 -99 <A(01) 0136 00 0114 00 10
150 1555 -101 <B(00) 11 0136 00 0114 00 10
151 1560 -98 11 (11)B> 11 0136 00 0114 00 10
152 1562 -96 112 (10)B> 0136 00 0114 00 10
153 1706 -24 1138 (10)B> 00 0114 00 10
154 1710 -22 1139 (11)A> 0114 00 10
155 1712 -20 1140 (11)D> 0113 00 10
156 1717 -23 1140 <E(01) 00 0112 00 10
157 1797 -103 <E(01) 0140 00 0112 00 10
158 1799 -105 <A(01) 0141 00 0112 00 10
159 1803 -107 <B(00) 11 0141 00 0112 00 10
160 1808 -104 11 (11)B> 11 0141 00 0112 00 10
161 1810 -102 112 (10)B> 0141 00 0112 00 10
162 1974 -20 1143 (10)B> 00 0112 00 10
163 1978 -18 1144 (11)A> 0112 00 10
164 1980 -16 1145 (11)D> 0111 00 10
165 1985 -19 1145 <E(01) 00 0110 00 10
166 2075 -109 <E(01) 0145 00 0110 00 10
167 2077 -111 <A(01) 0146 00 0110 00 10
168 2081 -113 <B(00) 11 0146 00 0110 00 10
169 2086 -110 11 (11)B> 11 0146 00 0110 00 10
170 2088 -108 112 (10)B> 0146 00 0110 00 10
171 2272 -16 1148 (10)B> 00 0110 00 10
172 2276 -14 1149 (11)A> 0110 00 10
173 2278 -12 1150 (11)D> 019 00 10
174 2283 -15 1150 <E(01) 00 018 00 10
175 2383 -115 <E(01) 0150 00 018 00 10
176 2385 -117 <A(01) 0151 00 018 00 10
177 2389 -119 <B(00) 11 0151 00 018 00 10
178 2394 -116 11 (11)B> 11 0151 00 018 00 10
179 2396 -114 112 (10)B> 0151 00 018 00 10
180 2600 -12 1153 (10)B> 00 018 00 10
181 2604 -10 1154 (11)A> 018 00 10
182 2606 -8 1155 (11)D> 017 00 10
183 2611 -11 1155 <E(01) 00 016 00 10
184 2721 -121 <E(01) 0155 00 016 00 10
185 2723 -123 <A(01) 0156 00 016 00 10
186 2727 -125 <B(00) 11 0156 00 016 00 10
187 2732 -122 11 (11)B> 11 0156 00 016 00 10
188 2734 -120 112 (10)B> 0156 00 016 00 10
189 2958 -8 1158 (10)B> 00 016 00 10
190 2962 -6 1159 (11)A> 016 00 10
191 2964 -4 1160 (11)D> 015 00 10
192 2969 -7 1160 <E(01) 00 014 00 10
193 3089 -127 <E(01) 0160 00 014 00 10
194 3091 -129 <A(01) 0161 00 014 00 10
195 3095 -131 <B(00) 11 0161 00 014 00 10
196 3100 -128 11 (11)B> 11 0161 00 014 00 10
197 3102 -126 112 (10)B> 0161 00 014 00 10
198 3346 -4 1163 (10)B> 00 014 00 10
199 3350 -2 1164 (11)A> 014 00 10
200 3352 0 1165 (11)D> 013 00 10
201 3357 -3 1165 <E(01) 00 012 00 10
202 3487 -133 <E(01) 0165 00 012 00 10
203 3489 -135 <A(01) 0166 00 012 00 10
204 3493 -137 <B(00) 11 0166 00 012 00 10
205 3498 -134 11 (11)B> 11 0166 00 012 00 10
206 3500 -132 112 (10)B> 0166 00 012 00 10
207 3764 0 1168 (10)B> 00 012 00 10
208 3768 2 1169 (11)A> 012 00 10
209 3770 4 1170 (11)D> 01 00 10
210 3775 1 1170 <E(01) 002 10
211 3915 -139 <E(01) 0170 002 10
212 3917 -141 <A(01) 0171 002 10
213 3921 -143 <B(00) 11 0171 002 10
214 3926 -140 11 (11)B> 11 0171 002 10
215 3928 -138 112 (10)B> 0171 002 10
216 4212 4 1173 (10)B> 002 10
217 4216 6 1174 (11)A> 00 10
218 4221 3 1174 <C(10) 01 10
219 4369 -145 <C(10) 1074 01 10
220 4371 -147 <A(10) 1075 01 10
221 4374 -144 01 (11)A> 1075 01 10
222 4377 -147 01 <C(10) 00 1074 01 10
223 4379 -149 <F(10) 10 00 1074 01 10
224 4383 -151 <C(01) 102 00 1074 01 10
225 4385 -153 <A(10) 01 102 00 1074 01 10
226 4388 -150 01 (11)A> 01 102 00 1074 01 10
227 4390 -148 01 11 (11)D> 102 00 1074 01 10
228 4398 -144 01 113 (11)D> 00 1074 01 10
229 4400 -142 01 114 (11)B> 1074 01 10
230 4402 -140 01 115 (11)A> 1073 01 10
231 4405 -143 01 115 <C(10) 00 1072 01 10
232 4415 -153 01 <C(10) 105 00 1072 01 10
233 4417 -155 <F(10) 106 00 1072 01 10
234 4421 -157 <C(01) 107 00 1072 01 10
235 4423 -159 <A(10) 01 107 00 1072 01 10
236 4426 -156 01 (11)A> 01 107 00 1072 01 10
237 4428 -154 01 11 (11)D> 107 00 1072 01 10
238 4456 -140 01 118 (11)D> 00 1072 01 10
239 4458 -138 01 119 (11)B> 1072 01 10
240 4460 -136 01 1110 (11)A> 1071 01 10
241 4463 -139 01 1110 <C(10) 00 1070 01 10
242 4483 -159 01 <C(10) 1010 00 1070 01 10
243 4485 -161 <F(10) 1011 00 1070 01 10
244 4489 -163 <C(01) 1012 00 1070 01 10
245 4491 -165 <A(10) 01 1012 00 1070 01 10
246 4494 -162 01 (11)A> 01 1012 00 1070 01 10
247 4496 -160 01 11 (11)D> 1012 00 1070 01 10
248 4544 -136 01 1113 (11)D> 00 1070 01 10
249 4546 -134 01 1114 (11)B> 1070 01 10
250 4548 -132 01 1115 (11)A> 1069 01 10
251 4551 -135 01 1115 <C(10) 00 1068 01 10
252 4581 -165 01 <C(10) 1015 00 1068 01 10
253 4583 -167 <F(10) 1016 00 1068 01 10
254 4587 -169 <C(01) 1017 00 1068 01 10
255 4589 -171 <A(10) 01 1017 00 1068 01 10
256 4592 -168 01 (11)A> 01 1017 00 1068 01 10
257 4594 -166 01 11 (11)D> 1017 00 1068 01 10
258 4662 -132 01 1118 (11)D> 00 1068 01 10
259 4664 -130 01 1119 (11)B> 1068 01 10
260 4666 -128 01 1120 (11)A> 1067 01 10
261 4669 -131 01 1120 <C(10) 00 1066 01 10
262 4709 -171 01 <C(10) 1020 00 1066 01 10
263 4711 -173 <F(10) 1021 00 1066 01 10
264 4715 -175 <C(01) 1022 00 1066 01 10
265 4717 -177 <A(10) 01 1022 00 1066 01 10
266 4720 -174 01 (11)A> 01 1022 00 1066 01 10
267 4722 -172 01 11 (11)D> 1022 00 1066 01 10
268 4810 -128 01 1123 (11)D> 00 1066 01 10
269 4812 -126 01 1124 (11)B> 1066 01 10
270 4814 -124 01 1125 (11)A> 1065 01 10
271 4817 -127 01 1125 <C(10) 00 1064 01 10
272 4867 -177 01 <C(10) 1025 00 1064 01 10
273 4869 -179 <F(10) 1026 00 1064 01 10
274 4873 -181 <C(01) 1027 00 1064 01 10
275 4875 -183 <A(10) 01 1027 00 1064 01 10
276 4878 -180 01 (11)A> 01 1027 00 1064 01 10
277 4880 -178 01 11 (11)D> 1027 00 1064 01 10
278 4988 -124 01 1128 (11)D> 00 1064 01 10
279 4990 -122 01 1129 (11)B> 1064 01 10
280 4992 -120 01 1130 (11)A> 1063 01 10
281 4995 -123 01 1130 <C(10) 00 1062 01 10
282 5055 -183 01 <C(10) 1030 00 1062 01 10
283 5057 -185 <F(10) 1031 00 1062 01 10
284 5061 -187 <C(01) 1032 00 1062 01 10
285 5063 -189 <A(10) 01 1032 00 1062 01 10
286 5066 -186 01 (11)A> 01 1032 00 1062 01 10
287 5068 -184 01 11 (11)D> 1032 00 1062 01 10
288 5196 -120 01 1133 (11)D> 00 1062 01 10
289 5198 -118 01 1134 (11)B> 1062 01 10
290 5200 -116 01 1135 (11)A> 1061 01 10
291 5203 -119 01 1135 <C(10) 00 1060 01 10
292 5273 -189 01 <C(10) 1035 00 1060 01 10
293 5275 -191 <F(10) 1036 00 1060 01 10
294 5279 -193 <C(01) 1037 00 1060 01 10
295 5281 -195 <A(10) 01 1037 00 1060 01 10
296 5284 -192 01 (11)A> 01 1037 00 1060 01 10
297 5286 -190 01 11 (11)D> 1037 00 1060 01 10
298 5434 -116 01 1138 (11)D> 00 1060 01 10
299 5436 -114 01 1139 (11)B> 1060 01 10
300 5438 -112 01 1140 (11)A> 1059 01 10
301 5441 -115 01 1140 <C(10) 00 1058 01 10
302 5521 -195 01 <C(10) 1040 00 1058 01 10
303 5523 -197 <F(10) 1041 00 1058 01 10
304 5527 -199 <C(01) 1042 00 1058 01 10
305 5529 -201 <A(10) 01 1042 00 1058 01 10
306 5532 -198 01 (11)A> 01 1042 00 1058 01 10
307 5534 -196 01 11 (11)D> 1042 00 1058 01 10
308 5702 -112 01 1143 (11)D> 00 1058 01 10
309 5704 -110 01 1144 (11)B> 1058 01 10
310 5706 -108 01 1145 (11)A> 1057 01 10
311 5709 -111 01 1145 <C(10) 00 1056 01 10
312 5799 -201 01 <C(10) 1045 00 1056 01 10
313 5801 -203 <F(10) 1046 00 1056 01 10
314 5805 -205 <C(01) 1047 00 1056 01 10
315 5807 -207 <A(10) 01 1047 00 1056 01 10
316 5810 -204 01 (11)A> 01 1047 00 1056 01 10
317 5812 -202 01 11 (11)D> 1047 00 1056 01 10
318 6000 -108 01 1148 (11)D> 00 1056 01 10
319 6002 -106 01 1149 (11)B> 1056 01 10
320 6004 -104 01 1150 (11)A> 1055 01 10
321 6007 -107 01 1150 <C(10) 00 1054 01 10
322 6107 -207 01 <C(10) 1050 00 1054 01 10
323 6109 -209 <F(10) 1051 00 1054 01 10
324 6113 -211 <C(01) 1052 00 1054 01 10
325 6115 -213 <A(10) 01 1052 00 1054 01 10
326 6118 -210 01 (11)A> 01 1052 00 1054 01 10
327 6120 -208 01 11 (11)D> 1052 00 1054 01 10
328 6328 -104 01 1153 (11)D> 00 1054 01 10
329 6330 -102 01 1154 (11)B> 1054 01 10
330 6332 -100 01 1155 (11)A> 1053 01 10
331 6335 -103 01 1155 <C(10) 00 1052 01 10
332 6445 -213 01 <C(10) 1055 00 1052 01 10
333 6447 -215 <F(10) 1056 00 1052 01 10
334 6451 -217 <C(01) 1057 00 1052 01 10
335 6453 -219 <A(10) 01 1057 00 1052 01 10
336 6456 -216 01 (11)A> 01 1057 00 1052 01 10
337 6458 -214 01 11 (11)D> 1057 00 1052 01 10
338 6686 -100 01 1158 (11)D> 00 1052 01 10
339 6688 -98 01 1159 (11)B> 1052 01 10
340 6690 -96 01 1160 (11)A> 1051 01 10
341 6693 -99 01 1160 <C(10) 00 1050 01 10
342 6813 -219 01 <C(10) 1060 00 1050 01 10
343 6815 -221 <F(10) 1061 00 1050 01 10
344 6819 -223 <C(01) 1062 00 1050 01 10
345 6821 -225 <A(10) 01 1062 00 1050 01 10
346 6824 -222 01 (11)A> 01 1062 00 1050 01 10
347 6826 -220 01 11 (11)D> 1062 00 1050 01 10
348 7074 -96 01 1163 (11)D> 00 1050 01 10
349 7076 -94 01 1164 (11)B> 1050 01 10
350 7078 -92 01 1165 (11)A> 1049 01 10
351 7081 -95 01 1165 <C(10) 00 1048 01 10
352 7211 -225 01 <C(10) 1065 00 1048 01 10
353 7213 -227 <F(10) 1066 00 1048 01 10
354 7217 -229 <C(01) 1067 00 1048 01 10
355 7219 -231 <A(10) 01 1067 00 1048 01 10
356 7222 -228 01 (11)A> 01 1067 00 1048 01 10
357 7224 -226 01 11 (11)D> 1067 00 1048 01 10
358 7492 -92 01 1168 (11)D> 00 1048 01 10
359 7494 -90 01 1169 (11)B> 1048 01 10
360 7496 -88 01 1170 (11)A> 1047 01 10
361 7499 -91 01 1170 <C(10) 00 1046 01 10
362 7639 -231 01 <C(10) 1070 00 1046 01 10
363 7641 -233 <F(10) 1071 00 1046 01 10
364 7645 -235 <C(01) 1072 00 1046 01 10
365 7647 -237 <A(10) 01 1072 00 1046 01 10
366 7650 -234 01 (11)A> 01 1072 00 1046 01 10
367 7652 -232 01 11 (11)D> 1072 00 1046 01 10
368 7940 -88 01 1173 (11)D> 00 1046 01 10
369 7942 -86 01 1174 (11)B> 1046 01 10
370 7944 -84 01 1175 (11)A> 1045 01 10
371 7947 -87 01 1175 <C(10) 00 1044 01 10
372 8097 -237 01 <C(10) 1075 00 1044 01 10
373 8099 -239 <F(10) 1076 00 1044 01 10
374 8103 -241 <C(01) 1077 00 1044 01 10
375 8105 -243 <A(10) 01 1077 00 1044 01 10
376 8108 -240 01 (11)A> 01 1077 00 1044 01 10
377 8110 -238 01 11 (11)D> 1077 00 1044 01 10
378 8418 -84 01 1178 (11)D> 00 1044 01 10
379 8420 -82 01 1179 (11)B> 1044 01 10
380 8422 -80 01 1180 (11)A> 1043 01 10
381 8425 -83 01 1180 <C(10) 00 1042 01 10
382 8585 -243 01 <C(10) 1080 00 1042 01 10
383 8587 -245 <F(10) 1081 00 1042 01 10
384 8591 -247 <C(01) 1082 00 1042 01 10
385 8593 -249 <A(10) 01 1082 00 1042 01 10
386 8596 -246 01 (11)A> 01 1082 00 1042 01 10
387 8598 -244 01 11 (11)D> 1082 00 1042 01 10
388 8926 -80 01 1183 (11)D> 00 1042 01 10
389 8928 -78 01 1184 (11)B> 1042 01 10
390 8930 -76 01 1185 (11)A> 1041 01 10
391 8933 -79 01 1185 <C(10) 00 1040 01 10
392 9103 -249 01 <C(10) 1085 00 1040 01 10
393 9105 -251 <F(10) 1086 00 1040 01 10
394 9109 -253 <C(01) 1087 00 1040 01 10
395 9111 -255 <A(10) 01 1087 00 1040 01 10
396 9114 -252 01 (11)A> 01 1087 00 1040 01 10
397 9116 -250 01 11 (11)D> 1087 00 1040 01 10
398 9464 -76 01 1188 (11)D> 00 1040 01 10
399 9466 -74 01 1189 (11)B> 1040 01 10
400 9468 -72 01 1190 (11)A> 1039 01 10
401 9471 -75 01 1190 <C(10) 00 1038 01 10
402 9651 -255 01 <C(10) 1090 00 1038 01 10
403 9653 -257 <F(10) 1091 00 1038 01 10
404 9657 -259 <C(01) 1092 00 1038 01 10
405 9659 -261 <A(10) 01 1092 00 1038 01 10
406 9662 -258 01 (11)A> 01 1092 00 1038 01 10
407 9664 -256 01 11 (11)D> 1092 00 1038 01 10
408 10032 -72 01 1193 (11)D> 00 1038 01 10
409 10034 -70 01 1194 (11)B> 1038 01 10
410 10036 -68 01 1195 (11)A> 1037 01 10
411 10039 -71 01 1195 <C(10) 00 1036 01 10
412 10229 -261 01 <C(10) 1095 00 1036 01 10
413 10231 -263 <F(10) 1096 00 1036 01 10
414 10235 -265 <C(01) 1097 00 1036 01 10
415 10237 -267 <A(10) 01 1097 00 1036 01 10
416 10240 -264 01 (11)A> 01 1097 00 1036 01 10
417 10242 -262 01 11 (11)D> 1097 00 1036 01 10
418 10630 -68 01 1198 (11)D> 00 1036 01 10
419 10632 -66 01 1199 (11)B> 1036 01 10
420 10634 -64 01 11100 (11)A> 1035 01 10
421 10637 -67 01 11100 <C(10) 00 1034 01 10
422 10837 -267 01 <C(10) 10100 00 1034 01 10
423 10839 -269 <F(10) 10101 00 1034 01 10
424 10843 -271 <C(01) 10102 00 1034 01 10
425 10845 -273 <A(10) 01 10102 00 1034 01 10
426 10848 -270 01 (11)A> 01 10102 00 1034 01 10
427 10850 -268 01 11 (11)D> 10102 00 1034 01 10
428 11258 -64 01 11103 (11)D> 00 1034 01 10
429 11260 -62 01 11104 (11)B> 1034 01 10
430 11262 -60 01 11105 (11)A> 1033 01 10
431 11265 -63 01 11105 <C(10) 00 1032 01 10
432 11475 -273 01 <C(10) 10105 00 1032 01 10
433 11477 -275 <F(10) 10106 00 1032 01 10
434 11481 -277 <C(01) 10107 00 1032 01 10
435 11483 -279 <A(10) 01 10107 00 1032 01 10
436 11486 -276 01 (11)A> 01 10107 00 1032 01 10
437 11488 -274 01 11 (11)D> 10107 00 1032 01 10
438 11916 -60 01 11108 (11)D> 00 1032 01 10
439 11918 -58 01 11109 (11)B> 1032 01 10
440 11920 -56 01 11110 (11)A> 1031 01 10
441 11923 -59 01 11110 <C(10) 00 1030 01 10
442 12143 -279 01 <C(10) 10110 00 1030 01 10
443 12145 -281 <F(10) 10111 00 1030 01 10
444 12149 -283 <C(01) 10112 00 1030 01 10
445 12151 -285 <A(10) 01 10112 00 1030 01 10
446 12154 -282 01 (11)A> 01 10112 00 1030 01 10
447 12156 -280 01 11 (11)D> 10112 00 1030 01 10
448 12604 -56 01 11113 (11)D> 00 1030 01 10
449 12606 -54 01 11114 (11)B> 1030 01 10
450 12608 -52 01 11115 (11)A> 1029 01 10
451 12611 -55 01 11115 <C(10) 00 1028 01 10
452 12841 -285 01 <C(10) 10115 00 1028 01 10
453 12843 -287 <F(10) 10116 00 1028 01 10
454 12847 -289 <C(01) 10117 00 1028 01 10
455 12849 -291 <A(10) 01 10117 00 1028 01 10
456 12852 -288 01 (11)A> 01 10117 00 1028 01 10
457 12854 -286 01 11 (11)D> 10117 00 1028 01 10
458 13322 -52 01 11118 (11)D> 00 1028 01 10
459 13324 -50 01 11119 (11)B> 1028 01 10
460 13326 -48 01 11120 (11)A> 1027 01 10
461 13329 -51 01 11120 <C(10) 00 1026 01 10
462 13569 -291 01 <C(10) 10120 00 1026 01 10
463 13571 -293 <F(10) 10121 00 1026 01 10
464 13575 -295 <C(01) 10122 00 1026 01 10
465 13577 -297 <A(10) 01 10122 00 1026 01 10
466 13580 -294 01 (11)A> 01 10122 00 1026 01 10
467 13582 -292 01 11 (11)D> 10122 00 1026 01 10
468 14070 -48 01 11123 (11)D> 00 1026 01 10
469 14072 -46 01 11124 (11)B> 1026 01 10
470 14074 -44 01 11125 (11)A> 1025 01 10
471 14077 -47 01 11125 <C(10) 00 1024 01 10
472 14327 -297 01 <C(10) 10125 00 1024 01 10
473 14329 -299 <F(10) 10126 00 1024 01 10
474 14333 -301 <C(01) 10127 00 1024 01 10
475 14335 -303 <A(10) 01 10127 00 1024 01 10
476 14338 -300 01 (11)A> 01 10127 00 1024 01 10
477 14340 -298 01 11 (11)D> 10127 00 1024 01 10
478 14848 -44 01 11128 (11)D> 00 1024 01 10
479 14850 -42 01 11129 (11)B> 1024 01 10
480 14852 -40 01 11130 (11)A> 1023 01 10
481 14855 -43 01 11130 <C(10) 00 1022 01 10
482 15115 -303 01 <C(10) 10130 00 1022 01 10
483 15117 -305 <F(10) 10131 00 1022 01 10
484 15121 -307 <C(01) 10132 00 1022 01 10
485 15123 -309 <A(10) 01 10132 00 1022 01 10
486 15126 -306 01 (11)A> 01 10132 00 1022 01 10
487 15128 -304 01 11 (11)D> 10132 00 1022 01 10
488 15656 -40 01 11133 (11)D> 00 1022 01 10
489 15658 -38 01 11134 (11)B> 1022 01 10
490 15660 -36 01 11135 (11)A> 1021 01 10
491 15663 -39 01 11135 <C(10) 00 1020 01 10
492 15933 -309 01 <C(10) 10135 00 1020 01 10
493 15935 -311 <F(10) 10136 00 1020 01 10
494 15939 -313 <C(01) 10137 00 1020 01 10
495 15941 -315 <A(10) 01 10137 00 1020 01 10
496 15944 -312 01 (11)A> 01 10137 00 1020 01 10
497 15946 -310 01 11 (11)D> 10137 00 1020 01 10
498 16494 -36 01 11138 (11)D> 00 1020 01 10
499 16496 -34 01 11139 (11)B> 1020 01 10
500 16498 -32 01 11140 (11)A> 1019 01 10
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 16498
Tape index: -32
ones: 304
log10(ones ): 2.483
log10(steps ): 4.217
Input to awk program:
gohalt 1
L 40
5T B1R C0L A1L D1R B0L E0L A1R B0R F1L C1L A0L Z1R : >1.9*10^19 >7.0*10^37
T 6-state TM #j from MaBu-List
M 501
pref sim
machv mbL6_j just simple
machv mbL6_j-r with repetitions reduced
machv mbL6_j-1 with tape symbol exponents
machv mbL6_j-m as 2-bck-macro machine
machv mbL6_j-a as 2-bck-macro machine with pure additive config-TRs
iam mbL6_j-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:58 CEST 2010
edate Tue Jul 6 22:10:58 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:58 CEST 2010