Comment: This TM produces 36109970 ones in 758650111948072 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 | E0R | 1 | left | A | 0 | right | E |
| C | D1L | F1L | 1 | left | D | 1 | left | F |
| D | B0L | C1L | 0 | left | B | 1 | left | C |
| E | B1R | A1R | 1 | right | B | 1 | right | A |
| F | C0L | Z1R | 0 | left | C | 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-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <C 01
2 5 -3 <B 012
3 8 -2 10 E> 012
4 12 2 103 E>
5 15 1 103 <C 01
6 21 -5 <C 113 01
7 23 -7 <B 01 113 01
8 26 -6 10 E> 01 113 01
9 28 -4 102 E> 113 01
10 31 -5 102 <F 10 112 01
11 35 -9 <F 103 112 01
12 37 -11 <D 104 112 01
13 39 -13 <A 105 112 01
14 40 -12 01 B> 105 112 01
15 50 -2 016 B> 112 01
16 52 0 017 A> 11 01
17 53 -1 017 <C 012
18 67 -15 <C 019
19 69 -17 <B 0110
20 72 -16 10 E> 0110
21 92 4 1011 E>
22 95 3 1011 <C 01
23 117 -19 <C 1111 01
24 119 -21 <B 01 1111 01
25 122 -20 10 E> 01 1111 01
26 124 -18 102 E> 1111 01
27 127 -19 102 <F 10 1110 01
28 131 -23 <F 103 1110 01
29 133 -25 <D 104 1110 01
30 135 -27 <A 105 1110 01
31 136 -26 01 B> 105 1110 01
32 146 -16 016 B> 1110 01
33 148 -14 017 A> 119 01
34 149 -15 017 <C 01 118 01
35 163 -29 <C 018 118 01
36 165 -31 <B 019 118 01
37 168 -30 10 E> 019 118 01
38 186 -12 1010 E> 118 01
39 189 -13 1010 <F 10 117 01
40 209 -33 <F 1011 117 01
41 211 -35 <D 1012 117 01
42 213 -37 <A 1013 117 01
43 214 -36 01 B> 1013 117 01
44 240 -10 0114 B> 117 01
45 242 -8 0115 A> 116 01
46 243 -9 0115 <C 01 115 01
47 273 -39 <C 0116 115 01
48 275 -41 <B 0117 115 01
49 278 -40 10 E> 0117 115 01
50 312 -6 1018 E> 115 01
51 315 -7 1018 <F 10 114 01
52 351 -43 <F 1019 114 01
53 353 -45 <D 1020 114 01
54 355 -47 <A 1021 114 01
55 356 -46 01 B> 1021 114 01
56 398 -4 0122 B> 114 01
57 400 -2 0123 A> 113 01
58 401 -3 0123 <C 01 112 01
59 447 -49 <C 0124 112 01
60 449 -51 <B 0125 112 01
61 452 -50 10 E> 0125 112 01
62 502 0 1026 E> 112 01
63 505 -1 1026 <F 10 11 01
64 557 -53 <F 1027 11 01
65 559 -55 <D 1028 11 01
66 561 -57 <A 1029 11 01
67 562 -56 01 B> 1029 11 01
68 620 2 0130 B> 11 01
69 622 4 0131 A> 01
70 624 6 0131 10 E>
71 627 5 0131 10 <C 01
72 629 3 0131 <C 11 01
73 691 -59 <C 0131 11 01
74 693 -61 <B 0132 11 01
75 696 -60 10 E> 0132 11 01
76 760 4 1033 E> 11 01
77 763 3 1033 <F 10 01
78 829 -63 <F 1034 01
79 831 -65 <D 1035 01
80 833 -67 <A 1036 01
81 834 -66 01 B> 1036 01
82 906 6 0137 B> 01
83 907 5 0137 <A 11
84 909 3 0136 <D 10 11
85 981 -69 <D 1136 10 11
86 983 -71 <A 10 1136 10 11
87 984 -70 01 B> 10 1136 10 11
88 986 -68 012 B> 1136 10 11
89 988 -66 013 A> 1135 10 11
90 989 -67 013 <C 01 1134 10 11
91 995 -73 <C 014 1134 10 11
92 997 -75 <B 015 1134 10 11
93 1000 -74 10 E> 015 1134 10 11
94 1010 -64 106 E> 1134 10 11
95 1013 -65 106 <F 10 1133 10 11
96 1025 -77 <F 107 1133 10 11
97 1027 -79 <D 108 1133 10 11
98 1029 -81 <A 109 1133 10 11
99 1030 -80 01 B> 109 1133 10 11
100 1048 -62 0110 B> 1133 10 11
101 1050 -60 0111 A> 1132 10 11
102 1051 -61 0111 <C 01 1131 10 11
103 1073 -83 <C 0112 1131 10 11
104 1075 -85 <B 0113 1131 10 11
105 1078 -84 10 E> 0113 1131 10 11
106 1104 -58 1014 E> 1131 10 11
107 1107 -59 1014 <F 10 1130 10 11
108 1135 -87 <F 1015 1130 10 11
109 1137 -89 <D 1016 1130 10 11
110 1139 -91 <A 1017 1130 10 11
111 1140 -90 01 B> 1017 1130 10 11
112 1174 -56 0118 B> 1130 10 11
113 1176 -54 0119 A> 1129 10 11
114 1177 -55 0119 <C 01 1128 10 11
115 1215 -93 <C 0120 1128 10 11
116 1217 -95 <B 0121 1128 10 11
117 1220 -94 10 E> 0121 1128 10 11
118 1262 -52 1022 E> 1128 10 11
119 1265 -53 1022 <F 10 1127 10 11
120 1309 -97 <F 1023 1127 10 11
121 1311 -99 <D 1024 1127 10 11
122 1313 -101 <A 1025 1127 10 11
123 1314 -100 01 B> 1025 1127 10 11
124 1364 -50 0126 B> 1127 10 11
125 1366 -48 0127 A> 1126 10 11
126 1367 -49 0127 <C 01 1125 10 11
127 1421 -103 <C 0128 1125 10 11
128 1423 -105 <B 0129 1125 10 11
129 1426 -104 10 E> 0129 1125 10 11
130 1484 -46 1030 E> 1125 10 11
131 1487 -47 1030 <F 10 1124 10 11
132 1547 -107 <F 1031 1124 10 11
133 1549 -109 <D 1032 1124 10 11
134 1551 -111 <A 1033 1124 10 11
135 1552 -110 01 B> 1033 1124 10 11
136 1618 -44 0134 B> 1124 10 11
137 1620 -42 0135 A> 1123 10 11
138 1621 -43 0135 <C 01 1122 10 11
139 1691 -113 <C 0136 1122 10 11
140 1693 -115 <B 0137 1122 10 11
141 1696 -114 10 E> 0137 1122 10 11
142 1770 -40 1038 E> 1122 10 11
143 1773 -41 1038 <F 10 1121 10 11
144 1849 -117 <F 1039 1121 10 11
145 1851 -119 <D 1040 1121 10 11
146 1853 -121 <A 1041 1121 10 11
147 1854 -120 01 B> 1041 1121 10 11
148 1936 -38 0142 B> 1121 10 11
149 1938 -36 0143 A> 1120 10 11
150 1939 -37 0143 <C 01 1119 10 11
151 2025 -123 <C 0144 1119 10 11
152 2027 -125 <B 0145 1119 10 11
153 2030 -124 10 E> 0145 1119 10 11
154 2120 -34 1046 E> 1119 10 11
155 2123 -35 1046 <F 10 1118 10 11
156 2215 -127 <F 1047 1118 10 11
157 2217 -129 <D 1048 1118 10 11
158 2219 -131 <A 1049 1118 10 11
159 2220 -130 01 B> 1049 1118 10 11
160 2318 -32 0150 B> 1118 10 11
161 2320 -30 0151 A> 1117 10 11
162 2321 -31 0151 <C 01 1116 10 11
163 2423 -133 <C 0152 1116 10 11
164 2425 -135 <B 0153 1116 10 11
165 2428 -134 10 E> 0153 1116 10 11
166 2534 -28 1054 E> 1116 10 11
167 2537 -29 1054 <F 10 1115 10 11
168 2645 -137 <F 1055 1115 10 11
169 2647 -139 <D 1056 1115 10 11
170 2649 -141 <A 1057 1115 10 11
171 2650 -140 01 B> 1057 1115 10 11
172 2764 -26 0158 B> 1115 10 11
173 2766 -24 0159 A> 1114 10 11
174 2767 -25 0159 <C 01 1113 10 11
175 2885 -143 <C 0160 1113 10 11
176 2887 -145 <B 0161 1113 10 11
177 2890 -144 10 E> 0161 1113 10 11
178 3012 -22 1062 E> 1113 10 11
179 3015 -23 1062 <F 10 1112 10 11
180 3139 -147 <F 1063 1112 10 11
181 3141 -149 <D 1064 1112 10 11
182 3143 -151 <A 1065 1112 10 11
183 3144 -150 01 B> 1065 1112 10 11
184 3274 -20 0166 B> 1112 10 11
185 3276 -18 0167 A> 1111 10 11
186 3277 -19 0167 <C 01 1110 10 11
187 3411 -153 <C 0168 1110 10 11
188 3413 -155 <B 0169 1110 10 11
189 3416 -154 10 E> 0169 1110 10 11
190 3554 -16 1070 E> 1110 10 11
191 3557 -17 1070 <F 10 119 10 11
192 3697 -157 <F 1071 119 10 11
193 3699 -159 <D 1072 119 10 11
194 3701 -161 <A 1073 119 10 11
195 3702 -160 01 B> 1073 119 10 11
196 3848 -14 0174 B> 119 10 11
197 3850 -12 0175 A> 118 10 11
198 3851 -13 0175 <C 01 117 10 11
199 4001 -163 <C 0176 117 10 11
200 4003 -165 <B 0177 117 10 11
201 4006 -164 10 E> 0177 117 10 11
202 4160 -10 1078 E> 117 10 11
203 4163 -11 1078 <F 10 116 10 11
204 4319 -167 <F 1079 116 10 11
205 4321 -169 <D 1080 116 10 11
206 4323 -171 <A 1081 116 10 11
207 4324 -170 01 B> 1081 116 10 11
208 4486 -8 0182 B> 116 10 11
209 4488 -6 0183 A> 115 10 11
210 4489 -7 0183 <C 01 114 10 11
211 4655 -173 <C 0184 114 10 11
212 4657 -175 <B 0185 114 10 11
213 4660 -174 10 E> 0185 114 10 11
214 4830 -4 1086 E> 114 10 11
215 4833 -5 1086 <F 10 113 10 11
216 5005 -177 <F 1087 113 10 11
217 5007 -179 <D 1088 113 10 11
218 5009 -181 <A 1089 113 10 11
219 5010 -180 01 B> 1089 113 10 11
220 5188 -2 0190 B> 113 10 11
221 5190 0 0191 A> 112 10 11
222 5191 -1 0191 <C 01 11 10 11
223 5373 -183 <C 0192 11 10 11
224 5375 -185 <B 0193 11 10 11
225 5378 -184 10 E> 0193 11 10 11
226 5564 2 1094 E> 11 10 11
227 5567 1 1094 <F 102 11
228 5755 -187 <F 1096 11
229 5757 -189 <D 1097 11
230 5759 -191 <A 1098 11
231 5760 -190 01 B> 1098 11
232 5956 6 0199 B> 11
233 5958 8 01100 A>
234 5961 7 01100 <C 01
235 6161 -193 <C 01101
236 6163 -195 <B 01102
237 6166 -194 10 E> 01102
238 6370 10 10103 E>
239 6373 9 10103 <C 01
240 6579 -197 <C 11103 01
241 6581 -199 <B 01 11103 01
242 6584 -198 10 E> 01 11103 01
243 6586 -196 102 E> 11103 01
244 6589 -197 102 <F 10 11102 01
245 6593 -201 <F 103 11102 01
246 6595 -203 <D 104 11102 01
247 6597 -205 <A 105 11102 01
248 6598 -204 01 B> 105 11102 01
249 6608 -194 016 B> 11102 01
250 6610 -192 017 A> 11101 01
251 6611 -193 017 <C 01 11100 01
252 6625 -207 <C 018 11100 01
253 6627 -209 <B 019 11100 01
254 6630 -208 10 E> 019 11100 01
255 6648 -190 1010 E> 11100 01
256 6651 -191 1010 <F 10 1199 01
257 6671 -211 <F 1011 1199 01
258 6673 -213 <D 1012 1199 01
259 6675 -215 <A 1013 1199 01
260 6676 -214 01 B> 1013 1199 01
261 6702 -188 0114 B> 1199 01
262 6704 -186 0115 A> 1198 01
263 6705 -187 0115 <C 01 1197 01
264 6735 -217 <C 0116 1197 01
265 6737 -219 <B 0117 1197 01
266 6740 -218 10 E> 0117 1197 01
267 6774 -184 1018 E> 1197 01
268 6777 -185 1018 <F 10 1196 01
269 6813 -221 <F 1019 1196 01
270 6815 -223 <D 1020 1196 01
271 6817 -225 <A 1021 1196 01
272 6818 -224 01 B> 1021 1196 01
273 6860 -182 0122 B> 1196 01
274 6862 -180 0123 A> 1195 01
275 6863 -181 0123 <C 01 1194 01
276 6909 -227 <C 0124 1194 01
277 6911 -229 <B 0125 1194 01
278 6914 -228 10 E> 0125 1194 01
279 6964 -178 1026 E> 1194 01
280 6967 -179 1026 <F 10 1193 01
281 7019 -231 <F 1027 1193 01
282 7021 -233 <D 1028 1193 01
283 7023 -235 <A 1029 1193 01
284 7024 -234 01 B> 1029 1193 01
285 7082 -176 0130 B> 1193 01
286 7084 -174 0131 A> 1192 01
287 7085 -175 0131 <C 01 1191 01
288 7147 -237 <C 0132 1191 01
289 7149 -239 <B 0133 1191 01
290 7152 -238 10 E> 0133 1191 01
291 7218 -172 1034 E> 1191 01
292 7221 -173 1034 <F 10 1190 01
293 7289 -241 <F 1035 1190 01
294 7291 -243 <D 1036 1190 01
295 7293 -245 <A 1037 1190 01
296 7294 -244 01 B> 1037 1190 01
297 7368 -170 0138 B> 1190 01
298 7370 -168 0139 A> 1189 01
299 7371 -169 0139 <C 01 1188 01
300 7449 -247 <C 0140 1188 01
301 7451 -249 <B 0141 1188 01
302 7454 -248 10 E> 0141 1188 01
303 7536 -166 1042 E> 1188 01
304 7539 -167 1042 <F 10 1187 01
305 7623 -251 <F 1043 1187 01
306 7625 -253 <D 1044 1187 01
307 7627 -255 <A 1045 1187 01
308 7628 -254 01 B> 1045 1187 01
309 7718 -164 0146 B> 1187 01
310 7720 -162 0147 A> 1186 01
311 7721 -163 0147 <C 01 1185 01
312 7815 -257 <C 0148 1185 01
313 7817 -259 <B 0149 1185 01
314 7820 -258 10 E> 0149 1185 01
315 7918 -160 1050 E> 1185 01
316 7921 -161 1050 <F 10 1184 01
317 8021 -261 <F 1051 1184 01
318 8023 -263 <D 1052 1184 01
319 8025 -265 <A 1053 1184 01
320 8026 -264 01 B> 1053 1184 01
321 8132 -158 0154 B> 1184 01
322 8134 -156 0155 A> 1183 01
323 8135 -157 0155 <C 01 1182 01
324 8245 -267 <C 0156 1182 01
325 8247 -269 <B 0157 1182 01
326 8250 -268 10 E> 0157 1182 01
327 8364 -154 1058 E> 1182 01
328 8367 -155 1058 <F 10 1181 01
329 8483 -271 <F 1059 1181 01
330 8485 -273 <D 1060 1181 01
331 8487 -275 <A 1061 1181 01
332 8488 -274 01 B> 1061 1181 01
333 8610 -152 0162 B> 1181 01
334 8612 -150 0163 A> 1180 01
335 8613 -151 0163 <C 01 1179 01
336 8739 -277 <C 0164 1179 01
337 8741 -279 <B 0165 1179 01
338 8744 -278 10 E> 0165 1179 01
339 8874 -148 1066 E> 1179 01
340 8877 -149 1066 <F 10 1178 01
341 9009 -281 <F 1067 1178 01
342 9011 -283 <D 1068 1178 01
343 9013 -285 <A 1069 1178 01
344 9014 -284 01 B> 1069 1178 01
345 9152 -146 0170 B> 1178 01
346 9154 -144 0171 A> 1177 01
347 9155 -145 0171 <C 01 1176 01
348 9297 -287 <C 0172 1176 01
349 9299 -289 <B 0173 1176 01
350 9302 -288 10 E> 0173 1176 01
351 9448 -142 1074 E> 1176 01
352 9451 -143 1074 <F 10 1175 01
353 9599 -291 <F 1075 1175 01
354 9601 -293 <D 1076 1175 01
355 9603 -295 <A 1077 1175 01
356 9604 -294 01 B> 1077 1175 01
357 9758 -140 0178 B> 1175 01
358 9760 -138 0179 A> 1174 01
359 9761 -139 0179 <C 01 1173 01
360 9919 -297 <C 0180 1173 01
361 9921 -299 <B 0181 1173 01
362 9924 -298 10 E> 0181 1173 01
363 10086 -136 1082 E> 1173 01
364 10089 -137 1082 <F 10 1172 01
365 10253 -301 <F 1083 1172 01
366 10255 -303 <D 1084 1172 01
367 10257 -305 <A 1085 1172 01
368 10258 -304 01 B> 1085 1172 01
369 10428 -134 0186 B> 1172 01
370 10430 -132 0187 A> 1171 01
371 10431 -133 0187 <C 01 1170 01
372 10605 -307 <C 0188 1170 01
373 10607 -309 <B 0189 1170 01
374 10610 -308 10 E> 0189 1170 01
375 10788 -130 1090 E> 1170 01
376 10791 -131 1090 <F 10 1169 01
377 10971 -311 <F 1091 1169 01
378 10973 -313 <D 1092 1169 01
379 10975 -315 <A 1093 1169 01
380 10976 -314 01 B> 1093 1169 01
381 11162 -128 0194 B> 1169 01
382 11164 -126 0195 A> 1168 01
383 11165 -127 0195 <C 01 1167 01
384 11355 -317 <C 0196 1167 01
385 11357 -319 <B 0197 1167 01
386 11360 -318 10 E> 0197 1167 01
387 11554 -124 1098 E> 1167 01
388 11557 -125 1098 <F 10 1166 01
389 11753 -321 <F 1099 1166 01
390 11755 -323 <D 10100 1166 01
391 11757 -325 <A 10101 1166 01
392 11758 -324 01 B> 10101 1166 01
393 11960 -122 01102 B> 1166 01
394 11962 -120 01103 A> 1165 01
395 11963 -121 01103 <C 01 1164 01
396 12169 -327 <C 01104 1164 01
397 12171 -329 <B 01105 1164 01
398 12174 -328 10 E> 01105 1164 01
399 12384 -118 10106 E> 1164 01
400 12387 -119 10106 <F 10 1163 01
401 12599 -331 <F 10107 1163 01
402 12601 -333 <D 10108 1163 01
403 12603 -335 <A 10109 1163 01
404 12604 -334 01 B> 10109 1163 01
405 12822 -116 01110 B> 1163 01
406 12824 -114 01111 A> 1162 01
407 12825 -115 01111 <C 01 1161 01
408 13047 -337 <C 01112 1161 01
409 13049 -339 <B 01113 1161 01
410 13052 -338 10 E> 01113 1161 01
411 13278 -112 10114 E> 1161 01
412 13281 -113 10114 <F 10 1160 01
413 13509 -341 <F 10115 1160 01
414 13511 -343 <D 10116 1160 01
415 13513 -345 <A 10117 1160 01
416 13514 -344 01 B> 10117 1160 01
417 13748 -110 01118 B> 1160 01
418 13750 -108 01119 A> 1159 01
419 13751 -109 01119 <C 01 1158 01
420 13989 -347 <C 01120 1158 01
421 13991 -349 <B 01121 1158 01
422 13994 -348 10 E> 01121 1158 01
423 14236 -106 10122 E> 1158 01
424 14239 -107 10122 <F 10 1157 01
425 14483 -351 <F 10123 1157 01
426 14485 -353 <D 10124 1157 01
427 14487 -355 <A 10125 1157 01
428 14488 -354 01 B> 10125 1157 01
429 14738 -104 01126 B> 1157 01
430 14740 -102 01127 A> 1156 01
431 14741 -103 01127 <C 01 1155 01
432 14995 -357 <C 01128 1155 01
433 14997 -359 <B 01129 1155 01
434 15000 -358 10 E> 01129 1155 01
435 15258 -100 10130 E> 1155 01
436 15261 -101 10130 <F 10 1154 01
437 15521 -361 <F 10131 1154 01
438 15523 -363 <D 10132 1154 01
439 15525 -365 <A 10133 1154 01
440 15526 -364 01 B> 10133 1154 01
441 15792 -98 01134 B> 1154 01
442 15794 -96 01135 A> 1153 01
443 15795 -97 01135 <C 01 1152 01
444 16065 -367 <C 01136 1152 01
445 16067 -369 <B 01137 1152 01
446 16070 -368 10 E> 01137 1152 01
447 16344 -94 10138 E> 1152 01
448 16347 -95 10138 <F 10 1151 01
449 16623 -371 <F 10139 1151 01
450 16625 -373 <D 10140 1151 01
451 16627 -375 <A 10141 1151 01
452 16628 -374 01 B> 10141 1151 01
453 16910 -92 01142 B> 1151 01
454 16912 -90 01143 A> 1150 01
455 16913 -91 01143 <C 01 1149 01
456 17199 -377 <C 01144 1149 01
457 17201 -379 <B 01145 1149 01
458 17204 -378 10 E> 01145 1149 01
459 17494 -88 10146 E> 1149 01
460 17497 -89 10146 <F 10 1148 01
461 17789 -381 <F 10147 1148 01
462 17791 -383 <D 10148 1148 01
463 17793 -385 <A 10149 1148 01
464 17794 -384 01 B> 10149 1148 01
465 18092 -86 01150 B> 1148 01
466 18094 -84 01151 A> 1147 01
467 18095 -85 01151 <C 01 1146 01
468 18397 -387 <C 01152 1146 01
469 18399 -389 <B 01153 1146 01
470 18402 -388 10 E> 01153 1146 01
471 18708 -82 10154 E> 1146 01
472 18711 -83 10154 <F 10 1145 01
473 19019 -391 <F 10155 1145 01
474 19021 -393 <D 10156 1145 01
475 19023 -395 <A 10157 1145 01
476 19024 -394 01 B> 10157 1145 01
477 19338 -80 01158 B> 1145 01
478 19340 -78 01159 A> 1144 01
479 19341 -79 01159 <C 01 1143 01
480 19659 -397 <C 01160 1143 01
481 19661 -399 <B 01161 1143 01
482 19664 -398 10 E> 01161 1143 01
483 19986 -76 10162 E> 1143 01
484 19989 -77 10162 <F 10 1142 01
485 20313 -401 <F 10163 1142 01
486 20315 -403 <D 10164 1142 01
487 20317 -405 <A 10165 1142 01
488 20318 -404 01 B> 10165 1142 01
489 20648 -74 01166 B> 1142 01
490 20650 -72 01167 A> 1141 01
491 20651 -73 01167 <C 01 1140 01
492 20985 -407 <C 01168 1140 01
493 20987 -409 <B 01169 1140 01
494 20990 -408 10 E> 01169 1140 01
495 21328 -70 10170 E> 1140 01
496 21331 -71 10170 <F 10 1139 01
497 21671 -411 <F 10171 1139 01
498 21673 -413 <D 10172 1139 01
499 21675 -415 <A 10173 1139 01
500 21676 -414 01 B> 10173 1139 01
Lines: 501
Top steps: 500
Macro steps: 500
Basic steps: 21676
Tape index: -414
ones: 253
log10(ones ): 2.403
log10(steps ): 4.336
Input to awk program:
gohalt 1
L 42
5T B1R C0L A1L E0R D1L F1L B0L C1L B1R A1R C0L Z1R : 36109970 758650111948072
T 6-state TM #c from MaBu-List
M 501
pref sim
machv mbL6_c just simple
machv mbL6_c-r with repetitions reduced
machv mbL6_c-1 with tape symbol exponents
machv mbL6_c-m as 2-macro machine
machv mbL6_c-a as 2-macro machine with pure additive config-TRs
iam mbL6_c-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:10:41 CEST 2010
edate Tue Jul 6 22:10:42 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:10:41 CEST 2010