Comment: This TM produces >8.0x10^986 nonzeros in >3.7x10^1973 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 1RA | 0LB | 1 | right | B | 1 | right | A | 0 | left | B |
| B | 2LC | 1LB | 1RC | 2 | left | C | 1 | left | B | 1 | right | C |
| C | 0RD | 2LC | 1RA | 0 | right | D | 2 | left | C | 1 | right | A |
| D | 2RA | 1RH | 1RC | 2 | right | A | 1 | right | H | 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 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 1.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (0)A>
1 1 1 (1)B>
2 3 -1 <C(2) 2
3 5 1 (1)C> 2
4 6 2 1 (1)A>
5 7 3 12 (1)B>
6 9 1 12 <C(2) 2
7 11 -1 <C(2) 23
8 13 1 (1)C> 23
9 14 2 1 (1)A> 22
10 16 0 1 <B(1) 0 2
11 17 -1 <B(1) 1 0 2
12 18 -2 <C(2) 12 0 2
13 20 0 (1)C> 12 0 2
14 22 -2 <C(2) 2 1 0 2
15 24 0 (1)C> 2 1 0 2
16 25 1 1 (1)A> 1 0 2
17 26 2 12 (1)A> 0 2
18 27 3 13 (1)B> 2
19 28 4 14 (1)C>
20 29 5 15 (0)D>
21 30 6 15 0 (2)A>
22 31 7 15 0 2 (1)B>
23 33 5 15 0 2 <C(2) 2
24 36 4 15 0 <B(1) 0 2
25 37 3 15 <C(2) 1 0 2
26 42 -2 <C(2) 25 1 0 2
27 44 0 (1)C> 25 1 0 2
28 45 1 1 (1)A> 24 1 0 2
29 47 -1 1 <B(1) 0 23 1 0 2
30 48 -2 <B(1) 1 0 23 1 0 2
31 49 -3 <C(2) 12 0 23 1 0 2
32 51 -1 (1)C> 12 0 23 1 0 2
33 53 -3 <C(2) 2 1 0 23 1 0 2
34 55 -1 (1)C> 2 1 0 23 1 0 2
35 56 0 1 (1)A> 1 0 23 1 0 2
36 57 1 12 (1)A> 0 23 1 0 2
37 58 2 13 (1)B> 23 1 0 2
38 59 3 14 (1)C> 22 1 0 2
39 60 4 15 (1)A> 2 1 0 2
40 62 2 15 <B(1) 0 1 0 2
41 67 -3 <B(1) 15 0 1 0 2
42 68 -4 <C(2) 16 0 1 0 2
43 70 -2 (1)C> 16 0 1 0 2
44 72 -4 <C(2) 2 15 0 1 0 2
45 74 -2 (1)C> 2 15 0 1 0 2
46 75 -1 1 (1)A> 15 0 1 0 2
47 80 4 16 (1)A> 0 1 0 2
48 81 5 17 (1)B> 1 0 2
49 83 3 17 <B(1) 1 0 2
50 90 -4 <B(1) 18 0 2
51 91 -5 <C(2) 19 0 2
52 93 -3 (1)C> 19 0 2
53 95 -5 <C(2) 2 18 0 2
54 97 -3 (1)C> 2 18 0 2
55 98 -2 1 (1)A> 18 0 2
56 106 6 19 (1)A> 0 2
57 107 7 110 (1)B> 2
58 108 8 111 (1)C>
59 109 9 112 (0)D>
60 110 10 112 0 (2)A>
61 111 11 112 0 2 (1)B>
62 113 9 112 0 2 <C(2) 2
63 116 8 112 0 <B(1) 0 2
64 117 7 112 <C(2) 1 0 2
65 129 -5 <C(2) 212 1 0 2
66 131 -3 (1)C> 212 1 0 2
67 132 -2 1 (1)A> 211 1 0 2
68 134 -4 1 <B(1) 0 210 1 0 2
69 135 -5 <B(1) 1 0 210 1 0 2
70 136 -6 <C(2) 12 0 210 1 0 2
71 138 -4 (1)C> 12 0 210 1 0 2
72 140 -6 <C(2) 2 1 0 210 1 0 2
73 142 -4 (1)C> 2 1 0 210 1 0 2
74 143 -3 1 (1)A> 1 0 210 1 0 2
75 144 -2 12 (1)A> 0 210 1 0 2
76 145 -1 13 (1)B> 210 1 0 2
77 146 0 14 (1)C> 29 1 0 2
78 147 1 15 (1)A> 28 1 0 2
79 149 -1 15 <B(1) 0 27 1 0 2
80 154 -6 <B(1) 15 0 27 1 0 2
81 155 -7 <C(2) 16 0 27 1 0 2
82 157 -5 (1)C> 16 0 27 1 0 2
83 159 -7 <C(2) 2 15 0 27 1 0 2
84 161 -5 (1)C> 2 15 0 27 1 0 2
85 162 -4 1 (1)A> 15 0 27 1 0 2
86 167 1 16 (1)A> 0 27 1 0 2
87 168 2 17 (1)B> 27 1 0 2
88 169 3 18 (1)C> 26 1 0 2
89 170 4 19 (1)A> 25 1 0 2
90 172 2 19 <B(1) 0 24 1 0 2
91 181 -7 <B(1) 19 0 24 1 0 2
92 182 -8 <C(2) 110 0 24 1 0 2
93 184 -6 (1)C> 110 0 24 1 0 2
94 186 -8 <C(2) 2 19 0 24 1 0 2
95 188 -6 (1)C> 2 19 0 24 1 0 2
96 189 -5 1 (1)A> 19 0 24 1 0 2
97 198 4 110 (1)A> 0 24 1 0 2
98 199 5 111 (1)B> 24 1 0 2
99 200 6 112 (1)C> 23 1 0 2
100 201 7 113 (1)A> 22 1 0 2
101 203 5 113 <B(1) 0 2 1 0 2
102 216 -8 <B(1) 113 0 2 1 0 2
103 217 -9 <C(2) 114 0 2 1 0 2
104 219 -7 (1)C> 114 0 2 1 0 2
105 221 -9 <C(2) 2 113 0 2 1 0 2
106 223 -7 (1)C> 2 113 0 2 1 0 2
107 224 -6 1 (1)A> 113 0 2 1 0 2
108 237 7 114 (1)A> 0 2 1 0 2
109 238 8 115 (1)B> 2 1 0 2
110 239 9 116 (1)C> 1 0 2
111 241 7 116 <C(2) 2 0 2
112 257 -9 <C(2) 217 0 2
113 259 -7 (1)C> 217 0 2
114 260 -6 1 (1)A> 216 0 2
115 262 -8 1 <B(1) 0 215 0 2
116 263 -9 <B(1) 1 0 215 0 2
117 264 -10 <C(2) 12 0 215 0 2
118 266 -8 (1)C> 12 0 215 0 2
119 268 -10 <C(2) 2 1 0 215 0 2
120 270 -8 (1)C> 2 1 0 215 0 2
121 271 -7 1 (1)A> 1 0 215 0 2
122 272 -6 12 (1)A> 0 215 0 2
123 273 -5 13 (1)B> 215 0 2
124 274 -4 14 (1)C> 214 0 2
125 275 -3 15 (1)A> 213 0 2
126 277 -5 15 <B(1) 0 212 0 2
127 282 -10 <B(1) 15 0 212 0 2
128 283 -11 <C(2) 16 0 212 0 2
129 285 -9 (1)C> 16 0 212 0 2
130 287 -11 <C(2) 2 15 0 212 0 2
131 289 -9 (1)C> 2 15 0 212 0 2
132 290 -8 1 (1)A> 15 0 212 0 2
133 295 -3 16 (1)A> 0 212 0 2
134 296 -2 17 (1)B> 212 0 2
135 297 -1 18 (1)C> 211 0 2
136 298 0 19 (1)A> 210 0 2
137 300 -2 19 <B(1) 0 29 0 2
138 309 -11 <B(1) 19 0 29 0 2
139 310 -12 <C(2) 110 0 29 0 2
140 312 -10 (1)C> 110 0 29 0 2
141 314 -12 <C(2) 2 19 0 29 0 2
142 316 -10 (1)C> 2 19 0 29 0 2
143 317 -9 1 (1)A> 19 0 29 0 2
144 326 0 110 (1)A> 0 29 0 2
145 327 1 111 (1)B> 29 0 2
146 328 2 112 (1)C> 28 0 2
147 329 3 113 (1)A> 27 0 2
148 331 1 113 <B(1) 0 26 0 2
149 344 -12 <B(1) 113 0 26 0 2
150 345 -13 <C(2) 114 0 26 0 2
151 347 -11 (1)C> 114 0 26 0 2
152 349 -13 <C(2) 2 113 0 26 0 2
153 351 -11 (1)C> 2 113 0 26 0 2
154 352 -10 1 (1)A> 113 0 26 0 2
155 365 3 114 (1)A> 0 26 0 2
156 366 4 115 (1)B> 26 0 2
157 367 5 116 (1)C> 25 0 2
158 368 6 117 (1)A> 24 0 2
159 370 4 117 <B(1) 0 23 0 2
160 387 -13 <B(1) 117 0 23 0 2
161 388 -14 <C(2) 118 0 23 0 2
162 390 -12 (1)C> 118 0 23 0 2
163 392 -14 <C(2) 2 117 0 23 0 2
164 394 -12 (1)C> 2 117 0 23 0 2
165 395 -11 1 (1)A> 117 0 23 0 2
166 412 6 118 (1)A> 0 23 0 2
167 413 7 119 (1)B> 23 0 2
168 414 8 120 (1)C> 22 0 2
169 415 9 121 (1)A> 2 0 2
170 417 7 121 <B(1) 02 2
171 438 -14 <B(1) 121 02 2
172 439 -15 <C(2) 122 02 2
173 441 -13 (1)C> 122 02 2
174 443 -15 <C(2) 2 121 02 2
175 445 -13 (1)C> 2 121 02 2
176 446 -12 1 (1)A> 121 02 2
177 467 9 122 (1)A> 02 2
178 468 10 123 (1)B> 0 2
179 470 8 123 <C(2) 22
180 493 -15 <C(2) 225
181 495 -13 (1)C> 225
182 496 -12 1 (1)A> 224
183 498 -14 1 <B(1) 0 223
184 499 -15 <B(1) 1 0 223
185 500 -16 <C(2) 12 0 223
186 502 -14 (1)C> 12 0 223
187 504 -16 <C(2) 2 1 0 223
188 506 -14 (1)C> 2 1 0 223
189 507 -13 1 (1)A> 1 0 223
190 508 -12 12 (1)A> 0 223
191 509 -11 13 (1)B> 223
192 510 -10 14 (1)C> 222
193 511 -9 15 (1)A> 221
194 513 -11 15 <B(1) 0 220
195 518 -16 <B(1) 15 0 220
196 519 -17 <C(2) 16 0 220
197 521 -15 (1)C> 16 0 220
198 523 -17 <C(2) 2 15 0 220
199 525 -15 (1)C> 2 15 0 220
200 526 -14 1 (1)A> 15 0 220
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 526
Tape index: -14
nonzeros: 27
log10(nonzeros): 1.431
log10(steps ): 2.721
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #d (T.J. & S. Ligocki)
: >8.0x10^986 >3.7x10^1973
5T 1RB 1RA 0LB 2LC 1LB 1RC 0RD 2LC 1RA 2RA 1RH 1RC
L 14
M 201
pref sim
machv Lig43_d just simple
machv Lig43_d-r with repetitions reduced
machv Lig43_d-1 with tape symbol exponents
machv Lig43_d-m as 1-bck-macro machine
machv Lig43_d-a as 1-bck-macro machine with pure additive config-TRs
iam Lig43_d-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:06 CEST 2010
edate Tue Jul 6 22:14:06 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:14:06 CEST 2010