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.
Simulation is done with repetitions reduced.
The same TM 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 St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 10
2 0 A . . . . . 12
3 1 B . . . . . 32
4 0 B . . . . . 34
5 1 A . . . . . 24
6 0 B . . . . . 23
7 -1 B . . . . .043
8 -2 A . . . . 0243
9 -1 B . . . . 1243
10 -2 B . . . . 1443
11 -1 A . . . . 3443
12 -2 B . . . . 3343
13 -1 A . . . . 2343
14 -2 A . . . . 2143
15 -1 B . . . . 3143
16 0 A . . . . 3343
17 -1 B . . . . 3333
18 0 A . . . . 3233
19 -1 A . . . . 3213
20 0 B . . . . 3313
21 1 A . . . . 3333
+ 25 -3 A . . . .01111 by A/3 * 4
26 -2 B . . . .11111
27 -1 A . . . .13111
28 0 B . . . .13311
29 1 A . . . .13331
30 2 B . . . .133330
31 1 A . . . .133332
+ 35 -3 A . . . .111112 by A/3 * 4
36 -2 B . . . .311112
37 -1 A . . . .331112
38 0 B . . . .333112
39 1 A . . . .333312
40 2 B . . . .333332
41 1 B . . . .333334
42 2 A . . . .333324
43 1 B . . . .333323
44 0 B . . . .333343
45 1 A . . . .333243
46 0 B . . . .333233
47 -1 B . . . .333433
48 0 A . . . .332433
49 -1 B . . . .332333
50 -2 B . . . .334333
51 -1 A . . . .324333
52 -2 B . . . .323333
53 -3 B . . . .343333
54 -2 A . . . .243333
55 -3 B . . . .233333
56 -4 B . . . 0433333
57 -5 A . . .02433333
58 -4 B . . .12433333
59 -5 B . . .14433333
60 -4 A . . .34433333
61 -5 B . . .33433333
62 -4 A . . .23433333
63 -5 A . . .21433333
64 -4 B . . .31433333
65 -3 A . . .33433333
66 -4 B . . .33333333
67 -3 A . . .32333333
68 -4 A . . .32133333
69 -3 B . . .33133333
70 -2 A . . .33333333
+ 74 -6 A . . 011113333 by A/3 * 4
75 -5 B . . 111113333
76 -4 A . . 131113333
77 -3 B . . 133113333
78 -2 A . . 133313333
79 -1 B . . 133333333
80 0 A . . 133332333
81 -1 A . . 133332133
82 0 B . . 133333133
83 1 A . . 133333333
+ 90 -6 A . . 111111113 by A/3 * 7
91 -5 B . . 311111113
92 -4 A . . 331111113
93 -3 B . . 333111113
94 -2 A . . 333311113
95 -1 B . . 333331113
96 0 A . . 333333113
97 1 B . . 333333313
98 2 A . . 333333333
+ 107 -7 A . .0111111111 by A/3 * 9
108 -6 B . .1111111111
109 -5 A . .1311111111
110 -4 B . .1331111111
111 -3 A . .1333111111
112 -2 B . .1333311111
113 -1 A . .1333331111
114 0 B . .1333333111
115 1 A . .1333333311
116 2 B . .1333333331
117 3 A . .13333333330
118 4 B . .133333333310
119 3 A . .133333333312
120 4 B . .133333333332
121 3 B . .133333333334
122 4 A . .133333333324
123 3 B . .133333333323
124 2 B . .133333333343
125 3 A . .133333333243
126 2 B . .133333333233
127 1 B . .133333333433
128 2 A . .133333332433
129 1 B . .133333332333
130 0 B . .133333334333
131 1 A . .133333324333
132 0 B . .133333323333
133 -1 B . .133333343333
134 0 A . .133333243333
135 -1 B . .133333233333
136 -2 B . .133333433333
137 -1 A . .133332433333
138 -2 B . .133332333333
139 -3 B . .133334333333
140 -2 A . .133324333333
141 -3 B . .133323333333
142 -4 B . .133343333333
143 -3 A . .133243333333
144 -4 B . .133233333333
145 -5 B . .133433333333
146 -4 A . .132433333333
147 -5 B . .132333333333
148 -6 B . .134333333333
149 -5 A . .124333333333
150 -6 B . .123333333333
151 -7 B . .143333333333
152 -6 A . .343333333333
153 -7 B . .333333333333
154 -6 A . .233333333333
155 -7 A . .213333333333
156 -6 B . .313333333333
157 -5 A . .333333333333
+ 160 -8 A . 0111333333333 by A/3 * 3
161 -7 B . 1111333333333
162 -6 A . 1311333333333
163 -5 B . 1331333333333
164 -4 A . 1333333333333
+ 168 -8 A . 1111133333333 by A/3 * 4
169 -7 B . 3111133333333
170 -6 A . 3311133333333
171 -5 B . 3331133333333
172 -4 A . 3333133333333
173 -3 B . 3333333333333
174 -2 A . 3333323333333
175 -3 A . 3333321333333
176 -2 B . 3333331333333
177 -1 A . 3333333333333
+ 185 -9 A .01111111133333 by A/3 * 8
186 -8 B .11111111133333
187 -7 A .13111111133333
188 -6 B .13311111133333
189 -5 A .13331111133333
190 -4 B .13333111133333
191 -3 A .13333311133333
192 -2 B .13333331133333
193 -1 A .13333333133333
194 0 B .13333333333333
195 1 A .13333333323333
196 0 A .13333333321333
197 1 B .13333333331333
198 2 A .13333333333333
+ 209 -9 A .11111111111133 by A/3 * 11
210 -8 B .31111111111133
211 -7 A .33111111111133
212 -6 B .33311111111133
213 -5 A .33331111111133
214 -4 B .33333111111133
215 -3 A .33333311111133
216 -2 B .33333331111133
217 -1 A .33333333111133
218 0 B .33333333311133
219 1 A .33333333331133
220 2 B .33333333333133
221 3 A .33333333333333
+ 234 -10 A 011111111111113 by A/3 * 13
235 -9 B 111111111111113
236 -8 A 131111111111113
237 -7 B 133111111111113
238 -6 A 133311111111113
239 -5 B 133331111111113
240 -4 A 133333111111113
241 -3 B 133333311111113
242 -2 A 133333331111113
243 -1 B 133333333111113
244 0 A 133333333311113
245 1 B 133333333331113
246 2 A 133333333333113
247 3 B 133333333333313
248 4 A 133333333333333
+ 262 -10 A 111111111111111 by A/3 * 14
263 -9 B 311111111111111
264 -8 A 331111111111111
265 -7 B 333111111111111
266 -6 A 333311111111111
267 -5 B 333331111111111
268 -4 A 333333111111111
269 -3 B 333333311111111
270 -2 A 333333331111111
After 270 steps (201 lines): state = A.
Produced 15 nonzeros.
Tape index -2, 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 | 169 | 10 | 41 | 8 | 89 | 21 | 0 | 2 | 14 | 13 | 5 |
| B | 101 | 5 | 51 | 21 | 24 | 1 | 10 | 3 | 4 | ||