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