Comment: This has the same score as the (2,4) #a from Ligocki Comment: This TM produces 2050 nonzeros in 3932964 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | C1L | H2R | 1 | right | B | 1 | left | C | 2 | right | H |
| B | A1L | C1L | B2R | 1 | left | A | 1 | left | C | 2 | right | B |
| C | B1R | C2L | C1R | 1 | right | B | 2 | left | C | 1 | right | C |
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 11
2 4 0 01 B> 11
3 5 -1 01 <C 11
4 8 0 12 B> 11
5 9 -1 12 <C 11
6 10 0 11 C> 11
7 11 -1 11 <C 21
8 13 -3 <C 22 21
9 14 -2 01 B> 22 21
10 16 0 01 22 B> 21
11 21 -1 01 22 <C 22
12 22 0 01 21 C> 22
13 24 2 01 21 11 C>
14 27 1 01 21 11 <C 11
15 29 -1 01 21 <C 22 11
16 32 0 01 11 C> 22 11
17 34 2 01 112 C> 11
18 35 1 01 112 <C 21
19 39 -3 01 <C 222 21
20 42 -2 12 B> 222 21
21 46 2 12 222 B> 21
22 51 1 12 222 <C 22
23 52 2 12 22 21 C> 22
24 54 4 12 22 21 11 C>
25 57 3 12 22 21 11 <C 11
26 59 1 12 22 21 <C 22 11
27 62 2 12 22 11 C> 22 11
28 64 4 12 22 112 C> 11
29 65 3 12 22 112 <C 21
30 69 -1 12 22 <C 222 21
31 70 0 12 21 C> 222 21
32 74 4 12 21 112 C> 21
33 77 3 12 21 112 <C 22
34 81 -1 12 21 <C 223
35 84 0 12 11 C> 223
36 90 6 12 114 C>
37 93 5 12 114 <C 11
38 101 -3 12 <C 224 11
39 102 -2 11 C> 224 11
40 110 6 115 C> 11
41 111 5 115 <C 21
42 121 -5 <C 225 21
43 122 -4 01 B> 225 21
44 132 6 01 225 B> 21
45 137 5 01 225 <C 22
46 138 6 01 224 21 C> 22
47 140 8 01 224 21 11 C>
48 143 7 01 224 21 11 <C 11
49 145 5 01 224 21 <C 22 11
50 148 6 01 224 11 C> 22 11
51 150 8 01 224 112 C> 11
52 151 7 01 224 112 <C 21
53 155 3 01 224 <C 222 21
54 156 4 01 223 21 C> 222 21
55 160 8 01 223 21 112 C> 21
56 163 7 01 223 21 112 <C 22
57 167 3 01 223 21 <C 223
58 170 4 01 223 11 C> 223
59 176 10 01 223 114 C>
60 179 9 01 223 114 <C 11
61 187 1 01 223 <C 224 11
62 188 2 01 222 21 C> 224 11
63 196 10 01 222 21 114 C> 11
64 197 9 01 222 21 114 <C 21
65 205 1 01 222 21 <C 224 21
66 208 2 01 222 11 C> 224 21
67 216 10 01 222 115 C> 21
68 219 9 01 222 115 <C 22
69 229 -1 01 222 <C 226
70 230 0 01 22 21 C> 226
71 242 12 01 22 21 116 C>
72 245 11 01 22 21 116 <C 11
73 257 -1 01 22 21 <C 226 11
74 260 0 01 22 11 C> 226 11
75 272 12 01 22 117 C> 11
76 273 11 01 22 117 <C 21
77 287 -3 01 22 <C 227 21
78 288 -2 01 21 C> 227 21
79 302 12 01 21 117 C> 21
80 305 11 01 21 117 <C 22
81 319 -3 01 21 <C 228
82 322 -2 01 11 C> 228
83 338 14 01 119 C>
84 341 13 01 119 <C 11
85 359 -5 01 <C 229 11
86 362 -4 12 B> 229 11
87 380 14 12 229 B> 11
88 381 13 12 229 <C 11
89 382 14 12 228 21 C> 11
90 383 13 12 228 21 <C 21
91 386 14 12 228 11 C> 21
92 389 13 12 228 11 <C 22
93 391 11 12 228 <C 222
94 392 12 12 227 21 C> 222
95 396 16 12 227 21 112 C>
96 399 15 12 227 21 112 <C 11
97 403 11 12 227 21 <C 222 11
98 406 12 12 227 11 C> 222 11
99 410 16 12 227 113 C> 11
100 411 15 12 227 113 <C 21
101 417 9 12 227 <C 223 21
102 418 10 12 226 21 C> 223 21
103 424 16 12 226 21 113 C> 21
104 427 15 12 226 21 113 <C 22
105 433 9 12 226 21 <C 224
106 436 10 12 226 11 C> 224
107 444 18 12 226 115 C>
108 447 17 12 226 115 <C 11
109 457 7 12 226 <C 225 11
110 458 8 12 225 21 C> 225 11
111 468 18 12 225 21 115 C> 11
112 469 17 12 225 21 115 <C 21
113 479 7 12 225 21 <C 225 21
114 482 8 12 225 11 C> 225 21
115 492 18 12 225 116 C> 21
116 495 17 12 225 116 <C 22
117 507 5 12 225 <C 227
118 508 6 12 224 21 C> 227
119 522 20 12 224 21 117 C>
120 525 19 12 224 21 117 <C 11
121 539 5 12 224 21 <C 227 11
122 542 6 12 224 11 C> 227 11
123 556 20 12 224 118 C> 11
124 557 19 12 224 118 <C 21
125 573 3 12 224 <C 228 21
126 574 4 12 223 21 C> 228 21
127 590 20 12 223 21 118 C> 21
128 593 19 12 223 21 118 <C 22
129 609 3 12 223 21 <C 229
130 612 4 12 223 11 C> 229
131 630 22 12 223 1110 C>
132 633 21 12 223 1110 <C 11
133 653 1 12 223 <C 2210 11
134 654 2 12 222 21 C> 2210 11
135 674 22 12 222 21 1110 C> 11
136 675 21 12 222 21 1110 <C 21
137 695 1 12 222 21 <C 2210 21
138 698 2 12 222 11 C> 2210 21
139 718 22 12 222 1111 C> 21
140 721 21 12 222 1111 <C 22
141 743 -1 12 222 <C 2212
142 744 0 12 22 21 C> 2212
143 768 24 12 22 21 1112 C>
144 771 23 12 22 21 1112 <C 11
145 795 -1 12 22 21 <C 2212 11
146 798 0 12 22 11 C> 2212 11
147 822 24 12 22 1113 C> 11
148 823 23 12 22 1113 <C 21
149 849 -3 12 22 <C 2213 21
150 850 -2 12 21 C> 2213 21
151 876 24 12 21 1113 C> 21
152 879 23 12 21 1113 <C 22
153 905 -3 12 21 <C 2214
154 908 -2 12 11 C> 2214
155 936 26 12 1115 C>
156 939 25 12 1115 <C 11
157 969 -5 12 <C 2215 11
158 970 -4 11 C> 2215 11
159 1000 26 1116 C> 11
160 1001 25 1116 <C 21
161 1033 -7 <C 2216 21
162 1034 -6 01 B> 2216 21
163 1066 26 01 2216 B> 21
164 1071 25 01 2216 <C 22
165 1072 26 01 2215 21 C> 22
166 1074 28 01 2215 21 11 C>
167 1077 27 01 2215 21 11 <C 11
168 1079 25 01 2215 21 <C 22 11
169 1082 26 01 2215 11 C> 22 11
170 1084 28 01 2215 112 C> 11
171 1085 27 01 2215 112 <C 21
172 1089 23 01 2215 <C 222 21
173 1090 24 01 2214 21 C> 222 21
174 1094 28 01 2214 21 112 C> 21
175 1097 27 01 2214 21 112 <C 22
176 1101 23 01 2214 21 <C 223
177 1104 24 01 2214 11 C> 223
178 1110 30 01 2214 114 C>
179 1113 29 01 2214 114 <C 11
180 1121 21 01 2214 <C 224 11
181 1122 22 01 2213 21 C> 224 11
182 1130 30 01 2213 21 114 C> 11
183 1131 29 01 2213 21 114 <C 21
184 1139 21 01 2213 21 <C 224 21
185 1142 22 01 2213 11 C> 224 21
186 1150 30 01 2213 115 C> 21
187 1153 29 01 2213 115 <C 22
188 1163 19 01 2213 <C 226
189 1164 20 01 2212 21 C> 226
190 1176 32 01 2212 21 116 C>
191 1179 31 01 2212 21 116 <C 11
192 1191 19 01 2212 21 <C 226 11
193 1194 20 01 2212 11 C> 226 11
194 1206 32 01 2212 117 C> 11
195 1207 31 01 2212 117 <C 21
196 1221 17 01 2212 <C 227 21
197 1222 18 01 2211 21 C> 227 21
198 1236 32 01 2211 21 117 C> 21
199 1239 31 01 2211 21 117 <C 22
200 1253 17 01 2211 21 <C 228
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1253
Tape index: 17
nonzeros: 41
log10(nonzeros): 1.613
log10(steps ): 3.098
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol #2678468 of Allen Brady
C This has the same score as the (2,4) #a from Ligocki
5T B1R C1L H2R A1L C1L B2R B1R C2L C1R
: 2050 3932964
L 10
M 201
pref sim
machv AB3Y_d just simple
machv AB3Y_d-r with repetitions reduced
machv AB3Y_d-1 with tape symbol exponents
machv AB3Y_d-m as 2-macro machine
machv AB3Y_d-a as 2-macro machine with pure additive config-TRs
iam AB3Y_d-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:40 CEST 2010
edate Tue Jul 6 22:11:40 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:40 CEST 2010