Comment: This TM produces 43'925 nonzeros in 1'808'669'066 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 | A2L | A1R | 1 | right | B | 2 | left | A | 1 | right | A |
| B | B1L | A1L | C2R | 1 | left | B | 1 | left | A | 2 | right | C |
| C | Z1R | C1L | B2R | 1 | right | Z | 1 | left | C | 2 | right | B |
The same TM just simple.
Simulation is done with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.
Step Tpos St Tape contents
0 0 A . . . . . 0
1 1 B . . . . . 10
2 0 B . . . . . 11
3 -1 A . . . . .011
4 0 B . . . . .111
5 -1 A . . . . .111
6 -2 A . . . . 0211
7 -1 B . . . . 1211
8 0 C . . . . 1211
9 -1 C . . . . 1211
10 0 B . . . . 1211
11 -1 A . . . . 1211
12 0 A . . . . 1111
+ 15 -3 A . . . .02221 by A/1 * 3
16 -2 B . . . .12221
17 -1 C . . . .12221
18 0 B . . . .12221
19 1 C . . . .12221
20 0 C . . . .12221
21 1 B . . . .12221
22 0 A . . . .12221
23 1 A . . . .12211
+ 25 -1 A . . . .12222 by A/1 * 2
+ 28 2 A . . . .121110 by A/2 * 3
29 3 B . . . .1211110
30 2 B . . . .1211111
31 1 A . . . .1211111
+ 34 -2 A . . . .1222211 by A/1 * 3
+ 38 2 A . . . .1111111 by A/2 * 4
+ 44 -4 A . . . 02222221 by A/1 * 6
45 -3 B . . . 12222221
46 -2 C . . . 12222221
47 -1 B . . . 12222221
48 0 C . . . 12222221
49 1 B . . . 12222221
50 2 C . . . 12222221
51 3 B . . . 12222221
52 2 A . . . 12222221
53 3 A . . . 12222211
+ 55 1 A . . . 12222222 by A/1 * 2
+ 58 4 A . . . 122221110 by A/2 * 3
59 5 B . . . 1222211110
60 4 B . . . 1222211111
61 3 A . . . 1222211111
+ 64 0 A . . . 1222222211 by A/1 * 3
+ 68 4 A . . . 1222111111 by A/2 * 4
+ 73 -1 A . . . 1222222221 by A/1 * 5
+ 79 5 A . . . 1221111111 by A/2 * 6
+ 86 -2 A . . . 1222222222 by A/1 * 7
+ 94 6 A . . . 12111111110 by A/2 * 8
95 7 B . . . 121111111110
96 6 B . . . 121111111111
97 5 A . . . 121111111111
+ 105 -3 A . . . 122222222211 by A/1 * 8
+ 114 6 A . . . 111111111111 by A/2 * 9
+ 125 -5 A . . .0222222222221 by A/1 * 11
126 -4 B . . .1222222222221
127 -3 C . . .1222222222221
128 -2 B . . .1222222222221
129 -1 C . . .1222222222221
130 0 B . . .1222222222221
131 1 C . . .1222222222221
132 2 B . . .1222222222221
133 3 C . . .1222222222221
134 4 B . . .1222222222221
135 5 C . . .1222222222221
136 6 B . . .1222222222221
137 7 C . . .1222222222221
138 6 C . . .1222222222221
139 7 B . . .1222222222221
140 6 A . . .1222222222221
141 7 A . . .1222222222211
+ 143 5 A . . .1222222222222 by A/1 * 2
+ 146 8 A . . .12222222221110 by A/2 * 3
147 9 B . . .122222222211110
148 8 B . . .122222222211111
149 7 A . . .122222222211111
+ 152 4 A . . .122222222222211 by A/1 * 3
+ 156 8 A . . .122222222111111 by A/2 * 4
+ 161 3 A . . .122222222222221 by A/1 * 5
+ 167 9 A . . .122222221111111 by A/2 * 6
+ 174 2 A . . .122222222222222 by A/1 * 7
+ 182 10 A . . .1222222111111110 by A/2 * 8
183 11 B . . .12222221111111110
184 10 B . . .12222221111111111
185 9 A . . .12222221111111111
+ 193 1 A . . .12222222222222211 by A/1 * 8
+ 202 10 A . . .12222211111111111 by A/2 * 9
+ 212 0 A . . .12222222222222221 by A/1 * 10
+ 223 11 A . . .12222111111111111 by A/2 * 11
+ 235 -1 A . . .12222222222222222 by A/1 * 12
+ 248 12 A . . .122211111111111110 by A/2 * 13
249 13 B . . .1222111111111111110
250 12 B . . .1222111111111111111
251 11 A . . .1222111111111111111
+ 264 -2 A . . .1222222222222222211 by A/1 * 13
+ 278 12 A . . .1221111111111111111 by A/2 * 14
+ 293 -3 A . . .1222222222222222221 by A/1 * 15
+ 309 13 A . . .1211111111111111111 by A/2 * 16
+ 326 -4 A . . .1222222222222222222 by A/1 * 17
+ 344 14 A . . .11111111111111111110 by A/2 * 18
345 15 B . . .111111111111111111110
346 14 B . . .111111111111111111111
347 13 A . . .111111111111111111111
+ 366 -6 A . . 0222222222222222222211 by A/1 * 19
367 -5 B . . 1222222222222222222211
368 -4 C . . 1222222222222222222211
369 -3 B . . 1222222222222222222211
370 -2 C . . 1222222222222222222211
371 -1 B . . 1222222222222222222211
372 0 C . . 1222222222222222222211
373 1 B . . 1222222222222222222211
374 2 C . . 1222222222222222222211
375 3 B . . 1222222222222222222211
376 4 C . . 1222222222222222222211
377 5 B . . 1222222222222222222211
378 6 C . . 1222222222222222222211
379 7 B . . 1222222222222222222211
380 8 C . . 1222222222222222222211
381 9 B . . 1222222222222222222211
382 10 C . . 1222222222222222222211
383 11 B . . 1222222222222222222211
384 12 C . . 1222222222222222222211
385 13 B . . 1222222222222222222211
386 14 C . . 1222222222222222222211
387 13 C . . 1222222222222222222211
388 14 B . . 1222222222222222222211
389 13 A . . 1222222222222222222211
390 14 A . . 1222222222222222222111
+ 392 12 A . . 1222222222222222222221 by A/1 * 2
+ 395 15 A . . 1222222222222222221111 by A/2 * 3
+ 399 11 A . . 1222222222222222222222 by A/1 * 4
+ 404 16 A . . 12222222222222222111110 by A/2 * 5
405 17 B . . 122222222222222221111110
406 16 B . . 122222222222222221111111
407 15 A . . 122222222222222221111111
+ 412 10 A . . 122222222222222222222211 by A/1 * 5
+ 418 16 A . . 122222222222222211111111 by A/2 * 6
+ 425 9 A . . 122222222222222222222221 by A/1 * 7
+ 433 17 A . . 122222222222222111111111 by A/2 * 8
+ 442 8 A . . 122222222222222222222222 by A/1 * 9
+ 452 18 A . . 1222222222222211111111110 by A/2 * 10
453 19 B . . 12222222222222111111111110
454 18 B . . 12222222222222111111111111
455 17 A . . 12222222222222111111111111
+ 465 7 A . . 12222222222222222222222211 by A/1 * 10
+ 476 18 A . . 12222222222221111111111111 by A/2 * 11
+ 488 6 A . . 12222222222222222222222221 by A/1 * 12
+ 501 19 A . . 12222222222211111111111111 by A/2 * 13
+ 515 5 A . . 12222222222222222222222222 by A/1 * 14
+ 530 20 A . . 122222222221111111111111110 by A/2 * 15
531 21 B . . 1222222222211111111111111110
532 20 B . . 1222222222211111111111111111
533 19 A . . 1222222222211111111111111111
+ 548 4 A . . 1222222222222222222222222211 by A/1 * 15
+ 564 20 A . . 1222222222111111111111111111 by A/2 * 16
+ 581 3 A . . 1222222222222222222222222221 by A/1 * 17
+ 599 21 A . . 1222222221111111111111111111 by A/2 * 18
+ 618 2 A . . 1222222222222222222222222222 by A/1 * 19
+ 638 22 A . . 12222222111111111111111111110 by A/2 * 20
639 23 B . . 122222221111111111111111111110
640 22 B . . 122222221111111111111111111111
641 21 A . . 122222221111111111111111111111
+ 661 1 A . . 122222222222222222222222222211 by A/1 * 20
+ 682 22 A . . 122222211111111111111111111111 by A/2 * 21
+ 704 0 A . . 122222222222222222222222222221 by A/1 * 22
+ 727 23 A . . 122222111111111111111111111111 by A/2 * 23
+ 751 -1 A . . 122222222222222222222222222222 by A/1 * 24
+ 776 24 A . . 1222211111111111111111111111110 by A/2 * 25
777 25 B . . 12222111111111111111111111111110
778 24 B . . 12222111111111111111111111111111
779 23 A . . 12222111111111111111111111111111
+ 804 -2 A . . 12222222222222222222222222222211 by A/1 * 25
+ 830 24 A . . 12221111111111111111111111111111 by A/2 * 26
+ 857 -3 A . . 12222222222222222222222222222221 by A/1 * 27
+ 885 25 A . . 12211111111111111111111111111111 by A/2 * 28
+ 914 -4 A . . 12222222222222222222222222222222 by A/1 * 29
+ 944 26 A . . 121111111111111111111111111111110 by A/2 * 30
945 27 B . . 1211111111111111111111111111111110
946 26 B . . 1211111111111111111111111111111111
947 25 A . . 1211111111111111111111111111111111
+ 977 -5 A . . 1222222222222222222222222222222211 by A/1 * 30
+ 1008 26 A . . 1111111111111111111111111111111111 by A/2 * 31
+ 1041 -7 A . .02222222222222222222222222222222221 by A/1 * 33
1042 -6 B . .12222222222222222222222222222222221
1043 -5 C . .12222222222222222222222222222222221
1044 -4 B . .12222222222222222222222222222222221
1045 -3 C . .12222222222222222222222222222222221
1046 -2 B . .12222222222222222222222222222222221
1047 -1 C . .12222222222222222222222222222222221
1048 0 B . .12222222222222222222222222222222221
1049 1 C . .12222222222222222222222222222222221
1050 2 B . .12222222222222222222222222222222221
1051 3 C . .12222222222222222222222222222222221
1052 4 B . .12222222222222222222222222222222221
1053 5 C . .12222222222222222222222222222222221
1054 6 B . .12222222222222222222222222222222221
1055 7 C . .12222222222222222222222222222222221
1056 8 B . .12222222222222222222222222222222221
1057 9 C . .12222222222222222222222222222222221
1058 10 B . .12222222222222222222222222222222221
After 1058 steps (201 lines): state = B.
Produced 35 nonzeros.
Tape index 10, scanned [-7 .. 27].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 960 | 21 | 486 | 453 | 0 | 5 | 11 |
| B | 64 | 14 | 20 | 30 | 1 | 2 | 7 |
| C | 34 | 4 | 30 | 8 | 9 | ||