Comment: This TM produces >8.9x10^4931 nonzeros in >7.9x10^9863 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 1LD | 1RH | 1 | right | B | 1 | left | D | 1 | right | H |
| B | 1RC | 2LB | 2LD | 1 | right | C | 2 | left | B | 2 | left | D |
| C | 1LC | 2RA | 0RD | 1 | left | C | 2 | right | A | 0 | right | D |
| D | 1RC | 1LA | 0LA | 1 | right | C | 1 | left | A | 0 | left | A |
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 (11)C>
2 7 -1 <D(10) 10
3 10 2 01 (21)B> 10
4 13 -1 01 <D(22) 20
5 17 -3 <B(22) 22 20
6 22 0 01 (11)C> 22 20
7 26 2 01 11 (11)C> 20
8 28 4 01 112 (01)C>
9 36 6 01 113 (21)B>
10 43 3 01 113 <A(01) 01
11 45 1 01 112 <A(11) 012
12 49 -3 01 <A(11) 112 012
13 55 -5 <D(10) 113 012
14 58 -2 01 (21)B> 113 012
15 61 -5 01 <D(22) 21 112 012
16 65 -7 <B(22) 22 21 112 012
17 70 -4 01 (11)C> 22 21 112 012
18 74 -2 01 11 (11)C> 21 112 012
19 81 -5 01 11 <B(22) 22 112 012
20 83 -7 01 <B(22) 222 112 012
21 90 -4 11 (10)D> 222 112 012
22 98 0 113 (10)D> 112 012
23 103 -3 113 <B(22) 21 11 012
24 109 -9 <B(22) 223 21 11 012
25 114 -6 01 (11)C> 223 21 11 012
26 126 0 01 113 (11)C> 21 11 012
27 133 -3 01 113 <B(22) 22 11 012
28 139 -9 01 <B(22) 224 11 012
29 146 -6 11 (10)D> 224 11 012
30 162 2 115 (10)D> 11 012
31 167 -1 115 <B(22) 21 012
32 177 -11 <B(22) 225 21 012
33 182 -8 01 (11)C> 225 21 012
34 202 2 01 115 (11)C> 21 012
35 209 -1 01 115 <B(22) 22 012
36 219 -11 01 <B(22) 226 012
37 226 -8 11 (10)D> 226 012
38 250 4 117 (10)D> 012
39 252 6 117 10 (12)A> 01
40 257 3 117 10 <A(12) 22
41 261 1 117 <B(22) 222
42 275 -13 <B(22) 229
43 280 -10 01 (11)C> 229
44 316 8 01 119 (11)C>
45 321 5 01 119 <D(10) 10
46 323 3 01 118 <D(11) 102
47 339 -13 01 <D(11) 118 102
48 343 -15 <B(22) 119 102
49 348 -12 01 (11)C> 119 102
50 353 -15 01 <A(11) 01 118 102
51 359 -17 <D(10) 11 01 118 102
52 362 -14 01 (21)B> 11 01 118 102
53 365 -17 01 <D(22) 21 01 118 102
54 369 -19 <B(22) 22 21 01 118 102
55 374 -16 01 (11)C> 22 21 01 118 102
56 378 -14 01 11 (11)C> 21 01 118 102
57 385 -17 01 11 <B(22) 22 01 118 102
58 387 -19 01 <B(22) 222 01 118 102
59 394 -16 11 (10)D> 222 01 118 102
60 402 -12 113 (10)D> 01 118 102
61 404 -10 113 10 (12)A> 118 102
62 407 -13 113 10 <D(10) 118 102
63 410 -10 114 (21)B> 118 102
64 413 -13 114 <D(22) 21 117 102
65 415 -15 113 <D(11) 22 21 117 102
66 421 -21 <D(11) 113 22 21 117 102
67 433 -23 <A(12) 22 113 22 21 117 102
68 442 -20 11 (10)D> 22 113 22 21 117 102
69 446 -18 112 (10)D> 113 22 21 117 102
70 451 -21 112 <B(22) 21 112 22 21 117 102
71 455 -25 <B(22) 222 21 112 22 21 117 102
72 460 -22 01 (11)C> 222 21 112 22 21 117 102
73 468 -18 01 112 (11)C> 21 112 22 21 117 102
74 475 -21 01 112 <B(22) 22 112 22 21 117 102
75 479 -25 01 <B(22) 223 112 22 21 117 102
76 486 -22 11 (10)D> 223 112 22 21 117 102
77 498 -16 114 (10)D> 112 22 21 117 102
78 503 -19 114 <B(22) 21 11 22 21 117 102
79 511 -27 <B(22) 224 21 11 22 21 117 102
80 516 -24 01 (11)C> 224 21 11 22 21 117 102
81 532 -16 01 114 (11)C> 21 11 22 21 117 102
82 539 -19 01 114 <B(22) 22 11 22 21 117 102
83 547 -27 01 <B(22) 225 11 22 21 117 102
84 554 -24 11 (10)D> 225 11 22 21 117 102
85 574 -14 116 (10)D> 11 22 21 117 102
86 579 -17 116 <B(22) 21 22 21 117 102
87 591 -29 <B(22) 226 21 22 21 117 102
88 596 -26 01 (11)C> 226 21 22 21 117 102
89 620 -14 01 116 (11)C> 21 22 21 117 102
90 627 -17 01 116 <B(22) 222 21 117 102
91 639 -29 01 <B(22) 228 21 117 102
92 646 -26 11 (10)D> 228 21 117 102
93 678 -10 119 (10)D> 21 117 102
94 682 -8 1110 (12)A> 117 102
95 685 -11 1110 <D(10) 117 102
96 687 -13 119 <D(11) 10 117 102
97 705 -31 <D(11) 119 10 117 102
98 717 -33 <A(12) 22 119 10 117 102
99 726 -30 11 (10)D> 22 119 10 117 102
100 730 -28 112 (10)D> 119 10 117 102
101 735 -31 112 <B(22) 21 118 10 117 102
102 739 -35 <B(22) 222 21 118 10 117 102
103 744 -32 01 (11)C> 222 21 118 10 117 102
104 752 -28 01 112 (11)C> 21 118 10 117 102
105 759 -31 01 112 <B(22) 22 118 10 117 102
106 763 -35 01 <B(22) 223 118 10 117 102
107 770 -32 11 (10)D> 223 118 10 117 102
108 782 -26 114 (10)D> 118 10 117 102
109 787 -29 114 <B(22) 21 117 10 117 102
110 795 -37 <B(22) 224 21 117 10 117 102
111 800 -34 01 (11)C> 224 21 117 10 117 102
112 816 -26 01 114 (11)C> 21 117 10 117 102
113 823 -29 01 114 <B(22) 22 117 10 117 102
114 831 -37 01 <B(22) 225 117 10 117 102
115 838 -34 11 (10)D> 225 117 10 117 102
116 858 -24 116 (10)D> 117 10 117 102
117 863 -27 116 <B(22) 21 116 10 117 102
118 875 -39 <B(22) 226 21 116 10 117 102
119 880 -36 01 (11)C> 226 21 116 10 117 102
120 904 -24 01 116 (11)C> 21 116 10 117 102
121 911 -27 01 116 <B(22) 22 116 10 117 102
122 923 -39 01 <B(22) 227 116 10 117 102
123 930 -36 11 (10)D> 227 116 10 117 102
124 958 -22 118 (10)D> 116 10 117 102
125 963 -25 118 <B(22) 21 115 10 117 102
126 979 -41 <B(22) 228 21 115 10 117 102
127 984 -38 01 (11)C> 228 21 115 10 117 102
128 1016 -22 01 118 (11)C> 21 115 10 117 102
129 1023 -25 01 118 <B(22) 22 115 10 117 102
130 1039 -41 01 <B(22) 229 115 10 117 102
131 1046 -38 11 (10)D> 229 115 10 117 102
132 1082 -20 1110 (10)D> 115 10 117 102
133 1087 -23 1110 <B(22) 21 114 10 117 102
134 1107 -43 <B(22) 2210 21 114 10 117 102
135 1112 -40 01 (11)C> 2210 21 114 10 117 102
136 1152 -20 01 1110 (11)C> 21 114 10 117 102
137 1159 -23 01 1110 <B(22) 22 114 10 117 102
138 1179 -43 01 <B(22) 2211 114 10 117 102
139 1186 -40 11 (10)D> 2211 114 10 117 102
140 1230 -18 1112 (10)D> 114 10 117 102
141 1235 -21 1112 <B(22) 21 113 10 117 102
142 1259 -45 <B(22) 2212 21 113 10 117 102
143 1264 -42 01 (11)C> 2212 21 113 10 117 102
144 1312 -18 01 1112 (11)C> 21 113 10 117 102
145 1319 -21 01 1112 <B(22) 22 113 10 117 102
146 1343 -45 01 <B(22) 2213 113 10 117 102
147 1350 -42 11 (10)D> 2213 113 10 117 102
148 1402 -16 1114 (10)D> 113 10 117 102
149 1407 -19 1114 <B(22) 21 112 10 117 102
150 1435 -47 <B(22) 2214 21 112 10 117 102
151 1440 -44 01 (11)C> 2214 21 112 10 117 102
152 1496 -16 01 1114 (11)C> 21 112 10 117 102
153 1503 -19 01 1114 <B(22) 22 112 10 117 102
154 1531 -47 01 <B(22) 2215 112 10 117 102
155 1538 -44 11 (10)D> 2215 112 10 117 102
156 1598 -14 1116 (10)D> 112 10 117 102
157 1603 -17 1116 <B(22) 21 11 10 117 102
158 1635 -49 <B(22) 2216 21 11 10 117 102
159 1640 -46 01 (11)C> 2216 21 11 10 117 102
160 1704 -14 01 1116 (11)C> 21 11 10 117 102
161 1711 -17 01 1116 <B(22) 22 11 10 117 102
162 1743 -49 01 <B(22) 2217 11 10 117 102
163 1750 -46 11 (10)D> 2217 11 10 117 102
164 1818 -12 1118 (10)D> 11 10 117 102
165 1823 -15 1118 <B(22) 21 10 117 102
166 1859 -51 <B(22) 2218 21 10 117 102
167 1864 -48 01 (11)C> 2218 21 10 117 102
168 1936 -12 01 1118 (11)C> 21 10 117 102
169 1943 -15 01 1118 <B(22) 22 10 117 102
170 1979 -51 01 <B(22) 2219 10 117 102
171 1986 -48 11 (10)D> 2219 10 117 102
172 2062 -10 1120 (10)D> 10 117 102
173 2067 -13 1120 <B(22) 20 117 102
174 2107 -53 <B(22) 2220 20 117 102
175 2112 -50 01 (11)C> 2220 20 117 102
176 2192 -10 01 1120 (11)C> 20 117 102
177 2194 -8 01 1121 (01)C> 117 102
178 2205 -11 01 1121 <A(12) 22 116 102
179 2207 -13 01 1120 <A(11) 12 22 116 102
180 2247 -53 01 <A(11) 1120 12 22 116 102
181 2253 -55 <D(10) 1121 12 22 116 102
182 2256 -52 01 (21)B> 1121 12 22 116 102
183 2259 -55 01 <D(22) 21 1120 12 22 116 102
184 2263 -57 <B(22) 22 21 1120 12 22 116 102
185 2268 -54 01 (11)C> 22 21 1120 12 22 116 102
186 2272 -52 01 11 (11)C> 21 1120 12 22 116 102
187 2279 -55 01 11 <B(22) 22 1120 12 22 116 102
188 2281 -57 01 <B(22) 222 1120 12 22 116 102
189 2288 -54 11 (10)D> 222 1120 12 22 116 102
190 2296 -50 113 (10)D> 1120 12 22 116 102
191 2301 -53 113 <B(22) 21 1119 12 22 116 102
192 2307 -59 <B(22) 223 21 1119 12 22 116 102
193 2312 -56 01 (11)C> 223 21 1119 12 22 116 102
194 2324 -50 01 113 (11)C> 21 1119 12 22 116 102
195 2331 -53 01 113 <B(22) 22 1119 12 22 116 102
196 2337 -59 01 <B(22) 224 1119 12 22 116 102
197 2344 -56 11 (10)D> 224 1119 12 22 116 102
198 2360 -48 115 (10)D> 1119 12 22 116 102
199 2365 -51 115 <B(22) 21 1118 12 22 116 102
200 2375 -61 <B(22) 225 21 1118 12 22 116 102
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2375
Tape index: -61
nonzeros: 68
log10(nonzeros): 1.833
log10(steps ): 3.376
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #g (T.J. & S. Ligocki)
: >8.9x10^4931 >7.9x10^9863
5T 1RB 1LD 1RH 1RC 2LB 2LD 1LC 2RA 0RD 1RC 1LA 0LA
L 12
M 201
pref sim
machv Lig43_g just simple
machv Lig43_g-r with repetitions reduced
machv Lig43_g-1 with tape symbol exponents
machv Lig43_g-m as 2-bck-macro machine
machv Lig43_g-a as 2-bck-macro machine with pure additive config-TRs
iam Lig43_g-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:14 CEST 2010
edate Tue Jul 6 22:14:14 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:14:14 CEST 2010