Comment: This TM produces >9.3x10^30 nonzeros in >5.2x10^61 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 | 2LA | 4RA | 1LB | 2LA | 1 | right | B | 2 | left | A | 4 | right | A | 1 | left | B | 2 | left | A |
| B | 0LA | 2RB | 3RB | 2RA | 1RH | 0 | left | A | 2 | right | B | 3 | right | B | 2 | right | A | 1 | right | H |
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 <A(2)
3 5 1 1 (3)B>
4 7 -1 1 <B(1)
5 9 1 2 (2)B>
6 12 2 2 4 (1)B>
7 14 0 2 4 <A(2)
8 15 -1 2 <A(2) 2
9 17 1 4 (4)A> 2
10 18 2 42 (4)A>
11 19 3 43 (1)B>
12 21 1 43 <A(2)
13 24 -2 <A(2) 23
14 26 0 1 (3)B> 23
15 29 3 1 33 (3)B>
16 31 1 1 33 <B(1)
17 35 3 1 32 4 (4)A>
18 36 4 1 32 42 (1)B>
19 38 2 1 32 42 <A(2)
20 40 0 1 32 <A(2) 22
21 41 -1 1 3 <B(1) 23
22 45 1 1 4 (4)A> 23
23 48 4 1 44 (4)A>
24 49 5 1 45 (1)B>
25 51 3 1 45 <A(2)
26 56 -2 1 <A(2) 25
27 57 -3 <A(2) 26
28 59 -1 1 (3)B> 26
29 65 5 1 36 (3)B>
30 67 3 1 36 <B(1)
31 71 5 1 35 4 (4)A>
32 72 6 1 35 42 (1)B>
33 74 4 1 35 42 <A(2)
34 76 2 1 35 <A(2) 22
35 77 1 1 34 <B(1) 23
36 81 3 1 33 4 (4)A> 23
37 84 6 1 33 44 (4)A>
38 85 7 1 33 45 (1)B>
39 87 5 1 33 45 <A(2)
40 92 0 1 33 <A(2) 25
41 93 -1 1 32 <B(1) 26
42 97 1 1 3 4 (4)A> 26
43 103 7 1 3 47 (4)A>
44 104 8 1 3 48 (1)B>
45 106 6 1 3 48 <A(2)
46 114 -2 1 3 <A(2) 28
47 115 -3 1 <B(1) 29
48 117 -1 2 (2)B> 29
49 118 0 22 (3)B> 28
50 126 8 22 38 (3)B>
51 128 6 22 38 <B(1)
52 132 8 22 37 4 (4)A>
53 133 9 22 37 42 (1)B>
54 135 7 22 37 42 <A(2)
55 137 5 22 37 <A(2) 22
56 138 4 22 36 <B(1) 23
57 142 6 22 35 4 (4)A> 23
58 145 9 22 35 44 (4)A>
59 146 10 22 35 45 (1)B>
60 148 8 22 35 45 <A(2)
61 153 3 22 35 <A(2) 25
62 154 2 22 34 <B(1) 26
63 158 4 22 33 4 (4)A> 26
64 164 10 22 33 47 (4)A>
65 165 11 22 33 48 (1)B>
66 167 9 22 33 48 <A(2)
67 175 1 22 33 <A(2) 28
68 176 0 22 32 <B(1) 29
69 180 2 22 3 4 (4)A> 29
70 189 11 22 3 410 (4)A>
71 190 12 22 3 411 (1)B>
72 192 10 22 3 411 <A(2)
73 203 -1 22 3 <A(2) 211
74 204 -2 22 <B(1) 212
75 206 0 2 3 (2)B> 212
76 207 1 2 3 2 (3)B> 211
77 218 12 2 3 2 311 (3)B>
78 220 10 2 3 2 311 <B(1)
79 224 12 2 3 2 310 4 (4)A>
80 225 13 2 3 2 310 42 (1)B>
81 227 11 2 3 2 310 42 <A(2)
82 229 9 2 3 2 310 <A(2) 22
83 230 8 2 3 2 39 <B(1) 23
84 234 10 2 3 2 38 4 (4)A> 23
85 237 13 2 3 2 38 44 (4)A>
86 238 14 2 3 2 38 45 (1)B>
87 240 12 2 3 2 38 45 <A(2)
88 245 7 2 3 2 38 <A(2) 25
89 246 6 2 3 2 37 <B(1) 26
90 250 8 2 3 2 36 4 (4)A> 26
91 256 14 2 3 2 36 47 (4)A>
92 257 15 2 3 2 36 48 (1)B>
93 259 13 2 3 2 36 48 <A(2)
94 267 5 2 3 2 36 <A(2) 28
95 268 4 2 3 2 35 <B(1) 29
96 272 6 2 3 2 34 4 (4)A> 29
97 281 15 2 3 2 34 410 (4)A>
98 282 16 2 3 2 34 411 (1)B>
99 284 14 2 3 2 34 411 <A(2)
100 295 3 2 3 2 34 <A(2) 211
101 296 2 2 3 2 33 <B(1) 212
102 300 4 2 3 2 32 4 (4)A> 212
103 312 16 2 3 2 32 413 (4)A>
104 313 17 2 3 2 32 414 (1)B>
105 315 15 2 3 2 32 414 <A(2)
106 329 1 2 3 2 32 <A(2) 214
107 330 0 2 3 2 3 <B(1) 215
108 334 2 2 3 2 4 (4)A> 215
109 349 17 2 3 2 416 (4)A>
110 350 18 2 3 2 417 (1)B>
111 352 16 2 3 2 417 <A(2)
112 369 -1 2 3 2 <A(2) 217
113 371 1 2 3 4 (4)A> 217
114 388 18 2 3 418 (4)A>
115 389 19 2 3 419 (1)B>
116 391 17 2 3 419 <A(2)
117 410 -2 2 3 <A(2) 219
118 411 -3 2 <B(1) 220
119 413 -1 3 (2)B> 220
120 414 0 3 2 (3)B> 219
121 433 19 3 2 319 (3)B>
122 435 17 3 2 319 <B(1)
123 439 19 3 2 318 4 (4)A>
124 440 20 3 2 318 42 (1)B>
125 442 18 3 2 318 42 <A(2)
126 444 16 3 2 318 <A(2) 22
127 445 15 3 2 317 <B(1) 23
128 449 17 3 2 316 4 (4)A> 23
129 452 20 3 2 316 44 (4)A>
130 453 21 3 2 316 45 (1)B>
131 455 19 3 2 316 45 <A(2)
132 460 14 3 2 316 <A(2) 25
133 461 13 3 2 315 <B(1) 26
134 465 15 3 2 314 4 (4)A> 26
135 471 21 3 2 314 47 (4)A>
136 472 22 3 2 314 48 (1)B>
137 474 20 3 2 314 48 <A(2)
138 482 12 3 2 314 <A(2) 28
139 483 11 3 2 313 <B(1) 29
140 487 13 3 2 312 4 (4)A> 29
141 496 22 3 2 312 410 (4)A>
142 497 23 3 2 312 411 (1)B>
143 499 21 3 2 312 411 <A(2)
144 510 10 3 2 312 <A(2) 211
145 511 9 3 2 311 <B(1) 212
146 515 11 3 2 310 4 (4)A> 212
147 527 23 3 2 310 413 (4)A>
148 528 24 3 2 310 414 (1)B>
149 530 22 3 2 310 414 <A(2)
150 544 8 3 2 310 <A(2) 214
151 545 7 3 2 39 <B(1) 215
152 549 9 3 2 38 4 (4)A> 215
153 564 24 3 2 38 416 (4)A>
154 565 25 3 2 38 417 (1)B>
155 567 23 3 2 38 417 <A(2)
156 584 6 3 2 38 <A(2) 217
157 585 5 3 2 37 <B(1) 218
158 589 7 3 2 36 4 (4)A> 218
159 607 25 3 2 36 419 (4)A>
160 608 26 3 2 36 420 (1)B>
161 610 24 3 2 36 420 <A(2)
162 630 4 3 2 36 <A(2) 220
163 631 3 3 2 35 <B(1) 221
164 635 5 3 2 34 4 (4)A> 221
165 656 26 3 2 34 422 (4)A>
166 657 27 3 2 34 423 (1)B>
167 659 25 3 2 34 423 <A(2)
168 682 2 3 2 34 <A(2) 223
169 683 1 3 2 33 <B(1) 224
170 687 3 3 2 32 4 (4)A> 224
171 711 27 3 2 32 425 (4)A>
172 712 28 3 2 32 426 (1)B>
173 714 26 3 2 32 426 <A(2)
174 740 0 3 2 32 <A(2) 226
175 741 -1 3 2 3 <B(1) 227
176 745 1 3 2 4 (4)A> 227
177 772 28 3 2 428 (4)A>
178 773 29 3 2 429 (1)B>
179 775 27 3 2 429 <A(2)
180 804 -2 3 2 <A(2) 229
181 806 0 3 4 (4)A> 229
182 835 29 3 430 (4)A>
183 836 30 3 431 (1)B>
184 838 28 3 431 <A(2)
185 869 -3 3 <A(2) 231
186 870 -4 <B(1) 232
187 871 -5 <A(0) 1 232
188 874 -6 <A(2) 0 1 232
189 876 -4 1 (3)B> 0 1 232
190 878 -6 1 <B(1) 0 1 232
191 880 -4 2 (2)B> 0 1 232
192 883 -3 2 4 (1)B> 1 232
193 884 -2 2 4 1 (2)B> 232
194 885 -1 2 4 1 2 (3)B> 231
195 916 30 2 4 1 2 331 (3)B>
196 918 28 2 4 1 2 331 <B(1)
197 922 30 2 4 1 2 330 4 (4)A>
198 923 31 2 4 1 2 330 42 (1)B>
199 925 29 2 4 1 2 330 42 <A(2)
200 927 27 2 4 1 2 330 <A(2) 22
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 927
Tape index: 27
nonzeros: 37
log10(nonzeros): 1.568
log10(steps ): 2.967
Input to awk program:
gohalt 1
nbs 5
T 2-state 5-symbol #k from T.J. & S. Ligocki
5T 1RB 2LA 4RA 1LB 2LA 0LA 2RB 3RB 2RA 1RH
: >9.3x10^30 >5.2x10^61
L 4
M 201
pref sim
machv Lig25_k just simple
machv Lig25_k-r with repetitions reduced
machv Lig25_k-1 with tape symbol exponents
machv Lig25_k-m as 1-bck-macro machine
machv Lig25_k-a as 1-bck-macro machine with pure additive config-TRs
iam Lig25_k-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:12:52 CEST 2010
edate Tue Jul 6 22:12:52 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:12:52 CEST 2010