Comment: This TM produces 11120 nonzeros in 148,304,214 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 | 4LA | 1LA | 2LA | 1RA | 1 | right | B | 4 | left | A | 1 | left | A | 2 | left | A | 1 | right | A |
| B | 3LA | 1RH | 1RA | 2RA | 4RB | 3 | left | A | 1 | right | H | 1 | right | A | 2 | right | A | 4 | right | B |
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 3 -1 <A 4 3
4 4 0 1 B> 4 3
5 5 1 1 4 B> 3
6 6 2 1 4 2 A>
7 7 3 1 4 2 1 B>
8 8 2 1 4 2 1 <A 3
9 9 1 1 4 2 <A 4 3
10 10 0 1 4 <A 1 4 3
11 11 1 12 A> 1 4 3
12 12 0 12 <A 42 3
13 14 -2 <A 44 3
14 15 -1 1 B> 44 3
15 19 3 1 44 B> 3
16 20 4 1 44 2 A>
17 21 5 1 44 2 1 B>
18 22 4 1 44 2 1 <A 3
19 23 3 1 44 2 <A 4 3
20 24 2 1 44 <A 1 4 3
21 25 3 1 43 1 A> 1 4 3
22 26 2 1 43 1 <A 42 3
23 27 1 1 43 <A 43 3
24 28 2 1 42 1 A> 43 3
25 31 5 1 42 14 A> 3
26 32 4 1 42 14 <A 2
27 36 0 1 42 <A 44 2
28 37 1 1 4 1 A> 44 2
29 41 5 1 4 15 A> 2
30 42 4 1 4 15 <A 1
31 47 -1 1 4 <A 45 1
32 48 0 12 A> 45 1
33 53 5 17 A> 1
34 54 4 17 <A 4
35 61 -3 <A 48
36 62 -2 1 B> 48
37 70 6 1 48 B>
38 71 5 1 48 <A 3
39 72 6 1 47 1 A> 3
40 73 5 1 47 1 <A 2
41 74 4 1 47 <A 4 2
42 75 5 1 46 1 A> 4 2
43 76 6 1 46 12 A> 2
44 77 5 1 46 12 <A 1
45 79 3 1 46 <A 42 1
46 80 4 1 45 1 A> 42 1
47 82 6 1 45 13 A> 1
48 83 5 1 45 13 <A 4
49 86 2 1 45 <A 44
50 87 3 1 44 1 A> 44
51 91 7 1 44 15 A>
52 92 8 1 44 16 B>
53 93 7 1 44 16 <A 3
54 99 1 1 44 <A 46 3
55 100 2 1 43 1 A> 46 3
56 106 8 1 43 17 A> 3
57 107 7 1 43 17 <A 2
58 114 0 1 43 <A 47 2
59 115 1 1 42 1 A> 47 2
60 122 8 1 42 18 A> 2
61 123 7 1 42 18 <A 1
62 131 -1 1 42 <A 48 1
63 132 0 1 4 1 A> 48 1
64 140 8 1 4 19 A> 1
65 141 7 1 4 19 <A 4
66 150 -2 1 4 <A 410
67 151 -1 12 A> 410
68 161 9 112 A>
69 162 10 113 B>
70 163 9 113 <A 3
71 176 -4 <A 413 3
72 177 -3 1 B> 413 3
73 190 10 1 413 B> 3
74 191 11 1 413 2 A>
75 192 12 1 413 2 1 B>
76 193 11 1 413 2 1 <A 3
77 194 10 1 413 2 <A 4 3
78 195 9 1 413 <A 1 4 3
79 196 10 1 412 1 A> 1 4 3
80 197 9 1 412 1 <A 42 3
81 198 8 1 412 <A 43 3
82 199 9 1 411 1 A> 43 3
83 202 12 1 411 14 A> 3
84 203 11 1 411 14 <A 2
85 207 7 1 411 <A 44 2
86 208 8 1 410 1 A> 44 2
87 212 12 1 410 15 A> 2
88 213 11 1 410 15 <A 1
89 218 6 1 410 <A 45 1
90 219 7 1 49 1 A> 45 1
91 224 12 1 49 16 A> 1
92 225 11 1 49 16 <A 4
93 231 5 1 49 <A 47
94 232 6 1 48 1 A> 47
95 239 13 1 48 18 A>
96 240 14 1 48 19 B>
97 241 13 1 48 19 <A 3
98 250 4 1 48 <A 49 3
99 251 5 1 47 1 A> 49 3
100 260 14 1 47 110 A> 3
101 261 13 1 47 110 <A 2
102 271 3 1 47 <A 410 2
103 272 4 1 46 1 A> 410 2
104 282 14 1 46 111 A> 2
105 283 13 1 46 111 <A 1
106 294 2 1 46 <A 411 1
107 295 3 1 45 1 A> 411 1
108 306 14 1 45 112 A> 1
109 307 13 1 45 112 <A 4
110 319 1 1 45 <A 413
111 320 2 1 44 1 A> 413
112 333 15 1 44 114 A>
113 334 16 1 44 115 B>
114 335 15 1 44 115 <A 3
115 350 0 1 44 <A 415 3
116 351 1 1 43 1 A> 415 3
117 366 16 1 43 116 A> 3
118 367 15 1 43 116 <A 2
119 383 -1 1 43 <A 416 2
120 384 0 1 42 1 A> 416 2
121 400 16 1 42 117 A> 2
122 401 15 1 42 117 <A 1
123 418 -2 1 42 <A 417 1
124 419 -1 1 4 1 A> 417 1
125 436 16 1 4 118 A> 1
126 437 15 1 4 118 <A 4
127 455 -3 1 4 <A 419
128 456 -2 12 A> 419
129 475 17 121 A>
130 476 18 122 B>
131 477 17 122 <A 3
132 499 -5 <A 422 3
133 500 -4 1 B> 422 3
134 522 18 1 422 B> 3
135 523 19 1 422 2 A>
136 524 20 1 422 2 1 B>
137 525 19 1 422 2 1 <A 3
138 526 18 1 422 2 <A 4 3
139 527 17 1 422 <A 1 4 3
140 528 18 1 421 1 A> 1 4 3
141 529 17 1 421 1 <A 42 3
142 530 16 1 421 <A 43 3
143 531 17 1 420 1 A> 43 3
144 534 20 1 420 14 A> 3
145 535 19 1 420 14 <A 2
146 539 15 1 420 <A 44 2
147 540 16 1 419 1 A> 44 2
148 544 20 1 419 15 A> 2
149 545 19 1 419 15 <A 1
150 550 14 1 419 <A 45 1
151 551 15 1 418 1 A> 45 1
152 556 20 1 418 16 A> 1
153 557 19 1 418 16 <A 4
154 563 13 1 418 <A 47
155 564 14 1 417 1 A> 47
156 571 21 1 417 18 A>
157 572 22 1 417 19 B>
158 573 21 1 417 19 <A 3
159 582 12 1 417 <A 49 3
160 583 13 1 416 1 A> 49 3
161 592 22 1 416 110 A> 3
162 593 21 1 416 110 <A 2
163 603 11 1 416 <A 410 2
164 604 12 1 415 1 A> 410 2
165 614 22 1 415 111 A> 2
166 615 21 1 415 111 <A 1
167 626 10 1 415 <A 411 1
168 627 11 1 414 1 A> 411 1
169 638 22 1 414 112 A> 1
170 639 21 1 414 112 <A 4
171 651 9 1 414 <A 413
172 652 10 1 413 1 A> 413
173 665 23 1 413 114 A>
174 666 24 1 413 115 B>
175 667 23 1 413 115 <A 3
176 682 8 1 413 <A 415 3
177 683 9 1 412 1 A> 415 3
178 698 24 1 412 116 A> 3
179 699 23 1 412 116 <A 2
180 715 7 1 412 <A 416 2
181 716 8 1 411 1 A> 416 2
182 732 24 1 411 117 A> 2
183 733 23 1 411 117 <A 1
184 750 6 1 411 <A 417 1
185 751 7 1 410 1 A> 417 1
186 768 24 1 410 118 A> 1
187 769 23 1 410 118 <A 4
188 787 5 1 410 <A 419
189 788 6 1 49 1 A> 419
190 807 25 1 49 120 A>
191 808 26 1 49 121 B>
192 809 25 1 49 121 <A 3
193 830 4 1 49 <A 421 3
194 831 5 1 48 1 A> 421 3
195 852 26 1 48 122 A> 3
196 853 25 1 48 122 <A 2
197 875 3 1 48 <A 422 2
198 876 4 1 47 1 A> 422 2
199 898 26 1 47 123 A> 2
200 899 25 1 47 123 <A 1
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 899
Tape index: 25
nonzeros: 32
log10(nonzeros): 1.505
log10(steps ): 2.954
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #c from T.J. & S. Ligocki
: 11120 148,304,214
5T 1RB 4LA 1LA 2LA 1RA 3LA 1RH 1RA 2RA 4RB
L 10
M 201
pref sim
machv Lig25_c just simple
machv Lig25_c-r with repetitions reduced
machv Lig25_c-1 with tape symbol exponents
machv Lig25_c-m as 1-macro machine
machv Lig25_c-a as 1-macro machine with pure additive config-TRs
iam Lig25_c-m
mtype 1
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:41 CEST 2010
edate Tue Jul 6 22:12:41 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:41 CEST 2010