Comment: This TM produces 43'925 nonzeros in 1'808'669'046 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 | C1L | A1L | C2R | 1 | left | C | 1 | left | A | 2 | right | C |
| C | Z1R | A1L | B2R | 1 | right | Z | 1 | left | A | 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 C . . . . . 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 A . . . . 1211
10 0 A . . . . 1111
+ 13 -3 A . . . .02221 by A/1 * 3
14 -2 B . . . .12221
15 -1 C . . . .12221
16 0 B . . . .12221
17 1 C . . . .12221
18 0 A . . . .12221
19 1 A . . . .12211
+ 21 -1 A . . . .12222 by A/1 * 2
+ 24 2 A . . . .121110 by A/2 * 3
25 3 B . . . .1211110
26 2 C . . . .1211111
27 1 A . . . .1211111
+ 30 -2 A . . . .1222211 by A/1 * 3
+ 34 2 A . . . .1111111 by A/2 * 4
+ 40 -4 A . . . 02222221 by A/1 * 6
41 -3 B . . . 12222221
42 -2 C . . . 12222221
43 -1 B . . . 12222221
44 0 C . . . 12222221
45 1 B . . . 12222221
46 2 C . . . 12222221
47 3 B . . . 12222221
48 2 A . . . 12222221
49 3 A . . . 12222211
+ 51 1 A . . . 12222222 by A/1 * 2
+ 54 4 A . . . 122221110 by A/2 * 3
55 5 B . . . 1222211110
56 4 C . . . 1222211111
57 3 A . . . 1222211111
+ 60 0 A . . . 1222222211 by A/1 * 3
+ 64 4 A . . . 1222111111 by A/2 * 4
+ 69 -1 A . . . 1222222221 by A/1 * 5
+ 75 5 A . . . 1221111111 by A/2 * 6
+ 82 -2 A . . . 1222222222 by A/1 * 7
+ 90 6 A . . . 12111111110 by A/2 * 8
91 7 B . . . 121111111110
92 6 C . . . 121111111111
93 5 A . . . 121111111111
+ 101 -3 A . . . 122222222211 by A/1 * 8
+ 110 6 A . . . 111111111111 by A/2 * 9
+ 121 -5 A . . .0222222222221 by A/1 * 11
122 -4 B . . .1222222222221
123 -3 C . . .1222222222221
124 -2 B . . .1222222222221
125 -1 C . . .1222222222221
126 0 B . . .1222222222221
127 1 C . . .1222222222221
128 2 B . . .1222222222221
129 3 C . . .1222222222221
130 4 B . . .1222222222221
131 5 C . . .1222222222221
132 6 B . . .1222222222221
133 7 C . . .1222222222221
134 6 A . . .1222222222221
135 7 A . . .1222222222211
+ 137 5 A . . .1222222222222 by A/1 * 2
+ 140 8 A . . .12222222221110 by A/2 * 3
141 9 B . . .122222222211110
142 8 C . . .122222222211111
143 7 A . . .122222222211111
+ 146 4 A . . .122222222222211 by A/1 * 3
+ 150 8 A . . .122222222111111 by A/2 * 4
+ 155 3 A . . .122222222222221 by A/1 * 5
+ 161 9 A . . .122222221111111 by A/2 * 6
+ 168 2 A . . .122222222222222 by A/1 * 7
+ 176 10 A . . .1222222111111110 by A/2 * 8
177 11 B . . .12222221111111110
178 10 C . . .12222221111111111
179 9 A . . .12222221111111111
+ 187 1 A . . .12222222222222211 by A/1 * 8
+ 196 10 A . . .12222211111111111 by A/2 * 9
+ 206 0 A . . .12222222222222221 by A/1 * 10
+ 217 11 A . . .12222111111111111 by A/2 * 11
+ 229 -1 A . . .12222222222222222 by A/1 * 12
+ 242 12 A . . .122211111111111110 by A/2 * 13
243 13 B . . .1222111111111111110
244 12 C . . .1222111111111111111
245 11 A . . .1222111111111111111
+ 258 -2 A . . .1222222222222222211 by A/1 * 13
+ 272 12 A . . .1221111111111111111 by A/2 * 14
+ 287 -3 A . . .1222222222222222221 by A/1 * 15
+ 303 13 A . . .1211111111111111111 by A/2 * 16
+ 320 -4 A . . .1222222222222222222 by A/1 * 17
+ 338 14 A . . .11111111111111111110 by A/2 * 18
339 15 B . . .111111111111111111110
340 14 C . . .111111111111111111111
341 13 A . . .111111111111111111111
+ 360 -6 A . . 0222222222222222222211 by A/1 * 19
361 -5 B . . 1222222222222222222211
362 -4 C . . 1222222222222222222211
363 -3 B . . 1222222222222222222211
364 -2 C . . 1222222222222222222211
365 -1 B . . 1222222222222222222211
366 0 C . . 1222222222222222222211
367 1 B . . 1222222222222222222211
368 2 C . . 1222222222222222222211
369 3 B . . 1222222222222222222211
370 4 C . . 1222222222222222222211
371 5 B . . 1222222222222222222211
372 6 C . . 1222222222222222222211
373 7 B . . 1222222222222222222211
374 8 C . . 1222222222222222222211
375 9 B . . 1222222222222222222211
376 10 C . . 1222222222222222222211
377 11 B . . 1222222222222222222211
378 12 C . . 1222222222222222222211
379 13 B . . 1222222222222222222211
380 14 C . . 1222222222222222222211
381 13 A . . 1222222222222222222211
382 14 A . . 1222222222222222222111
+ 384 12 A . . 1222222222222222222221 by A/1 * 2
+ 387 15 A . . 1222222222222222221111 by A/2 * 3
+ 391 11 A . . 1222222222222222222222 by A/1 * 4
+ 396 16 A . . 12222222222222222111110 by A/2 * 5
397 17 B . . 122222222222222221111110
398 16 C . . 122222222222222221111111
399 15 A . . 122222222222222221111111
+ 404 10 A . . 122222222222222222222211 by A/1 * 5
+ 410 16 A . . 122222222222222211111111 by A/2 * 6
+ 417 9 A . . 122222222222222222222221 by A/1 * 7
+ 425 17 A . . 122222222222222111111111 by A/2 * 8
+ 434 8 A . . 122222222222222222222222 by A/1 * 9
+ 444 18 A . . 1222222222222211111111110 by A/2 * 10
445 19 B . . 12222222222222111111111110
446 18 C . . 12222222222222111111111111
447 17 A . . 12222222222222111111111111
+ 457 7 A . . 12222222222222222222222211 by A/1 * 10
+ 468 18 A . . 12222222222221111111111111 by A/2 * 11
+ 480 6 A . . 12222222222222222222222221 by A/1 * 12
+ 493 19 A . . 12222222222211111111111111 by A/2 * 13
+ 507 5 A . . 12222222222222222222222222 by A/1 * 14
+ 522 20 A . . 122222222221111111111111110 by A/2 * 15
523 21 B . . 1222222222211111111111111110
524 20 C . . 1222222222211111111111111111
525 19 A . . 1222222222211111111111111111
+ 540 4 A . . 1222222222222222222222222211 by A/1 * 15
+ 556 20 A . . 1222222222111111111111111111 by A/2 * 16
+ 573 3 A . . 1222222222222222222222222221 by A/1 * 17
+ 591 21 A . . 1222222221111111111111111111 by A/2 * 18
+ 610 2 A . . 1222222222222222222222222222 by A/1 * 19
+ 630 22 A . . 12222222111111111111111111110 by A/2 * 20
631 23 B . . 122222221111111111111111111110
632 22 C . . 122222221111111111111111111111
633 21 A . . 122222221111111111111111111111
+ 653 1 A . . 122222222222222222222222222211 by A/1 * 20
+ 674 22 A . . 122222211111111111111111111111 by A/2 * 21
+ 696 0 A . . 122222222222222222222222222221 by A/1 * 22
+ 719 23 A . . 122222111111111111111111111111 by A/2 * 23
+ 743 -1 A . . 122222222222222222222222222222 by A/1 * 24
+ 768 24 A . . 1222211111111111111111111111110 by A/2 * 25
769 25 B . . 12222111111111111111111111111110
770 24 C . . 12222111111111111111111111111111
771 23 A . . 12222111111111111111111111111111
+ 796 -2 A . . 12222222222222222222222222222211 by A/1 * 25
+ 822 24 A . . 12221111111111111111111111111111 by A/2 * 26
+ 849 -3 A . . 12222222222222222222222222222221 by A/1 * 27
+ 877 25 A . . 12211111111111111111111111111111 by A/2 * 28
+ 906 -4 A . . 12222222222222222222222222222222 by A/1 * 29
+ 936 26 A . . 121111111111111111111111111111110 by A/2 * 30
937 27 B . . 1211111111111111111111111111111110
938 26 C . . 1211111111111111111111111111111111
939 25 A . . 1211111111111111111111111111111111
+ 969 -5 A . . 1222222222222222222222222222222211 by A/1 * 30
+ 1000 26 A . . 1111111111111111111111111111111111 by A/2 * 31
+ 1033 -7 A . .02222222222222222222222222222222221 by A/1 * 33
1034 -6 B . .12222222222222222222222222222222221
1035 -5 C . .12222222222222222222222222222222221
1036 -4 B . .12222222222222222222222222222222221
1037 -3 C . .12222222222222222222222222222222221
1038 -2 B . .12222222222222222222222222222222221
1039 -1 C . .12222222222222222222222222222222221
1040 0 B . .12222222222222222222222222222222221
1041 1 C . .12222222222222222222222222222222221
1042 2 B . .12222222222222222222222222222222221
1043 3 C . .12222222222222222222222222222222221
1044 4 B . .12222222222222222222222222222222221
1045 5 C . .12222222222222222222222222222222221
1046 6 B . .12222222222222222222222222222222221
1047 7 C . .12222222222222222222222222222222221
1048 8 B . .12222222222222222222222222222222221
1049 9 C . .12222222222222222222222222222222221
1050 10 B . .12222222222222222222222222222222221
1051 11 C . .12222222222222222222222222222222221
1052 12 B . .12222222222222222222222222222222221
1053 13 C . .12222222222222222222222222222222221
1054 14 B . .12222222222222222222222222222222221
1055 15 C . .12222222222222222222222222222222221
1056 16 B . .12222222222222222222222222222222221
1057 17 C . .12222222222222222222222222222222221
1058 18 B . .12222222222222222222222222222222221
After 1058 steps (201 lines): state = B.
Produced 35 nonzeros.
Tape index 18, 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 | 9 |
| B | 50 | 14 | 2 | 34 | 1 | 4 | 7 |
| C | 48 | 18 | 30 | 2 | 15 | ||