Comment: This TM produces >4.6x10^434 nonzeros in >7.6x10^868 steps.
| State | on 0 |
on 1 |
on 2 |
on 3 |
on 0 | on 1 | on 2 | on 3 | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||
| A | 1RB | 0RB | 3LC | 1RC | 1 | right | B | 0 | right | B | 3 | left | C | 1 | right | C |
| B | 0RC | 1RH | 2RC | 3RC | 0 | right | C | 1 | right | H | 2 | right | C | 3 | right | C |
| C | 1LB | 2LA | 3LA | 2RB | 1 | left | B | 2 | left | A | 3 | left | A | 2 | right | B |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Pushing BCK machine.
Steps BasSteps BasTpos Tape contents
0 0 0 (00)A>
1 2 2 (10)C>
2 16 4 02 (22)C>
3 21 1 02 <A(33) 20
4 23 -1 <B(13) 33 20
5 28 2 01 (22)B> 33 20
6 30 4 01 22 (32)B> 20
7 42 6 01 22 12 (12)B>
8 48 8 01 22 122 (12)C>
9 53 5 01 22 122 <A(23) 20
10 57 1 01 22 <A(23) 232 20
11 59 -1 01 <A(33) 233 20
12 62 2 (32)B> 233 20
13 64 4 32 (22)B> 232 20
14 68 8 32 222 (22)B> 20
15 75 5 32 222 <C(33) 32
16 79 1 32 <C(33) 332 32
17 84 4 12 (32)B> 332 32
18 88 8 12 322 (32)B> 32
19 92 10 12 323 (12)B>
20 98 12 12 323 12 (12)C>
21 103 9 12 323 12 <A(23) 20
22 105 7 12 323 <A(23) 23 20
23 112 10 12 322 21 (23)C> 23 20
24 116 12 12 322 212 (23)C> 20
25 120 14 12 322 213 (20)C>
26 131 11 12 322 213 <C(32) 32
27 137 5 12 322 <C(32) 324
28 144 8 12 32 12 (12)B> 324
29 160 16 12 32 125 (12)B>
30 166 18 12 32 126 (12)C>
31 171 15 12 32 126 <A(23) 20
32 183 3 12 32 <A(23) 236 20
33 190 6 12 21 (23)C> 236 20
34 214 18 12 217 (23)C> 20
35 218 20 12 218 (20)C>
36 229 17 12 218 <C(32) 32
37 245 1 12 <C(32) 329
38 250 4 03 (22)C> 329
39 268 22 03 229 (22)C>
40 273 19 03 229 <A(33) 20
41 291 1 03 <A(33) 339 20
42 294 4 01 (23)C> 339 20
43 312 22 01 239 (23)C> 20
44 316 24 01 239 21 (20)C>
45 327 21 01 239 21 <C(32) 32
46 329 19 01 239 <C(32) 322
47 334 22 01 238 22 (12)B> 322
48 342 26 01 238 22 122 (12)B>
49 348 28 01 238 22 123 (12)C>
50 353 25 01 238 22 123 <A(23) 20
51 359 19 01 238 22 <A(23) 233 20
52 361 17 01 238 <A(33) 234 20
53 364 20 01 237 21 (23)C> 234 20
54 380 28 01 237 215 (23)C> 20
55 384 30 01 237 216 (20)C>
56 395 27 01 237 216 <C(32) 32
57 407 15 01 237 <C(32) 327
58 412 18 01 236 22 (12)B> 327
59 440 32 01 236 22 127 (12)B>
60 446 34 01 236 22 128 (12)C>
61 451 31 01 236 22 128 <A(23) 20
62 467 15 01 236 22 <A(23) 238 20
63 469 13 01 236 <A(33) 239 20
64 472 16 01 235 21 (23)C> 239 20
65 508 34 01 235 2110 (23)C> 20
66 512 36 01 235 2111 (20)C>
67 523 33 01 235 2111 <C(32) 32
68 545 11 01 235 <C(32) 3212
69 550 14 01 234 22 (12)B> 3212
70 598 38 01 234 22 1212 (12)B>
71 604 40 01 234 22 1213 (12)C>
72 609 37 01 234 22 1213 <A(23) 20
73 635 11 01 234 22 <A(23) 2313 20
74 637 9 01 234 <A(33) 2314 20
75 640 12 01 233 21 (23)C> 2314 20
76 696 40 01 233 2115 (23)C> 20
77 700 42 01 233 2116 (20)C>
78 711 39 01 233 2116 <C(32) 32
79 743 7 01 233 <C(32) 3217
80 748 10 01 232 22 (12)B> 3217
81 816 44 01 232 22 1217 (12)B>
82 822 46 01 232 22 1218 (12)C>
83 827 43 01 232 22 1218 <A(23) 20
84 863 7 01 232 22 <A(23) 2318 20
85 865 5 01 232 <A(33) 2319 20
86 868 8 01 23 21 (23)C> 2319 20
87 944 46 01 23 2120 (23)C> 20
88 948 48 01 23 2121 (20)C>
89 959 45 01 23 2121 <C(32) 32
90 1001 3 01 23 <C(32) 3222
91 1006 6 01 22 (12)B> 3222
92 1094 50 01 22 1222 (12)B>
93 1100 52 01 22 1223 (12)C>
94 1105 49 01 22 1223 <A(23) 20
95 1151 3 01 22 <A(23) 2323 20
96 1153 1 01 <A(33) 2324 20
97 1156 4 (32)B> 2324 20
98 1158 6 32 (22)B> 2323 20
99 1204 52 32 2223 (22)B> 20
100 1211 49 32 2223 <C(33) 32
101 1257 3 32 <C(33) 3323 32
102 1262 6 12 (32)B> 3323 32
103 1308 52 12 3223 (32)B> 32
104 1312 54 12 3224 (12)B>
105 1318 56 12 3224 12 (12)C>
106 1323 53 12 3224 12 <A(23) 20
107 1325 51 12 3224 <A(23) 23 20
108 1332 54 12 3223 21 (23)C> 23 20
109 1336 56 12 3223 212 (23)C> 20
110 1340 58 12 3223 213 (20)C>
111 1351 55 12 3223 213 <C(32) 32
112 1357 49 12 3223 <C(32) 324
113 1364 52 12 3222 12 (12)B> 324
114 1380 60 12 3222 125 (12)B>
115 1386 62 12 3222 126 (12)C>
116 1391 59 12 3222 126 <A(23) 20
117 1403 47 12 3222 <A(23) 236 20
118 1410 50 12 3221 21 (23)C> 236 20
119 1434 62 12 3221 217 (23)C> 20
120 1438 64 12 3221 218 (20)C>
121 1449 61 12 3221 218 <C(32) 32
122 1465 45 12 3221 <C(32) 329
123 1472 48 12 3220 12 (12)B> 329
124 1508 66 12 3220 1210 (12)B>
125 1514 68 12 3220 1211 (12)C>
126 1519 65 12 3220 1211 <A(23) 20
127 1541 43 12 3220 <A(23) 2311 20
128 1548 46 12 3219 21 (23)C> 2311 20
129 1592 68 12 3219 2112 (23)C> 20
130 1596 70 12 3219 2113 (20)C>
131 1607 67 12 3219 2113 <C(32) 32
132 1633 41 12 3219 <C(32) 3214
133 1640 44 12 3218 12 (12)B> 3214
134 1696 72 12 3218 1215 (12)B>
135 1702 74 12 3218 1216 (12)C>
136 1707 71 12 3218 1216 <A(23) 20
137 1739 39 12 3218 <A(23) 2316 20
138 1746 42 12 3217 21 (23)C> 2316 20
139 1810 74 12 3217 2117 (23)C> 20
140 1814 76 12 3217 2118 (20)C>
141 1825 73 12 3217 2118 <C(32) 32
142 1861 37 12 3217 <C(32) 3219
143 1868 40 12 3216 12 (12)B> 3219
144 1944 78 12 3216 1220 (12)B>
145 1950 80 12 3216 1221 (12)C>
146 1955 77 12 3216 1221 <A(23) 20
147 1997 35 12 3216 <A(23) 2321 20
148 2004 38 12 3215 21 (23)C> 2321 20
149 2088 80 12 3215 2122 (23)C> 20
150 2092 82 12 3215 2123 (20)C>
151 2103 79 12 3215 2123 <C(32) 32
152 2149 33 12 3215 <C(32) 3224
153 2156 36 12 3214 12 (12)B> 3224
154 2252 84 12 3214 1225 (12)B>
155 2258 86 12 3214 1226 (12)C>
156 2263 83 12 3214 1226 <A(23) 20
157 2315 31 12 3214 <A(23) 2326 20
158 2322 34 12 3213 21 (23)C> 2326 20
159 2426 86 12 3213 2127 (23)C> 20
160 2430 88 12 3213 2128 (20)C>
161 2441 85 12 3213 2128 <C(32) 32
162 2497 29 12 3213 <C(32) 3229
163 2504 32 12 3212 12 (12)B> 3229
164 2620 90 12 3212 1230 (12)B>
165 2626 92 12 3212 1231 (12)C>
166 2631 89 12 3212 1231 <A(23) 20
167 2693 27 12 3212 <A(23) 2331 20
168 2700 30 12 3211 21 (23)C> 2331 20
169 2824 92 12 3211 2132 (23)C> 20
170 2828 94 12 3211 2133 (20)C>
171 2839 91 12 3211 2133 <C(32) 32
172 2905 25 12 3211 <C(32) 3234
173 2912 28 12 3210 12 (12)B> 3234
174 3048 96 12 3210 1235 (12)B>
175 3054 98 12 3210 1236 (12)C>
176 3059 95 12 3210 1236 <A(23) 20
177 3131 23 12 3210 <A(23) 2336 20
178 3138 26 12 329 21 (23)C> 2336 20
179 3282 98 12 329 2137 (23)C> 20
180 3286 100 12 329 2138 (20)C>
181 3297 97 12 329 2138 <C(32) 32
182 3373 21 12 329 <C(32) 3239
183 3380 24 12 328 12 (12)B> 3239
184 3536 102 12 328 1240 (12)B>
185 3542 104 12 328 1241 (12)C>
186 3547 101 12 328 1241 <A(23) 20
187 3629 19 12 328 <A(23) 2341 20
188 3636 22 12 327 21 (23)C> 2341 20
189 3800 104 12 327 2142 (23)C> 20
190 3804 106 12 327 2143 (20)C>
191 3815 103 12 327 2143 <C(32) 32
192 3901 17 12 327 <C(32) 3244
193 3908 20 12 326 12 (12)B> 3244
194 4084 108 12 326 1245 (12)B>
195 4090 110 12 326 1246 (12)C>
196 4095 107 12 326 1246 <A(23) 20
197 4187 15 12 326 <A(23) 2346 20
198 4194 18 12 325 21 (23)C> 2346 20
199 4378 110 12 325 2147 (23)C> 20
200 4382 112 12 325 2148 (20)C>
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 4382
Tape index: 112
nonzeros: 109
log10(nonzeros): 2.037
log10(steps ): 3.642
Input to awk program:
gohalt 1
nbs 4
T 3-state 4-symbol #d (T.J. & S. Ligocki)
: >4.6x10^434 >7.6x10^868
5T 1RB 0RB 3LC 1RC 0RC 1RH 2RC 3RC 1LB 2LA 3LA 2RB
L 2
M 201
pref sim
machv Lig34_d just simple
machv Lig34_d-r with repetitions reduced
machv Lig34_d-1 with tape symbol exponents
machv Lig34_d-m as 2-bck-macro machine
machv Lig34_d-a as 2-bck-macro machine with pure additive config-TRs
iam Lig34_d-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:13:45 CEST 2010
edate Tue Jul 6 22:13:45 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:45 CEST 2010