Comment: This TM produces 620,906,587 nonzeros in 91,791,666,497,368,316 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 | 1RH | 4LA | 4LB | 2RA | 1 | right | B | 1 | right | H | 4 | left | A | 4 | left | B | 2 | right | A |
| B | 2LB | 2RB | 3RB | 2RA | 0RB | 2 | left | B | 2 | right | B | 3 | right | B | 2 | right | A | 0 | 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-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 4 2 2 (3)B>
3 8 0 2 <A(4) 4
4 9 -1 <A(4) 42
5 11 1 1 (0)B> 42
6 13 3 1 02 (0)B>
7 15 1 1 02 <B(2) 2
8 17 -1 1 <B(2) 23
9 19 1 2 (3)B> 23
10 22 4 2 33 (3)B>
11 26 2 2 33 <A(4) 4
12 27 1 2 32 <B(4) 42
13 29 3 2 3 2 (2)A> 42
14 31 5 2 3 23 (2)A>
15 32 6 2 3 24 (1)B>
16 35 7 2 3 25 (3)B>
17 39 5 2 3 25 <A(4) 4
18 44 0 2 3 <A(4) 46
19 45 -1 2 <B(4) 47
20 47 1 3 (0)B> 47
21 54 8 3 07 (0)B>
22 56 6 3 07 <B(2) 2
23 63 -1 3 <B(2) 28
24 66 -2 <A(4) 4 28
25 68 0 1 (0)B> 4 28
26 69 1 1 0 (0)B> 28
27 70 2 1 02 (3)B> 27
28 77 9 1 02 37 (3)B>
29 81 7 1 02 37 <A(4) 4
30 82 6 1 02 36 <B(4) 42
31 84 8 1 02 35 2 (2)A> 42
32 86 10 1 02 35 23 (2)A>
33 87 11 1 02 35 24 (1)B>
34 90 12 1 02 35 25 (3)B>
35 94 10 1 02 35 25 <A(4) 4
36 99 5 1 02 35 <A(4) 46
37 100 4 1 02 34 <B(4) 47
38 102 6 1 02 33 2 (2)A> 47
39 109 13 1 02 33 28 (2)A>
40 110 14 1 02 33 29 (1)B>
41 113 15 1 02 33 210 (3)B>
42 117 13 1 02 33 210 <A(4) 4
43 127 3 1 02 33 <A(4) 411
44 128 2 1 02 32 <B(4) 412
45 130 4 1 02 3 2 (2)A> 412
46 142 16 1 02 3 213 (2)A>
47 143 17 1 02 3 214 (1)B>
48 146 18 1 02 3 215 (3)B>
49 150 16 1 02 3 215 <A(4) 4
50 165 1 1 02 3 <A(4) 416
51 166 0 1 02 <B(4) 417
52 167 -1 1 0 <B(2) 418
53 168 -2 1 <B(2) 2 418
54 170 0 2 (3)B> 2 418
55 171 1 2 3 (3)B> 418
56 172 2 2 32 (0)B> 417
57 189 19 2 32 017 (0)B>
58 191 17 2 32 017 <B(2) 2
59 208 0 2 32 <B(2) 218
60 211 -1 2 3 <A(4) 4 218
61 212 -2 2 <B(4) 42 218
62 214 0 3 (0)B> 42 218
63 216 2 3 02 (0)B> 218
64 217 3 3 03 (3)B> 217
65 234 20 3 03 317 (3)B>
66 238 18 3 03 317 <A(4) 4
67 239 17 3 03 316 <B(4) 42
68 241 19 3 03 315 2 (2)A> 42
69 243 21 3 03 315 23 (2)A>
70 244 22 3 03 315 24 (1)B>
71 247 23 3 03 315 25 (3)B>
72 251 21 3 03 315 25 <A(4) 4
73 256 16 3 03 315 <A(4) 46
74 257 15 3 03 314 <B(4) 47
75 259 17 3 03 313 2 (2)A> 47
76 266 24 3 03 313 28 (2)A>
77 267 25 3 03 313 29 (1)B>
78 270 26 3 03 313 210 (3)B>
79 274 24 3 03 313 210 <A(4) 4
80 284 14 3 03 313 <A(4) 411
81 285 13 3 03 312 <B(4) 412
82 287 15 3 03 311 2 (2)A> 412
83 299 27 3 03 311 213 (2)A>
84 300 28 3 03 311 214 (1)B>
85 303 29 3 03 311 215 (3)B>
86 307 27 3 03 311 215 <A(4) 4
87 322 12 3 03 311 <A(4) 416
88 323 11 3 03 310 <B(4) 417
89 325 13 3 03 39 2 (2)A> 417
90 342 30 3 03 39 218 (2)A>
91 343 31 3 03 39 219 (1)B>
92 346 32 3 03 39 220 (3)B>
93 350 30 3 03 39 220 <A(4) 4
94 370 10 3 03 39 <A(4) 421
95 371 9 3 03 38 <B(4) 422
96 373 11 3 03 37 2 (2)A> 422
97 395 33 3 03 37 223 (2)A>
98 396 34 3 03 37 224 (1)B>
99 399 35 3 03 37 225 (3)B>
100 403 33 3 03 37 225 <A(4) 4
101 428 8 3 03 37 <A(4) 426
102 429 7 3 03 36 <B(4) 427
103 431 9 3 03 35 2 (2)A> 427
104 458 36 3 03 35 228 (2)A>
105 459 37 3 03 35 229 (1)B>
106 462 38 3 03 35 230 (3)B>
107 466 36 3 03 35 230 <A(4) 4
108 496 6 3 03 35 <A(4) 431
109 497 5 3 03 34 <B(4) 432
110 499 7 3 03 33 2 (2)A> 432
111 531 39 3 03 33 233 (2)A>
112 532 40 3 03 33 234 (1)B>
113 535 41 3 03 33 235 (3)B>
114 539 39 3 03 33 235 <A(4) 4
115 574 4 3 03 33 <A(4) 436
116 575 3 3 03 32 <B(4) 437
117 577 5 3 03 3 2 (2)A> 437
118 614 42 3 03 3 238 (2)A>
119 615 43 3 03 3 239 (1)B>
120 618 44 3 03 3 240 (3)B>
121 622 42 3 03 3 240 <A(4) 4
122 662 2 3 03 3 <A(4) 441
123 663 1 3 03 <B(4) 442
124 664 0 3 02 <B(2) 443
125 666 -2 3 <B(2) 22 443
126 669 -3 <A(4) 4 22 443
127 671 -1 1 (0)B> 4 22 443
128 672 0 1 0 (0)B> 22 443
129 673 1 1 02 (3)B> 2 443
130 674 2 1 02 3 (3)B> 443
131 675 3 1 02 32 (0)B> 442
132 717 45 1 02 32 042 (0)B>
133 719 43 1 02 32 042 <B(2) 2
134 761 1 1 02 32 <B(2) 243
135 764 0 1 02 3 <A(4) 4 243
136 765 -1 1 02 <B(4) 42 243
137 766 -2 1 0 <B(2) 43 243
138 767 -3 1 <B(2) 2 43 243
139 769 -1 2 (3)B> 2 43 243
140 770 0 2 3 (3)B> 43 243
141 771 1 2 32 (0)B> 42 243
142 773 3 2 32 02 (0)B> 243
143 774 4 2 32 03 (3)B> 242
144 816 46 2 32 03 342 (3)B>
145 820 44 2 32 03 342 <A(4) 4
146 821 43 2 32 03 341 <B(4) 42
147 823 45 2 32 03 340 2 (2)A> 42
148 825 47 2 32 03 340 23 (2)A>
149 826 48 2 32 03 340 24 (1)B>
150 829 49 2 32 03 340 25 (3)B>
151 833 47 2 32 03 340 25 <A(4) 4
152 838 42 2 32 03 340 <A(4) 46
153 839 41 2 32 03 339 <B(4) 47
154 841 43 2 32 03 338 2 (2)A> 47
155 848 50 2 32 03 338 28 (2)A>
156 849 51 2 32 03 338 29 (1)B>
157 852 52 2 32 03 338 210 (3)B>
158 856 50 2 32 03 338 210 <A(4) 4
159 866 40 2 32 03 338 <A(4) 411
160 867 39 2 32 03 337 <B(4) 412
161 869 41 2 32 03 336 2 (2)A> 412
162 881 53 2 32 03 336 213 (2)A>
163 882 54 2 32 03 336 214 (1)B>
164 885 55 2 32 03 336 215 (3)B>
165 889 53 2 32 03 336 215 <A(4) 4
166 904 38 2 32 03 336 <A(4) 416
167 905 37 2 32 03 335 <B(4) 417
168 907 39 2 32 03 334 2 (2)A> 417
169 924 56 2 32 03 334 218 (2)A>
170 925 57 2 32 03 334 219 (1)B>
171 928 58 2 32 03 334 220 (3)B>
172 932 56 2 32 03 334 220 <A(4) 4
173 952 36 2 32 03 334 <A(4) 421
174 953 35 2 32 03 333 <B(4) 422
175 955 37 2 32 03 332 2 (2)A> 422
176 977 59 2 32 03 332 223 (2)A>
177 978 60 2 32 03 332 224 (1)B>
178 981 61 2 32 03 332 225 (3)B>
179 985 59 2 32 03 332 225 <A(4) 4
180 1010 34 2 32 03 332 <A(4) 426
181 1011 33 2 32 03 331 <B(4) 427
182 1013 35 2 32 03 330 2 (2)A> 427
183 1040 62 2 32 03 330 228 (2)A>
184 1041 63 2 32 03 330 229 (1)B>
185 1044 64 2 32 03 330 230 (3)B>
186 1048 62 2 32 03 330 230 <A(4) 4
187 1078 32 2 32 03 330 <A(4) 431
188 1079 31 2 32 03 329 <B(4) 432
189 1081 33 2 32 03 328 2 (2)A> 432
190 1113 65 2 32 03 328 233 (2)A>
191 1114 66 2 32 03 328 234 (1)B>
192 1117 67 2 32 03 328 235 (3)B>
193 1121 65 2 32 03 328 235 <A(4) 4
194 1156 30 2 32 03 328 <A(4) 436
195 1157 29 2 32 03 327 <B(4) 437
196 1159 31 2 32 03 326 2 (2)A> 437
197 1196 68 2 32 03 326 238 (2)A>
198 1197 69 2 32 03 326 239 (1)B>
199 1200 70 2 32 03 326 240 (3)B>
200 1204 68 2 32 03 326 240 <A(4) 4
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1204
Tape index: 68
nonzeros: 71
log10(nonzeros): 1.851
log10(steps ): 3.081
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #g from T.J. & S. Ligocki
5T 1RB 1RH 4LA 4LB 2RA 2LB 2RB 3RB 2RA 0RB
: 620,906,587 91,791,666,497,368,316
L 3
M 201
pref sim
machv Lig25_g just simple
machv Lig25_g-r with repetitions reduced
machv Lig25_g-1 with tape symbol exponents
machv Lig25_g-m as 1-bck-macro machine
machv Lig25_g-a as 1-bck-macro machine with pure additive config-TRs
iam Lig25_g-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:46 CEST 2010
edate Tue Jul 6 22:12:46 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:46 CEST 2010