Comment: This TM produces >6.9x10^4931 nonzeros in >2.5x10^9863 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 | 1LB | 3RA | 4LA | 2LA | 4LB | 1 | right | B | 1 | left | B | 3 | right | A | 4 | left | A | 2 | left | A | 4 | left | B |
| B | 2LA | 2RB | 3LB | 1LA | 5RA | 1RH | 2 | left | A | 2 | right | B | 3 | left | B | 1 | left | A | 5 | 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 <B(1) 2
3 4 -2 <A(2) 1 2
4 11 -3 <A(1) 12 2
5 13 -1 1 (2)B> 12 2
6 15 1 1 22 (2)B> 2
7 17 -1 1 22 <B(3) 3
8 19 -3 1 <B(3) 33
9 24 -4 <A(1) 1 33
10 26 -2 1 (2)B> 1 33
11 27 -1 1 2 (2)B> 33
12 31 -3 1 2 <A(1) 1 32
13 34 -4 1 <A(1) 12 32
14 35 -5 <B(1) 13 32
15 36 -6 <A(2) 14 32
16 43 -7 <A(1) 15 32
17 45 -5 1 (2)B> 15 32
18 50 0 1 25 (2)B> 32
19 54 -2 1 25 <A(1) 1 3
20 69 -7 1 <A(1) 16 3
21 70 -8 <B(1) 17 3
22 71 -9 <A(2) 18 3
23 78 -10 <A(1) 19 3
24 80 -8 1 (2)B> 19 3
25 89 1 1 29 (2)B> 3
26 93 -1 1 29 <A(1) 1
27 120 -10 1 <A(1) 110
28 121 -11 <B(1) 111
29 122 -12 <A(2) 112
30 129 -13 <A(1) 113
31 131 -11 1 (2)B> 113
32 144 2 1 213 (2)B>
33 147 3 1 213 3 (3)A>
34 148 4 1 213 32 (1)B>
35 150 2 1 213 32 <B(1) 2
36 151 1 1 213 3 <A(1) 1 2
37 152 0 1 213 <A(4) 12 2
38 191 -13 1 <A(4) 213 12 2
39 192 -14 <B(1) 4 213 12 2
40 193 -15 <A(2) 1 4 213 12 2
41 200 -16 <A(1) 12 4 213 12 2
42 202 -14 1 (2)B> 12 4 213 12 2
43 204 -12 1 22 (2)B> 4 213 12 2
44 205 -11 1 23 (5)A> 213 12 2
45 206 -10 1 23 5 (3)A> 212 12 2
46 218 2 1 23 5 312 (3)A> 12 2
47 220 0 1 23 5 312 <A(1) 12 2
48 221 -1 1 23 5 311 <A(4) 13 2
49 232 -12 1 23 5 <A(4) 411 13 2
50 233 -13 1 23 <B(4) 412 13 2
51 234 -14 1 22 <B(3) 413 13 2
52 236 -16 1 <B(3) 32 413 13 2
53 241 -17 <A(1) 1 32 413 13 2
54 243 -15 1 (2)B> 1 32 413 13 2
55 244 -14 1 2 (2)B> 32 413 13 2
56 248 -16 1 2 <A(1) 1 3 413 13 2
57 251 -17 1 <A(1) 12 3 413 13 2
58 252 -18 <B(1) 13 3 413 13 2
59 253 -19 <A(2) 14 3 413 13 2
60 260 -20 <A(1) 15 3 413 13 2
61 262 -18 1 (2)B> 15 3 413 13 2
62 267 -13 1 25 (2)B> 3 413 13 2
63 271 -15 1 25 <A(1) 1 413 13 2
64 286 -20 1 <A(1) 16 413 13 2
65 287 -21 <B(1) 17 413 13 2
66 288 -22 <A(2) 18 413 13 2
67 295 -23 <A(1) 19 413 13 2
68 297 -21 1 (2)B> 19 413 13 2
69 306 -12 1 29 (2)B> 413 13 2
70 307 -11 1 210 (5)A> 412 13 2
71 309 -13 1 210 <B(4) 2 411 13 2
72 310 -14 1 29 <B(3) 4 2 411 13 2
73 319 -23 1 <B(3) 39 4 2 411 13 2
74 324 -24 <A(1) 1 39 4 2 411 13 2
75 326 -22 1 (2)B> 1 39 4 2 411 13 2
76 327 -21 1 2 (2)B> 39 4 2 411 13 2
77 331 -23 1 2 <A(1) 1 38 4 2 411 13 2
78 334 -24 1 <A(1) 12 38 4 2 411 13 2
79 335 -25 <B(1) 13 38 4 2 411 13 2
80 336 -26 <A(2) 14 38 4 2 411 13 2
81 343 -27 <A(1) 15 38 4 2 411 13 2
82 345 -25 1 (2)B> 15 38 4 2 411 13 2
83 350 -20 1 25 (2)B> 38 4 2 411 13 2
84 354 -22 1 25 <A(1) 1 37 4 2 411 13 2
85 369 -27 1 <A(1) 16 37 4 2 411 13 2
86 370 -28 <B(1) 17 37 4 2 411 13 2
87 371 -29 <A(2) 18 37 4 2 411 13 2
88 378 -30 <A(1) 19 37 4 2 411 13 2
89 380 -28 1 (2)B> 19 37 4 2 411 13 2
90 389 -19 1 29 (2)B> 37 4 2 411 13 2
91 393 -21 1 29 <A(1) 1 36 4 2 411 13 2
92 420 -30 1 <A(1) 110 36 4 2 411 13 2
93 421 -31 <B(1) 111 36 4 2 411 13 2
94 422 -32 <A(2) 112 36 4 2 411 13 2
95 429 -33 <A(1) 113 36 4 2 411 13 2
96 431 -31 1 (2)B> 113 36 4 2 411 13 2
97 444 -18 1 213 (2)B> 36 4 2 411 13 2
98 448 -20 1 213 <A(1) 1 35 4 2 411 13 2
99 487 -33 1 <A(1) 114 35 4 2 411 13 2
100 488 -34 <B(1) 115 35 4 2 411 13 2
101 489 -35 <A(2) 116 35 4 2 411 13 2
102 496 -36 <A(1) 117 35 4 2 411 13 2
103 498 -34 1 (2)B> 117 35 4 2 411 13 2
104 515 -17 1 217 (2)B> 35 4 2 411 13 2
105 519 -19 1 217 <A(1) 1 34 4 2 411 13 2
106 570 -36 1 <A(1) 118 34 4 2 411 13 2
107 571 -37 <B(1) 119 34 4 2 411 13 2
108 572 -38 <A(2) 120 34 4 2 411 13 2
109 579 -39 <A(1) 121 34 4 2 411 13 2
110 581 -37 1 (2)B> 121 34 4 2 411 13 2
111 602 -16 1 221 (2)B> 34 4 2 411 13 2
112 606 -18 1 221 <A(1) 1 33 4 2 411 13 2
113 669 -39 1 <A(1) 122 33 4 2 411 13 2
114 670 -40 <B(1) 123 33 4 2 411 13 2
115 671 -41 <A(2) 124 33 4 2 411 13 2
116 678 -42 <A(1) 125 33 4 2 411 13 2
117 680 -40 1 (2)B> 125 33 4 2 411 13 2
118 705 -15 1 225 (2)B> 33 4 2 411 13 2
119 709 -17 1 225 <A(1) 1 32 4 2 411 13 2
120 784 -42 1 <A(1) 126 32 4 2 411 13 2
121 785 -43 <B(1) 127 32 4 2 411 13 2
122 786 -44 <A(2) 128 32 4 2 411 13 2
123 793 -45 <A(1) 129 32 4 2 411 13 2
124 795 -43 1 (2)B> 129 32 4 2 411 13 2
125 824 -14 1 229 (2)B> 32 4 2 411 13 2
126 828 -16 1 229 <A(1) 1 3 4 2 411 13 2
127 915 -45 1 <A(1) 130 3 4 2 411 13 2
128 916 -46 <B(1) 131 3 4 2 411 13 2
129 917 -47 <A(2) 132 3 4 2 411 13 2
130 924 -48 <A(1) 133 3 4 2 411 13 2
131 926 -46 1 (2)B> 133 3 4 2 411 13 2
132 959 -13 1 233 (2)B> 3 4 2 411 13 2
133 963 -15 1 233 <A(1) 1 4 2 411 13 2
134 1062 -48 1 <A(1) 134 4 2 411 13 2
135 1063 -49 <B(1) 135 4 2 411 13 2
136 1064 -50 <A(2) 136 4 2 411 13 2
137 1071 -51 <A(1) 137 4 2 411 13 2
138 1073 -49 1 (2)B> 137 4 2 411 13 2
139 1110 -12 1 237 (2)B> 4 2 411 13 2
140 1111 -11 1 238 (5)A> 2 411 13 2
141 1112 -10 1 238 5 (3)A> 411 13 2
142 1114 -12 1 238 5 <A(4) 2 410 13 2
143 1115 -13 1 238 <B(4) 4 2 410 13 2
144 1116 -14 1 237 <B(3) 42 2 410 13 2
145 1153 -51 1 <B(3) 337 42 2 410 13 2
146 1158 -52 <A(1) 1 337 42 2 410 13 2
147 1160 -50 1 (2)B> 1 337 42 2 410 13 2
148 1161 -49 1 2 (2)B> 337 42 2 410 13 2
149 1165 -51 1 2 <A(1) 1 336 42 2 410 13 2
150 1168 -52 1 <A(1) 12 336 42 2 410 13 2
151 1169 -53 <B(1) 13 336 42 2 410 13 2
152 1170 -54 <A(2) 14 336 42 2 410 13 2
153 1177 -55 <A(1) 15 336 42 2 410 13 2
154 1179 -53 1 (2)B> 15 336 42 2 410 13 2
155 1184 -48 1 25 (2)B> 336 42 2 410 13 2
156 1188 -50 1 25 <A(1) 1 335 42 2 410 13 2
157 1203 -55 1 <A(1) 16 335 42 2 410 13 2
158 1204 -56 <B(1) 17 335 42 2 410 13 2
159 1205 -57 <A(2) 18 335 42 2 410 13 2
160 1212 -58 <A(1) 19 335 42 2 410 13 2
161 1214 -56 1 (2)B> 19 335 42 2 410 13 2
162 1223 -47 1 29 (2)B> 335 42 2 410 13 2
163 1227 -49 1 29 <A(1) 1 334 42 2 410 13 2
164 1254 -58 1 <A(1) 110 334 42 2 410 13 2
165 1255 -59 <B(1) 111 334 42 2 410 13 2
166 1256 -60 <A(2) 112 334 42 2 410 13 2
167 1263 -61 <A(1) 113 334 42 2 410 13 2
168 1265 -59 1 (2)B> 113 334 42 2 410 13 2
169 1278 -46 1 213 (2)B> 334 42 2 410 13 2
170 1282 -48 1 213 <A(1) 1 333 42 2 410 13 2
171 1321 -61 1 <A(1) 114 333 42 2 410 13 2
172 1322 -62 <B(1) 115 333 42 2 410 13 2
173 1323 -63 <A(2) 116 333 42 2 410 13 2
174 1330 -64 <A(1) 117 333 42 2 410 13 2
175 1332 -62 1 (2)B> 117 333 42 2 410 13 2
176 1349 -45 1 217 (2)B> 333 42 2 410 13 2
177 1353 -47 1 217 <A(1) 1 332 42 2 410 13 2
178 1404 -64 1 <A(1) 118 332 42 2 410 13 2
179 1405 -65 <B(1) 119 332 42 2 410 13 2
180 1406 -66 <A(2) 120 332 42 2 410 13 2
181 1413 -67 <A(1) 121 332 42 2 410 13 2
182 1415 -65 1 (2)B> 121 332 42 2 410 13 2
183 1436 -44 1 221 (2)B> 332 42 2 410 13 2
184 1440 -46 1 221 <A(1) 1 331 42 2 410 13 2
185 1503 -67 1 <A(1) 122 331 42 2 410 13 2
186 1504 -68 <B(1) 123 331 42 2 410 13 2
187 1505 -69 <A(2) 124 331 42 2 410 13 2
188 1512 -70 <A(1) 125 331 42 2 410 13 2
189 1514 -68 1 (2)B> 125 331 42 2 410 13 2
190 1539 -43 1 225 (2)B> 331 42 2 410 13 2
191 1543 -45 1 225 <A(1) 1 330 42 2 410 13 2
192 1618 -70 1 <A(1) 126 330 42 2 410 13 2
193 1619 -71 <B(1) 127 330 42 2 410 13 2
194 1620 -72 <A(2) 128 330 42 2 410 13 2
195 1627 -73 <A(1) 129 330 42 2 410 13 2
196 1629 -71 1 (2)B> 129 330 42 2 410 13 2
197 1658 -42 1 229 (2)B> 330 42 2 410 13 2
198 1662 -44 1 229 <A(1) 1 329 42 2 410 13 2
199 1749 -73 1 <A(1) 130 329 42 2 410 13 2
200 1750 -74 <B(1) 131 329 42 2 410 13 2
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1750
Tape index: -74
nonzeros: 78
log10(nonzeros): 1.892
log10(steps ): 3.243
Input to awk program:
gohalt 1
nbs 6
T 2-state 6-symbol #f (T.J. & S. Ligocki)
: >6.9x10^4931 >2.5x10^9863
5T 1RB 1LB 3RA 4LA 2LA 4LB 2LA 2RB 3LB 1LA 5RA 1RH
L 20
M 201
pref sim
machv Lig26_f just simple
machv Lig26_f-r with repetitions reduced
machv Lig26_f-1 with tape symbol exponents
machv Lig26_f-m as 1-bck-macro machine
machv Lig26_f-a as 1-bck-macro machine with pure additive config-TRs
iam Lig26_f-m
mtype 1 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:22 CEST 2010
edate Tue Jul 6 22:13:22 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:22 CEST 2010