Comment: This TM produces >1.383x10^7036 nonzeros in >1.025x10^14072 steps. Comment: This is the currently best known 4x3 TM
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | 1RB | 1RH | 2RC | 1 | right | B | 1 | right | H | 2 | right | C |
| B | 2LC | 2RD | 0LC | 2 | left | C | 2 | right | D | 0 | left | C |
| C | 1RA | 2RB | 0LB | 1 | right | A | 2 | right | B | 0 | left | B |
| D | 1LB | 0LD | 2RC | 1 | left | B | 0 | left | D | 2 | right | 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 10 2 12 (11)B>
2 17 -1 12 <C(01)
3 21 -3 <C(01) 01
4 24 0 01 (12)D> 01
5 29 -3 01 <B(02) 11
6 36 0 11 (22)C> 11
7 38 2 11 22 (22)D>
8 41 -1 11 22 <B(00) 10
9 43 -3 11 <B(00) 00 10
10 49 -5 <B(02) 10 00 10
11 54 -2 12 (12)C> 10 00 10
12 61 -5 12 <B(02) 02 00 10
13 65 -7 <B(02) 022 00 10
14 70 -4 12 (12)C> 022 00 10
15 74 0 123 (12)C> 00 10
16 76 2 124 (11)B> 10
17 85 -1 124 <C(01) 21
18 101 -9 <C(01) 014 21
19 104 -6 01 (12)D> 014 21
20 109 -9 01 <B(02) 11 013 21
21 116 -6 11 (22)C> 11 013 21
22 118 -4 11 22 (22)D> 013 21
23 121 -7 11 22 <B(00) 11 012 21
24 123 -9 11 <B(00) 00 11 012 21
25 129 -11 <B(02) 10 00 11 012 21
26 134 -8 12 (12)C> 10 00 11 012 21
27 141 -11 12 <B(02) 02 00 11 012 21
28 145 -13 <B(02) 022 00 11 012 21
29 150 -10 12 (12)C> 022 00 11 012 21
30 154 -6 123 (12)C> 00 11 012 21
31 156 -4 124 (11)B> 11 012 21
32 160 -2 124 11 (21)A> 012 21
33 162 0 124 11 21 (12)D> 01 21
34 167 -3 124 11 21 <B(02) 11 21
35 171 -5 124 11 <B(00) 12 11 21
36 177 -7 124 <B(02) 10 12 11 21
37 193 -15 <B(02) 024 10 12 11 21
38 198 -12 12 (12)C> 024 10 12 11 21
39 206 -4 125 (12)C> 10 12 11 21
40 213 -7 125 <B(02) 02 12 11 21
41 233 -17 <B(02) 026 12 11 21
42 238 -14 12 (12)C> 026 12 11 21
43 250 -2 127 (12)C> 12 11 21
44 257 -5 127 <B(02) 00 11 21
45 285 -19 <B(02) 027 00 11 21
46 290 -16 12 (12)C> 027 00 11 21
47 304 -2 128 (12)C> 00 11 21
48 306 0 129 (11)B> 11 21
49 310 2 129 11 (21)A> 21
50 312 4 129 11 21 (22)B>
51 315 1 129 11 21 <C(00) 20
52 319 -1 129 11 <C(00) 202
53 325 -3 129 <C(01) 203
54 361 -21 <C(01) 019 203
55 364 -18 01 (12)D> 019 203
56 369 -21 01 <B(02) 11 018 203
57 376 -18 11 (22)C> 11 018 203
58 378 -16 11 22 (22)D> 018 203
59 381 -19 11 22 <B(00) 11 017 203
60 383 -21 11 <B(00) 00 11 017 203
61 389 -23 <B(02) 10 00 11 017 203
62 394 -20 12 (12)C> 10 00 11 017 203
63 401 -23 12 <B(02) 02 00 11 017 203
64 405 -25 <B(02) 022 00 11 017 203
65 410 -22 12 (12)C> 022 00 11 017 203
66 414 -18 123 (12)C> 00 11 017 203
67 416 -16 124 (11)B> 11 017 203
68 420 -14 124 11 (21)A> 017 203
69 422 -12 124 11 21 (12)D> 016 203
70 427 -15 124 11 21 <B(02) 11 015 203
71 431 -17 124 11 <B(00) 12 11 015 203
72 437 -19 124 <B(02) 10 12 11 015 203
73 453 -27 <B(02) 024 10 12 11 015 203
74 458 -24 12 (12)C> 024 10 12 11 015 203
75 466 -16 125 (12)C> 10 12 11 015 203
76 473 -19 125 <B(02) 02 12 11 015 203
77 493 -29 <B(02) 026 12 11 015 203
78 498 -26 12 (12)C> 026 12 11 015 203
79 510 -14 127 (12)C> 12 11 015 203
80 517 -17 127 <B(02) 00 11 015 203
81 545 -31 <B(02) 027 00 11 015 203
82 550 -28 12 (12)C> 027 00 11 015 203
83 564 -14 128 (12)C> 00 11 015 203
84 566 -12 129 (11)B> 11 015 203
85 570 -10 129 11 (21)A> 015 203
86 572 -8 129 11 21 (12)D> 014 203
87 577 -11 129 11 21 <B(02) 11 013 203
88 581 -13 129 11 <B(00) 12 11 013 203
89 587 -15 129 <B(02) 10 12 11 013 203
90 623 -33 <B(02) 029 10 12 11 013 203
91 628 -30 12 (12)C> 029 10 12 11 013 203
92 646 -12 1210 (12)C> 10 12 11 013 203
93 653 -15 1210 <B(02) 02 12 11 013 203
94 693 -35 <B(02) 0211 12 11 013 203
95 698 -32 12 (12)C> 0211 12 11 013 203
96 720 -10 1212 (12)C> 12 11 013 203
97 727 -13 1212 <B(02) 00 11 013 203
98 775 -37 <B(02) 0212 00 11 013 203
99 780 -34 12 (12)C> 0212 00 11 013 203
100 804 -10 1213 (12)C> 00 11 013 203
101 806 -8 1214 (11)B> 11 013 203
102 810 -6 1214 11 (21)A> 013 203
103 812 -4 1214 11 21 (12)D> 012 203
104 817 -7 1214 11 21 <B(02) 11 01 203
105 821 -9 1214 11 <B(00) 12 11 01 203
106 827 -11 1214 <B(02) 10 12 11 01 203
107 883 -39 <B(02) 0214 10 12 11 01 203
108 888 -36 12 (12)C> 0214 10 12 11 01 203
109 916 -8 1215 (12)C> 10 12 11 01 203
110 923 -11 1215 <B(02) 02 12 11 01 203
111 983 -41 <B(02) 0216 12 11 01 203
112 988 -38 12 (12)C> 0216 12 11 01 203
113 1020 -6 1217 (12)C> 12 11 01 203
114 1027 -9 1217 <B(02) 00 11 01 203
115 1095 -43 <B(02) 0217 00 11 01 203
116 1100 -40 12 (12)C> 0217 00 11 01 203
117 1134 -6 1218 (12)C> 00 11 01 203
118 1136 -4 1219 (11)B> 11 01 203
119 1140 -2 1219 11 (21)A> 01 203
120 1142 0 1219 11 21 (12)D> 203
121 1144 2 1219 11 21 12 (21)A> 202
122 1148 6 1219 11 21 12 212 (21)A>
123 1157 3 1219 11 21 12 212 <B(00) 10
124 1165 -1 1219 11 21 12 <B(00) 103
125 1169 -3 1219 11 21 <B(02) 00 103
126 1173 -5 1219 11 <B(00) 12 00 103
127 1179 -7 1219 <B(02) 10 12 00 103
128 1255 -45 <B(02) 0219 10 12 00 103
129 1260 -42 12 (12)C> 0219 10 12 00 103
130 1298 -4 1220 (12)C> 10 12 00 103
131 1305 -7 1220 <B(02) 02 12 00 103
132 1385 -47 <B(02) 0221 12 00 103
133 1390 -44 12 (12)C> 0221 12 00 103
134 1432 -2 1222 (12)C> 12 00 103
135 1439 -5 1222 <B(02) 002 103
136 1527 -49 <B(02) 0222 002 103
137 1532 -46 12 (12)C> 0222 002 103
138 1576 -2 1223 (12)C> 002 103
139 1578 0 1224 (11)B> 00 103
140 1585 -3 1224 <C(01) 00 103
141 1681 -51 <C(01) 0124 00 103
142 1684 -48 01 (12)D> 0124 00 103
143 1689 -51 01 <B(02) 11 0123 00 103
144 1696 -48 11 (22)C> 11 0123 00 103
145 1698 -46 11 22 (22)D> 0123 00 103
146 1701 -49 11 22 <B(00) 11 0122 00 103
147 1703 -51 11 <B(00) 00 11 0122 00 103
148 1709 -53 <B(02) 10 00 11 0122 00 103
149 1714 -50 12 (12)C> 10 00 11 0122 00 103
150 1721 -53 12 <B(02) 02 00 11 0122 00 103
151 1725 -55 <B(02) 022 00 11 0122 00 103
152 1730 -52 12 (12)C> 022 00 11 0122 00 103
153 1734 -48 123 (12)C> 00 11 0122 00 103
154 1736 -46 124 (11)B> 11 0122 00 103
155 1740 -44 124 11 (21)A> 0122 00 103
156 1742 -42 124 11 21 (12)D> 0121 00 103
157 1747 -45 124 11 21 <B(02) 11 0120 00 103
158 1751 -47 124 11 <B(00) 12 11 0120 00 103
159 1757 -49 124 <B(02) 10 12 11 0120 00 103
160 1773 -57 <B(02) 024 10 12 11 0120 00 103
161 1778 -54 12 (12)C> 024 10 12 11 0120 00 103
162 1786 -46 125 (12)C> 10 12 11 0120 00 103
163 1793 -49 125 <B(02) 02 12 11 0120 00 103
164 1813 -59 <B(02) 026 12 11 0120 00 103
165 1818 -56 12 (12)C> 026 12 11 0120 00 103
166 1830 -44 127 (12)C> 12 11 0120 00 103
167 1837 -47 127 <B(02) 00 11 0120 00 103
168 1865 -61 <B(02) 027 00 11 0120 00 103
169 1870 -58 12 (12)C> 027 00 11 0120 00 103
170 1884 -44 128 (12)C> 00 11 0120 00 103
171 1886 -42 129 (11)B> 11 0120 00 103
172 1890 -40 129 11 (21)A> 0120 00 103
173 1892 -38 129 11 21 (12)D> 0119 00 103
174 1897 -41 129 11 21 <B(02) 11 0118 00 103
175 1901 -43 129 11 <B(00) 12 11 0118 00 103
176 1907 -45 129 <B(02) 10 12 11 0118 00 103
177 1943 -63 <B(02) 029 10 12 11 0118 00 103
178 1948 -60 12 (12)C> 029 10 12 11 0118 00 103
179 1966 -42 1210 (12)C> 10 12 11 0118 00 103
180 1973 -45 1210 <B(02) 02 12 11 0118 00 103
181 2013 -65 <B(02) 0211 12 11 0118 00 103
182 2018 -62 12 (12)C> 0211 12 11 0118 00 103
183 2040 -40 1212 (12)C> 12 11 0118 00 103
184 2047 -43 1212 <B(02) 00 11 0118 00 103
185 2095 -67 <B(02) 0212 00 11 0118 00 103
186 2100 -64 12 (12)C> 0212 00 11 0118 00 103
187 2124 -40 1213 (12)C> 00 11 0118 00 103
188 2126 -38 1214 (11)B> 11 0118 00 103
189 2130 -36 1214 11 (21)A> 0118 00 103
190 2132 -34 1214 11 21 (12)D> 0117 00 103
191 2137 -37 1214 11 21 <B(02) 11 0116 00 103
192 2141 -39 1214 11 <B(00) 12 11 0116 00 103
193 2147 -41 1214 <B(02) 10 12 11 0116 00 103
194 2203 -69 <B(02) 0214 10 12 11 0116 00 103
195 2208 -66 12 (12)C> 0214 10 12 11 0116 00 103
196 2236 -38 1215 (12)C> 10 12 11 0116 00 103
197 2243 -41 1215 <B(02) 02 12 11 0116 00 103
198 2303 -71 <B(02) 0216 12 11 0116 00 103
199 2308 -68 12 (12)C> 0216 12 11 0116 00 103
200 2340 -36 1217 (12)C> 12 11 0116 00 103
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 2340
Tape index: -36
nonzeros: 59
log10(nonzeros): 1.771
log10(steps ): 3.369
Input to awk program:
gohalt 1
nbs 3
T 4-state 3-symbol #i (T.J. & S. Ligocki)
: >1.383x10^7036 >1.025x10^14072
C This is the currently best known 4x3 TM
5T 1RB 1RH 2RC 2LC 2RD 0LC 1RA 2RB 0LB 1LB 0LD 2RC
L 16
M 201
pref sim
machv Lig43_i just simple
machv Lig43_i-r with repetitions reduced
machv Lig43_i-1 with tape symbol exponents
machv Lig43_i-m as 2-bck-macro machine
machv Lig43_i-a as 2-bck-macro machine with pure additive config-TRs
iam Lig43_i-m
mtype 2 0
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:19 CEST 2010
edate Tue Jul 6 22:14:19 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:19 CEST 2010