Comment: This TM produces >4.210x10^6034 nonzeros in >5.318x10^12068 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 0LB | 1RD | 1 | right | B | 0 | left | B | 1 | right | D |
| B | 2RC | 2LA | 0LA | 2 | right | C | 2 | left | A | 0 | left | A |
| C | 1LB | 0LA | 0LA | 1 | left | B | 0 | left | A | 0 | left | A |
| D | 1RA | 0RA | 1RH | 1 | right | A | 0 | 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 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 (12)C>
2 5 -1 <B(00) 10
3 14 2 11 (11)B> 10
4 17 -1 11 <A(20) 20
5 19 -3 <A(20) 202
6 25 -5 <A(01) 00 202
7 30 -2 01 (11)A> 00 202
8 32 0 01 11 (12)C> 202
9 36 2 01 112 (11)B> 20
10 39 -1 01 112 <A(20)
11 43 -5 01 <A(20) 202
12 47 -7 <A(01) 203
13 52 -4 01 (11)A> 203
14 58 2 01 113 (11)A>
15 60 4 01 114 (12)C>
16 63 1 01 114 <B(00) 10
17 65 -1 01 113 <B(02) 00 10
18 71 -7 01 <B(02) 023 00 10
19 75 -9 <B(00) 024 00 10
20 84 -6 11 (11)B> 024 00 10
21 88 -4 112 (11)A> 023 00 10
22 93 -7 112 <B(02) 00 022 00 10
23 97 -11 <B(02) 022 00 022 00 10
24 106 -8 11 (11)D> 022 00 022 00 10
25 110 -4 113 (11)D> 00 022 00 10
26 112 -2 114 (11)B> 022 00 10
27 116 0 115 (11)A> 02 00 10
28 121 -3 115 <B(02) 002 10
29 131 -13 <B(02) 025 002 10
30 140 -10 11 (11)D> 025 002 10
31 150 0 116 (11)D> 002 10
32 152 2 117 (11)B> 00 10
33 157 -1 117 <A(20) 01 10
34 171 -15 <A(20) 207 01 10
35 177 -17 <A(01) 00 207 01 10
36 182 -14 01 (11)A> 00 207 01 10
37 184 -12 01 11 (12)C> 207 01 10
38 188 -10 01 112 (11)B> 206 01 10
39 191 -13 01 112 <A(20) 00 205 01 10
40 195 -17 01 <A(20) 202 00 205 01 10
41 199 -19 <A(01) 203 00 205 01 10
42 204 -16 01 (11)A> 203 00 205 01 10
43 210 -10 01 113 (11)A> 00 205 01 10
44 212 -8 01 114 (12)C> 205 01 10
45 216 -6 01 115 (11)B> 204 01 10
46 219 -9 01 115 <A(20) 00 203 01 10
47 229 -19 01 <A(20) 205 00 203 01 10
48 233 -21 <A(01) 206 00 203 01 10
49 238 -18 01 (11)A> 206 00 203 01 10
50 250 -6 01 116 (11)A> 00 203 01 10
51 252 -4 01 117 (12)C> 203 01 10
52 256 -2 01 118 (11)B> 202 01 10
53 259 -5 01 118 <A(20) 00 20 01 10
54 275 -21 01 <A(20) 208 00 20 01 10
55 279 -23 <A(01) 209 00 20 01 10
56 284 -20 01 (11)A> 209 00 20 01 10
57 302 -2 01 119 (11)A> 00 20 01 10
58 304 0 01 1110 (12)C> 20 01 10
59 308 2 01 1111 (11)B> 01 10
60 312 4 01 1112 (11)A> 10
61 315 1 01 1112 <B(02)
62 339 -23 01 <B(02) 0212
63 343 -25 <B(00) 0213
64 352 -22 11 (11)B> 0213
65 356 -20 112 (11)A> 0212
66 361 -23 112 <B(02) 00 0211
67 365 -27 <B(02) 022 00 0211
68 374 -24 11 (11)D> 022 00 0211
69 378 -20 113 (11)D> 00 0211
70 380 -18 114 (11)B> 0211
71 384 -16 115 (11)A> 0210
72 389 -19 115 <B(02) 00 029
73 399 -29 <B(02) 025 00 029
74 408 -26 11 (11)D> 025 00 029
75 418 -16 116 (11)D> 00 029
76 420 -14 117 (11)B> 029
77 424 -12 118 (11)A> 028
78 429 -15 118 <B(02) 00 027
79 445 -31 <B(02) 028 00 027
80 454 -28 11 (11)D> 028 00 027
81 470 -12 119 (11)D> 00 027
82 472 -10 1110 (11)B> 027
83 476 -8 1111 (11)A> 026
84 481 -11 1111 <B(02) 00 025
85 503 -33 <B(02) 0211 00 025
86 512 -30 11 (11)D> 0211 00 025
87 534 -8 1112 (11)D> 00 025
88 536 -6 1113 (11)B> 025
89 540 -4 1114 (11)A> 024
90 545 -7 1114 <B(02) 00 023
91 573 -35 <B(02) 0214 00 023
92 582 -32 11 (11)D> 0214 00 023
93 610 -4 1115 (11)D> 00 023
94 612 -2 1116 (11)B> 023
95 616 0 1117 (11)A> 022
96 621 -3 1117 <B(02) 00 02
97 655 -37 <B(02) 0217 00 02
98 664 -34 11 (11)D> 0217 00 02
99 698 0 1118 (11)D> 00 02
100 700 2 1119 (11)B> 02
101 704 4 1120 (11)A>
102 706 6 1121 (12)C>
103 709 3 1121 <B(00) 10
104 711 1 1120 <B(02) 00 10
105 751 -39 <B(02) 0220 00 10
106 760 -36 11 (11)D> 0220 00 10
107 800 4 1121 (11)D> 00 10
108 802 6 1122 (11)B> 10
109 805 3 1122 <A(20) 20
110 849 -41 <A(20) 2023
111 855 -43 <A(01) 00 2023
112 860 -40 01 (11)A> 00 2023
113 862 -38 01 11 (12)C> 2023
114 866 -36 01 112 (11)B> 2022
115 869 -39 01 112 <A(20) 00 2021
116 873 -43 01 <A(20) 202 00 2021
117 877 -45 <A(01) 203 00 2021
118 882 -42 01 (11)A> 203 00 2021
119 888 -36 01 113 (11)A> 00 2021
120 890 -34 01 114 (12)C> 2021
121 894 -32 01 115 (11)B> 2020
122 897 -35 01 115 <A(20) 00 2019
123 907 -45 01 <A(20) 205 00 2019
124 911 -47 <A(01) 206 00 2019
125 916 -44 01 (11)A> 206 00 2019
126 928 -32 01 116 (11)A> 00 2019
127 930 -30 01 117 (12)C> 2019
128 934 -28 01 118 (11)B> 2018
129 937 -31 01 118 <A(20) 00 2017
130 953 -47 01 <A(20) 208 00 2017
131 957 -49 <A(01) 209 00 2017
132 962 -46 01 (11)A> 209 00 2017
133 980 -28 01 119 (11)A> 00 2017
134 982 -26 01 1110 (12)C> 2017
135 986 -24 01 1111 (11)B> 2016
136 989 -27 01 1111 <A(20) 00 2015
137 1011 -49 01 <A(20) 2011 00 2015
138 1015 -51 <A(01) 2012 00 2015
139 1020 -48 01 (11)A> 2012 00 2015
140 1044 -24 01 1112 (11)A> 00 2015
141 1046 -22 01 1113 (12)C> 2015
142 1050 -20 01 1114 (11)B> 2014
143 1053 -23 01 1114 <A(20) 00 2013
144 1081 -51 01 <A(20) 2014 00 2013
145 1085 -53 <A(01) 2015 00 2013
146 1090 -50 01 (11)A> 2015 00 2013
147 1120 -20 01 1115 (11)A> 00 2013
148 1122 -18 01 1116 (12)C> 2013
149 1126 -16 01 1117 (11)B> 2012
150 1129 -19 01 1117 <A(20) 00 2011
151 1163 -53 01 <A(20) 2017 00 2011
152 1167 -55 <A(01) 2018 00 2011
153 1172 -52 01 (11)A> 2018 00 2011
154 1208 -16 01 1118 (11)A> 00 2011
155 1210 -14 01 1119 (12)C> 2011
156 1214 -12 01 1120 (11)B> 2010
157 1217 -15 01 1120 <A(20) 00 209
158 1257 -55 01 <A(20) 2020 00 209
159 1261 -57 <A(01) 2021 00 209
160 1266 -54 01 (11)A> 2021 00 209
161 1308 -12 01 1121 (11)A> 00 209
162 1310 -10 01 1122 (12)C> 209
163 1314 -8 01 1123 (11)B> 208
164 1317 -11 01 1123 <A(20) 00 207
165 1363 -57 01 <A(20) 2023 00 207
166 1367 -59 <A(01) 2024 00 207
167 1372 -56 01 (11)A> 2024 00 207
168 1420 -8 01 1124 (11)A> 00 207
169 1422 -6 01 1125 (12)C> 207
170 1426 -4 01 1126 (11)B> 206
171 1429 -7 01 1126 <A(20) 00 205
172 1481 -59 01 <A(20) 2026 00 205
173 1485 -61 <A(01) 2027 00 205
174 1490 -58 01 (11)A> 2027 00 205
175 1544 -4 01 1127 (11)A> 00 205
176 1546 -2 01 1128 (12)C> 205
177 1550 0 01 1129 (11)B> 204
178 1553 -3 01 1129 <A(20) 00 203
179 1611 -61 01 <A(20) 2029 00 203
180 1615 -63 <A(01) 2030 00 203
181 1620 -60 01 (11)A> 2030 00 203
182 1680 0 01 1130 (11)A> 00 203
183 1682 2 01 1131 (12)C> 203
184 1686 4 01 1132 (11)B> 202
185 1689 1 01 1132 <A(20) 00 20
186 1753 -63 01 <A(20) 2032 00 20
187 1757 -65 <A(01) 2033 00 20
188 1762 -62 01 (11)A> 2033 00 20
189 1828 4 01 1133 (11)A> 00 20
190 1830 6 01 1134 (12)C> 20
191 1834 8 01 1135 (11)B>
192 1839 5 01 1135 <A(20) 01
193 1909 -65 01 <A(20) 2035 01
194 1913 -67 <A(01) 2036 01
195 1918 -64 01 (11)A> 2036 01
196 1990 8 01 1136 (11)A> 01
197 1995 5 01 1136 <B(02) 02
198 2067 -67 01 <B(02) 0237
199 2071 -69 <B(00) 0238
200 2080 -66 11 (11)B> 0238
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2080
Tape index: -66
nonzeros: 42
log10(nonzeros): 1.623
log10(steps ): 3.318
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #h (T.J. & S. Ligocki)
: >4.210x10^6034 >5.318x10^12068
5T 1RB 0LB 1RD 2RC 2LA 0LA 1LB 0LA 0LA 1RA 0RA 1RH
L 20
M 201
pref sim
machv Lig43_h just simple
machv Lig43_h-r with repetitions reduced
machv Lig43_h-1 with tape symbol exponents
machv Lig43_h-m as 2-bck-macro machine
machv Lig43_h-a as 2-bck-macro machine with pure additive config-TRs
iam Lig43_h-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:17 CEST 2010
edate Tue Jul 6 22:14:17 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:17 CEST 2010