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.
Simulation is done with repetitions reduced.
The same TM 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 St Tape contents
0 0 A . . . . . . . . . . . . . . . . . . . . . . . . . . 0
1 1 B . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 0 C . . . . . . . . . . . . . . . . . . . . . . . . . . 11
+ 4 2 C . . . . . . . . . . . . . . . . . . . . . . . . . . 220 by C/1 * 2
5 1 A . . . . . . . . . . . . . . . . . . . . . . . . . . 221
6 0 C . . . . . . . . . . . . . . . . . . . . . . . . . . 221
7 -1 A . . . . . . . . . . . . . . . . . . . . . . . . . .0221
8 0 B . . . . . . . . . . . . . . . . . . . . . . . . . .1221
9 -1 B . . . . . . . . . . . . . . . . . . . . . . . . . .1121
+ 11 1 B . . . . . . . . . . . . . . . . . . . . . . . . . .2221 by B/1 * 2
+ 14 -2 B . . . . . . . . . . . . . . . . . . . . . . . . . 01111 by B/2 * 3
15 -3 C . . . . . . . . . . . . . . . . . . . . . . . . .011111
16 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 0111111
17 -3 B . . . . . . . . . . . . . . . . . . . . . . . . 1111111
+ 23 3 B . . . . . . . . . . . . . . . . . . . . . . . . 12222220 by B/1 * 6
24 2 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
25 1 A . . . . . . . . . . . . . . . . . . . . . . . . 12222221
26 0 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
27 -1 A . . . . . . . . . . . . . . . . . . . . . . . . 12222221
28 -2 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
29 -3 A . . . . . . . . . . . . . . . . . . . . . . . . 12222221
30 -4 C . . . . . . . . . . . . . . . . . . . . . . . . 12222221
31 -3 C . . . . . . . . . . . . . . . . . . . . . . . . 22222221
32 -4 A . . . . . . . . . . . . . . . . . . . . . . . . 22222221
33 -5 C . . . . . . . . . . . . . . . . . . . . . . . .022222221
34 -6 A . . . . . . . . . . . . . . . . . . . . . . . 0122222221
35 -5 B . . . . . . . . . . . . . . . . . . . . . . . 1122222221
36 -4 B . . . . . . . . . . . . . . . . . . . . . . . 1222222221
+ 38 -6 B . . . . . . . . . . . . . . . . . . . . . . . 1112222221 by B/2 * 2
+ 41 -3 B . . . . . . . . . . . . . . . . . . . . . . . 2222222221 by B/1 * 3
+ 45 -7 B . . . . . . . . . . . . . . . . . . . . . . .01111222221 by B/2 * 4
46 -8 C . . . . . . . . . . . . . . . . . . . . . . 011111222221
47 -9 A . . . . . . . . . . . . . . . . . . . . . .0111111222221
48 -8 B . . . . . . . . . . . . . . . . . . . . . .1111111222221
+ 54 -2 B . . . . . . . . . . . . . . . . . . . . . .1222222222221 by B/1 * 6
+ 61 -9 B . . . . . . . . . . . . . . . . . . . . . .1111111122221 by B/2 * 7
+ 69 -1 B . . . . . . . . . . . . . . . . . . . . . .2222222222221 by B/1 * 8
+ 78 -10 B . . . . . . . . . . . . . . . . . . . . . 01111111112221 by B/2 * 9
79 -11 C . . . . . . . . . . . . . . . . . . . . .011111111112221
80 -12 A . . . . . . . . . . . . . . . . . . . . 0111111111112221
81 -11 B . . . . . . . . . . . . . . . . . . . . 1111111111112221
+ 92 0 B . . . . . . . . . . . . . . . . . . . . 1222222222222221 by B/1 * 11
+ 104 -12 B . . . . . . . . . . . . . . . . . . . . 1111111111111221 by B/2 * 12
+ 117 1 B . . . . . . . . . . . . . . . . . . . . 2222222222222221 by B/1 * 13
+ 131 -13 B . . . . . . . . . . . . . . . . . . . .01111111111111121 by B/2 * 14
132 -14 C . . . . . . . . . . . . . . . . . . . 011111111111111121
133 -15 A . . . . . . . . . . . . . . . . . . .0111111111111111121
134 -14 B . . . . . . . . . . . . . . . . . . .1111111111111111121
+ 150 2 B . . . . . . . . . . . . . . . . . . .1222222222222222221 by B/1 * 16
+ 167 -15 B . . . . . . . . . . . . . . . . . . .1111111111111111111 by B/2 * 17
+ 186 4 B . . . . . . . . . . . . . . . . . . .22222222222222222220 by B/1 * 19
187 3 C . . . . . . . . . . . . . . . . . . .22222222222222222221
188 2 A . . . . . . . . . . . . . . . . . . .22222222222222222221
189 1 C . . . . . . . . . . . . . . . . . . .22222222222222222221
190 0 A . . . . . . . . . . . . . . . . . . .22222222222222222221
191 -1 C . . . . . . . . . . . . . . . . . . .22222222222222222221
192 -2 A . . . . . . . . . . . . . . . . . . .22222222222222222221
193 -3 C . . . . . . . . . . . . . . . . . . .22222222222222222221
194 -4 A . . . . . . . . . . . . . . . . . . .22222222222222222221
195 -5 C . . . . . . . . . . . . . . . . . . .22222222222222222221
196 -6 A . . . . . . . . . . . . . . . . . . .22222222222222222221
197 -7 C . . . . . . . . . . . . . . . . . . .22222222222222222221
198 -8 A . . . . . . . . . . . . . . . . . . .22222222222222222221
199 -9 C . . . . . . . . . . . . . . . . . . .22222222222222222221
200 -10 A . . . . . . . . . . . . . . . . . . .22222222222222222221
201 -11 C . . . . . . . . . . . . . . . . . . .22222222222222222221
202 -12 A . . . . . . . . . . . . . . . . . . .22222222222222222221
203 -13 C . . . . . . . . . . . . . . . . . . .22222222222222222221
204 -14 A . . . . . . . . . . . . . . . . . . .22222222222222222221
205 -15 C . . . . . . . . . . . . . . . . . . .22222222222222222221
206 -16 A . . . . . . . . . . . . . . . . . . 022222222222222222221
207 -15 B . . . . . . . . . . . . . . . . . . 122222222222222222221
208 -16 B . . . . . . . . . . . . . . . . . . 112222222222222222221
+ 210 -14 B . . . . . . . . . . . . . . . . . . 222222222222222222221 by B/1 * 2
+ 213 -17 B . . . . . . . . . . . . . . . . . .0111222222222222222221 by B/2 * 3
214 -18 C . . . . . . . . . . . . . . . . . 01111222222222222222221
215 -19 A . . . . . . . . . . . . . . . . .011111222222222222222221
216 -18 B . . . . . . . . . . . . . . . . .111111222222222222222221
+ 221 -13 B . . . . . . . . . . . . . . . . .122222222222222222222221 by B/1 * 5
+ 227 -19 B . . . . . . . . . . . . . . . . .111111122222222222222221 by B/2 * 6
+ 234 -12 B . . . . . . . . . . . . . . . . .222222222222222222222221 by B/1 * 7
+ 242 -20 B . . . . . . . . . . . . . . . . 0111111112222222222222221 by B/2 * 8
243 -21 C . . . . . . . . . . . . . . . .01111111112222222222222221
244 -22 A . . . . . . . . . . . . . . . 011111111112222222222222221
245 -21 B . . . . . . . . . . . . . . . 111111111112222222222222221
+ 255 -11 B . . . . . . . . . . . . . . . 122222222222222222222222221 by B/1 * 10
+ 266 -22 B . . . . . . . . . . . . . . . 111111111111222222222222221 by B/2 * 11
+ 278 -10 B . . . . . . . . . . . . . . . 222222222222222222222222221 by B/1 * 12
+ 291 -23 B . . . . . . . . . . . . . . .0111111111111122222222222221 by B/2 * 13
292 -24 C . . . . . . . . . . . . . . 01111111111111122222222222221
293 -25 A . . . . . . . . . . . . . .011111111111111122222222222221
294 -24 B . . . . . . . . . . . . . .111111111111111122222222222221
+ 309 -9 B . . . . . . . . . . . . . .122222222222222222222222222221 by B/1 * 15
+ 325 -25 B . . . . . . . . . . . . . .111111111111111112222222222221 by B/2 * 16
+ 342 -8 B . . . . . . . . . . . . . .222222222222222222222222222221 by B/1 * 17
+ 360 -26 B . . . . . . . . . . . . . 0111111111111111111222222222221 by B/2 * 18
361 -27 C . . . . . . . . . . . . .01111111111111111111222222222221
362 -28 A . . . . . . . . . . . . 011111111111111111111222222222221
363 -27 B . . . . . . . . . . . . 111111111111111111111222222222221
+ 383 -7 B . . . . . . . . . . . . 122222222222222222222222222222221 by B/1 * 20
+ 404 -28 B . . . . . . . . . . . . 111111111111111111111122222222221 by B/2 * 21
+ 426 -6 B . . . . . . . . . . . . 222222222222222222222222222222221 by B/1 * 22
+ 449 -29 B . . . . . . . . . . . .0111111111111111111111112222222221 by B/2 * 23
450 -30 C . . . . . . . . . . . 01111111111111111111111112222222221
451 -31 A . . . . . . . . . . .011111111111111111111111112222222221
452 -30 B . . . . . . . . . . .111111111111111111111111112222222221
+ 477 -5 B . . . . . . . . . . .122222222222222222222222222222222221 by B/1 * 25
+ 503 -31 B . . . . . . . . . . .111111111111111111111111111222222221 by B/2 * 26
+ 530 -4 B . . . . . . . . . . .222222222222222222222222222222222221 by B/1 * 27
+ 558 -32 B . . . . . . . . . . 0111111111111111111111111111122222221 by B/2 * 28
559 -33 C . . . . . . . . . .01111111111111111111111111111122222221
560 -34 A . . . . . . . . . 011111111111111111111111111111122222221
561 -33 B . . . . . . . . . 111111111111111111111111111111122222221
+ 591 -3 B . . . . . . . . . 122222222222222222222222222222222222221 by B/1 * 30
+ 622 -34 B . . . . . . . . . 111111111111111111111111111111112222221 by B/2 * 31
+ 654 -2 B . . . . . . . . . 222222222222222222222222222222222222221 by B/1 * 32
+ 687 -35 B . . . . . . . . .0111111111111111111111111111111111222221 by B/2 * 33
688 -36 C . . . . . . . . 01111111111111111111111111111111111222221
689 -37 A . . . . . . . .011111111111111111111111111111111111222221
690 -36 B . . . . . . . .111111111111111111111111111111111111222221
+ 725 -1 B . . . . . . . .122222222222222222222222222222222222222221 by B/1 * 35
+ 761 -37 B . . . . . . . .111111111111111111111111111111111111122221 by B/2 * 36
+ 798 0 B . . . . . . . .222222222222222222222222222222222222222221 by B/1 * 37
+ 836 -38 B . . . . . . . 0111111111111111111111111111111111111112221 by B/2 * 38
837 -39 C . . . . . . .01111111111111111111111111111111111111112221
838 -40 A . . . . . . 011111111111111111111111111111111111111112221
839 -39 B . . . . . . 111111111111111111111111111111111111111112221
+ 879 1 B . . . . . . 122222222222222222222222222222222222222222221 by B/1 * 40
+ 920 -40 B . . . . . . 111111111111111111111111111111111111111111221 by B/2 * 41
+ 962 2 B . . . . . . 222222222222222222222222222222222222222222221 by B/1 * 42
+ 1005 -41 B . . . . . .0111111111111111111111111111111111111111111121 by B/2 * 43
1006 -42 C . . . . . 01111111111111111111111111111111111111111111121
1007 -43 A . . . . .011111111111111111111111111111111111111111111121
1008 -42 B . . . . .111111111111111111111111111111111111111111111121
+ 1053 3 B . . . . .122222222222222222222222222222222222222222222221 by B/1 * 45
+ 1099 -43 B . . . . .111111111111111111111111111111111111111111111111 by B/2 * 46
+ 1147 5 B . . . . .2222222222222222222222222222222222222222222222220 by B/1 * 48
1148 4 C . . . . .2222222222222222222222222222222222222222222222221
1149 3 A . . . . .2222222222222222222222222222222222222222222222221
1150 2 C . . . . .2222222222222222222222222222222222222222222222221
1151 1 A . . . . .2222222222222222222222222222222222222222222222221
1152 0 C . . . . .2222222222222222222222222222222222222222222222221
1153 -1 A . . . . .2222222222222222222222222222222222222222222222221
1154 -2 C . . . . .2222222222222222222222222222222222222222222222221
1155 -3 A . . . . .2222222222222222222222222222222222222222222222221
1156 -4 C . . . . .2222222222222222222222222222222222222222222222221
1157 -5 A . . . . .2222222222222222222222222222222222222222222222221
1158 -6 C . . . . .2222222222222222222222222222222222222222222222221
1159 -7 A . . . . .2222222222222222222222222222222222222222222222221
1160 -8 C . . . . .2222222222222222222222222222222222222222222222221
1161 -9 A . . . . .2222222222222222222222222222222222222222222222221
1162 -10 C . . . . .2222222222222222222222222222222222222222222222221
1163 -11 A . . . . .2222222222222222222222222222222222222222222222221
1164 -12 C . . . . .2222222222222222222222222222222222222222222222221
1165 -13 A . . . . .2222222222222222222222222222222222222222222222221
1166 -14 C . . . . .2222222222222222222222222222222222222222222222221
1167 -15 A . . . . .2222222222222222222222222222222222222222222222221
1168 -16 C . . . . .2222222222222222222222222222222222222222222222221
1169 -17 A . . . . .2222222222222222222222222222222222222222222222221
1170 -18 C . . . . .2222222222222222222222222222222222222222222222221
1171 -19 A . . . . .2222222222222222222222222222222222222222222222221
1172 -20 C . . . . .2222222222222222222222222222222222222222222222221
1173 -21 A . . . . .2222222222222222222222222222222222222222222222221
1174 -22 C . . . . .2222222222222222222222222222222222222222222222221
1175 -23 A . . . . .2222222222222222222222222222222222222222222222221
1176 -24 C . . . . .2222222222222222222222222222222222222222222222221
1177 -25 A . . . . .2222222222222222222222222222222222222222222222221
1178 -26 C . . . . .2222222222222222222222222222222222222222222222221
1179 -27 A . . . . .2222222222222222222222222222222222222222222222221
1180 -28 C . . . . .2222222222222222222222222222222222222222222222221
1181 -29 A . . . . .2222222222222222222222222222222222222222222222221
1182 -30 C . . . . .2222222222222222222222222222222222222222222222221
1183 -31 A . . . . .2222222222222222222222222222222222222222222222221
1184 -32 C . . . . .2222222222222222222222222222222222222222222222221
1185 -33 A . . . . .2222222222222222222222222222222222222222222222221
1186 -34 C . . . . .2222222222222222222222222222222222222222222222221
1187 -35 A . . . . .2222222222222222222222222222222222222222222222221
1188 -36 C . . . . .2222222222222222222222222222222222222222222222221
1189 -37 A . . . . .2222222222222222222222222222222222222222222222221
1190 -38 C . . . . .2222222222222222222222222222222222222222222222221
1191 -39 A . . . . .2222222222222222222222222222222222222222222222221
1192 -40 C . . . . .2222222222222222222222222222222222222222222222221
1193 -41 A . . . . .2222222222222222222222222222222222222222222222221
1194 -42 C . . . . .2222222222222222222222222222222222222222222222221
1195 -43 A . . . . .2222222222222222222222222222222222222222222222221
1196 -44 C . . . . 02222222222222222222222222222222222222222222222221
1197 -45 A . . . .012222222222222222222222222222222222222222222222221
1198 -44 B . . . .112222222222222222222222222222222222222222222222221
1199 -43 B . . . .122222222222222222222222222222222222222222222222221
+ 1201 -45 B . . . .111222222222222222222222222222222222222222222222221 by B/2 * 2
+ 1204 -42 B . . . .222222222222222222222222222222222222222222222222221 by B/1 * 3
+ 1208 -46 B . . . 0111122222222222222222222222222222222222222222222221 by B/2 * 4
1209 -47 C . . .01111122222222222222222222222222222222222222222222221
1210 -48 A . . 011111122222222222222222222222222222222222222222222221
1211 -47 B . . 111111122222222222222222222222222222222222222222222221
+ 1217 -41 B . . 122222222222222222222222222222222222222222222222222221 by B/1 * 6
+ 1224 -48 B . . 111111112222222222222222222222222222222222222222222221 by B/2 * 7
+ 1232 -40 B . . 222222222222222222222222222222222222222222222222222221 by B/1 * 8
+ 1241 -49 B . .0111111111222222222222222222222222222222222222222222221 by B/2 * 9
1242 -50 C . 01111111111222222222222222222222222222222222222222222221
1243 -51 A .011111111111222222222222222222222222222222222222222222221
After 1243 steps (201 lines): state = A.
Produced 56 nonzeros.
Tape index -51, scanned [-50 .. 5].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 57 | 19 | 38 | 0 | 5 | ||
| B | 1126 | 19 | 574 | 533 | 1 | 9 | 8 |
| C | 60 | 18 | 3 | 39 | 4 | 2 | 6 |