Comment: This TM produces >1.9x10^27 nonzeros in >2.3x10^54 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 4 |
on 5 |
on 0 | on 1 | on 2 | on 3 | on 4 | on 5 | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||||
| A | 1RB | 0RB | 3LA | 5LA | 1RH | 4LB | 1 | right | B | 0 | right | B | 3 | left | A | 5 | left | A | 1 | right | H | 4 | left | B |
| B | 1LA | 2RB | 3LA | 4LB | 3RB | 3RA | 1 | left | A | 2 | right | B | 3 | left | A | 4 | left | B | 3 | right | B | 3 | 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 1
3 3 1 B> 1
4 4 2 2 B>
5 5 1 2 <A 1
6 6 0 <A 3 1
7 7 1 1 B> 3 1
8 8 0 1 <B 4 1
9 9 1 2 B> 4 1
10 10 2 2 3 B> 1
11 11 3 2 3 2 B>
12 12 2 2 3 2 <A 1
13 13 1 2 3 <A 3 1
14 14 0 2 <A 5 3 1
15 15 -1 <A 3 5 3 1
16 16 0 1 B> 3 5 3 1
17 17 -1 1 <B 4 5 3 1
18 18 0 2 B> 4 5 3 1
19 19 1 2 3 B> 5 3 1
20 20 2 2 32 A> 3 1
21 21 1 2 32 <A 5 1
22 23 -1 2 <A 53 1
23 24 -2 <A 3 53 1
24 25 -1 1 B> 3 53 1
25 26 -2 1 <B 4 53 1
26 27 -1 2 B> 4 53 1
27 28 0 2 3 B> 53 1
28 29 1 2 32 A> 52 1
29 30 0 2 32 <B 4 5 1
30 32 -2 2 <B 43 5 1
31 33 -3 <A 3 43 5 1
32 34 -2 1 B> 3 43 5 1
33 35 -3 1 <B 44 5 1
34 36 -2 2 B> 44 5 1
35 40 2 2 34 B> 5 1
36 41 3 2 35 A> 1
37 42 4 2 35 0 B>
38 43 3 2 35 0 <A 1
39 44 4 2 35 1 B> 1
40 45 5 2 35 1 2 B>
41 46 4 2 35 1 2 <A 1
42 47 3 2 35 1 <A 3 1
43 48 4 2 35 0 B> 3 1
44 49 3 2 35 0 <B 4 1
45 50 2 2 35 <A 1 4 1
46 55 -3 2 <A 55 1 4 1
47 56 -4 <A 3 55 1 4 1
48 57 -3 1 B> 3 55 1 4 1
49 58 -4 1 <B 4 55 1 4 1
50 59 -3 2 B> 4 55 1 4 1
51 60 -2 2 3 B> 55 1 4 1
52 61 -1 2 32 A> 54 1 4 1
53 62 -2 2 32 <B 4 53 1 4 1
54 64 -4 2 <B 43 53 1 4 1
55 65 -5 <A 3 43 53 1 4 1
56 66 -4 1 B> 3 43 53 1 4 1
57 67 -5 1 <B 44 53 1 4 1
58 68 -4 2 B> 44 53 1 4 1
59 72 0 2 34 B> 53 1 4 1
60 73 1 2 35 A> 52 1 4 1
61 74 0 2 35 <B 4 5 1 4 1
62 79 -5 2 <B 46 5 1 4 1
63 80 -6 <A 3 46 5 1 4 1
64 81 -5 1 B> 3 46 5 1 4 1
65 82 -6 1 <B 47 5 1 4 1
66 83 -5 2 B> 47 5 1 4 1
67 90 2 2 37 B> 5 1 4 1
68 91 3 2 38 A> 1 4 1
69 92 4 2 38 0 B> 4 1
70 93 5 2 38 0 3 B> 1
71 94 6 2 38 0 3 2 B>
72 95 5 2 38 0 3 2 <A 1
73 96 4 2 38 0 3 <A 3 1
74 97 3 2 38 0 <A 5 3 1
75 98 4 2 38 1 B> 5 3 1
76 99 5 2 38 1 3 A> 3 1
77 100 4 2 38 1 3 <A 5 1
78 101 3 2 38 1 <A 52 1
79 102 4 2 38 0 B> 52 1
80 103 5 2 38 0 3 A> 5 1
81 104 4 2 38 0 3 <B 4 1
82 105 3 2 38 0 <B 42 1
83 106 2 2 38 <A 1 42 1
84 114 -6 2 <A 58 1 42 1
85 115 -7 <A 3 58 1 42 1
86 116 -6 1 B> 3 58 1 42 1
87 117 -7 1 <B 4 58 1 42 1
88 118 -6 2 B> 4 58 1 42 1
89 119 -5 2 3 B> 58 1 42 1
90 120 -4 2 32 A> 57 1 42 1
91 121 -5 2 32 <B 4 56 1 42 1
92 123 -7 2 <B 43 56 1 42 1
93 124 -8 <A 3 43 56 1 42 1
94 125 -7 1 B> 3 43 56 1 42 1
95 126 -8 1 <B 44 56 1 42 1
96 127 -7 2 B> 44 56 1 42 1
97 131 -3 2 34 B> 56 1 42 1
98 132 -2 2 35 A> 55 1 42 1
99 133 -3 2 35 <B 4 54 1 42 1
100 138 -8 2 <B 46 54 1 42 1
101 139 -9 <A 3 46 54 1 42 1
102 140 -8 1 B> 3 46 54 1 42 1
103 141 -9 1 <B 47 54 1 42 1
104 142 -8 2 B> 47 54 1 42 1
105 149 -1 2 37 B> 54 1 42 1
106 150 0 2 38 A> 53 1 42 1
107 151 -1 2 38 <B 4 52 1 42 1
108 159 -9 2 <B 49 52 1 42 1
109 160 -10 <A 3 49 52 1 42 1
110 161 -9 1 B> 3 49 52 1 42 1
111 162 -10 1 <B 410 52 1 42 1
112 163 -9 2 B> 410 52 1 42 1
113 173 1 2 310 B> 52 1 42 1
114 174 2 2 311 A> 5 1 42 1
115 175 1 2 311 <B 4 1 42 1
116 186 -10 2 <B 412 1 42 1
117 187 -11 <A 3 412 1 42 1
118 188 -10 1 B> 3 412 1 42 1
119 189 -11 1 <B 413 1 42 1
120 190 -10 2 B> 413 1 42 1
121 203 3 2 313 B> 1 42 1
122 204 4 2 313 2 B> 42 1
123 206 6 2 313 2 32 B> 1
124 207 7 2 313 2 32 2 B>
125 208 6 2 313 2 32 2 <A 1
126 209 5 2 313 2 32 <A 3 1
127 211 3 2 313 2 <A 52 3 1
128 212 2 2 313 <A 3 52 3 1
129 225 -11 2 <A 513 3 52 3 1
130 226 -12 <A 3 513 3 52 3 1
131 227 -11 1 B> 3 513 3 52 3 1
132 228 -12 1 <B 4 513 3 52 3 1
133 229 -11 2 B> 4 513 3 52 3 1
134 230 -10 2 3 B> 513 3 52 3 1
135 231 -9 2 32 A> 512 3 52 3 1
136 232 -10 2 32 <B 4 511 3 52 3 1
137 234 -12 2 <B 43 511 3 52 3 1
138 235 -13 <A 3 43 511 3 52 3 1
139 236 -12 1 B> 3 43 511 3 52 3 1
140 237 -13 1 <B 44 511 3 52 3 1
141 238 -12 2 B> 44 511 3 52 3 1
142 242 -8 2 34 B> 511 3 52 3 1
143 243 -7 2 35 A> 510 3 52 3 1
144 244 -8 2 35 <B 4 59 3 52 3 1
145 249 -13 2 <B 46 59 3 52 3 1
146 250 -14 <A 3 46 59 3 52 3 1
147 251 -13 1 B> 3 46 59 3 52 3 1
148 252 -14 1 <B 47 59 3 52 3 1
149 253 -13 2 B> 47 59 3 52 3 1
150 260 -6 2 37 B> 59 3 52 3 1
151 261 -5 2 38 A> 58 3 52 3 1
152 262 -6 2 38 <B 4 57 3 52 3 1
153 270 -14 2 <B 49 57 3 52 3 1
154 271 -15 <A 3 49 57 3 52 3 1
155 272 -14 1 B> 3 49 57 3 52 3 1
156 273 -15 1 <B 410 57 3 52 3 1
157 274 -14 2 B> 410 57 3 52 3 1
158 284 -4 2 310 B> 57 3 52 3 1
159 285 -3 2 311 A> 56 3 52 3 1
160 286 -4 2 311 <B 4 55 3 52 3 1
161 297 -15 2 <B 412 55 3 52 3 1
162 298 -16 <A 3 412 55 3 52 3 1
163 299 -15 1 B> 3 412 55 3 52 3 1
164 300 -16 1 <B 413 55 3 52 3 1
165 301 -15 2 B> 413 55 3 52 3 1
166 314 -2 2 313 B> 55 3 52 3 1
167 315 -1 2 314 A> 54 3 52 3 1
168 316 -2 2 314 <B 4 53 3 52 3 1
169 330 -16 2 <B 415 53 3 52 3 1
170 331 -17 <A 3 415 53 3 52 3 1
171 332 -16 1 B> 3 415 53 3 52 3 1
172 333 -17 1 <B 416 53 3 52 3 1
173 334 -16 2 B> 416 53 3 52 3 1
174 350 0 2 316 B> 53 3 52 3 1
175 351 1 2 317 A> 52 3 52 3 1
176 352 0 2 317 <B 4 5 3 52 3 1
177 369 -17 2 <B 418 5 3 52 3 1
178 370 -18 <A 3 418 5 3 52 3 1
179 371 -17 1 B> 3 418 5 3 52 3 1
180 372 -18 1 <B 419 5 3 52 3 1
181 373 -17 2 B> 419 5 3 52 3 1
182 392 2 2 319 B> 5 3 52 3 1
183 393 3 2 320 A> 3 52 3 1
184 394 2 2 320 <A 53 3 1
185 414 -18 2 <A 523 3 1
186 415 -19 <A 3 523 3 1
187 416 -18 1 B> 3 523 3 1
188 417 -19 1 <B 4 523 3 1
189 418 -18 2 B> 4 523 3 1
190 419 -17 2 3 B> 523 3 1
191 420 -16 2 32 A> 522 3 1
192 421 -17 2 32 <B 4 521 3 1
193 423 -19 2 <B 43 521 3 1
194 424 -20 <A 3 43 521 3 1
195 425 -19 1 B> 3 43 521 3 1
196 426 -20 1 <B 44 521 3 1
197 427 -19 2 B> 44 521 3 1
198 431 -15 2 34 B> 521 3 1
199 432 -14 2 35 A> 520 3 1
200 433 -15 2 35 <B 4 519 3 1
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 433
Tape index: -15
nonzeros: 28
log10(nonzeros): 1.447
log10(steps ): 2.636
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #d (T.J. & S. Ligocki)
: >1.9x10^27 >2.3x10^54
5T 1RB 0RB 3LA 5LA 1RH 4LB 1LA 2RB 3LA 4LB 3RB 3RA
L 22
M 201
pref sim
machv Lig26_d just simple
machv Lig26_d-r with repetitions reduced
machv Lig26_d-1 with tape symbol exponents
machv Lig26_d-m as 1-macro machine
machv Lig26_d-a as 1-macro machine with pure additive config-TRs
iam Lig26_d-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:16 CEST 2010
edate Tue Jul 6 22:13:16 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:16 CEST 2010