Comment: This TM produces 100 ones in 5093 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| 0 | 11 | 30 | 1 | stay | 1 | 0 | stay | 3 |
| 1 | 2R | 1R | 0 | right | 2 | 1 | right | 1 |
| 2 | 3R | 10 | 0 | right | 3 | 0 | stay | 1 |
| 3 | 4L | *= | 0 | left | 4 | 1 | stay | * |
| 4 | 5R | 1L | 0 | right | 5 | 1 | left | 1 |
| 5 | 6R | 6L | 0 | right | 6 | 1 | left | 6 |
| 6 | 51 | 0L | 1 | stay | 5 | 1 | left | 0 |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Steps BasSteps BasTpos Tape contents
0 0 0 0>
1 2 1 1 1>
2 3 2 1 0 2>
3 4 3 1 02 3>
4 5 2 1 02 <4
5 6 3 1 02 5>
6 7 4 1 03 6>
7 9 3 1 03 <6 1
8 15 0 1 <6 14
9 16 -1 <0 15
10 18 0 1 1> 15
11 23 5 16 1>
12 24 6 16 0 2>
13 25 7 16 02 3>
14 26 6 16 02 <4
15 27 7 16 02 5>
16 28 8 16 03 6>
17 30 7 16 03 <6 1
18 36 4 16 <6 14
19 37 3 15 <0 15
20 39 2 14 <4 0 15
21 40 1 13 <1 1 0 15
22 41 2 13 1> 1 0 15
23 42 3 14 1> 0 15
24 43 4 14 0 2> 15
25 53 9 14 06 2>
26 54 10 14 07 3>
27 55 9 14 07 <4
28 56 10 14 07 5>
29 57 11 14 08 6>
30 59 10 14 08 <6 1
31 75 2 14 <6 19
32 76 1 13 <0 110
33 78 0 12 <4 0 110
34 79 -1 1 <1 1 0 110
35 80 0 1 1> 1 0 110
36 81 1 12 1> 0 110
37 82 2 12 0 2> 110
38 102 12 12 011 2>
39 103 13 12 012 3>
40 104 12 12 012 <4
41 105 13 12 012 5>
42 106 14 12 013 6>
43 108 13 12 013 <6 1
44 134 0 12 <6 114
45 135 -1 1 <0 115
46 137 -2 <4 0 115
47 138 -1 5> 0 115
48 139 0 6> 115
49 140 -1 <0 115
50 142 0 1 1> 115
51 157 15 116 1>
52 158 16 116 0 2>
53 159 17 116 02 3>
54 160 16 116 02 <4
55 161 17 116 02 5>
56 162 18 116 03 6>
57 164 17 116 03 <6 1
58 170 14 116 <6 14
59 171 13 115 <0 15
60 173 12 114 <4 0 15
61 174 11 113 <1 1 0 15
62 175 12 113 1> 1 0 15
63 176 13 114 1> 0 15
64 177 14 114 0 2> 15
65 187 19 114 06 2>
66 188 20 114 07 3>
67 189 19 114 07 <4
68 190 20 114 07 5>
69 191 21 114 08 6>
70 193 20 114 08 <6 1
71 209 12 114 <6 19
72 210 11 113 <0 110
73 212 10 112 <4 0 110
74 213 9 111 <1 1 0 110
75 214 10 111 1> 1 0 110
76 215 11 112 1> 0 110
77 216 12 112 0 2> 110
78 236 22 112 011 2>
79 237 23 112 012 3>
80 238 22 112 012 <4
81 239 23 112 012 5>
82 240 24 112 013 6>
83 242 23 112 013 <6 1
84 268 10 112 <6 114
85 269 9 111 <0 115
86 271 8 110 <4 0 115
87 272 7 19 <1 1 0 115
88 273 8 19 1> 1 0 115
89 274 9 110 1> 0 115
90 275 10 110 0 2> 115
91 305 25 110 016 2>
92 306 26 110 017 3>
93 307 25 110 017 <4
94 308 26 110 017 5>
95 309 27 110 018 6>
96 311 26 110 018 <6 1
97 347 8 110 <6 119
98 348 7 19 <0 120
99 350 6 18 <4 0 120
100 351 5 17 <1 1 0 120
101 352 6 17 1> 1 0 120
102 353 7 18 1> 0 120
103 354 8 18 0 2> 120
104 394 28 18 021 2>
105 395 29 18 022 3>
106 396 28 18 022 <4
107 397 29 18 022 5>
108 398 30 18 023 6>
109 400 29 18 023 <6 1
110 446 6 18 <6 124
111 447 5 17 <0 125
112 449 4 16 <4 0 125
113 450 3 15 <1 1 0 125
114 451 4 15 1> 1 0 125
115 452 5 16 1> 0 125
116 453 6 16 0 2> 125
117 503 31 16 026 2>
118 504 32 16 027 3>
119 505 31 16 027 <4
120 506 32 16 027 5>
121 507 33 16 028 6>
122 509 32 16 028 <6 1
123 565 4 16 <6 129
124 566 3 15 <0 130
125 568 2 14 <4 0 130
126 569 1 13 <1 1 0 130
127 570 2 13 1> 1 0 130
128 571 3 14 1> 0 130
129 572 4 14 0 2> 130
130 632 34 14 031 2>
131 633 35 14 032 3>
132 634 34 14 032 <4
133 635 35 14 032 5>
134 636 36 14 033 6>
135 638 35 14 033 <6 1
136 704 2 14 <6 134
137 705 1 13 <0 135
138 707 0 12 <4 0 135
139 708 -1 1 <1 1 0 135
140 709 0 1 1> 1 0 135
141 710 1 12 1> 0 135
142 711 2 12 0 2> 135
143 781 37 12 036 2>
144 782 38 12 037 3>
145 783 37 12 037 <4
146 784 38 12 037 5>
147 785 39 12 038 6>
148 787 38 12 038 <6 1
149 863 0 12 <6 139
150 864 -1 1 <0 140
151 866 -2 <4 0 140
152 867 -1 5> 0 140
153 868 0 6> 140
154 869 -1 <0 140
155 871 0 1 1> 140
156 911 40 141 1>
157 912 41 141 0 2>
158 913 42 141 02 3>
159 914 41 141 02 <4
160 915 42 141 02 5>
161 916 43 141 03 6>
162 918 42 141 03 <6 1
163 924 39 141 <6 14
164 925 38 140 <0 15
165 927 37 139 <4 0 15
166 928 36 138 <1 1 0 15
167 929 37 138 1> 1 0 15
168 930 38 139 1> 0 15
169 931 39 139 0 2> 15
170 941 44 139 06 2>
171 942 45 139 07 3>
172 943 44 139 07 <4
173 944 45 139 07 5>
174 945 46 139 08 6>
175 947 45 139 08 <6 1
176 963 37 139 <6 19
177 964 36 138 <0 110
178 966 35 137 <4 0 110
179 967 34 136 <1 1 0 110
180 968 35 136 1> 1 0 110
181 969 36 137 1> 0 110
182 970 37 137 0 2> 110
183 990 47 137 011 2>
184 991 48 137 012 3>
185 992 47 137 012 <4
186 993 48 137 012 5>
187 994 49 137 013 6>
188 996 48 137 013 <6 1
189 1022 35 137 <6 114
190 1023 34 136 <0 115
191 1025 33 135 <4 0 115
192 1026 32 134 <1 1 0 115
193 1027 33 134 1> 1 0 115
194 1028 34 135 1> 0 115
195 1029 35 135 0 2> 115
196 1059 50 135 016 2>
197 1060 51 135 017 3>
198 1061 50 135 017 <4
199 1062 51 135 017 5>
200 1063 52 135 018 6>
201 1065 51 135 018 <6 1
202 1101 33 135 <6 119
203 1102 32 134 <0 120
204 1104 31 133 <4 0 120
205 1105 30 132 <1 1 0 120
206 1106 31 132 1> 1 0 120
207 1107 32 133 1> 0 120
208 1108 33 133 0 2> 120
209 1148 53 133 021 2>
210 1149 54 133 022 3>
211 1150 53 133 022 <4
212 1151 54 133 022 5>
213 1152 55 133 023 6>
214 1154 54 133 023 <6 1
215 1200 31 133 <6 124
216 1201 30 132 <0 125
217 1203 29 131 <4 0 125
218 1204 28 130 <1 1 0 125
219 1205 29 130 1> 1 0 125
220 1206 30 131 1> 0 125
221 1207 31 131 0 2> 125
222 1257 56 131 026 2>
223 1258 57 131 027 3>
224 1259 56 131 027 <4
225 1260 57 131 027 5>
226 1261 58 131 028 6>
227 1263 57 131 028 <6 1
228 1319 29 131 <6 129
229 1320 28 130 <0 130
230 1322 27 129 <4 0 130
231 1323 26 128 <1 1 0 130
232 1324 27 128 1> 1 0 130
233 1325 28 129 1> 0 130
234 1326 29 129 0 2> 130
235 1386 59 129 031 2>
236 1387 60 129 032 3>
237 1388 59 129 032 <4
238 1389 60 129 032 5>
239 1390 61 129 033 6>
240 1392 60 129 033 <6 1
241 1458 27 129 <6 134
242 1459 26 128 <0 135
243 1461 25 127 <4 0 135
244 1462 24 126 <1 1 0 135
245 1463 25 126 1> 1 0 135
246 1464 26 127 1> 0 135
247 1465 27 127 0 2> 135
248 1535 62 127 036 2>
249 1536 63 127 037 3>
250 1537 62 127 037 <4
251 1538 63 127 037 5>
252 1539 64 127 038 6>
253 1541 63 127 038 <6 1
254 1617 25 127 <6 139
255 1618 24 126 <0 140
256 1620 23 125 <4 0 140
257 1621 22 124 <1 1 0 140
258 1622 23 124 1> 1 0 140
259 1623 24 125 1> 0 140
260 1624 25 125 0 2> 140
261 1704 65 125 041 2>
262 1705 66 125 042 3>
263 1706 65 125 042 <4
264 1707 66 125 042 5>
265 1708 67 125 043 6>
266 1710 66 125 043 <6 1
267 1796 23 125 <6 144
268 1797 22 124 <0 145
269 1799 21 123 <4 0 145
270 1800 20 122 <1 1 0 145
271 1801 21 122 1> 1 0 145
272 1802 22 123 1> 0 145
273 1803 23 123 0 2> 145
274 1893 68 123 046 2>
275 1894 69 123 047 3>
276 1895 68 123 047 <4
277 1896 69 123 047 5>
278 1897 70 123 048 6>
279 1899 69 123 048 <6 1
280 1995 21 123 <6 149
281 1996 20 122 <0 150
282 1998 19 121 <4 0 150
283 1999 18 120 <1 1 0 150
284 2000 19 120 1> 1 0 150
285 2001 20 121 1> 0 150
286 2002 21 121 0 2> 150
287 2102 71 121 051 2>
288 2103 72 121 052 3>
289 2104 71 121 052 <4
290 2105 72 121 052 5>
291 2106 73 121 053 6>
292 2108 72 121 053 <6 1
293 2214 19 121 <6 154
294 2215 18 120 <0 155
295 2217 17 119 <4 0 155
296 2218 16 118 <1 1 0 155
297 2219 17 118 1> 1 0 155
298 2220 18 119 1> 0 155
299 2221 19 119 0 2> 155
300 2331 74 119 056 2>
301 2332 75 119 057 3>
302 2333 74 119 057 <4
303 2334 75 119 057 5>
304 2335 76 119 058 6>
305 2337 75 119 058 <6 1
306 2453 17 119 <6 159
307 2454 16 118 <0 160
308 2456 15 117 <4 0 160
309 2457 14 116 <1 1 0 160
310 2458 15 116 1> 1 0 160
311 2459 16 117 1> 0 160
312 2460 17 117 0 2> 160
313 2580 77 117 061 2>
314 2581 78 117 062 3>
315 2582 77 117 062 <4
316 2583 78 117 062 5>
317 2584 79 117 063 6>
318 2586 78 117 063 <6 1
319 2712 15 117 <6 164
320 2713 14 116 <0 165
321 2715 13 115 <4 0 165
322 2716 12 114 <1 1 0 165
323 2717 13 114 1> 1 0 165
324 2718 14 115 1> 0 165
325 2719 15 115 0 2> 165
326 2849 80 115 066 2>
327 2850 81 115 067 3>
328 2851 80 115 067 <4
329 2852 81 115 067 5>
330 2853 82 115 068 6>
331 2855 81 115 068 <6 1
332 2991 13 115 <6 169
333 2992 12 114 <0 170
334 2994 11 113 <4 0 170
335 2995 10 112 <1 1 0 170
336 2996 11 112 1> 1 0 170
337 2997 12 113 1> 0 170
338 2998 13 113 0 2> 170
339 3138 83 113 071 2>
340 3139 84 113 072 3>
341 3140 83 113 072 <4
342 3141 84 113 072 5>
343 3142 85 113 073 6>
344 3144 84 113 073 <6 1
345 3290 11 113 <6 174
346 3291 10 112 <0 175
347 3293 9 111 <4 0 175
348 3294 8 110 <1 1 0 175
349 3295 9 110 1> 1 0 175
350 3296 10 111 1> 0 175
351 3297 11 111 0 2> 175
352 3447 86 111 076 2>
353 3448 87 111 077 3>
354 3449 86 111 077 <4
355 3450 87 111 077 5>
356 3451 88 111 078 6>
357 3453 87 111 078 <6 1
358 3609 9 111 <6 179
359 3610 8 110 <0 180
360 3612 7 19 <4 0 180
361 3613 6 18 <1 1 0 180
362 3614 7 18 1> 1 0 180
363 3615 8 19 1> 0 180
364 3616 9 19 0 2> 180
365 3776 89 19 081 2>
366 3777 90 19 082 3>
367 3778 89 19 082 <4
368 3779 90 19 082 5>
369 3780 91 19 083 6>
370 3782 90 19 083 <6 1
371 3948 7 19 <6 184
372 3949 6 18 <0 185
373 3951 5 17 <4 0 185
374 3952 4 16 <1 1 0 185
375 3953 5 16 1> 1 0 185
376 3954 6 17 1> 0 185
377 3955 7 17 0 2> 185
378 4125 92 17 086 2>
379 4126 93 17 087 3>
380 4127 92 17 087 <4
381 4128 93 17 087 5>
382 4129 94 17 088 6>
383 4131 93 17 088 <6 1
384 4307 5 17 <6 189
385 4308 4 16 <0 190
386 4310 3 15 <4 0 190
387 4311 2 14 <1 1 0 190
388 4312 3 14 1> 1 0 190
389 4313 4 15 1> 0 190
390 4314 5 15 0 2> 190
391 4494 95 15 091 2>
392 4495 96 15 092 3>
393 4496 95 15 092 <4
394 4497 96 15 092 5>
395 4498 97 15 093 6>
396 4500 96 15 093 <6 1
397 4686 3 15 <6 194
398 4687 2 14 <0 195
399 4689 1 13 <4 0 195
400 4690 0 12 <1 1 0 195
401 4691 1 12 1> 1 0 195
402 4692 2 13 1> 0 195
403 4693 3 13 0 2> 195
404 4883 98 13 096 2>
405 4884 99 13 097 3>
406 4885 98 13 097 <4
407 4886 99 13 097 5>
408 4887 100 13 098 6>
409 4889 99 13 098 <6 1
410 5085 1 13 <6 199
411 5086 0 12 <0 1100
412 5088 -1 1 <4 0 1100
413 5089 -2 <1 1 0 1100
414 5090 -1 2> 1 0 1100
415 5092 0 2> 0 1100
416 5093 1 3> 1100
417 5093 1 3> 1100 [would halt]
Lines: 418
Top steps: 417
Macro steps: 417
Basic steps: 5093
Tape index: 1
ones: 100
log10(ones ): 2.000
log10(steps ): 3.707
Run state: would halt
Input to awk program:
gohalt 1
T 4-Tuple BB7 #1 of Machado/Pereira
4t 11 30 2R 1R 3R 10 4L *= 5R 1L 6R 6L 51 0L : 100 5093
gohalt 0
L 2
m 5094
M 450
pref sim
machv 4BB7_1 just simple
machv 4BB7_1-r with repetitions reduced
machv 4BB7_1-1 with tape symbol exponents
machv 4BB7_1-m as 1-macro machine
machv 4BB7_1-a as 1-macro machine with pure additive config-TRs
iam 4BB7_1-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:25 CEST 2010
edate Tue Jul 6 22:11:25 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:25 CEST 2010