Comment: This TM produces >8.6x10^821 nonzeros in >4.9x10^1643 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 | 2LB | 4RB | 1LA | 1RB | 1RH | 1 | right | B | 2 | left | B | 4 | right | B | 1 | left | A | 1 | right | B | 1 | right | H |
| B | 1LA | 3RA | 5RA | 4LB | 0RA | 4LA | 1 | left | A | 3 | right | A | 5 | right | A | 4 | left | B | 0 | right | A | 4 | left | A |
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 <B 21
2 6 0 13 A> 21
3 8 2 13 43 A>
4 11 1 13 43 <B 21
5 14 2 13 01 B> 21
6 17 1 13 01 <A 42
7 19 -1 13 <A 12 42
8 21 -3 <B 21 12 42
9 24 -2 13 A> 21 12 42
10 26 0 13 43 A> 12 42
11 27 -1 13 43 <B 22 42
12 30 0 13 01 B> 22 42
13 32 2 13 01 54 B> 42
14 34 4 13 01 54 04 B>
15 35 3 13 01 54 04 <A 10
16 36 4 13 01 54 01 B> 10
17 38 6 13 01 54 01 31 B>
18 39 5 13 01 54 01 31 <A 10
19 41 3 13 01 54 01 <B 42 10
20 42 4 13 01 54 03 A> 42 10
21 44 6 13 01 54 03 15 A> 10
22 45 5 13 01 54 03 15 <B 20
23 47 3 13 01 54 03 <B 24 20
24 49 1 13 01 54 <A 14 24 20
25 50 2 13 01 51 B> 14 24 20
26 52 4 13 01 51 31 B> 24 20
27 54 6 13 01 51 31 51 B> 20
28 56 8 13 01 51 31 512 B>
29 57 7 13 01 51 31 512 <A 10
30 61 3 13 01 51 31 <A 422 10
31 63 1 13 01 51 <B 423 10
32 64 2 13 01 53 A> 423 10
33 70 8 13 01 53 153 A> 10
34 71 7 13 01 53 153 <B 20
35 77 1 13 01 53 <B 243 20
36 79 -1 13 01 <A 44 243 20
37 81 -3 13 <A 12 44 243 20
38 83 -5 <B 21 12 44 243 20
39 86 -4 13 A> 21 12 44 243 20
40 88 -2 13 43 A> 12 44 243 20
41 89 -3 13 43 <B 22 44 243 20
42 92 -2 13 01 B> 22 44 243 20
43 94 0 13 01 54 B> 44 243 20
44 96 2 13 01 54 01 B> 243 20
45 102 8 13 01 54 01 513 B> 20
46 104 10 13 01 54 01 514 B>
47 105 9 13 01 54 01 514 <A 10
48 113 1 13 01 54 01 <A 424 10
49 115 -1 13 01 54 <A 12 424 10
50 116 0 13 01 51 B> 12 424 10
51 118 2 13 01 51 34 B> 424 10
52 126 10 13 01 51 34 044 B> 10
53 128 12 13 01 51 34 044 31 B>
54 129 11 13 01 51 34 044 31 <A 10
55 131 9 13 01 51 34 044 <B 42 10
56 132 10 13 01 51 34 043 00 A> 42 10
57 134 12 13 01 51 34 043 00 15 A> 10
58 135 11 13 01 51 34 043 00 15 <B 20
59 137 9 13 01 51 34 043 00 <B 24 20
60 140 10 13 01 51 34 043 13 A> 24 20
61 142 12 13 01 51 34 043 13 40 A> 20
62 146 14 13 01 51 34 043 13 40 13 A>
63 149 13 13 01 51 34 043 13 40 13 <B 21
64 152 14 13 01 51 34 043 13 40 31 B> 21
65 155 13 13 01 51 34 043 13 40 31 <A 42
66 157 11 13 01 51 34 043 13 40 <B 422
67 160 12 13 01 51 34 043 132 A> 422
68 164 16 13 01 51 34 043 132 152 A>
69 167 15 13 01 51 34 043 132 152 <B 21
70 171 11 13 01 51 34 043 132 <B 242 21
71 174 12 13 01 51 34 043 13 31 B> 242 21
72 178 16 13 01 51 34 043 13 31 512 B> 21
73 181 15 13 01 51 34 043 13 31 512 <A 42
74 185 11 13 01 51 34 043 13 31 <A 423
75 187 9 13 01 51 34 043 13 <B 424
76 190 10 13 01 51 34 043 31 B> 424
77 198 18 13 01 51 34 043 31 044 B>
78 199 17 13 01 51 34 043 31 044 <A 10
79 200 18 13 01 51 34 043 31 043 01 B> 10
80 202 20 13 01 51 34 043 31 043 01 31 B>
81 203 19 13 01 51 34 043 31 043 01 31 <A 10
82 205 17 13 01 51 34 043 31 043 01 <B 42 10
83 206 18 13 01 51 34 043 31 043 03 A> 42 10
84 208 20 13 01 51 34 043 31 043 03 15 A> 10
85 209 19 13 01 51 34 043 31 043 03 15 <B 20
86 211 17 13 01 51 34 043 31 043 03 <B 24 20
87 213 15 13 01 51 34 043 31 043 <A 14 24 20
88 214 16 13 01 51 34 043 31 042 01 B> 14 24 20
89 216 18 13 01 51 34 043 31 042 01 31 B> 24 20
90 218 20 13 01 51 34 043 31 042 01 31 51 B> 20
91 220 22 13 01 51 34 043 31 042 01 31 512 B>
92 221 21 13 01 51 34 043 31 042 01 31 512 <A 10
93 225 17 13 01 51 34 043 31 042 01 31 <A 422 10
94 227 15 13 01 51 34 043 31 042 01 <B 423 10
95 228 16 13 01 51 34 043 31 042 03 A> 423 10
96 234 22 13 01 51 34 043 31 042 03 153 A> 10
97 235 21 13 01 51 34 043 31 042 03 153 <B 20
98 241 15 13 01 51 34 043 31 042 03 <B 243 20
99 243 13 13 01 51 34 043 31 042 <A 14 243 20
100 244 14 13 01 51 34 043 31 04 01 B> 14 243 20
101 246 16 13 01 51 34 043 31 04 01 31 B> 243 20
102 252 22 13 01 51 34 043 31 04 01 31 513 B> 20
103 254 24 13 01 51 34 043 31 04 01 31 514 B>
104 255 23 13 01 51 34 043 31 04 01 31 514 <A 10
105 263 15 13 01 51 34 043 31 04 01 31 <A 424 10
106 265 13 13 01 51 34 043 31 04 01 <B 425 10
107 266 14 13 01 51 34 043 31 04 03 A> 425 10
108 276 24 13 01 51 34 043 31 04 03 155 A> 10
109 277 23 13 01 51 34 043 31 04 03 155 <B 20
110 287 13 13 01 51 34 043 31 04 03 <B 245 20
111 289 11 13 01 51 34 043 31 04 <A 14 245 20
112 290 12 13 01 51 34 043 31 01 B> 14 245 20
113 292 14 13 01 51 34 043 31 01 31 B> 245 20
114 302 24 13 01 51 34 043 31 01 31 515 B> 20
115 304 26 13 01 51 34 043 31 01 31 516 B>
116 305 25 13 01 51 34 043 31 01 31 516 <A 10
117 317 13 13 01 51 34 043 31 01 31 <A 426 10
118 319 11 13 01 51 34 043 31 01 <B 427 10
119 320 12 13 01 51 34 043 31 03 A> 427 10
120 334 26 13 01 51 34 043 31 03 157 A> 10
121 335 25 13 01 51 34 043 31 03 157 <B 20
122 349 11 13 01 51 34 043 31 03 <B 247 20
123 351 9 13 01 51 34 043 31 <A 14 247 20
124 353 7 13 01 51 34 043 <B 42 14 247 20
125 354 8 13 01 51 34 042 00 A> 42 14 247 20
126 356 10 13 01 51 34 042 00 15 A> 14 247 20
127 357 9 13 01 51 34 042 00 15 <B 248 20
128 359 7 13 01 51 34 042 00 <B 249 20
129 362 8 13 01 51 34 042 13 A> 249 20
130 380 26 13 01 51 34 042 13 409 A> 20
131 384 28 13 01 51 34 042 13 409 13 A>
132 387 27 13 01 51 34 042 13 409 13 <B 21
133 390 28 13 01 51 34 042 13 409 31 B> 21
134 393 27 13 01 51 34 042 13 409 31 <A 42
135 395 25 13 01 51 34 042 13 409 <B 422
136 398 26 13 01 51 34 042 13 408 13 A> 422
137 402 30 13 01 51 34 042 13 408 13 152 A>
138 405 29 13 01 51 34 042 13 408 13 152 <B 21
139 409 25 13 01 51 34 042 13 408 13 <B 242 21
140 412 26 13 01 51 34 042 13 408 31 B> 242 21
141 416 30 13 01 51 34 042 13 408 31 512 B> 21
142 419 29 13 01 51 34 042 13 408 31 512 <A 42
143 423 25 13 01 51 34 042 13 408 31 <A 423
144 425 23 13 01 51 34 042 13 408 <B 424
145 428 24 13 01 51 34 042 13 407 13 A> 424
146 436 32 13 01 51 34 042 13 407 13 154 A>
147 439 31 13 01 51 34 042 13 407 13 154 <B 21
148 447 23 13 01 51 34 042 13 407 13 <B 244 21
149 450 24 13 01 51 34 042 13 407 31 B> 244 21
150 458 32 13 01 51 34 042 13 407 31 514 B> 21
151 461 31 13 01 51 34 042 13 407 31 514 <A 42
152 469 23 13 01 51 34 042 13 407 31 <A 425
153 471 21 13 01 51 34 042 13 407 <B 426
154 474 22 13 01 51 34 042 13 406 13 A> 426
155 486 34 13 01 51 34 042 13 406 13 156 A>
156 489 33 13 01 51 34 042 13 406 13 156 <B 21
157 501 21 13 01 51 34 042 13 406 13 <B 246 21
158 504 22 13 01 51 34 042 13 406 31 B> 246 21
159 516 34 13 01 51 34 042 13 406 31 516 B> 21
160 519 33 13 01 51 34 042 13 406 31 516 <A 42
161 531 21 13 01 51 34 042 13 406 31 <A 427
162 533 19 13 01 51 34 042 13 406 <B 428
163 536 20 13 01 51 34 042 13 405 13 A> 428
164 552 36 13 01 51 34 042 13 405 13 158 A>
165 555 35 13 01 51 34 042 13 405 13 158 <B 21
166 571 19 13 01 51 34 042 13 405 13 <B 248 21
167 574 20 13 01 51 34 042 13 405 31 B> 248 21
168 590 36 13 01 51 34 042 13 405 31 518 B> 21
169 593 35 13 01 51 34 042 13 405 31 518 <A 42
170 609 19 13 01 51 34 042 13 405 31 <A 429
171 611 17 13 01 51 34 042 13 405 <B 4210
172 614 18 13 01 51 34 042 13 404 13 A> 4210
173 634 38 13 01 51 34 042 13 404 13 1510 A>
174 637 37 13 01 51 34 042 13 404 13 1510 <B 21
175 657 17 13 01 51 34 042 13 404 13 <B 2410 21
176 660 18 13 01 51 34 042 13 404 31 B> 2410 21
177 680 38 13 01 51 34 042 13 404 31 5110 B> 21
178 683 37 13 01 51 34 042 13 404 31 5110 <A 42
179 703 17 13 01 51 34 042 13 404 31 <A 4211
180 705 15 13 01 51 34 042 13 404 <B 4212
181 708 16 13 01 51 34 042 13 403 13 A> 4212
182 732 40 13 01 51 34 042 13 403 13 1512 A>
183 735 39 13 01 51 34 042 13 403 13 1512 <B 21
184 759 15 13 01 51 34 042 13 403 13 <B 2412 21
185 762 16 13 01 51 34 042 13 403 31 B> 2412 21
186 786 40 13 01 51 34 042 13 403 31 5112 B> 21
187 789 39 13 01 51 34 042 13 403 31 5112 <A 42
188 813 15 13 01 51 34 042 13 403 31 <A 4213
189 815 13 13 01 51 34 042 13 403 <B 4214
190 818 14 13 01 51 34 042 13 402 13 A> 4214
191 846 42 13 01 51 34 042 13 402 13 1514 A>
192 849 41 13 01 51 34 042 13 402 13 1514 <B 21
193 877 13 13 01 51 34 042 13 402 13 <B 2414 21
194 880 14 13 01 51 34 042 13 402 31 B> 2414 21
195 908 42 13 01 51 34 042 13 402 31 5114 B> 21
196 911 41 13 01 51 34 042 13 402 31 5114 <A 42
197 939 13 13 01 51 34 042 13 402 31 <A 4215
198 941 11 13 01 51 34 042 13 402 <B 4216
199 944 12 13 01 51 34 042 13 40 13 A> 4216
200 976 44 13 01 51 34 042 13 40 13 1516 A>
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 976
Tape index: 44
nonzeros: 46
log10(nonzeros): 1.663
log10(steps ): 2.989
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #e (T.J. & S. Ligocki)
: >8.6x10^821 >4.9x10^1643
5T 1RB 2LB 4RB 1LA 1RB 1RH 1LA 3RA 5RA 4LB 0RA 4LA
L 6
M 201
pref sim
machv Lig26_e just simple
machv Lig26_e-r with repetitions reduced
machv Lig26_e-1 with tape symbol exponents
machv Lig26_e-m as 2-macro machine
machv Lig26_e-a as 2-macro machine with pure additive config-TRs
iam Lig26_e-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:19 CEST 2010
edate Tue Jul 6 22:13:19 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:19 CEST 2010