Comment: The halting transition has been modified to print a 1 Comment: A.B.: 2 1 1 , 2-1 2 , 3-1 1; Comment: A.B.: 1-1 1 , 2 1 2 , 2 1 1; Comment: A.B.: 0 0 0 , 1-1 2 , 3-1 0; Comment: Brady's number: # 1732367 Comment: This TM produces 31 nonzeros in 2315619 steps. Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 2 |
on 0 | on 1 | on 2 | ||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | |||||||
| A | B1R | B2L | C1L | 1 | right | B | 2 | left | B | 1 | left | C |
| B | A1L | B2R | B1R | 1 | left | A | 2 | right | B | 1 | right | B |
| C | Z1R | A2L | C0L | 1 | right | Z | 2 | left | A | 0 | left | C |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 6-bck-bck-bck-3-macro machine.
The same TM as 6-bck-bck-bck-3-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . . 0
1 1 B . . . . . . 10
2 0 A . . . . . . 11
3 -1 B . . . . . .021
4 -2 A . . . . . 0121
5 -1 B . . . . . 1121
6 0 B . . . . . 1221
7 1 B . . . . . 1211
8 2 B . . . . . 12120
9 1 A . . . . . 12121
10 0 C . . . . . 12111
11 -1 A . . . . . 12211
12 -2 C . . . . . 11211
13 -3 A . . . . .021211
14 -2 B . . . . .121211
15 -1 B . . . . .111211
16 0 B . . . . .112211
17 1 B . . . . .112111
+ 19 3 B . . . . .1121220 by B/1 * 2
20 2 A . . . . .1121221
21 1 C . . . . .1121211
22 0 C . . . . .1121011
23 -1 A . . . . .1122011
24 -2 C . . . . .1112011
25 -3 A . . . . .1212011
26 -4 B . . . . 02212011
27 -5 A . . . .012212011
28 -4 B . . . .112212011
29 -3 B . . . .122212011
+ 31 -1 B . . . .121112011 by B/2 * 2
32 0 B . . . .121122011
33 1 B . . . .121121011
34 0 A . . . .121121111
35 -1 B . . . .121122111
+ 37 1 B . . . .121111111 by B/2 * 2
+ 40 4 B . . . .1211112220 by B/1 * 3
41 3 A . . . .1211112221
42 2 C . . . .1211112211
+ 44 0 C . . . .1211110011 by C/2 * 2
45 -1 A . . . .1211120011
46 -2 B . . . .1211220011
47 -1 B . . . .1212220011
+ 49 1 B . . . .1212110011 by B/2 * 2
50 0 A . . . .1212111011
51 -1 B . . . .1212121011
52 0 B . . . .1212221011
53 1 B . . . .1212211011
54 2 B . . . .1212212011
55 1 A . . . .1212212111
56 0 C . . . .1212211111
57 -1 A . . . .1212221111
58 -2 C . . . .1212121111
59 -3 C . . . .1210121111
60 -4 A . . . .1220121111
61 -5 C . . . .1120121111
62 -6 A . . . 02120121111
63 -5 B . . . 12120121111
64 -4 B . . . 11120121111
65 -3 B . . . 11220121111
66 -2 B . . . 11210121111
67 -3 A . . . 11211121111
68 -4 B . . . 11221121111
+ 70 -2 B . . . 11111121111 by B/2 * 2
+ 72 0 B . . . 11112221111 by B/1 * 2
73 1 B . . . 11112211111
+ 77 5 B . . . 111122122220 by B/1 * 4
78 4 A . . . 111122122221
79 3 C . . . 111122122211
+ 82 0 C . . . 111122100011 by C/2 * 3
83 -1 A . . . 111122200011
84 -2 C . . . 111121200011
85 -3 C . . . 111101200011
86 -4 A . . . 111201200011
87 -5 B . . . 112201200011
88 -4 B . . . 122201200011
+ 90 -2 B . . . 121101200011 by B/2 * 2
91 -3 A . . . 121111200011
92 -4 B . . . 121211200011
93 -3 B . . . 122211200011
94 -2 B . . . 122111200011
+ 96 0 B . . . 122122200011 by B/1 * 2
97 1 B . . . 122122100011
98 0 A . . . 122122110011
99 -1 B . . . 122122210011
+ 101 1 B . . . 122121110011 by B/2 * 2
102 2 B . . . 122121120011
103 1 A . . . 122121121011
104 0 C . . . 122121111011
105 -1 A . . . 122121211011
106 -2 B . . . 122122211011
+ 109 1 B . . . 122111111011 by B/2 * 3
+ 111 3 B . . . 122111122011 by B/1 * 2
112 2 A . . . 122111122111
113 1 C . . . 122111121111
114 0 C . . . 122111101111
115 -1 A . . . 122111201111
116 -2 B . . . 122112201111
117 -1 B . . . 122122201111
+ 119 1 B . . . 122121101111 by B/2 * 2
120 0 A . . . 122121111111
121 -1 B . . . 122121211111
122 0 B . . . 122122211111
123 1 B . . . 122122111111
+ 128 6 B . . . 1221221222220 by B/1 * 5
129 5 A . . . 1221221222221
130 4 C . . . 1221221222211
+ 134 0 C . . . 1221221000011 by C/2 * 4
135 -1 A . . . 1221222000011
136 -2 C . . . 1221212000011
137 -3 C . . . 1221012000011
138 -4 A . . . 1222012000011
139 -5 C . . . 1212012000011
140 -6 C . . . 1012012000011
141 -7 A . . .02012012000011
142 -6 B . . .12012012000011
143 -5 B . . .11012012000011
144 -6 A . . .11112012000011
145 -7 B . . .12112012000011
146 -6 B . . .22112012000011
147 -5 B . . .21112012000011
+ 149 -3 B . . .21222012000011 by B/1 * 2
150 -2 B . . .21221012000011
151 -3 A . . .21221112000011
152 -4 B . . .21222112000011
+ 154 -2 B . . .21211112000011 by B/2 * 2
+ 156 0 B . . .21211222000011 by B/1 * 2
157 1 B . . .21211221000011
158 0 A . . .21211221100011
159 -1 B . . .21211222100011
+ 161 1 B . . .21211211100011 by B/2 * 2
162 2 B . . .21211211200011
163 1 A . . .21211211210011
164 0 C . . .21211211110011
165 -1 A . . .21211212110011
166 -2 B . . .21211222110011
+ 169 1 B . . .21211111110011 by B/2 * 3
+ 171 3 B . . .21211111220011 by B/1 * 2
172 2 A . . .21211111221011
173 1 C . . .21211111211011
174 0 C . . .21211111011011
175 -1 A . . .21211112011011
176 -2 B . . .21211122011011
177 -1 B . . .21211222011011
+ 179 1 B . . .21211211011011 by B/2 * 2
180 0 A . . .21211211111011
181 -1 B . . .21211212111011
182 0 B . . .21211222111011
183 1 B . . .21211221111011
+ 186 4 B . . .21211221222011 by B/1 * 3
187 3 A . . .21211221222111
188 2 C . . .21211221221111
+ 190 0 C . . .21211221001111 by C/2 * 2
191 -1 A . . .21211222001111
192 -2 C . . .21211212001111
193 -3 C . . .21211012001111
194 -4 A . . .21212012001111
195 -5 B . . .21222012001111
+ 198 -2 B . . .21111012001111 by B/2 * 3
199 -3 A . . .21111112001111
200 -4 B . . .21112112001111
201 -3 B . . .21122112001111
202 -2 B . . .21121112001111
+ 204 0 B . . .21121222001111 by B/1 * 2
205 1 B . . .21121221001111
206 0 A . . .21121221101111
207 -1 B . . .21121222101111
+ 209 1 B . . .21121211101111 by B/2 * 2
210 2 B . . .21121211201111
211 1 A . . .21121211211111
212 0 C . . .21121211111111
213 -1 A . . .21121212111111
214 -2 B . . .21121222111111
+ 217 1 B . . .21121111111111 by B/2 * 3
+ 223 7 B . . .211211112222220 by B/1 * 6
224 6 A . . .211211112222221
225 5 C . . .211211112222211
+ 230 0 C . . .211211110000011 by C/2 * 5
231 -1 A . . .211211120000011
232 -2 B . . .211211220000011
233 -1 B . . .211212220000011
+ 235 1 B . . .211212110000011 by B/2 * 2
236 0 A . . .211212111000011
237 -1 B . . .211212121000011
238 0 B . . .211212221000011
239 1 B . . .211212211000011
240 2 B . . .211212212000011
241 1 A . . .211212212100011
242 0 C . . .211212211100011
243 -1 A . . .211212221100011
244 -2 C . . .211212121100011
245 -3 C . . .211210121100011
246 -4 A . . .211220121100011
247 -5 C . . .211120121100011
248 -6 A . . .212120121100011
249 -7 B . . .222120121100011
+ 252 -4 B . . .111120121100011 by B/2 * 3
253 -3 B . . .111220121100011
254 -2 B . . .111210121100011
255 -3 A . . .111211121100011
256 -4 B . . .111221121100011
+ 258 -2 B . . .111111121100011 by B/2 * 2
After 258 steps (201 lines): state = B.
Produced 12 nonzeros.
Tape index -2, scanned [-7 .. 7].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 56 | 6 | 26 | 24 | 0 | 2 | 9 |
| B | 153 | 31 | 61 | 61 | 1 | 5 | 6 |
| C | 49 | 24 | 25 | 10 | 21 | ||