Comment: This TM produces >8.9x10^4931 nonzeros in >7.9x10^9863 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 | 1RB | 1LD | 1RH | 1 | right | B | 1 | left | D | 1 | right | H |
| B | 1RC | 2LB | 2LD | 1 | right | C | 2 | left | B | 2 | left | D |
| C | 1LC | 2RA | 0RD | 1 | left | C | 2 | right | A | 0 | right | D |
| D | 1RC | 1LA | 0LA | 1 | right | C | 1 | left | A | 0 | left | A |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 2-bck-macro machine.
The same TM as 2-bck-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 2 1 1 C>
3 1 1 1 <C 1
4 2 1 2 A> 1
5 1 1 2 <D 1
6 0 1 <A 0 1
7 -1 <D 1 0 1
8 0 1 C> 1 0 1
9 1 1 2 A> 0 1
10 2 1 2 1 B> 1
11 1 1 2 1 <B 2
12 0 1 2 <B 2 2
13 -1 1 <D 23
14 -2 <A 1 23
15 -1 1 B> 1 23
16 -2 1 <B 24
17 -3 <B 25
18 -2 1 C> 25
19 -1 1 0 D> 24
20 -2 1 0 <A 0 23
21 -1 1 1 B> 0 23
22 0 13 C> 23
23 1 13 0 D> 2 2
24 0 13 0 <A 0 2
25 1 14 B> 0 2
26 2 15 C> 2
27 3 15 0 D>
28 4 15 0 1 C>
29 3 15 0 1 <C 1
30 4 15 0 2 A> 1
31 3 15 0 2 <D 1
32 2 15 0 <A 0 1
33 3 16 B> 0 1
34 4 17 C> 1
35 5 17 2 A>
36 6 17 2 1 B>
37 7 17 2 1 1 C>
38 6 17 2 1 1 <C 1
39 7 17 2 1 2 A> 1
40 6 17 2 1 2 <D 1
41 5 17 2 1 <A 0 1
42 4 17 2 <D 1 0 1
43 3 17 <A 0 1 0 1
44 2 16 <D 1 0 1 0 1
45 1 15 <A 1 1 0 1 0 1
46 0 14 <D 13 0 1 0 1
47 -1 13 <A 14 0 1 0 1
48 -2 1 1 <D 15 0 1 0 1
49 -3 1 <A 16 0 1 0 1
50 -4 <D 17 0 1 0 1
51 -3 1 C> 17 0 1 0 1
52 -2 1 2 A> 16 0 1 0 1
53 -3 1 2 <D 16 0 1 0 1
54 -4 1 <A 0 16 0 1 0 1
55 -5 <D 1 0 16 0 1 0 1
56 -4 1 C> 1 0 16 0 1 0 1
57 -3 1 2 A> 0 16 0 1 0 1
58 -2 1 2 1 B> 16 0 1 0 1
59 -3 1 2 1 <B 2 15 0 1 0 1
60 -4 1 2 <B 2 2 15 0 1 0 1
61 -5 1 <D 23 15 0 1 0 1
62 -6 <A 1 23 15 0 1 0 1
63 -5 1 B> 1 23 15 0 1 0 1
64 -6 1 <B 24 15 0 1 0 1
65 -7 <B 25 15 0 1 0 1
66 -6 1 C> 25 15 0 1 0 1
67 -5 1 0 D> 24 15 0 1 0 1
68 -6 1 0 <A 0 23 15 0 1 0 1
69 -5 1 1 B> 0 23 15 0 1 0 1
70 -4 13 C> 23 15 0 1 0 1
71 -3 13 0 D> 2 2 15 0 1 0 1
72 -4 13 0 <A 0 2 15 0 1 0 1
73 -3 14 B> 0 2 15 0 1 0 1
74 -2 15 C> 2 15 0 1 0 1
75 -1 15 0 D> 15 0 1 0 1
76 -2 15 0 <A 15 0 1 0 1
77 -1 16 B> 15 0 1 0 1
78 -2 16 <B 2 14 0 1 0 1
+ 84 -8 <B 27 14 0 1 0 1
85 -7 1 C> 27 14 0 1 0 1
86 -6 1 0 D> 26 14 0 1 0 1
87 -7 1 0 <A 0 25 14 0 1 0 1
88 -6 1 1 B> 0 25 14 0 1 0 1
89 -5 13 C> 25 14 0 1 0 1
90 -4 13 0 D> 24 14 0 1 0 1
91 -5 13 0 <A 0 23 14 0 1 0 1
92 -4 14 B> 0 23 14 0 1 0 1
93 -3 15 C> 23 14 0 1 0 1
94 -2 15 0 D> 2 2 14 0 1 0 1
95 -3 15 0 <A 0 2 14 0 1 0 1
96 -2 16 B> 0 2 14 0 1 0 1
97 -1 17 C> 2 14 0 1 0 1
98 0 17 0 D> 14 0 1 0 1
99 -1 17 0 <A 14 0 1 0 1
100 0 18 B> 14 0 1 0 1
101 -1 18 <B 2 13 0 1 0 1
+ 109 -9 <B 29 13 0 1 0 1
110 -8 1 C> 29 13 0 1 0 1
111 -7 1 0 D> 28 13 0 1 0 1
112 -8 1 0 <A 0 27 13 0 1 0 1
113 -7 1 1 B> 0 27 13 0 1 0 1
114 -6 13 C> 27 13 0 1 0 1
115 -5 13 0 D> 26 13 0 1 0 1
116 -6 13 0 <A 0 25 13 0 1 0 1
117 -5 14 B> 0 25 13 0 1 0 1
118 -4 15 C> 25 13 0 1 0 1
119 -3 15 0 D> 24 13 0 1 0 1
120 -4 15 0 <A 0 23 13 0 1 0 1
121 -3 16 B> 0 23 13 0 1 0 1
122 -2 17 C> 23 13 0 1 0 1
123 -1 17 0 D> 2 2 13 0 1 0 1
124 -2 17 0 <A 0 2 13 0 1 0 1
125 -1 18 B> 0 2 13 0 1 0 1
126 0 19 C> 2 13 0 1 0 1
127 1 19 0 D> 13 0 1 0 1
128 0 19 0 <A 13 0 1 0 1
129 1 110 B> 13 0 1 0 1
130 0 110 <B 2 1 1 0 1 0 1
+ 140 -10 <B 211 1 1 0 1 0 1
141 -9 1 C> 211 1 1 0 1 0 1
142 -8 1 0 D> 210 1 1 0 1 0 1
143 -9 1 0 <A 0 29 1 1 0 1 0 1
144 -8 1 1 B> 0 29 1 1 0 1 0 1
145 -7 13 C> 29 1 1 0 1 0 1
146 -6 13 0 D> 28 1 1 0 1 0 1
147 -7 13 0 <A 0 27 1 1 0 1 0 1
148 -6 14 B> 0 27 1 1 0 1 0 1
149 -5 15 C> 27 1 1 0 1 0 1
150 -4 15 0 D> 26 1 1 0 1 0 1
151 -5 15 0 <A 0 25 1 1 0 1 0 1
152 -4 16 B> 0 25 1 1 0 1 0 1
153 -3 17 C> 25 1 1 0 1 0 1
154 -2 17 0 D> 24 1 1 0 1 0 1
155 -3 17 0 <A 0 23 1 1 0 1 0 1
156 -2 18 B> 0 23 1 1 0 1 0 1
157 -1 19 C> 23 1 1 0 1 0 1
158 0 19 0 D> 2 2 1 1 0 1 0 1
159 -1 19 0 <A 0 2 1 1 0 1 0 1
160 0 110 B> 0 2 1 1 0 1 0 1
161 1 111 C> 2 1 1 0 1 0 1
162 2 111 0 D> 1 1 0 1 0 1
163 1 111 0 <A 1 1 0 1 0 1
164 2 112 B> 1 1 0 1 0 1
165 1 112 <B 2 1 0 1 0 1
+ 177 -11 <B 213 1 0 1 0 1
178 -10 1 C> 213 1 0 1 0 1
179 -9 1 0 D> 212 1 0 1 0 1
180 -10 1 0 <A 0 211 1 0 1 0 1
181 -9 1 1 B> 0 211 1 0 1 0 1
182 -8 13 C> 211 1 0 1 0 1
183 -7 13 0 D> 210 1 0 1 0 1
184 -8 13 0 <A 0 29 1 0 1 0 1
185 -7 14 B> 0 29 1 0 1 0 1
186 -6 15 C> 29 1 0 1 0 1
187 -5 15 0 D> 28 1 0 1 0 1
188 -6 15 0 <A 0 27 1 0 1 0 1
189 -5 16 B> 0 27 1 0 1 0 1
190 -4 17 C> 27 1 0 1 0 1
191 -3 17 0 D> 26 1 0 1 0 1
192 -4 17 0 <A 0 25 1 0 1 0 1
193 -3 18 B> 0 25 1 0 1 0 1
194 -2 19 C> 25 1 0 1 0 1
195 -1 19 0 D> 24 1 0 1 0 1
196 -2 19 0 <A 0 23 1 0 1 0 1
197 -1 110 B> 0 23 1 0 1 0 1
198 0 111 C> 23 1 0 1 0 1
199 1 111 0 D> 2 2 1 0 1 0 1
200 0 111 0 <A 0 2 1 0 1 0 1
201 1 112 B> 0 2 1 0 1 0 1
202 2 113 C> 2 1 0 1 0 1
203 3 113 0 D> 1 0 1 0 1
204 2 113 0 <A 1 0 1 0 1
205 3 114 B> 1 0 1 0 1
206 2 114 <B 2 0 1 0 1
+ 220 -12 <B 215 0 1 0 1
221 -11 1 C> 215 0 1 0 1
222 -10 1 0 D> 214 0 1 0 1
223 -11 1 0 <A 0 213 0 1 0 1
224 -10 1 1 B> 0 213 0 1 0 1
225 -9 13 C> 213 0 1 0 1
226 -8 13 0 D> 212 0 1 0 1
227 -9 13 0 <A 0 211 0 1 0 1
228 -8 14 B> 0 211 0 1 0 1
229 -7 15 C> 211 0 1 0 1
230 -6 15 0 D> 210 0 1 0 1
231 -7 15 0 <A 0 29 0 1 0 1
232 -6 16 B> 0 29 0 1 0 1
233 -5 17 C> 29 0 1 0 1
234 -4 17 0 D> 28 0 1 0 1
235 -5 17 0 <A 0 27 0 1 0 1
236 -4 18 B> 0 27 0 1 0 1
237 -3 19 C> 27 0 1 0 1
238 -2 19 0 D> 26 0 1 0 1
239 -3 19 0 <A 0 25 0 1 0 1
240 -2 110 B> 0 25 0 1 0 1
241 -1 111 C> 25 0 1 0 1
242 0 111 0 D> 24 0 1 0 1
243 -1 111 0 <A 0 23 0 1 0 1
244 0 112 B> 0 23 0 1 0 1
245 1 113 C> 23 0 1 0 1
After 245 steps (201 lines): state = C.
Produced 18 nonzeros.
Tape index 1, scanned [-12 .. 7].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 51 | 40 | 11 | 0 | 4 | ||
| B | 103 | 38 | 63 | 2 | 1 | 10 | 12 |
| C | 44 | 3 | 7 | 34 | 2 | 3 | 18 |
| D | 47 | 4 | 10 | 33 | 7 | 13 | 5 |