Comment: This TM produces >4.0x10^3860 nonzeros in >3.9x10^7721 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 1LA | 1RD | 1 | right | B | 1 | left | A | 1 | right | D |
| B | 2LC | 0RA | 1LB | 2 | left | C | 0 | right | A | 1 | left | B |
| C | 2LA | 0LB | 0RD | 2 | left | A | 0 | left | B | 0 | right | D |
| D | 2RC | 1RH | 0LC | 2 | right | C | 1 | right | H | 0 | left | C |
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 5 -3 <A(22) 02
2 12 0 01 (01)D> 02
3 14 2 012 (20)D>
4 23 -1 012 <A(20)
5 28 2 01 10 (12)C>
6 37 -1 01 10 <C(20) 20
7 39 -3 01 <A(12) 202
8 46 0 11 (01)D> 202
9 49 -3 11 <C(20) 00 20
10 58 0 01 (01)B> 00 20
11 61 -3 01 <C(20) 202
12 63 -5 <C(20) 203
13 72 -2 10 (12)C> 203
14 74 0 10 12 (02)C> 202
15 78 4 10 12 022 (02)C>
16 83 1 10 12 022 <C(20)
17 97 -1 10 12 02 <B(02) 02
18 99 -3 10 12 <C(21) 022
19 103 -5 10 <A(12) 01 022
20 106 -2 11 (01)D> 01 022
21 114 0 11 01 (01)B> 022
22 117 -3 11 01 <C(20) 22 02
23 119 -5 11 <C(20) 20 22 02
24 128 -2 01 (01)B> 20 22 02
25 134 0 012 (01)B> 22 02
26 140 2 013 (01)D> 02
27 142 4 014 (20)D>
28 151 1 014 <A(20)
29 156 4 013 10 (12)C>
30 165 1 013 10 <C(20) 20
31 167 -1 013 <A(12) 202
32 174 2 012 11 (01)D> 202
33 177 -1 012 11 <C(20) 00 20
34 186 2 013 (01)B> 00 20
35 189 -1 013 <C(20) 202
36 195 -7 <C(20) 205
37 204 -4 10 (12)C> 205
38 206 -2 10 12 (02)C> 204
39 214 6 10 12 024 (02)C>
40 219 3 10 12 024 <C(20)
41 233 1 10 12 023 <B(02) 02
42 235 -1 10 12 022 <C(21) 022
43 246 2 10 12 02 10 (10)A> 022
44 258 6 10 12 02 103 (10)A>
45 263 3 10 12 02 103 <B(02) 02
46 269 -3 10 12 02 <B(02) 024
47 271 -5 10 12 <C(21) 025
48 275 -7 10 <A(12) 01 025
49 278 -4 11 (01)D> 01 025
50 286 -2 11 01 (01)B> 025
51 289 -5 11 01 <C(20) 22 024
52 291 -7 11 <C(20) 20 22 024
53 300 -4 01 (01)B> 20 22 024
54 306 -2 012 (01)B> 22 024
55 312 0 013 (01)D> 024
56 314 2 014 (20)D> 023
57 320 8 014 203 (20)D>
58 329 5 014 203 <A(20)
59 336 8 014 202 21 (01)B>
60 339 5 014 202 21 <C(20) 20
61 341 3 014 202 <B(10) 202
62 345 1 014 20 <A(20) 10 202
63 352 4 014 21 (01)B> 10 202
64 354 6 014 21 01 (01)B> 202
65 366 10 014 21 013 (01)B>
66 369 7 014 21 013 <C(20) 20
67 375 1 014 21 <C(20) 204
68 377 -1 014 <B(10) 205
69 382 2 014 (01)B> 205
70 412 12 019 (01)B>
71 415 9 019 <C(20) 20
72 433 -9 <C(20) 2010
73 442 -6 10 (12)C> 2010
74 444 -4 10 12 (02)C> 209
75 462 14 10 12 029 (02)C>
76 467 11 10 12 029 <C(20)
77 481 9 10 12 028 <B(02) 02
78 483 7 10 12 027 <C(21) 022
79 494 10 10 12 026 10 (10)A> 022
80 506 14 10 12 026 103 (10)A>
81 511 11 10 12 026 103 <B(02) 02
82 517 5 10 12 026 <B(02) 024
83 519 3 10 12 025 <C(21) 025
84 530 6 10 12 024 10 (10)A> 025
85 560 16 10 12 024 106 (10)A>
86 565 13 10 12 024 106 <B(02) 02
87 577 1 10 12 024 <B(02) 027
88 579 -1 10 12 023 <C(21) 028
89 590 2 10 12 022 10 (10)A> 028
90 638 18 10 12 022 109 (10)A>
91 643 15 10 12 022 109 <B(02) 02
92 661 -3 10 12 022 <B(02) 0210
93 663 -5 10 12 02 <C(21) 0211
94 674 -2 10 12 10 (10)A> 0211
95 740 20 10 12 1012 (10)A>
96 745 17 10 12 1012 <B(02) 02
97 769 -7 10 12 <B(02) 0213
98 780 -4 102 (10)A> 0213
99 858 22 1015 (10)A>
100 863 19 1015 <B(02) 02
101 893 -11 <B(02) 0216
102 895 -13 <A(22) 0217
103 902 -10 01 (01)D> 0217
104 904 -8 012 (20)D> 0216
105 936 24 012 2016 (20)D>
106 945 21 012 2016 <A(20)
107 952 24 012 2015 21 (01)B>
108 955 21 012 2015 21 <C(20) 20
109 957 19 012 2015 <B(10) 202
110 961 17 012 2014 <A(20) 10 202
111 968 20 012 2013 21 (01)B> 10 202
112 970 22 012 2013 21 01 (01)B> 202
113 982 26 012 2013 21 013 (01)B>
114 985 23 012 2013 21 013 <C(20) 20
115 991 17 012 2013 21 <C(20) 204
116 993 15 012 2013 <B(10) 205
117 997 13 012 2012 <A(20) 10 205
118 1004 16 012 2011 21 (01)B> 10 205
119 1006 18 012 2011 21 01 (01)B> 205
120 1036 28 012 2011 21 016 (01)B>
121 1039 25 012 2011 21 016 <C(20) 20
122 1051 13 012 2011 21 <C(20) 207
123 1053 11 012 2011 <B(10) 208
124 1057 9 012 2010 <A(20) 10 208
125 1064 12 012 209 21 (01)B> 10 208
126 1066 14 012 209 21 01 (01)B> 208
127 1114 30 012 209 21 019 (01)B>
128 1117 27 012 209 21 019 <C(20) 20
129 1135 9 012 209 21 <C(20) 2010
130 1137 7 012 209 <B(10) 2011
131 1141 5 012 208 <A(20) 10 2011
132 1148 8 012 207 21 (01)B> 10 2011
133 1150 10 012 207 21 01 (01)B> 2011
134 1216 32 012 207 21 0112 (01)B>
135 1219 29 012 207 21 0112 <C(20) 20
136 1243 5 012 207 21 <C(20) 2013
137 1245 3 012 207 <B(10) 2014
138 1249 1 012 206 <A(20) 10 2014
139 1256 4 012 205 21 (01)B> 10 2014
140 1258 6 012 205 21 01 (01)B> 2014
141 1342 34 012 205 21 0115 (01)B>
142 1345 31 012 205 21 0115 <C(20) 20
143 1375 1 012 205 21 <C(20) 2016
144 1377 -1 012 205 <B(10) 2017
145 1381 -3 012 204 <A(20) 10 2017
146 1388 0 012 203 21 (01)B> 10 2017
147 1390 2 012 203 21 01 (01)B> 2017
148 1492 36 012 203 21 0118 (01)B>
149 1495 33 012 203 21 0118 <C(20) 20
150 1531 -3 012 203 21 <C(20) 2019
151 1533 -5 012 203 <B(10) 2020
152 1537 -7 012 202 <A(20) 10 2020
153 1544 -4 012 20 21 (01)B> 10 2020
154 1546 -2 012 20 21 01 (01)B> 2020
155 1666 38 012 20 21 0121 (01)B>
156 1669 35 012 20 21 0121 <C(20) 20
157 1711 -7 012 20 21 <C(20) 2022
158 1713 -9 012 20 <B(10) 2023
159 1717 -11 012 <A(20) 10 2023
160 1722 -8 01 10 (12)C> 10 2023
161 1733 -11 01 10 <B(02) 02 2023
162 1735 -13 01 <B(02) 022 2023
163 1742 -10 (10)A> 022 2023
164 1754 -6 102 (10)A> 2023
165 1756 -4 103 (12)C> 2022
166 1758 -2 103 12 (02)C> 2021
167 1800 40 103 12 0221 (02)C>
168 1805 37 103 12 0221 <C(20)
169 1819 35 103 12 0220 <B(02) 02
170 1821 33 103 12 0219 <C(21) 022
171 1832 36 103 12 0218 10 (10)A> 022
172 1844 40 103 12 0218 103 (10)A>
173 1849 37 103 12 0218 103 <B(02) 02
174 1855 31 103 12 0218 <B(02) 024
175 1857 29 103 12 0217 <C(21) 025
176 1868 32 103 12 0216 10 (10)A> 025
177 1898 42 103 12 0216 106 (10)A>
178 1903 39 103 12 0216 106 <B(02) 02
179 1915 27 103 12 0216 <B(02) 027
180 1917 25 103 12 0215 <C(21) 028
181 1928 28 103 12 0214 10 (10)A> 028
182 1976 44 103 12 0214 109 (10)A>
183 1981 41 103 12 0214 109 <B(02) 02
184 1999 23 103 12 0214 <B(02) 0210
185 2001 21 103 12 0213 <C(21) 0211
186 2012 24 103 12 0212 10 (10)A> 0211
187 2078 46 103 12 0212 1012 (10)A>
188 2083 43 103 12 0212 1012 <B(02) 02
189 2107 19 103 12 0212 <B(02) 0213
190 2109 17 103 12 0211 <C(21) 0214
191 2120 20 103 12 0210 10 (10)A> 0214
192 2204 48 103 12 0210 1015 (10)A>
193 2209 45 103 12 0210 1015 <B(02) 02
194 2239 15 103 12 0210 <B(02) 0216
195 2241 13 103 12 029 <C(21) 0217
196 2252 16 103 12 028 10 (10)A> 0217
197 2354 50 103 12 028 1018 (10)A>
198 2359 47 103 12 028 1018 <B(02) 02
199 2395 11 103 12 028 <B(02) 0219
200 2397 9 103 12 027 <C(21) 0220
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2397
Tape index: 9
nonzeros: 34
log10(nonzeros): 1.531
log10(steps ): 3.380
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #e (T.J. & S. Ligocki)
: >4.0x10^3860 >3.9x10^7721
5T 1RB 1LA 1RD 2LC 0RA 1LB 2LA 0LB 0RD 2RC 1RH 0LC
L 8
M 201
pref sim
machv Lig43_e just simple
machv Lig43_e-r with repetitions reduced
machv Lig43_e-1 with tape symbol exponents
machv Lig43_e-m as 2-bck-macro machine
machv Lig43_e-a as 2-bck-macro machine with pure additive config-TRs
iam Lig43_e-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:09 CEST 2010
edate Tue Jul 6 22:14:09 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:09 CEST 2010