Comment: Taken (cited) from P.Michel Comment: This TM produces 90 nonzeros in 7195 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 2LA | 1RA | 1LA | 1 | right | B | 2 | left | A | 1 | right | A | 1 | left | A |
| B | 3LA | 1RH | 2RB | 2RA | 3 | left | A | 1 | right | H | 2 | right | B | 2 | right | A |
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 A>
1 1 1 1 B>
2 2 0 1 <A 3
3 3 -1 <A 2 3
4 4 0 1 B> 2 3
5 5 1 1 2 B> 3
6 6 2 1 22 A>
7 7 3 1 22 1 B>
8 8 2 1 22 1 <A 3
9 9 1 1 22 <A 2 3
10 10 2 1 2 1 A> 2 3
11 11 3 1 2 12 A> 3
12 12 2 1 2 12 <A 1
13 14 0 1 2 <A 22 1
14 15 1 12 A> 22 1
15 17 3 14 A> 1
16 18 2 14 <A 2
17 22 -2 <A 25
18 23 -1 1 B> 25
19 28 4 1 25 B>
20 29 3 1 25 <A 3
21 30 4 1 24 1 A> 3
22 31 3 1 24 1 <A 1
23 32 2 1 24 <A 2 1
24 33 3 1 23 1 A> 2 1
25 34 4 1 23 12 A> 1
26 35 3 1 23 12 <A 2
27 37 1 1 23 <A 23
28 38 2 1 22 1 A> 23
29 41 5 1 22 14 A>
30 42 6 1 22 15 B>
31 43 5 1 22 15 <A 3
32 48 0 1 22 <A 25 3
33 49 1 1 2 1 A> 25 3
34 54 6 1 2 16 A> 3
35 55 5 1 2 16 <A 1
36 61 -1 1 2 <A 26 1
37 62 0 12 A> 26 1
38 68 6 18 A> 1
39 69 5 18 <A 2
40 77 -3 <A 29
41 78 -2 1 B> 29
42 87 7 1 29 B>
43 88 6 1 29 <A 3
44 89 7 1 28 1 A> 3
45 90 6 1 28 1 <A 1
46 91 5 1 28 <A 2 1
47 92 6 1 27 1 A> 2 1
48 93 7 1 27 12 A> 1
49 94 6 1 27 12 <A 2
50 96 4 1 27 <A 23
51 97 5 1 26 1 A> 23
52 100 8 1 26 14 A>
53 101 9 1 26 15 B>
54 102 8 1 26 15 <A 3
55 107 3 1 26 <A 25 3
56 108 4 1 25 1 A> 25 3
57 113 9 1 25 16 A> 3
58 114 8 1 25 16 <A 1
59 120 2 1 25 <A 26 1
60 121 3 1 24 1 A> 26 1
61 127 9 1 24 17 A> 1
62 128 8 1 24 17 <A 2
63 135 1 1 24 <A 28
64 136 2 1 23 1 A> 28
65 144 10 1 23 19 A>
66 145 11 1 23 110 B>
67 146 10 1 23 110 <A 3
68 156 0 1 23 <A 210 3
69 157 1 1 22 1 A> 210 3
70 167 11 1 22 111 A> 3
71 168 10 1 22 111 <A 1
72 179 -1 1 22 <A 211 1
73 180 0 1 2 1 A> 211 1
74 191 11 1 2 112 A> 1
75 192 10 1 2 112 <A 2
76 204 -2 1 2 <A 213
77 205 -1 12 A> 213
78 218 12 115 A>
79 219 13 116 B>
80 220 12 116 <A 3
81 236 -4 <A 216 3
82 237 -3 1 B> 216 3
83 253 13 1 216 B> 3
84 254 14 1 217 A>
85 255 15 1 217 1 B>
86 256 14 1 217 1 <A 3
87 257 13 1 217 <A 2 3
88 258 14 1 216 1 A> 2 3
89 259 15 1 216 12 A> 3
90 260 14 1 216 12 <A 1
91 262 12 1 216 <A 22 1
92 263 13 1 215 1 A> 22 1
93 265 15 1 215 13 A> 1
94 266 14 1 215 13 <A 2
95 269 11 1 215 <A 24
96 270 12 1 214 1 A> 24
97 274 16 1 214 15 A>
98 275 17 1 214 16 B>
99 276 16 1 214 16 <A 3
100 282 10 1 214 <A 26 3
101 283 11 1 213 1 A> 26 3
102 289 17 1 213 17 A> 3
103 290 16 1 213 17 <A 1
104 297 9 1 213 <A 27 1
105 298 10 1 212 1 A> 27 1
106 305 17 1 212 18 A> 1
107 306 16 1 212 18 <A 2
108 314 8 1 212 <A 29
109 315 9 1 211 1 A> 29
110 324 18 1 211 110 A>
111 325 19 1 211 111 B>
112 326 18 1 211 111 <A 3
113 337 7 1 211 <A 211 3
114 338 8 1 210 1 A> 211 3
115 349 19 1 210 112 A> 3
116 350 18 1 210 112 <A 1
117 362 6 1 210 <A 212 1
118 363 7 1 29 1 A> 212 1
119 375 19 1 29 113 A> 1
120 376 18 1 29 113 <A 2
121 389 5 1 29 <A 214
122 390 6 1 28 1 A> 214
123 404 20 1 28 115 A>
124 405 21 1 28 116 B>
125 406 20 1 28 116 <A 3
126 422 4 1 28 <A 216 3
127 423 5 1 27 1 A> 216 3
128 439 21 1 27 117 A> 3
129 440 20 1 27 117 <A 1
130 457 3 1 27 <A 217 1
131 458 4 1 26 1 A> 217 1
132 475 21 1 26 118 A> 1
133 476 20 1 26 118 <A 2
134 494 2 1 26 <A 219
135 495 3 1 25 1 A> 219
136 514 22 1 25 120 A>
137 515 23 1 25 121 B>
138 516 22 1 25 121 <A 3
139 537 1 1 25 <A 221 3
140 538 2 1 24 1 A> 221 3
141 559 23 1 24 122 A> 3
142 560 22 1 24 122 <A 1
143 582 0 1 24 <A 222 1
144 583 1 1 23 1 A> 222 1
145 605 23 1 23 123 A> 1
146 606 22 1 23 123 <A 2
147 629 -1 1 23 <A 224
148 630 0 1 22 1 A> 224
149 654 24 1 22 125 A>
150 655 25 1 22 126 B>
151 656 24 1 22 126 <A 3
152 682 -2 1 22 <A 226 3
153 683 -1 1 2 1 A> 226 3
154 709 25 1 2 127 A> 3
155 710 24 1 2 127 <A 1
156 737 -3 1 2 <A 227 1
157 738 -2 12 A> 227 1
158 765 25 129 A> 1
159 766 24 129 <A 2
160 795 -5 <A 230
161 796 -4 1 B> 230
162 826 26 1 230 B>
163 827 25 1 230 <A 3
164 828 26 1 229 1 A> 3
165 829 25 1 229 1 <A 1
166 830 24 1 229 <A 2 1
167 831 25 1 228 1 A> 2 1
168 832 26 1 228 12 A> 1
169 833 25 1 228 12 <A 2
170 835 23 1 228 <A 23
171 836 24 1 227 1 A> 23
172 839 27 1 227 14 A>
173 840 28 1 227 15 B>
174 841 27 1 227 15 <A 3
175 846 22 1 227 <A 25 3
176 847 23 1 226 1 A> 25 3
177 852 28 1 226 16 A> 3
178 853 27 1 226 16 <A 1
179 859 21 1 226 <A 26 1
180 860 22 1 225 1 A> 26 1
181 866 28 1 225 17 A> 1
182 867 27 1 225 17 <A 2
183 874 20 1 225 <A 28
184 875 21 1 224 1 A> 28
185 883 29 1 224 19 A>
186 884 30 1 224 110 B>
187 885 29 1 224 110 <A 3
188 895 19 1 224 <A 210 3
189 896 20 1 223 1 A> 210 3
190 906 30 1 223 111 A> 3
191 907 29 1 223 111 <A 1
192 918 18 1 223 <A 211 1
193 919 19 1 222 1 A> 211 1
194 930 30 1 222 112 A> 1
195 931 29 1 222 112 <A 2
196 943 17 1 222 <A 213
197 944 18 1 221 1 A> 213
198 957 31 1 221 114 A>
199 958 32 1 221 115 B>
200 959 31 1 221 115 <A 3
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 959
Tape index: 31
nonzeros: 38
log10(nonzeros): 1.580
log10(steps ): 2.982
Input to awk program:
gohalt 1
nbs 4
T 2-state 4-symbol formerly best (by Brady / Michel)
C Taken (cited) from P.Michel
: 90 7195
5T 1RB 2LA 1RA 1LA 3LA 1RH 2RB 2RA
L 6
M 201
pref sim
machv TM24_c just simple
machv TM24_c-r with repetitions reduced
machv TM24_c-1 with tape symbol exponents
machv TM24_c-m as 1-macro machine
machv TM24_c-a as 1-macro machine with pure additive config-TRs
iam TM24_c-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:36 CEST 2010
edate Tue Jul 6 22:12:37 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:12:36 CEST 2010