Comment: This TM produces >2.5x10^881 ones in >8.9x10^1762 steps. Comment: This was the first known 6x2 TM to unseat Buntrock/Marxen
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | 1RB | 0RF | 1 | right | B | 0 | right | F |
| B | 0LB | 1LC | 0 | left | B | 1 | left | C |
| C | 1LD | 0RC | 1 | left | D | 0 | right | C |
| D | 1LE | 1RH | 1 | left | E | 1 | right | H |
| E | 1LF | 0LD | 1 | left | F | 0 | left | D |
| F | 1RA | 0LE | 1 | right | A | 0 | left | E |
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Pushing initial machine.
Pushing macro factor 2.
Steps BasSteps BasTpos Tape contents
0 0 0 A>
1 3 -1 <C 10
2 5 -3 <E 11 10
3 8 -2 10 F> 11 10
4 9 -3 10 <E 01 10
5 11 -5 <E 012 10
6 14 -4 10 F> 012 10
7 18 0 103 F> 10
8 19 -1 103 <E
9 25 -7 <E 013
10 28 -6 10 F> 013
11 34 0 104 F>
12 36 2 104 11 B>
13 37 1 104 11 <B
14 40 2 104 00 C>
15 41 1 104 00 <D 10
16 43 -1 104 <F 11 10
17 44 0 103 11 A> 11 10
18 47 -1 103 11 <F 102
19 49 -3 103 <D 00 102
20 55 -9 <D 013 00 102
21 57 -11 <F 11 013 00 102
22 58 -10 01 A> 11 013 00 102
23 61 -11 01 <F 10 013 00 102
24 63 -13 <F 102 013 00 102
25 64 -12 01 A> 102 013 00 102
26 68 -8 013 A> 013 00 102
27 72 -6 013 00 C> 012 00 102
28 73 -7 013 00 <D 11 01 00 102
29 75 -9 013 <F 112 01 00 102
30 81 -15 <F 103 112 01 00 102
31 82 -14 01 A> 103 112 01 00 102
32 88 -8 014 A> 112 01 00 102
33 91 -9 014 <F 10 11 01 00 102
34 99 -17 <F 105 11 01 00 102
35 100 -16 01 A> 105 11 01 00 102
36 110 -6 016 A> 11 01 00 102
37 113 -7 016 <F 10 01 00 102
38 125 -19 <F 107 01 00 102
39 126 -18 01 A> 107 01 00 102
40 140 -4 018 A> 01 00 102
41 144 -2 018 00 C> 00 102
42 145 -3 018 00 <D 103
43 147 -5 018 <F 11 103
44 163 -21 <F 108 11 103
45 164 -20 01 A> 108 11 103
46 180 -4 019 A> 11 103
47 183 -5 019 <F 104
48 201 -23 <F 1013
49 202 -22 01 A> 1013
50 228 4 0114 A>
51 231 3 0114 <C 10
52 232 4 0113 00 C> 10
53 235 3 0113 00 <E 11
54 238 4 0113 10 F> 11
55 239 3 0113 10 <E 01
56 241 1 0113 <E 012
57 267 -25 <E 1013 012
58 270 -24 10 F> 1013 012
59 271 -25 10 <E 00 1012 012
60 273 -27 <E 01 00 1012 012
61 276 -26 10 F> 01 00 1012 012
62 278 -24 102 F> 00 1012 012
63 280 -22 102 11 B> 1012 012
64 281 -23 102 11 <C 1012 012
65 282 -22 103 C> 1012 012
66 285 -23 103 <E 11 1011 012
67 291 -29 <E 013 11 1011 012
68 294 -28 10 F> 013 11 1011 012
69 300 -22 104 F> 11 1011 012
70 301 -23 104 <E 01 1011 012
71 309 -31 <E 015 1011 012
72 312 -30 10 F> 015 1011 012
73 322 -20 106 F> 1011 012
74 323 -21 106 <E 00 1010 012
75 335 -33 <E 016 00 1010 012
76 338 -32 10 F> 016 00 1010 012
77 350 -20 107 F> 00 1010 012
78 352 -18 107 11 B> 1010 012
79 353 -19 107 11 <C 1010 012
80 354 -18 108 C> 1010 012
81 357 -19 108 <E 11 109 012
82 373 -35 <E 018 11 109 012
83 376 -34 10 F> 018 11 109 012
84 392 -18 109 F> 11 109 012
85 393 -19 109 <E 01 109 012
86 411 -37 <E 0110 109 012
87 414 -36 10 F> 0110 109 012
88 434 -16 1011 F> 109 012
89 435 -17 1011 <E 00 108 012
90 457 -39 <E 0111 00 108 012
91 460 -38 10 F> 0111 00 108 012
92 482 -16 1012 F> 00 108 012
93 484 -14 1012 11 B> 108 012
94 485 -15 1012 11 <C 108 012
95 486 -14 1013 C> 108 012
96 489 -15 1013 <E 11 107 012
97 515 -41 <E 0113 11 107 012
98 518 -40 10 F> 0113 11 107 012
99 544 -14 1014 F> 11 107 012
100 545 -15 1014 <E 01 107 012
101 573 -43 <E 0115 107 012
102 576 -42 10 F> 0115 107 012
103 606 -12 1016 F> 107 012
104 607 -13 1016 <E 00 106 012
105 639 -45 <E 0116 00 106 012
106 642 -44 10 F> 0116 00 106 012
107 674 -12 1017 F> 00 106 012
108 676 -10 1017 11 B> 106 012
109 677 -11 1017 11 <C 106 012
110 678 -10 1018 C> 106 012
111 681 -11 1018 <E 11 105 012
112 717 -47 <E 0118 11 105 012
113 720 -46 10 F> 0118 11 105 012
114 756 -10 1019 F> 11 105 012
115 757 -11 1019 <E 01 105 012
116 795 -49 <E 0120 105 012
117 798 -48 10 F> 0120 105 012
118 838 -8 1021 F> 105 012
119 839 -9 1021 <E 00 104 012
120 881 -51 <E 0121 00 104 012
121 884 -50 10 F> 0121 00 104 012
122 926 -8 1022 F> 00 104 012
123 928 -6 1022 11 B> 104 012
124 929 -7 1022 11 <C 104 012
125 930 -6 1023 C> 104 012
126 933 -7 1023 <E 11 103 012
127 979 -53 <E 0123 11 103 012
128 982 -52 10 F> 0123 11 103 012
129 1028 -6 1024 F> 11 103 012
130 1029 -7 1024 <E 01 103 012
131 1077 -55 <E 0125 103 012
132 1080 -54 10 F> 0125 103 012
133 1130 -4 1026 F> 103 012
134 1131 -5 1026 <E 00 102 012
135 1183 -57 <E 0126 00 102 012
136 1186 -56 10 F> 0126 00 102 012
137 1238 -4 1027 F> 00 102 012
138 1240 -2 1027 11 B> 102 012
139 1241 -3 1027 11 <C 102 012
140 1242 -2 1028 C> 102 012
141 1245 -3 1028 <E 11 10 012
142 1301 -59 <E 0128 11 10 012
143 1304 -58 10 F> 0128 11 10 012
144 1360 -2 1029 F> 11 10 012
145 1361 -3 1029 <E 01 10 012
146 1419 -61 <E 0130 10 012
147 1422 -60 10 F> 0130 10 012
148 1482 0 1031 F> 10 012
149 1483 -1 1031 <E 00 012
150 1545 -63 <E 0131 00 012
151 1548 -62 10 F> 0131 00 012
152 1610 0 1032 F> 00 012
153 1612 2 1032 11 B> 012
154 1613 1 1032 11 <B 012
155 1616 2 1032 00 C> 012
156 1617 1 1032 00 <D 11 01
157 1619 -1 1032 <F 112 01
158 1620 0 1031 11 A> 112 01
159 1623 -1 1031 11 <F 10 11 01
160 1625 -3 1031 <D 00 10 11 01
161 1687 -65 <D 0131 00 10 11 01
162 1689 -67 <F 11 0131 00 10 11 01
163 1690 -66 01 A> 11 0131 00 10 11 01
164 1693 -67 01 <F 10 0131 00 10 11 01
165 1695 -69 <F 102 0131 00 10 11 01
166 1696 -68 01 A> 102 0131 00 10 11 01
167 1700 -64 013 A> 0131 00 10 11 01
168 1704 -62 013 00 C> 0130 00 10 11 01
169 1705 -63 013 00 <D 11 0129 00 10 11 01
170 1707 -65 013 <F 112 0129 00 10 11 01
171 1713 -71 <F 103 112 0129 00 10 11 01
172 1714 -70 01 A> 103 112 0129 00 10 11 01
173 1720 -64 014 A> 112 0129 00 10 11 01
174 1723 -65 014 <F 10 11 0129 00 10 11 01
175 1731 -73 <F 105 11 0129 00 10 11 01
176 1732 -72 01 A> 105 11 0129 00 10 11 01
177 1742 -62 016 A> 11 0129 00 10 11 01
178 1745 -63 016 <F 10 0129 00 10 11 01
179 1757 -75 <F 107 0129 00 10 11 01
180 1758 -74 01 A> 107 0129 00 10 11 01
181 1772 -60 018 A> 0129 00 10 11 01
182 1776 -58 018 00 C> 0128 00 10 11 01
183 1777 -59 018 00 <D 11 0127 00 10 11 01
184 1779 -61 018 <F 112 0127 00 10 11 01
185 1795 -77 <F 108 112 0127 00 10 11 01
186 1796 -76 01 A> 108 112 0127 00 10 11 01
187 1812 -60 019 A> 112 0127 00 10 11 01
188 1815 -61 019 <F 10 11 0127 00 10 11 01
189 1833 -79 <F 1010 11 0127 00 10 11 01
190 1834 -78 01 A> 1010 11 0127 00 10 11 01
191 1854 -58 0111 A> 11 0127 00 10 11 01
192 1857 -59 0111 <F 10 0127 00 10 11 01
193 1879 -81 <F 1012 0127 00 10 11 01
194 1880 -80 01 A> 1012 0127 00 10 11 01
195 1904 -56 0113 A> 0127 00 10 11 01
196 1908 -54 0113 00 C> 0126 00 10 11 01
197 1909 -55 0113 00 <D 11 0125 00 10 11 01
198 1911 -57 0113 <F 112 0125 00 10 11 01
199 1937 -83 <F 1013 112 0125 00 10 11 01
200 1938 -82 01 A> 1013 112 0125 00 10 11 01
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1938
Tape index: -82
ones: 47
log10(ones ): 1.672
log10(steps ): 3.287
Input to awk program:
gohalt 1
T 6-state 2-symbol #a (T.J. & S. Ligocki)
: >2.5x10^881 >8.9x10^1762
C This was the first known 6x2 TM to unseat Buntrock/Marxen
5T 1RB 0RF 0LB 1LC 1LD 0RC 1LE 1RH 1LF 0LD 1RA 0LE
L 24
M 201
pref sim
machv Lig62_a just simple
machv Lig62_a-r with repetitions reduced
machv Lig62_a-1 with tape symbol exponents
machv Lig62_a-m as 2-macro machine
machv Lig62_a-a as 2-macro machine with pure additive config-TRs
iam Lig62_a-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:14:21 CEST 2010
edate Tue Jul 6 22:14:21 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:21 CEST 2010