Comment: This TM produces >2.5x10^4561 nonzeros in >3.9x10^9122 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 | 2LD | 1RH | 1 | right | B | 2 | left | D | 1 | right | H |
| B | 2LC | 2RC | 2RB | 2 | left | C | 2 | right | C | 2 | right | B |
| C | 1LD | 0RC | 1RC | 1 | left | D | 0 | right | C | 1 | right | C |
| D | 2LA | 2LD | 0LB | 2 | left | A | 2 | left | D | 0 | left | B |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 1-bck-macro machine.
The same TM as 1-bck-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 10
2 0 C . . . . . 12
3 1 C . . . . . 02
4 2 C . . . . . 010
5 1 D . . . . . 011
6 0 D . . . . . 021
7 -1 A . . . . .0221
8 0 B . . . . .1221
+ 10 2 B . . . . .1221 by B/2 * 2
11 3 C . . . . .12220
12 2 D . . . . .12221
13 1 B . . . . .12201
14 2 B . . . . .12201
15 1 C . . . . .12221
+ 17 3 C . . . . .12111 by C/2 * 2
18 4 C . . . . .121100
19 3 D . . . . .121101
20 2 A . . . . .121121
21 1 D . . . . .121221
22 0 D . . . . .122221
23 -1 B . . . . .102221
24 0 C . . . . .202221
25 -1 D . . . . .212221
26 -2 B . . . . 0012221
27 -3 C . . . .02012221
28 -4 D . . . 012012221
29 -5 A . . .0212012221
30 -4 B . . .1212012221
31 -3 B . . .1212012221
32 -2 C . . .1222012221
33 -1 C . . .1221012221
34 -2 D . . .1221112221
35 -3 D . . .1222112221
36 -4 B . . .1202112221
37 -3 B . . .1202112221
38 -4 C . . .1222112221
+ 41 -1 C . . .1111112221 by C/2 * 3
+ 43 1 C . . .1111002221 by C/1 * 2
+ 46 4 C . . .1111001111 by C/2 * 3
47 5 C . . .11110011100
48 4 D . . .11110011101
49 3 A . . .11110011121
50 2 D . . .11110011221
+ 52 0 D . . .11110022221 by D/1 * 2
53 -1 A . . .11110222221
54 0 B . . .11111222221
+ 59 5 B . . .11111222221 by B/2 * 5
60 6 C . . .111112222220
61 5 D . . .111112222221
62 4 B . . .111112222201
63 5 B . . .111112222201
64 4 C . . .111112222221
+ 66 6 C . . .111112222111 by C/2 * 2
67 7 C . . .1111122221100
68 6 D . . .1111122221101
69 5 A . . .1111122221121
70 4 D . . .1111122221221
71 3 D . . .1111122222221
72 2 B . . .1111122202221
73 3 B . . .1111122202221
74 2 C . . .1111122222221
+ 79 7 C . . .1111122111111 by C/2 * 5
80 8 C . . .11111221111100
81 7 D . . .11111221111101
82 6 A . . .11111221111121
83 5 D . . .11111221111221
+ 87 1 D . . .11111222222221 by D/1 * 4
88 0 B . . .11111202222221
89 1 B . . .11111202222221
90 0 C . . .11111222222221
+ 98 8 C . . .11111111111111 by C/2 * 8
99 9 C . . .111111111111100
100 8 D . . .111111111111101
101 7 A . . .111111111111121
102 6 D . . .111111111111221
+ 114 -6 D . . 0222222222222221 by D/1 * 12
115 -7 A . .02222222222222221
116 -6 B . .12222222222222221
+ 131 9 B . .12222222222222221 by B/2 * 15
132 10 C . .122222222222222220
133 9 D . .122222222222222221
134 8 B . .122222222222222201
135 9 B . .122222222222222201
136 8 C . .122222222222222221
+ 138 10 C . .122222222222222111 by C/2 * 2
139 11 C . .1222222222222221100
140 10 D . .1222222222222221101
141 9 A . .1222222222222221121
142 8 D . .1222222222222221221
143 7 D . .1222222222222222221
144 6 B . .1222222222222202221
145 7 B . .1222222222222202221
146 6 C . .1222222222222222221
+ 151 11 C . .1222222222222111111 by C/2 * 5
152 12 C . .12222222222221111100
153 11 D . .12222222222221111101
154 10 A . .12222222222221111121
155 9 D . .12222222222221111221
+ 159 5 D . .12222222222222222221 by D/1 * 4
160 4 B . .12222222222202222221
161 5 B . .12222222222202222221
162 4 C . .12222222222222222221
+ 170 12 C . .12222222222111111111 by C/2 * 8
171 13 C . .122222222221111111100
172 12 D . .122222222221111111101
173 11 A . .122222222221111111121
174 10 D . .122222222221111111221
+ 181 3 D . .122222222222222222221 by D/1 * 7
182 2 B . .122222222202222222221
183 3 B . .122222222202222222221
184 2 C . .122222222222222222221
+ 195 13 C . .122222222111111111111 by C/2 * 11
196 14 C . .1222222221111111111100
197 13 D . .1222222221111111111101
198 12 A . .1222222221111111111121
199 11 D . .1222222221111111111221
+ 209 1 D . .1222222222222222222221 by D/1 * 10
210 0 B . .1222222202222222222221
211 1 B . .1222222202222222222221
212 0 C . .1222222222222222222221
+ 226 14 C . .1222222111111111111111 by C/2 * 14
227 15 C . .12222221111111111111100
228 14 D . .12222221111111111111101
229 13 A . .12222221111111111111121
230 12 D . .12222221111111111111221
+ 243 -1 D . .12222222222222222222221 by D/1 * 13
244 -2 B . .12222202222222222222221
245 -1 B . .12222202222222222222221
246 -2 C . .12222222222222222222221
+ 263 15 C . .12222111111111111111111 by C/2 * 17
264 16 C . .122221111111111111111100
265 15 D . .122221111111111111111101
266 14 A . .122221111111111111111121
267 13 D . .122221111111111111111221
+ 283 -3 D . .122222222222222222222221 by D/1 * 16
284 -4 B . .122202222222222222222221
285 -3 B . .122202222222222222222221
286 -4 C . .122222222222222222222221
+ 306 16 C . .122111111111111111111111 by C/2 * 20
307 17 C . .1221111111111111111111100
308 16 D . .1221111111111111111111101
309 15 A . .1221111111111111111111121
310 14 D . .1221111111111111111111221
+ 329 -5 D . .1222222222222222222222221 by D/1 * 19
330 -6 B . .1202222222222222222222221
331 -5 B . .1202222222222222222222221
332 -6 C . .1222222222222222222222221
+ 355 17 C . .1111111111111111111111111 by C/2 * 23
356 18 C . .11111111111111111111111100
357 17 D . .11111111111111111111111101
358 16 A . .11111111111111111111111121
359 15 D . .11111111111111111111111221
+ 382 -8 D . 022222222222222222222222221 by D/1 * 23
383 -9 A .0222222222222222222222222221
384 -8 B .1222222222222222222222222221
+ 410 18 B .1222222222222222222222222221 by B/2 * 26
411 19 C .12222222222222222222222222220
412 18 D .12222222222222222222222222221
413 17 B .12222222222222222222222222201
414 18 B .12222222222222222222222222201
415 17 C .12222222222222222222222222221
+ 417 19 C .12222222222222222222222222111 by C/2 * 2
418 20 C .122222222222222222222222221100
419 19 D .122222222222222222222222221101
420 18 A .122222222222222222222222221121
421 17 D .122222222222222222222222221221
422 16 D .122222222222222222222222222221
423 15 B .122222222222222222222222202221
424 16 B .122222222222222222222222202221
425 15 C .122222222222222222222222222221
+ 430 20 C .122222222222222222222222111111 by C/2 * 5
431 21 C .1222222222222222222222221111100
432 20 D .1222222222222222222222221111101
433 19 A .1222222222222222222222221111121
434 18 D .1222222222222222222222221111221
+ 438 14 D .1222222222222222222222222222221 by D/1 * 4
439 13 B .1222222222222222222222202222221
440 14 B .1222222222222222222222202222221
441 13 C .1222222222222222222222222222221
+ 449 21 C .1222222222222222222222111111111 by C/2 * 8
450 22 C .12222222222222222222221111111100
451 21 D .12222222222222222222221111111101
452 20 A .12222222222222222222221111111121
453 19 D .12222222222222222222221111111221
+ 460 12 D .12222222222222222222222222222221 by D/1 * 7
461 11 B .12222222222222222222202222222221
462 12 B .12222222222222222222202222222221
463 11 C .12222222222222222222222222222221
+ 474 22 C .12222222222222222222111111111111 by C/2 * 11
475 23 C .122222222222222222221111111111100
476 22 D .122222222222222222221111111111101
477 21 A .122222222222222222221111111111121
478 20 D .122222222222222222221111111111221
+ 488 10 D .122222222222222222222222222222221 by D/1 * 10
489 9 B .122222222222222222202222222222221
490 10 B .122222222222222222202222222222221
491 9 C .122222222222222222222222222222221
+ 505 23 C .122222222222222222111111111111111 by C/2 * 14
506 24 C .1222222222222222221111111111111100
507 23 D .1222222222222222221111111111111101
After 507 steps (201 lines): state = D.
Produced 33 nonzeros.
Tape index 23, scanned [-9 .. 24].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 23 | 6 | 17 | 0 | 20 | ||
| B | 93 | 20 | 6 | 67 | 1 | 10 | 8 |
| C | 212 | 26 | 21 | 165 | 4 | 2 | 3 |
| D | 179 | 22 | 137 | 20 | 6 | 5 | 12 |