Comment: This TM produces >1.7x10^352 nonzeros in >1.9x10^704 steps. Comment: This is a current 2x5 champion
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | 1RB | 2LA | 1RA | 2LB | 2LA | 1 | right | B | 2 | left | A | 1 | right | A | 2 | left | B | 2 | left | A |
| B | 0LA | 2RB | 3RB | 4RA | 1RH | 0 | left | A | 2 | right | B | 3 | right | B | 4 | right | A | 1 | right | H |
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 -1 <A 2
4 4 0 1 B> 2
5 5 1 1 3 B>
6 6 0 1 3 <A
7 7 -1 1 <B 2
8 8 0 2 B> 2
9 9 1 2 3 B>
10 10 0 2 3 <A
11 11 -1 2 <B 2
12 12 0 3 B> 2
13 13 1 32 B>
14 14 0 32 <A
15 15 -1 3 <B 2
16 16 0 4 A> 2
17 17 1 4 1 A>
18 18 2 4 12 B>
19 19 1 4 12 <A
20 21 -1 4 <A 22
21 22 -2 <A 23
22 23 -1 1 B> 23
23 26 2 1 33 B>
24 27 1 1 33 <A
25 28 0 1 32 <B 2
26 29 1 1 3 4 A> 2
27 30 2 1 3 4 1 A>
28 31 3 1 3 4 12 B>
29 32 2 1 3 4 12 <A
30 34 0 1 3 4 <A 22
31 35 -1 1 3 <A 23
32 36 -2 1 <B 24
33 37 -1 2 B> 24
34 41 3 2 34 B>
35 42 2 2 34 <A
36 43 1 2 33 <B 2
37 44 2 2 32 4 A> 2
38 45 3 2 32 4 1 A>
39 46 4 2 32 4 12 B>
40 47 3 2 32 4 12 <A
41 49 1 2 32 4 <A 22
42 50 0 2 32 <A 23
43 51 -1 2 3 <B 24
44 52 0 2 4 A> 24
45 56 4 2 4 14 A>
46 57 5 2 4 15 B>
47 58 4 2 4 15 <A
48 63 -1 2 4 <A 25
49 64 -2 2 <A 26
50 65 -1 1 A> 26
51 71 5 17 A>
52 72 6 18 B>
53 73 5 18 <A
54 81 -3 <A 28
55 82 -2 1 B> 28
56 90 6 1 38 B>
57 91 5 1 38 <A
58 92 4 1 37 <B 2
59 93 5 1 36 4 A> 2
60 94 6 1 36 4 1 A>
61 95 7 1 36 4 12 B>
62 96 6 1 36 4 12 <A
63 98 4 1 36 4 <A 22
64 99 3 1 36 <A 23
65 100 2 1 35 <B 24
66 101 3 1 34 4 A> 24
67 105 7 1 34 4 14 A>
68 106 8 1 34 4 15 B>
69 107 7 1 34 4 15 <A
70 112 2 1 34 4 <A 25
71 113 1 1 34 <A 26
72 114 0 1 33 <B 27
73 115 1 1 32 4 A> 27
74 122 8 1 32 4 17 A>
75 123 9 1 32 4 18 B>
76 124 8 1 32 4 18 <A
77 132 0 1 32 4 <A 28
78 133 -1 1 32 <A 29
79 134 -2 1 3 <B 210
80 135 -1 1 4 A> 210
81 145 9 1 4 110 A>
82 146 10 1 4 111 B>
83 147 9 1 4 111 <A
84 158 -2 1 4 <A 211
85 159 -3 1 <A 212
86 160 -4 <A 213
87 161 -3 1 B> 213
88 174 10 1 313 B>
89 175 9 1 313 <A
90 176 8 1 312 <B 2
91 177 9 1 311 4 A> 2
92 178 10 1 311 4 1 A>
93 179 11 1 311 4 12 B>
94 180 10 1 311 4 12 <A
95 182 8 1 311 4 <A 22
96 183 7 1 311 <A 23
97 184 6 1 310 <B 24
98 185 7 1 39 4 A> 24
99 189 11 1 39 4 14 A>
100 190 12 1 39 4 15 B>
101 191 11 1 39 4 15 <A
102 196 6 1 39 4 <A 25
103 197 5 1 39 <A 26
104 198 4 1 38 <B 27
105 199 5 1 37 4 A> 27
106 206 12 1 37 4 17 A>
107 207 13 1 37 4 18 B>
108 208 12 1 37 4 18 <A
109 216 4 1 37 4 <A 28
110 217 3 1 37 <A 29
111 218 2 1 36 <B 210
112 219 3 1 35 4 A> 210
113 229 13 1 35 4 110 A>
114 230 14 1 35 4 111 B>
115 231 13 1 35 4 111 <A
116 242 2 1 35 4 <A 211
117 243 1 1 35 <A 212
118 244 0 1 34 <B 213
119 245 1 1 33 4 A> 213
120 258 14 1 33 4 113 A>
121 259 15 1 33 4 114 B>
122 260 14 1 33 4 114 <A
123 274 0 1 33 4 <A 214
124 275 -1 1 33 <A 215
125 276 -2 1 32 <B 216
126 277 -1 1 3 4 A> 216
127 293 15 1 3 4 116 A>
128 294 16 1 3 4 117 B>
129 295 15 1 3 4 117 <A
130 312 -2 1 3 4 <A 217
131 313 -3 1 3 <A 218
132 314 -4 1 <B 219
133 315 -3 2 B> 219
134 334 16 2 319 B>
135 335 15 2 319 <A
136 336 14 2 318 <B 2
137 337 15 2 317 4 A> 2
138 338 16 2 317 4 1 A>
139 339 17 2 317 4 12 B>
140 340 16 2 317 4 12 <A
141 342 14 2 317 4 <A 22
142 343 13 2 317 <A 23
143 344 12 2 316 <B 24
144 345 13 2 315 4 A> 24
145 349 17 2 315 4 14 A>
146 350 18 2 315 4 15 B>
147 351 17 2 315 4 15 <A
148 356 12 2 315 4 <A 25
149 357 11 2 315 <A 26
150 358 10 2 314 <B 27
151 359 11 2 313 4 A> 27
152 366 18 2 313 4 17 A>
153 367 19 2 313 4 18 B>
154 368 18 2 313 4 18 <A
155 376 10 2 313 4 <A 28
156 377 9 2 313 <A 29
157 378 8 2 312 <B 210
158 379 9 2 311 4 A> 210
159 389 19 2 311 4 110 A>
160 390 20 2 311 4 111 B>
161 391 19 2 311 4 111 <A
162 402 8 2 311 4 <A 211
163 403 7 2 311 <A 212
164 404 6 2 310 <B 213
165 405 7 2 39 4 A> 213
166 418 20 2 39 4 113 A>
167 419 21 2 39 4 114 B>
168 420 20 2 39 4 114 <A
169 434 6 2 39 4 <A 214
170 435 5 2 39 <A 215
171 436 4 2 38 <B 216
172 437 5 2 37 4 A> 216
173 453 21 2 37 4 116 A>
174 454 22 2 37 4 117 B>
175 455 21 2 37 4 117 <A
176 472 4 2 37 4 <A 217
177 473 3 2 37 <A 218
178 474 2 2 36 <B 219
179 475 3 2 35 4 A> 219
180 494 22 2 35 4 119 A>
181 495 23 2 35 4 120 B>
182 496 22 2 35 4 120 <A
183 516 2 2 35 4 <A 220
184 517 1 2 35 <A 221
185 518 0 2 34 <B 222
186 519 1 2 33 4 A> 222
187 541 23 2 33 4 122 A>
188 542 24 2 33 4 123 B>
189 543 23 2 33 4 123 <A
190 566 0 2 33 4 <A 223
191 567 -1 2 33 <A 224
192 568 -2 2 32 <B 225
193 569 -1 2 3 4 A> 225
194 594 24 2 3 4 125 A>
195 595 25 2 3 4 126 B>
196 596 24 2 3 4 126 <A
197 622 -2 2 3 4 <A 226
198 623 -3 2 3 <A 227
199 624 -4 2 <B 228
200 625 -3 3 B> 228
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 625
Tape index: -3
nonzeros: 29
log10(nonzeros): 1.462
log10(steps ): 2.796
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #n from T.J. & S. Ligocki
5T 1RB 2LA 1RA 2LB 2LA 0LA 2RB 3RB 4RA 1RH
: >1.7x10^352 >1.9x10^704
C This is a current 2x5 champion
L 4
M 201
pref sim
machv Lig25_n just simple
machv Lig25_n-r with repetitions reduced
machv Lig25_n-1 with tape symbol exponents
machv Lig25_n-m as 1-macro machine
machv Lig25_n-a as 1-macro machine with pure additive config-TRs
iam Lig25_n-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:09 CEST 2010
edate Tue Jul 6 22:13:10 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:13:09 CEST 2010