Comment: This TM produces 3685 nonzeros in 16268767 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 | 4RB | 2LA | 4LA | 4RA | 3LA | 4 | right | B | 2 | left | A | 4 | left | A | 4 | right | A | 3 | left | A |
| B | 1LA | 4LA | 4RA | 3RB | 3LH | 1 | left | A | 4 | left | A | 4 | right | A | 3 | right | B | 3 | left | 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 4 B>
2 2 0 4 <A 1
3 3 -1 <A 3 1
4 4 0 4 B> 3 1
5 5 1 4 3 B> 1
6 6 0 4 3 <A 4
7 7 1 42 A> 4
8 8 0 42 <A 3
9 10 -2 <A 33
10 11 -1 4 B> 33
11 14 2 4 33 B>
12 15 1 4 33 <A 1
13 16 2 4 32 4 A> 1
14 17 1 4 32 4 <A 2
15 18 0 4 32 <A 3 2
16 19 1 4 3 4 A> 3 2
17 20 2 4 3 42 A> 2
18 21 1 4 3 42 <A 4
19 23 -1 4 3 <A 32 4
20 24 0 42 A> 32 4
21 26 2 44 A> 4
22 27 1 44 <A 3
23 31 -3 <A 35
24 32 -2 4 B> 35
25 37 3 4 35 B>
26 38 2 4 35 <A 1
27 39 3 4 34 4 A> 1
28 40 2 4 34 4 <A 2
29 41 1 4 34 <A 3 2
30 42 2 4 33 4 A> 3 2
31 43 3 4 33 42 A> 2
32 44 2 4 33 42 <A 4
33 46 0 4 33 <A 32 4
34 47 1 4 32 4 A> 32 4
35 49 3 4 32 43 A> 4
36 50 2 4 32 43 <A 3
37 53 -1 4 32 <A 34
38 54 0 4 3 4 A> 34
39 58 4 4 3 45 A>
40 59 5 4 3 46 B>
41 60 4 4 3 46 <A 1
42 66 -2 4 3 <A 36 1
43 67 -1 42 A> 36 1
44 73 5 48 A> 1
45 74 4 48 <A 2
46 82 -4 <A 38 2
47 83 -3 4 B> 38 2
48 91 5 4 38 B> 2
49 92 6 4 38 4 A>
50 93 7 4 38 42 B>
51 94 6 4 38 42 <A 1
52 96 4 4 38 <A 32 1
53 97 5 4 37 4 A> 32 1
54 99 7 4 37 43 A> 1
55 100 6 4 37 43 <A 2
56 103 3 4 37 <A 33 2
57 104 4 4 36 4 A> 33 2
58 107 7 4 36 44 A> 2
59 108 6 4 36 44 <A 4
60 112 2 4 36 <A 34 4
61 113 3 4 35 4 A> 34 4
62 117 7 4 35 45 A> 4
63 118 6 4 35 45 <A 3
64 123 1 4 35 <A 36
65 124 2 4 34 4 A> 36
66 130 8 4 34 47 A>
67 131 9 4 34 48 B>
68 132 8 4 34 48 <A 1
69 140 0 4 34 <A 38 1
70 141 1 4 33 4 A> 38 1
71 149 9 4 33 49 A> 1
72 150 8 4 33 49 <A 2
73 159 -1 4 33 <A 39 2
74 160 0 4 32 4 A> 39 2
75 169 9 4 32 410 A> 2
76 170 8 4 32 410 <A 4
77 180 -2 4 32 <A 310 4
78 181 -1 4 3 4 A> 310 4
79 191 9 4 3 411 A> 4
80 192 8 4 3 411 <A 3
81 203 -3 4 3 <A 312
82 204 -2 42 A> 312
83 216 10 414 A>
84 217 11 415 B>
85 218 10 415 <A 1
86 233 -5 <A 315 1
87 234 -4 4 B> 315 1
88 249 11 4 315 B> 1
89 250 10 4 315 <A 4
90 251 11 4 314 4 A> 4
91 252 10 4 314 4 <A 3
92 253 9 4 314 <A 32
93 254 10 4 313 4 A> 32
94 256 12 4 313 43 A>
95 257 13 4 313 44 B>
96 258 12 4 313 44 <A 1
97 262 8 4 313 <A 34 1
98 263 9 4 312 4 A> 34 1
99 267 13 4 312 45 A> 1
100 268 12 4 312 45 <A 2
101 273 7 4 312 <A 35 2
102 274 8 4 311 4 A> 35 2
103 279 13 4 311 46 A> 2
104 280 12 4 311 46 <A 4
105 286 6 4 311 <A 36 4
106 287 7 4 310 4 A> 36 4
107 293 13 4 310 47 A> 4
108 294 12 4 310 47 <A 3
109 301 5 4 310 <A 38
110 302 6 4 39 4 A> 38
111 310 14 4 39 49 A>
112 311 15 4 39 410 B>
113 312 14 4 39 410 <A 1
114 322 4 4 39 <A 310 1
115 323 5 4 38 4 A> 310 1
116 333 15 4 38 411 A> 1
117 334 14 4 38 411 <A 2
118 345 3 4 38 <A 311 2
119 346 4 4 37 4 A> 311 2
120 357 15 4 37 412 A> 2
121 358 14 4 37 412 <A 4
122 370 2 4 37 <A 312 4
123 371 3 4 36 4 A> 312 4
124 383 15 4 36 413 A> 4
125 384 14 4 36 413 <A 3
126 397 1 4 36 <A 314
127 398 2 4 35 4 A> 314
128 412 16 4 35 415 A>
129 413 17 4 35 416 B>
130 414 16 4 35 416 <A 1
131 430 0 4 35 <A 316 1
132 431 1 4 34 4 A> 316 1
133 447 17 4 34 417 A> 1
134 448 16 4 34 417 <A 2
135 465 -1 4 34 <A 317 2
136 466 0 4 33 4 A> 317 2
137 483 17 4 33 418 A> 2
138 484 16 4 33 418 <A 4
139 502 -2 4 33 <A 318 4
140 503 -1 4 32 4 A> 318 4
141 521 17 4 32 419 A> 4
142 522 16 4 32 419 <A 3
143 541 -3 4 32 <A 320
144 542 -2 4 3 4 A> 320
145 562 18 4 3 421 A>
146 563 19 4 3 422 B>
147 564 18 4 3 422 <A 1
148 586 -4 4 3 <A 322 1
149 587 -3 42 A> 322 1
150 609 19 424 A> 1
151 610 18 424 <A 2
152 634 -6 <A 324 2
153 635 -5 4 B> 324 2
154 659 19 4 324 B> 2
155 660 20 4 324 4 A>
156 661 21 4 324 42 B>
157 662 20 4 324 42 <A 1
158 664 18 4 324 <A 32 1
159 665 19 4 323 4 A> 32 1
160 667 21 4 323 43 A> 1
161 668 20 4 323 43 <A 2
162 671 17 4 323 <A 33 2
163 672 18 4 322 4 A> 33 2
164 675 21 4 322 44 A> 2
165 676 20 4 322 44 <A 4
166 680 16 4 322 <A 34 4
167 681 17 4 321 4 A> 34 4
168 685 21 4 321 45 A> 4
169 686 20 4 321 45 <A 3
170 691 15 4 321 <A 36
171 692 16 4 320 4 A> 36
172 698 22 4 320 47 A>
173 699 23 4 320 48 B>
174 700 22 4 320 48 <A 1
175 708 14 4 320 <A 38 1
176 709 15 4 319 4 A> 38 1
177 717 23 4 319 49 A> 1
178 718 22 4 319 49 <A 2
179 727 13 4 319 <A 39 2
180 728 14 4 318 4 A> 39 2
181 737 23 4 318 410 A> 2
182 738 22 4 318 410 <A 4
183 748 12 4 318 <A 310 4
184 749 13 4 317 4 A> 310 4
185 759 23 4 317 411 A> 4
186 760 22 4 317 411 <A 3
187 771 11 4 317 <A 312
188 772 12 4 316 4 A> 312
189 784 24 4 316 413 A>
190 785 25 4 316 414 B>
191 786 24 4 316 414 <A 1
192 800 10 4 316 <A 314 1
193 801 11 4 315 4 A> 314 1
194 815 25 4 315 415 A> 1
195 816 24 4 315 415 <A 2
196 831 9 4 315 <A 315 2
197 832 10 4 314 4 A> 315 2
198 847 25 4 314 416 A> 2
199 848 24 4 314 416 <A 4
200 864 8 4 314 <A 316 4
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 864
Tape index: 8
nonzeros: 32
log10(nonzeros): 1.505
log10(steps ): 2.937
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #b from T.J. & S. Ligocki
: 3685 16268767
5T 4RB 2LA 4LA 4RA 3LA 1LA 4LA 4RA 3RB 3LH
L 10
M 201
pref sim
machv Lig25_b just simple
machv Lig25_b-r with repetitions reduced
machv Lig25_b-1 with tape symbol exponents
machv Lig25_b-m as 1-macro machine
machv Lig25_b-a as 1-macro machine with pure additive config-TRs
iam Lig25_b-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:40 CEST 2010
edate Tue Jul 6 22:12:40 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:12:40 CEST 2010