Comment: A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2 Comment: The halting transition has been modified to print a 1 Comment: This TM produces 13949 nonzeros in 92649163 steps.
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | Z1= | C2L | 1 | right | B | 1 | stay | Z | 2 | left | C |
| B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
| C | A1L | B0R | A2L | 1 | left | A | 0 | right | B | 2 | 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-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 4 2 02 B>
2 5 1 02 <C 10
3 10 2 22 B> 10
4 13 1 22 <A 21
5 15 -1 <A 22 21
6 16 0 01 B> 22 21
7 17 -1 01 <B 12 21
8 18 0 02 B> 12 21
9 21 -1 02 <B 11 21
10 23 -3 <C 112 21
11 26 -2 12 B> 112 21
12 30 2 12 222 B> 21
13 31 1 12 222 <B 11
14 35 -3 12 <B 113
15 38 -2 22 B> 113
16 44 4 224 B>
17 45 3 224 <C 10
18 53 -5 <C 224 10
19 56 -4 12 B> 224 10
20 57 -5 12 <B 12 223 10
21 60 -4 22 B> 12 223 10
22 63 -5 22 <B 11 223 10
23 65 -7 <B 112 223 10
24 67 -9 <A 113 223 10
25 68 -8 01 B> 113 223 10
26 74 -2 01 223 B> 223 10
27 75 -3 01 223 <B 12 222 10
28 81 -9 01 <B 113 12 222 10
29 82 -8 02 B> 113 12 222 10
30 88 -2 02 223 B> 12 222 10
31 91 -3 02 223 <B 11 222 10
32 97 -9 02 <B 114 222 10
33 99 -11 <C 115 222 10
34 102 -10 12 B> 115 222 10
35 112 0 12 225 B> 222 10
36 113 -1 12 225 <B 12 22 10
37 123 -11 12 <B 115 12 22 10
38 126 -10 22 B> 115 12 22 10
39 136 0 226 B> 12 22 10
40 139 -1 226 <B 11 22 10
41 151 -13 <B 117 22 10
42 153 -15 <A 118 22 10
43 154 -14 01 B> 118 22 10
44 170 2 01 228 B> 22 10
45 171 1 01 228 <B 12 10
46 187 -15 01 <B 118 12 10
47 188 -14 02 B> 118 12 10
48 204 2 02 228 B> 12 10
49 207 1 02 228 <B 11 10
50 223 -15 02 <B 119 10
51 225 -17 <C 1110 10
52 228 -16 12 B> 1110 10
53 248 4 12 2210 B> 10
54 251 3 12 2210 <A 21
55 271 -17 12 <A 2210 21
56 275 -19 <C 11 2210 21
57 278 -18 12 B> 11 2210 21
58 280 -16 12 22 B> 2210 21
59 281 -17 12 22 <B 12 229 21
60 283 -19 12 <B 11 12 229 21
61 286 -18 22 B> 11 12 229 21
62 288 -16 222 B> 12 229 21
63 291 -17 222 <B 11 229 21
64 295 -21 <B 113 229 21
65 297 -23 <A 114 229 21
66 298 -22 01 B> 114 229 21
67 306 -14 01 224 B> 229 21
68 307 -15 01 224 <B 12 228 21
69 315 -23 01 <B 114 12 228 21
70 316 -22 02 B> 114 12 228 21
71 324 -14 02 224 B> 12 228 21
72 327 -15 02 224 <B 11 228 21
73 335 -23 02 <B 115 228 21
74 337 -25 <C 116 228 21
75 340 -24 12 B> 116 228 21
76 352 -12 12 226 B> 228 21
77 353 -13 12 226 <B 12 227 21
78 365 -25 12 <B 116 12 227 21
79 368 -24 22 B> 116 12 227 21
80 380 -12 227 B> 12 227 21
81 383 -13 227 <B 11 227 21
82 397 -27 <B 118 227 21
83 399 -29 <A 119 227 21
84 400 -28 01 B> 119 227 21
85 418 -10 01 229 B> 227 21
86 419 -11 01 229 <B 12 226 21
87 437 -29 01 <B 119 12 226 21
88 438 -28 02 B> 119 12 226 21
89 456 -10 02 229 B> 12 226 21
90 459 -11 02 229 <B 11 226 21
91 477 -29 02 <B 1110 226 21
92 479 -31 <C 1111 226 21
93 482 -30 12 B> 1111 226 21
94 504 -8 12 2211 B> 226 21
95 505 -9 12 2211 <B 12 225 21
96 527 -31 12 <B 1111 12 225 21
97 530 -30 22 B> 1111 12 225 21
98 552 -8 2212 B> 12 225 21
99 555 -9 2212 <B 11 225 21
100 579 -33 <B 1113 225 21
101 581 -35 <A 1114 225 21
102 582 -34 01 B> 1114 225 21
103 610 -6 01 2214 B> 225 21
104 611 -7 01 2214 <B 12 224 21
105 639 -35 01 <B 1114 12 224 21
106 640 -34 02 B> 1114 12 224 21
107 668 -6 02 2214 B> 12 224 21
108 671 -7 02 2214 <B 11 224 21
109 699 -35 02 <B 1115 224 21
110 701 -37 <C 1116 224 21
111 704 -36 12 B> 1116 224 21
112 736 -4 12 2216 B> 224 21
113 737 -5 12 2216 <B 12 223 21
114 769 -37 12 <B 1116 12 223 21
115 772 -36 22 B> 1116 12 223 21
116 804 -4 2217 B> 12 223 21
117 807 -5 2217 <B 11 223 21
118 841 -39 <B 1118 223 21
119 843 -41 <A 1119 223 21
120 844 -40 01 B> 1119 223 21
121 882 -2 01 2219 B> 223 21
122 883 -3 01 2219 <B 12 222 21
123 921 -41 01 <B 1119 12 222 21
124 922 -40 02 B> 1119 12 222 21
125 960 -2 02 2219 B> 12 222 21
126 963 -3 02 2219 <B 11 222 21
127 1001 -41 02 <B 1120 222 21
128 1003 -43 <C 1121 222 21
129 1006 -42 12 B> 1121 222 21
130 1048 0 12 2221 B> 222 21
131 1049 -1 12 2221 <B 12 22 21
132 1091 -43 12 <B 1121 12 22 21
133 1094 -42 22 B> 1121 12 22 21
134 1136 0 2222 B> 12 22 21
135 1139 -1 2222 <B 11 22 21
136 1183 -45 <B 1123 22 21
137 1185 -47 <A 1124 22 21
138 1186 -46 01 B> 1124 22 21
139 1234 2 01 2224 B> 22 21
140 1235 1 01 2224 <B 12 21
141 1283 -47 01 <B 1124 12 21
142 1284 -46 02 B> 1124 12 21
143 1332 2 02 2224 B> 12 21
144 1335 1 02 2224 <B 11 21
145 1383 -47 02 <B 1125 21
146 1385 -49 <C 1126 21
147 1388 -48 12 B> 1126 21
148 1440 4 12 2226 B> 21
149 1441 3 12 2226 <B 11
150 1493 -49 12 <B 1127
151 1496 -48 22 B> 1127
152 1550 6 2228 B>
153 1551 5 2228 <C 10
154 1607 -51 <C 2228 10
155 1610 -50 12 B> 2228 10
156 1611 -51 12 <B 12 2227 10
157 1614 -50 22 B> 12 2227 10
158 1617 -51 22 <B 11 2227 10
159 1619 -53 <B 112 2227 10
160 1621 -55 <A 113 2227 10
161 1622 -54 01 B> 113 2227 10
162 1628 -48 01 223 B> 2227 10
163 1629 -49 01 223 <B 12 2226 10
164 1635 -55 01 <B 113 12 2226 10
165 1636 -54 02 B> 113 12 2226 10
166 1642 -48 02 223 B> 12 2226 10
167 1645 -49 02 223 <B 11 2226 10
168 1651 -55 02 <B 114 2226 10
169 1653 -57 <C 115 2226 10
170 1656 -56 12 B> 115 2226 10
171 1666 -46 12 225 B> 2226 10
172 1667 -47 12 225 <B 12 2225 10
173 1677 -57 12 <B 115 12 2225 10
174 1680 -56 22 B> 115 12 2225 10
175 1690 -46 226 B> 12 2225 10
176 1693 -47 226 <B 11 2225 10
177 1705 -59 <B 117 2225 10
178 1707 -61 <A 118 2225 10
179 1708 -60 01 B> 118 2225 10
180 1724 -44 01 228 B> 2225 10
181 1725 -45 01 228 <B 12 2224 10
182 1741 -61 01 <B 118 12 2224 10
183 1742 -60 02 B> 118 12 2224 10
184 1758 -44 02 228 B> 12 2224 10
185 1761 -45 02 228 <B 11 2224 10
186 1777 -61 02 <B 119 2224 10
187 1779 -63 <C 1110 2224 10
188 1782 -62 12 B> 1110 2224 10
189 1802 -42 12 2210 B> 2224 10
190 1803 -43 12 2210 <B 12 2223 10
191 1823 -63 12 <B 1110 12 2223 10
192 1826 -62 22 B> 1110 12 2223 10
193 1846 -42 2211 B> 12 2223 10
194 1849 -43 2211 <B 11 2223 10
195 1871 -65 <B 1112 2223 10
196 1873 -67 <A 1113 2223 10
197 1874 -66 01 B> 1113 2223 10
198 1900 -40 01 2213 B> 2223 10
199 1901 -41 01 2213 <B 12 2222 10
200 1927 -67 01 <B 1113 12 2222 10
Lines: 201
Top steps: 200
Macro steps: 200
Basic steps: 1927
Tape index: -67
nonzeros: 74
log10(nonzeros): 1.869
log10(steps ): 3.285
Input to awk program:
gohalt 1
nbs 3
T 3-state 3-symbol champion #16,812,191 of Allen Brady
C A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2
C The halting transition has been modified to print a 1
5T B1R Z1= C2L C1L B2R B1L A1L B0R A2L
: 13949 92649163
L 50
M 201
pref sim
machv AB3Y_c just simple
machv AB3Y_c-r with repetitions reduced
machv AB3Y_c-1 with tape symbol exponents
machv AB3Y_c-m as 2-macro machine
machv AB3Y_c-a as 2-macro machine with pure additive config-TRs
iam AB3Y_c-m
mtype 2
mmtyp 1
r 1
H 1
mac 0
E 2
sympr
HM 1
date Tue Jul 6 22:11:39 CEST 2010
edate Tue Jul 6 22:11:39 CEST 2010
bnspeed 1
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:11:39 CEST 2010