Comment: This TM produces 458,357 nonzeros in 233,431,192,481 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 3 |
on 4 |
on 0 | on 1 | on 2 | on 3 | on 4 | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | Move | Goto | Move | Goto | Move | Goto | |||||||||||
| A | B1R | B3R | B3R | A1L | B3L | 1 | right | B | 3 | right | B | 3 | right | B | 1 | left | A | 3 | left | B |
| B | A2L | A3R | B4L | A2R | Z1R | 2 | left | A | 3 | right | A | 4 | left | B | 2 | right | A | 1 | right | Z |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as bck-2-macro machine.
The same TM as bck-2-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 0 1 <A 2
3 1 3 B> 2
4 0 3 <B 4
5 1 2 A> 4
6 0 2 <B 3
7 -1 <B 4 3
8 -2 <A 2 4 3
9 -1 1 B> 2 4 3
10 -2 1 <B 4 4 3
11 -1 3 A> 4 4 3
12 -2 3 <B 3 4 3
13 -1 2 A> 3 4 3
14 -2 2 <A 1 4 3
15 -1 3 B> 1 4 3
16 0 3 3 A> 4 3
17 -1 3 3 <B 3 3
18 0 3 2 A> 3 3
19 -1 3 2 <A 1 3
20 0 3 3 B> 1 3
21 1 33 A> 3
22 0 33 <A 1
+ 25 -3 <A 14
26 -2 1 B> 14
27 -1 1 3 A> 13
28 0 1 3 3 B> 1 1
29 1 1 33 A> 1
30 2 1 34 B>
31 1 1 34 <A 2
+ 35 -3 1 <A 14 2
36 -2 3 B> 14 2
37 -1 3 3 A> 13 2
38 0 33 B> 1 1 2
39 1 34 A> 1 2
40 2 35 B> 2
41 1 35 <B 4
42 2 34 2 A> 4
43 1 34 2 <B 3
44 0 34 <B 4 3
45 1 33 2 A> 4 3
46 0 33 2 <B 3 3
47 -1 33 <B 4 3 3
48 0 3 3 2 A> 4 3 3
49 -1 3 3 2 <B 33
50 -2 3 3 <B 4 33
51 -1 3 2 A> 4 33
52 -2 3 2 <B 34
53 -3 3 <B 4 34
54 -2 2 A> 4 34
55 -3 2 <B 35
56 -4 <B 4 35
57 -5 <A 2 4 35
58 -4 1 B> 2 4 35
59 -5 1 <B 4 4 35
60 -4 3 A> 4 4 35
61 -5 3 <B 3 4 35
62 -4 2 A> 3 4 35
63 -5 2 <A 1 4 35
64 -4 3 B> 1 4 35
65 -3 3 3 A> 4 35
66 -4 3 3 <B 36
67 -3 3 2 A> 36
68 -4 3 2 <A 1 35
69 -3 3 3 B> 1 35
70 -2 33 A> 35
71 -3 33 <A 1 34
+ 74 -6 <A 14 34
75 -5 1 B> 14 34
76 -4 1 3 A> 13 34
77 -3 1 3 3 B> 1 1 34
78 -2 1 33 A> 1 34
79 -1 1 34 B> 34
80 0 1 34 2 A> 33
81 -1 1 34 2 <A 1 3 3
82 0 1 35 B> 1 3 3
83 1 1 36 A> 3 3
84 0 1 36 <A 1 3
+ 90 -6 1 <A 17 3
91 -5 3 B> 17 3
92 -4 3 3 A> 16 3
93 -3 33 B> 15 3
94 -2 34 A> 14 3
95 -1 35 B> 13 3
96 0 36 A> 1 1 3
97 1 37 B> 1 3
98 2 38 A> 3
99 1 38 <A 1
+ 107 -7 <A 19
108 -6 1 B> 19
109 -5 1 3 A> 18
110 -4 1 3 3 B> 17
111 -3 1 33 A> 16
112 -2 1 34 B> 15
113 -1 1 35 A> 14
114 0 1 36 B> 13
115 1 1 37 A> 1 1
116 2 1 38 B> 1
117 3 1 39 A>
118 4 1 39 1 B>
119 3 1 39 1 <A 2
120 4 1 310 B> 2
121 3 1 310 <B 4
122 4 1 39 2 A> 4
123 3 1 39 2 <B 3
124 2 1 39 <B 4 3
125 3 1 38 2 A> 4 3
126 2 1 38 2 <B 3 3
127 1 1 38 <B 4 3 3
128 2 1 37 2 A> 4 3 3
129 1 1 37 2 <B 33
130 0 1 37 <B 4 33
131 1 1 36 2 A> 4 33
132 0 1 36 2 <B 34
133 -1 1 36 <B 4 34
134 0 1 35 2 A> 4 34
135 -1 1 35 2 <B 35
136 -2 1 35 <B 4 35
137 -1 1 34 2 A> 4 35
138 -2 1 34 2 <B 36
139 -3 1 34 <B 4 36
140 -2 1 33 2 A> 4 36
141 -3 1 33 2 <B 37
142 -4 1 33 <B 4 37
143 -3 1 3 3 2 A> 4 37
144 -4 1 3 3 2 <B 38
145 -5 1 3 3 <B 4 38
146 -4 1 3 2 A> 4 38
147 -5 1 3 2 <B 39
148 -6 1 3 <B 4 39
149 -5 1 2 A> 4 39
150 -6 1 2 <B 310
151 -7 1 <B 4 310
152 -6 3 A> 4 310
153 -7 3 <B 311
154 -6 2 A> 311
155 -7 2 <A 1 310
156 -6 3 B> 1 310
157 -5 3 3 A> 310
158 -6 3 3 <A 1 39
+ 160 -8 <A 13 39
161 -7 1 B> 13 39
162 -6 1 3 A> 1 1 39
163 -5 1 3 3 B> 1 39
164 -4 1 33 A> 39
165 -5 1 33 <A 1 38
+ 168 -8 1 <A 14 38
169 -7 3 B> 14 38
170 -6 3 3 A> 13 38
171 -5 33 B> 1 1 38
172 -4 34 A> 1 38
173 -3 35 B> 38
174 -2 35 2 A> 37
175 -3 35 2 <A 1 36
176 -2 36 B> 1 36
177 -1 37 A> 36
178 -2 37 <A 1 35
+ 185 -9 <A 18 35
186 -8 1 B> 18 35
187 -7 1 3 A> 17 35
188 -6 1 3 3 B> 16 35
189 -5 1 33 A> 15 35
190 -4 1 34 B> 14 35
191 -3 1 35 A> 13 35
192 -2 1 36 B> 1 1 35
193 -1 1 37 A> 1 35
194 0 1 38 B> 35
195 1 1 38 2 A> 34
196 0 1 38 2 <A 1 33
197 1 1 39 B> 1 33
198 2 1 310 A> 33
199 1 1 310 <A 1 3 3
+ 209 -9 1 <A 111 3 3
210 -8 3 B> 111 3 3
211 -7 3 3 A> 110 3 3
212 -6 33 B> 19 3 3
213 -5 34 A> 18 3 3
214 -4 35 B> 17 3 3
215 -3 36 A> 16 3 3
216 -2 37 B> 15 3 3
217 -1 38 A> 14 3 3
218 0 39 B> 13 3 3
219 1 310 A> 1 1 3 3
220 2 311 B> 1 3 3
221 3 312 A> 3 3
222 2 312 <A 1 3
+ 234 -10 <A 113 3
235 -9 1 B> 113 3
236 -8 1 3 A> 112 3
237 -7 1 3 3 B> 111 3
238 -6 1 33 A> 110 3
239 -5 1 34 B> 19 3
240 -4 1 35 A> 18 3
241 -3 1 36 B> 17 3
242 -2 1 37 A> 16 3
243 -1 1 38 B> 15 3
244 0 1 39 A> 14 3
245 1 1 310 B> 13 3
246 2 1 311 A> 1 1 3
247 3 1 312 B> 1 3
248 4 1 313 A> 3
After 248 steps (201 lines): state = A.
Produced 15 nonzeros.
Tape index 4, scanned [-10 .. 4].
| State | Count | Execution count | First in step | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 3 | on 4 | on 0 | on 1 | on 2 | on 3 | on 4 | ||
| A | 151 | 10 | 37 | 8 | 75 | 21 | 0 | 2 | 14 | 13 | 5 |
| B | 97 | 5 | 47 | 21 | 24 | 1 | 10 | 3 | 4 | ||