Comment: This TM produces 2,950,149 nonzeros in 4,144,465,135,614 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 | Z2L | C2L | 1 | right | B | 2 | left | Z | 2 | left | C |
| B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
| C | A1L | C2R | A2L | 1 | left | A | 2 | right | C | 2 | 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 0 1 <C 1
3 1 2 C> 1
4 2 2 2 C>
5 1 2 2 <A 1
6 0 2 <C 2 1
7 -1 <A 2 2 1
8 0 1 B> 2 2 1
9 -1 1 <B 1 2 1
10 0 2 B> 1 2 1
11 1 2 2 B> 2 1
12 0 2 2 <B 1 1
+ 14 -2 <B 14
15 -3 <C 15
16 -4 <A 16
17 -3 1 B> 16
+ 23 3 1 26 B>
24 2 1 26 <C 1
25 1 1 25 <A 2 1
26 0 1 24 <C 2 2 1
27 -1 1 23 <A 23 1
28 -2 1 2 2 <C 24 1
29 -3 1 2 <A 25 1
30 -4 1 <C 26 1
31 -3 2 C> 26 1
32 -4 2 <A 26 1
33 -5 <C 27 1
34 -6 <A 1 27 1
35 -5 1 B> 1 27 1
36 -4 1 2 B> 27 1
37 -5 1 2 <B 1 26 1
38 -6 1 <B 1 1 26 1
39 -5 2 B> 1 1 26 1
+ 41 -3 23 B> 26 1
42 -4 23 <B 1 25 1
+ 45 -7 <B 14 25 1
46 -8 <C 15 25 1
47 -9 <A 16 25 1
48 -8 1 B> 16 25 1
+ 54 -2 1 26 B> 25 1
55 -3 1 26 <B 1 24 1
+ 61 -9 1 <B 17 24 1
62 -8 2 B> 17 24 1
+ 69 -1 28 B> 24 1
70 -2 28 <B 1 23 1
+ 78 -10 <B 19 23 1
79 -11 <C 110 23 1
80 -12 <A 111 23 1
81 -11 1 B> 111 23 1
+ 92 0 1 211 B> 23 1
93 -1 1 211 <B 1 2 2 1
+ 104 -12 1 <B 112 2 2 1
105 -11 2 B> 112 2 2 1
+ 117 1 213 B> 2 2 1
118 0 213 <B 1 2 1
+ 131 -13 <B 114 2 1
132 -14 <C 115 2 1
133 -15 <A 116 2 1
134 -14 1 B> 116 2 1
+ 150 2 1 216 B> 2 1
151 1 1 216 <B 1 1
+ 167 -15 1 <B 118
168 -14 2 B> 118
+ 186 4 219 B>
187 3 219 <C 1
188 2 218 <A 2 1
189 1 217 <C 2 2 1
190 0 216 <A 23 1
191 -1 215 <C 24 1
192 -2 214 <A 25 1
193 -3 213 <C 26 1
194 -4 212 <A 27 1
195 -5 211 <C 28 1
196 -6 210 <A 29 1
197 -7 29 <C 210 1
198 -8 28 <A 211 1
199 -9 27 <C 212 1
200 -10 26 <A 213 1
201 -11 25 <C 214 1
202 -12 24 <A 215 1
203 -13 23 <C 216 1
204 -14 2 2 <A 217 1
205 -15 2 <C 218 1
206 -16 <A 219 1
207 -15 1 B> 219 1
208 -16 1 <B 1 218 1
209 -15 2 B> 1 218 1
210 -14 2 2 B> 218 1
211 -15 2 2 <B 1 217 1
+ 213 -17 <B 13 217 1
214 -18 <C 14 217 1
215 -19 <A 15 217 1
216 -18 1 B> 15 217 1
+ 221 -13 1 25 B> 217 1
222 -14 1 25 <B 1 216 1
+ 227 -19 1 <B 16 216 1
228 -18 2 B> 16 216 1
+ 234 -12 27 B> 216 1
235 -13 27 <B 1 215 1
+ 242 -20 <B 18 215 1
243 -21 <C 19 215 1
244 -22 <A 110 215 1
245 -21 1 B> 110 215 1
+ 255 -11 1 210 B> 215 1
256 -12 1 210 <B 1 214 1
+ 266 -22 1 <B 111 214 1
267 -21 2 B> 111 214 1
+ 278 -10 212 B> 214 1
279 -11 212 <B 1 213 1
+ 291 -23 <B 113 213 1
292 -24 <C 114 213 1
293 -25 <A 115 213 1
294 -24 1 B> 115 213 1
+ 309 -9 1 215 B> 213 1
310 -10 1 215 <B 1 212 1
+ 325 -25 1 <B 116 212 1
326 -24 2 B> 116 212 1
+ 342 -8 217 B> 212 1
343 -9 217 <B 1 211 1
+ 360 -26 <B 118 211 1
361 -27 <C 119 211 1
362 -28 <A 120 211 1
363 -27 1 B> 120 211 1
+ 383 -7 1 220 B> 211 1
384 -8 1 220 <B 1 210 1
+ 404 -28 1 <B 121 210 1
405 -27 2 B> 121 210 1
+ 426 -6 222 B> 210 1
427 -7 222 <B 1 29 1
+ 449 -29 <B 123 29 1
450 -30 <C 124 29 1
451 -31 <A 125 29 1
452 -30 1 B> 125 29 1
+ 477 -5 1 225 B> 29 1
478 -6 1 225 <B 1 28 1
+ 503 -31 1 <B 126 28 1
504 -30 2 B> 126 28 1
+ 530 -4 227 B> 28 1
531 -5 227 <B 1 27 1
+ 558 -32 <B 128 27 1
559 -33 <C 129 27 1
560 -34 <A 130 27 1
561 -33 1 B> 130 27 1
+ 591 -3 1 230 B> 27 1
592 -4 1 230 <B 1 26 1
+ 622 -34 1 <B 131 26 1
623 -33 2 B> 131 26 1
+ 654 -2 232 B> 26 1
655 -3 232 <B 1 25 1
+ 687 -35 <B 133 25 1
688 -36 <C 134 25 1
689 -37 <A 135 25 1
690 -36 1 B> 135 25 1
+ 725 -1 1 235 B> 25 1
726 -2 1 235 <B 1 24 1
+ 761 -37 1 <B 136 24 1
762 -36 2 B> 136 24 1
+ 798 0 237 B> 24 1
799 -1 237 <B 1 23 1
+ 836 -38 <B 138 23 1
837 -39 <C 139 23 1
838 -40 <A 140 23 1
839 -39 1 B> 140 23 1
+ 879 1 1 240 B> 23 1
880 0 1 240 <B 1 2 2 1
+ 920 -40 1 <B 141 2 2 1
921 -39 2 B> 141 2 2 1
+ 962 2 242 B> 2 2 1
963 1 242 <B 1 2 1
+ 1005 -41 <B 143 2 1
1006 -42 <C 144 2 1
1007 -43 <A 145 2 1
1008 -42 1 B> 145 2 1
+ 1053 3 1 245 B> 2 1
1054 2 1 245 <B 1 1
+ 1099 -43 1 <B 147
1100 -42 2 B> 147
+ 1147 5 248 B>
1148 4 248 <C 1
1149 3 247 <A 2 1
1150 2 246 <C 2 2 1
1151 1 245 <A 23 1
1152 0 244 <C 24 1
1153 -1 243 <A 25 1
1154 -2 242 <C 26 1
1155 -3 241 <A 27 1
1156 -4 240 <C 28 1
1157 -5 239 <A 29 1
1158 -6 238 <C 210 1
1159 -7 237 <A 211 1
1160 -8 236 <C 212 1
1161 -9 235 <A 213 1
1162 -10 234 <C 214 1
1163 -11 233 <A 215 1
1164 -12 232 <C 216 1
1165 -13 231 <A 217 1
1166 -14 230 <C 218 1
1167 -15 229 <A 219 1
1168 -16 228 <C 220 1
1169 -17 227 <A 221 1
After 1169 steps (201 lines): state = A.
Produced 49 nonzeros.
Tape index -17, scanned [-43 .. 5].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 41 | 17 | 24 | 0 | 5 | ||
| B | 1084 | 17 | 556 | 511 | 1 | 9 | 8 |
| C | 44 | 15 | 3 | 26 | 4 | 2 | 6 |