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