Comment: This TM produces 102 ones in 4955 steps.
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| 1 | 21 | *= | 1 | stay | 2 | 1 | stay | * |
| 2 | 3> | 2> | 0 | right | 3 | 1 | right | 2 |
| 3 | 4> | 20 | 0 | right | 4 | 0 | stay | 2 |
| 4 | 5> | 5< | 0 | right | 5 | 1 | left | 5 |
| 5 | 41 | 6< | 1 | stay | 4 | 1 | left | 6 |
| 6 | 2> | 7< | 0 | right | 2 | 1 | left | 7 |
| 7 | 11 | 3> | 1 | stay | 1 | 1 | right | 3 |
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 1>
1 2 1 1 2>
2 3 2 1 0 3>
3 4 3 1 02 4>
4 5 4 1 03 5>
5 7 3 1 03 <5 1
6 13 0 1 <5 14
7 14 -1 <6 15
8 15 0 2> 15
9 20 5 15 2>
10 21 6 15 0 3>
11 22 7 15 02 4>
12 23 8 15 03 5>
13 25 7 15 03 <5 1
14 31 4 15 <5 14
15 32 3 14 <6 15
16 33 2 13 <7 16
17 34 3 13 3> 16
18 46 9 13 06 3>
19 47 10 13 07 4>
20 48 11 13 08 5>
21 50 10 13 08 <5 1
22 66 2 13 <5 19
23 67 1 12 <6 110
24 68 0 1 <7 111
25 69 1 1 3> 111
26 91 12 1 011 3>
27 92 13 1 012 4>
28 93 14 1 013 5>
29 95 13 1 013 <5 1
30 121 0 1 <5 114
31 122 -1 <6 115
32 123 0 2> 115
33 138 15 115 2>
34 139 16 115 0 3>
35 140 17 115 02 4>
36 141 18 115 03 5>
37 143 17 115 03 <5 1
38 149 14 115 <5 14
39 150 13 114 <6 15
40 151 12 113 <7 16
41 152 13 113 3> 16
42 164 19 113 06 3>
43 165 20 113 07 4>
44 166 21 113 08 5>
45 168 20 113 08 <5 1
46 184 12 113 <5 19
47 185 11 112 <6 110
48 186 10 111 <7 111
49 187 11 111 3> 111
50 209 22 111 011 3>
51 210 23 111 012 4>
52 211 24 111 013 5>
53 213 23 111 013 <5 1
54 239 10 111 <5 114
55 240 9 110 <6 115
56 241 8 19 <7 116
57 242 9 19 3> 116
58 274 25 19 016 3>
59 275 26 19 017 4>
60 276 27 19 018 5>
61 278 26 19 018 <5 1
62 314 8 19 <5 119
63 315 7 18 <6 120
64 316 6 17 <7 121
65 317 7 17 3> 121
66 359 28 17 021 3>
67 360 29 17 022 4>
68 361 30 17 023 5>
69 363 29 17 023 <5 1
70 409 6 17 <5 124
71 410 5 16 <6 125
72 411 4 15 <7 126
73 412 5 15 3> 126
74 464 31 15 026 3>
75 465 32 15 027 4>
76 466 33 15 028 5>
77 468 32 15 028 <5 1
78 524 4 15 <5 129
79 525 3 14 <6 130
80 526 2 13 <7 131
81 527 3 13 3> 131
82 589 34 13 031 3>
83 590 35 13 032 4>
84 591 36 13 033 5>
85 593 35 13 033 <5 1
86 659 2 13 <5 134
87 660 1 12 <6 135
88 661 0 1 <7 136
89 662 1 1 3> 136
90 734 37 1 036 3>
91 735 38 1 037 4>
92 736 39 1 038 5>
93 738 38 1 038 <5 1
94 814 0 1 <5 139
95 815 -1 <6 140
96 816 0 2> 140
97 856 40 140 2>
98 857 41 140 0 3>
99 858 42 140 02 4>
100 859 43 140 03 5>
101 861 42 140 03 <5 1
102 867 39 140 <5 14
103 868 38 139 <6 15
104 869 37 138 <7 16
105 870 38 138 3> 16
106 882 44 138 06 3>
107 883 45 138 07 4>
108 884 46 138 08 5>
109 886 45 138 08 <5 1
110 902 37 138 <5 19
111 903 36 137 <6 110
112 904 35 136 <7 111
113 905 36 136 3> 111
114 927 47 136 011 3>
115 928 48 136 012 4>
116 929 49 136 013 5>
117 931 48 136 013 <5 1
118 957 35 136 <5 114
119 958 34 135 <6 115
120 959 33 134 <7 116
121 960 34 134 3> 116
122 992 50 134 016 3>
123 993 51 134 017 4>
124 994 52 134 018 5>
125 996 51 134 018 <5 1
126 1032 33 134 <5 119
127 1033 32 133 <6 120
128 1034 31 132 <7 121
129 1035 32 132 3> 121
130 1077 53 132 021 3>
131 1078 54 132 022 4>
132 1079 55 132 023 5>
133 1081 54 132 023 <5 1
134 1127 31 132 <5 124
135 1128 30 131 <6 125
136 1129 29 130 <7 126
137 1130 30 130 3> 126
138 1182 56 130 026 3>
139 1183 57 130 027 4>
140 1184 58 130 028 5>
141 1186 57 130 028 <5 1
142 1242 29 130 <5 129
143 1243 28 129 <6 130
144 1244 27 128 <7 131
145 1245 28 128 3> 131
146 1307 59 128 031 3>
147 1308 60 128 032 4>
148 1309 61 128 033 5>
149 1311 60 128 033 <5 1
150 1377 27 128 <5 134
151 1378 26 127 <6 135
152 1379 25 126 <7 136
153 1380 26 126 3> 136
154 1452 62 126 036 3>
155 1453 63 126 037 4>
156 1454 64 126 038 5>
157 1456 63 126 038 <5 1
158 1532 25 126 <5 139
159 1533 24 125 <6 140
160 1534 23 124 <7 141
161 1535 24 124 3> 141
162 1617 65 124 041 3>
163 1618 66 124 042 4>
164 1619 67 124 043 5>
165 1621 66 124 043 <5 1
166 1707 23 124 <5 144
167 1708 22 123 <6 145
168 1709 21 122 <7 146
169 1710 22 122 3> 146
170 1802 68 122 046 3>
171 1803 69 122 047 4>
172 1804 70 122 048 5>
173 1806 69 122 048 <5 1
174 1902 21 122 <5 149
175 1903 20 121 <6 150
176 1904 19 120 <7 151
177 1905 20 120 3> 151
178 2007 71 120 051 3>
179 2008 72 120 052 4>
180 2009 73 120 053 5>
181 2011 72 120 053 <5 1
182 2117 19 120 <5 154
183 2118 18 119 <6 155
184 2119 17 118 <7 156
185 2120 18 118 3> 156
186 2232 74 118 056 3>
187 2233 75 118 057 4>
188 2234 76 118 058 5>
189 2236 75 118 058 <5 1
190 2352 17 118 <5 159
191 2353 16 117 <6 160
192 2354 15 116 <7 161
193 2355 16 116 3> 161
194 2477 77 116 061 3>
195 2478 78 116 062 4>
196 2479 79 116 063 5>
197 2481 78 116 063 <5 1
198 2607 15 116 <5 164
199 2608 14 115 <6 165
200 2609 13 114 <7 166
201 2610 14 114 3> 166
202 2742 80 114 066 3>
203 2743 81 114 067 4>
204 2744 82 114 068 5>
205 2746 81 114 068 <5 1
206 2882 13 114 <5 169
207 2883 12 113 <6 170
208 2884 11 112 <7 171
209 2885 12 112 3> 171
210 3027 83 112 071 3>
211 3028 84 112 072 4>
212 3029 85 112 073 5>
213 3031 84 112 073 <5 1
214 3177 11 112 <5 174
215 3178 10 111 <6 175
216 3179 9 110 <7 176
217 3180 10 110 3> 176
218 3332 86 110 076 3>
219 3333 87 110 077 4>
220 3334 88 110 078 5>
221 3336 87 110 078 <5 1
222 3492 9 110 <5 179
223 3493 8 19 <6 180
224 3494 7 18 <7 181
225 3495 8 18 3> 181
226 3657 89 18 081 3>
227 3658 90 18 082 4>
228 3659 91 18 083 5>
229 3661 90 18 083 <5 1
230 3827 7 18 <5 184
231 3828 6 17 <6 185
232 3829 5 16 <7 186
233 3830 6 16 3> 186
234 4002 92 16 086 3>
235 4003 93 16 087 4>
236 4004 94 16 088 5>
237 4006 93 16 088 <5 1
238 4182 5 16 <5 189
239 4183 4 15 <6 190
240 4184 3 14 <7 191
241 4185 4 14 3> 191
242 4367 95 14 091 3>
243 4368 96 14 092 4>
244 4369 97 14 093 5>
245 4371 96 14 093 <5 1
246 4557 3 14 <5 194
247 4558 2 13 <6 195
248 4559 1 12 <7 196
249 4560 2 12 3> 196
250 4752 98 12 096 3>
251 4753 99 12 097 4>
252 4754 100 12 098 5>
253 4756 99 12 098 <5 1
254 4952 1 12 <5 199
255 4953 0 1 <6 1100
256 4954 -1 <7 1101
257 4955 -1 1 <1 1101 [would halt]
Lines: 258
Top steps: 257
Macro steps: 257
Basic steps: 4955
Tape index: -1
ones: 102
log10(ones ): 2.009
log10(steps ): 3.695
Run state: would halt
Input to awk program:
gohalt 1
T 4-Tuple BB7 #2 of Machado/Pereira
4T 21 *= 3> 2> 4> 20 5> 5< 41 6< 2> 7< 11 3>
: 102 4955
gohalt 0
L 2
m 6000
M 400
pref sim
machv 4BB7_2 just simple
machv 4BB7_2-r with repetitions reduced
machv 4BB7_2-1 with tape symbol exponents
machv 4BB7_2-m as 1-macro machine
machv 4BB7_2-a as 1-macro machine with pure additive config-TRs
iam 4BB7_2-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:26 CEST 2010
edate Tue Jul 6 22:11:26 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:26 CEST 2010