Comment: A.B.: 2 1 1 0 0 0 3-1 2 3-1 1 2 1 2 2-1 1 1-1 1 2 1 0 1-1 2 Comment: The halting transition has been modified to print a 1 Comment: This TM produces 13949 nonzeros in 92649163 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 | Z1= | C2L | 1 | right | B | 1 | stay | Z | 2 | left | C |
| B | C1L | B2R | B1L | 1 | left | C | 2 | right | B | 1 | left | B |
| C | A1L | B0R | A2L | 1 | left | A | 0 | right | B | 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-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 B . . . . . . . . . . . . . . . . . . . . . . . . . 01
4 2 B . . . . . . . . . . . . . . . . . . . . . . . . . 020
5 1 C . . . . . . . . . . . . . . . . . . . . . . . . . 021
6 0 A . . . . . . . . . . . . . . . . . . . . . . . . . 021
7 1 B . . . . . . . . . . . . . . . . . . . . . . . . . 121
8 0 B . . . . . . . . . . . . . . . . . . . . . . . . . 111
+ 11 3 B . . . . . . . . . . . . . . . . . . . . . . . . . 2220 by B/1 * 3
12 2 C . . . . . . . . . . . . . . . . . . . . . . . . . 2221
13 1 A . . . . . . . . . . . . . . . . . . . . . . . . . 2221
14 0 C . . . . . . . . . . . . . . . . . . . . . . . . . 2221
15 -1 A . . . . . . . . . . . . . . . . . . . . . . . . .02221
16 0 B . . . . . . . . . . . . . . . . . . . . . . . . .12221
17 -1 B . . . . . . . . . . . . . . . . . . . . . . . . .11221
+ 19 1 B . . . . . . . . . . . . . . . . . . . . . . . . .22221 by B/1 * 2
+ 22 -2 B . . . . . . . . . . . . . . . . . . . . . . . . 011121 by B/2 * 3
23 -3 C . . . . . . . . . . . . . . . . . . . . . . . .0111121
24 -4 A . . . . . . . . . . . . . . . . . . . . . . . 01111121
25 -3 B . . . . . . . . . . . . . . . . . . . . . . . 11111121
+ 30 2 B . . . . . . . . . . . . . . . . . . . . . . . 12222221 by B/1 * 5
+ 36 -4 B . . . . . . . . . . . . . . . . . . . . . . . 11111111 by B/2 * 6
+ 44 4 B . . . . . . . . . . . . . . . . . . . . . . . 222222220 by B/1 * 8
45 3 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
46 2 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
47 1 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
48 0 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
49 -1 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
50 -2 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
51 -3 C . . . . . . . . . . . . . . . . . . . . . . . 222222221
52 -4 A . . . . . . . . . . . . . . . . . . . . . . . 222222221
53 -5 C . . . . . . . . . . . . . . . . . . . . . . .0222222221
54 -6 A . . . . . . . . . . . . . . . . . . . . . . 01222222221
55 -5 B . . . . . . . . . . . . . . . . . . . . . . 11222222221
56 -4 B . . . . . . . . . . . . . . . . . . . . . . 12222222221
+ 58 -6 B . . . . . . . . . . . . . . . . . . . . . . 11122222221 by B/2 * 2
+ 61 -3 B . . . . . . . . . . . . . . . . . . . . . . 22222222221 by B/1 * 3
+ 65 -7 B . . . . . . . . . . . . . . . . . . . . . .011112222221 by B/2 * 4
66 -8 C . . . . . . . . . . . . . . . . . . . . . 0111112222221
67 -9 A . . . . . . . . . . . . . . . . . . . . .01111112222221
68 -8 B . . . . . . . . . . . . . . . . . . . . .11111112222221
+ 74 -2 B . . . . . . . . . . . . . . . . . . . . .12222222222221 by B/1 * 6
+ 81 -9 B . . . . . . . . . . . . . . . . . . . . .11111111222221 by B/2 * 7
+ 89 -1 B . . . . . . . . . . . . . . . . . . . . .22222222222221 by B/1 * 8
+ 98 -10 B . . . . . . . . . . . . . . . . . . . . 011111111122221 by B/2 * 9
99 -11 C . . . . . . . . . . . . . . . . . . . .0111111111122221
100 -12 A . . . . . . . . . . . . . . . . . . . 01111111111122221
101 -11 B . . . . . . . . . . . . . . . . . . . 11111111111122221
+ 112 0 B . . . . . . . . . . . . . . . . . . . 12222222222222221 by B/1 * 11
+ 124 -12 B . . . . . . . . . . . . . . . . . . . 11111111111112221 by B/2 * 12
+ 137 1 B . . . . . . . . . . . . . . . . . . . 22222222222222221 by B/1 * 13
+ 151 -13 B . . . . . . . . . . . . . . . . . . .011111111111111221 by B/2 * 14
152 -14 C . . . . . . . . . . . . . . . . . . 0111111111111111221
153 -15 A . . . . . . . . . . . . . . . . . .01111111111111111221
154 -14 B . . . . . . . . . . . . . . . . . .11111111111111111221
+ 170 2 B . . . . . . . . . . . . . . . . . .12222222222222222221 by B/1 * 16
+ 187 -15 B . . . . . . . . . . . . . . . . . .11111111111111111121 by B/2 * 17
+ 205 3 B . . . . . . . . . . . . . . . . . .22222222222222222221 by B/1 * 18
+ 224 -16 B . . . . . . . . . . . . . . . . . 011111111111111111111 by B/2 * 19
225 -17 C . . . . . . . . . . . . . . . . .0111111111111111111111
226 -18 A . . . . . . . . . . . . . . . . 01111111111111111111111
227 -17 B . . . . . . . . . . . . . . . . 11111111111111111111111
+ 249 5 B . . . . . . . . . . . . . . . . 122222222222222222222220 by B/1 * 22
250 4 C . . . . . . . . . . . . . . . . 122222222222222222222221
251 3 A . . . . . . . . . . . . . . . . 122222222222222222222221
252 2 C . . . . . . . . . . . . . . . . 122222222222222222222221
253 1 A . . . . . . . . . . . . . . . . 122222222222222222222221
254 0 C . . . . . . . . . . . . . . . . 122222222222222222222221
255 -1 A . . . . . . . . . . . . . . . . 122222222222222222222221
256 -2 C . . . . . . . . . . . . . . . . 122222222222222222222221
257 -3 A . . . . . . . . . . . . . . . . 122222222222222222222221
258 -4 C . . . . . . . . . . . . . . . . 122222222222222222222221
259 -5 A . . . . . . . . . . . . . . . . 122222222222222222222221
260 -6 C . . . . . . . . . . . . . . . . 122222222222222222222221
261 -7 A . . . . . . . . . . . . . . . . 122222222222222222222221
262 -8 C . . . . . . . . . . . . . . . . 122222222222222222222221
263 -9 A . . . . . . . . . . . . . . . . 122222222222222222222221
264 -10 C . . . . . . . . . . . . . . . . 122222222222222222222221
265 -11 A . . . . . . . . . . . . . . . . 122222222222222222222221
266 -12 C . . . . . . . . . . . . . . . . 122222222222222222222221
267 -13 A . . . . . . . . . . . . . . . . 122222222222222222222221
268 -14 C . . . . . . . . . . . . . . . . 122222222222222222222221
269 -15 A . . . . . . . . . . . . . . . . 122222222222222222222221
270 -16 C . . . . . . . . . . . . . . . . 122222222222222222222221
271 -17 A . . . . . . . . . . . . . . . . 122222222222222222222221
272 -18 C . . . . . . . . . . . . . . . . 122222222222222222222221
273 -17 B . . . . . . . . . . . . . . . . 022222222222222222222221
274 -18 B . . . . . . . . . . . . . . . . 012222222222222222222221
275 -19 C . . . . . . . . . . . . . . . .0112222222222222222222221
276 -20 A . . . . . . . . . . . . . . . 01112222222222222222222221
277 -19 B . . . . . . . . . . . . . . . 11112222222222222222222221
+ 280 -16 B . . . . . . . . . . . . . . . 12222222222222222222222221 by B/1 * 3
+ 284 -20 B . . . . . . . . . . . . . . . 11111222222222222222222221 by B/2 * 4
+ 289 -15 B . . . . . . . . . . . . . . . 22222222222222222222222221 by B/1 * 5
+ 295 -21 B . . . . . . . . . . . . . . .011111122222222222222222221 by B/2 * 6
296 -22 C . . . . . . . . . . . . . . 0111111122222222222222222221
297 -23 A . . . . . . . . . . . . . .01111111122222222222222222221
298 -22 B . . . . . . . . . . . . . .11111111122222222222222222221
+ 306 -14 B . . . . . . . . . . . . . .12222222222222222222222222221 by B/1 * 8
+ 315 -23 B . . . . . . . . . . . . . .11111111112222222222222222221 by B/2 * 9
+ 325 -13 B . . . . . . . . . . . . . .22222222222222222222222222221 by B/1 * 10
+ 336 -24 B . . . . . . . . . . . . . 011111111111222222222222222221 by B/2 * 11
337 -25 C . . . . . . . . . . . . .0111111111111222222222222222221
338 -26 A . . . . . . . . . . . . 01111111111111222222222222222221
339 -25 B . . . . . . . . . . . . 11111111111111222222222222222221
+ 352 -12 B . . . . . . . . . . . . 12222222222222222222222222222221 by B/1 * 13
+ 366 -26 B . . . . . . . . . . . . 11111111111111122222222222222221 by B/2 * 14
+ 381 -11 B . . . . . . . . . . . . 22222222222222222222222222222221 by B/1 * 15
+ 397 -27 B . . . . . . . . . . . .011111111111111112222222222222221 by B/2 * 16
398 -28 C . . . . . . . . . . . 0111111111111111112222222222222221
399 -29 A . . . . . . . . . . .01111111111111111112222222222222221
400 -28 B . . . . . . . . . . .11111111111111111112222222222222221
+ 418 -10 B . . . . . . . . . . .12222222222222222222222222222222221 by B/1 * 18
+ 437 -29 B . . . . . . . . . . .11111111111111111111222222222222221 by B/2 * 19
+ 457 -9 B . . . . . . . . . . .22222222222222222222222222222222221 by B/1 * 20
+ 478 -30 B . . . . . . . . . . 011111111111111111111122222222222221 by B/2 * 21
479 -31 C . . . . . . . . . .0111111111111111111111122222222222221
480 -32 A . . . . . . . . . 01111111111111111111111122222222222221
481 -31 B . . . . . . . . . 11111111111111111111111122222222222221
+ 504 -8 B . . . . . . . . . 12222222222222222222222222222222222221 by B/1 * 23
+ 528 -32 B . . . . . . . . . 11111111111111111111111112222222222221 by B/2 * 24
+ 553 -7 B . . . . . . . . . 22222222222222222222222222222222222221 by B/1 * 25
+ 579 -33 B . . . . . . . . .011111111111111111111111111222222222221 by B/2 * 26
580 -34 C . . . . . . . . 0111111111111111111111111111222222222221
581 -35 A . . . . . . . .01111111111111111111111111111222222222221
582 -34 B . . . . . . . .11111111111111111111111111111222222222221
+ 610 -6 B . . . . . . . .12222222222222222222222222222222222222221 by B/1 * 28
+ 639 -35 B . . . . . . . .11111111111111111111111111111122222222221 by B/2 * 29
+ 669 -5 B . . . . . . . .22222222222222222222222222222222222222221 by B/1 * 30
+ 700 -36 B . . . . . . . 011111111111111111111111111111112222222221 by B/2 * 31
701 -37 C . . . . . . .0111111111111111111111111111111112222222221
702 -38 A . . . . . . 01111111111111111111111111111111112222222221
703 -37 B . . . . . . 11111111111111111111111111111111112222222221
+ 736 -4 B . . . . . . 12222222222222222222222222222222222222222221 by B/1 * 33
+ 770 -38 B . . . . . . 11111111111111111111111111111111111222222221 by B/2 * 34
+ 805 -3 B . . . . . . 22222222222222222222222222222222222222222221 by B/1 * 35
+ 841 -39 B . . . . . .011111111111111111111111111111111111122222221 by B/2 * 36
842 -40 C . . . . . 0111111111111111111111111111111111111122222221
843 -41 A . . . . .01111111111111111111111111111111111111122222221
844 -40 B . . . . .11111111111111111111111111111111111111122222221
+ 882 -2 B . . . . .12222222222222222222222222222222222222222222221 by B/1 * 38
+ 921 -41 B . . . . .11111111111111111111111111111111111111112222221 by B/2 * 39
+ 961 -1 B . . . . .22222222222222222222222222222222222222222222221 by B/1 * 40
+ 1002 -42 B . . . . 011111111111111111111111111111111111111111222221 by B/2 * 41
1003 -43 C . . . .0111111111111111111111111111111111111111111222221
1004 -44 A . . . 01111111111111111111111111111111111111111111222221
1005 -43 B . . . 11111111111111111111111111111111111111111111222221
+ 1048 0 B . . . 12222222222222222222222222222222222222222222222221 by B/1 * 43
+ 1092 -44 B . . . 11111111111111111111111111111111111111111111122221 by B/2 * 44
+ 1137 1 B . . . 22222222222222222222222222222222222222222222222221 by B/1 * 45
+ 1183 -45 B . . .011111111111111111111111111111111111111111111112221 by B/2 * 46
1184 -46 C . . 0111111111111111111111111111111111111111111111112221
1185 -47 A . .01111111111111111111111111111111111111111111111112221
1186 -46 B . .11111111111111111111111111111111111111111111111112221
+ 1234 2 B . .12222222222222222222222222222222222222222222222222221 by B/1 * 48
+ 1283 -47 B . .11111111111111111111111111111111111111111111111111221 by B/2 * 49
+ 1333 3 B . .22222222222222222222222222222222222222222222222222221 by B/1 * 50
+ 1384 -48 B . 011111111111111111111111111111111111111111111111111121 by B/2 * 51
1385 -49 C .0111111111111111111111111111111111111111111111111111121
1386 -50 A 01111111111111111111111111111111111111111111111111111121
1387 -49 B 11111111111111111111111111111111111111111111111111111121
+ 1440 4 B 12222222222222222222222222222222222222222222222222222221 by B/1 * 53
+ 1494 -50 B 11111111111111111111111111111111111111111111111111111111 by B/2 * 54
+ 1550 6 B 222222222222222222222222222222222222222222222222222222220 by B/1 * 56
1551 5 C 222222222222222222222222222222222222222222222222222222221
1552 4 A 222222222222222222222222222222222222222222222222222222221
1553 3 C 222222222222222222222222222222222222222222222222222222221
1554 2 A 222222222222222222222222222222222222222222222222222222221
1555 1 C 222222222222222222222222222222222222222222222222222222221
1556 0 A 222222222222222222222222222222222222222222222222222222221
1557 -1 C 222222222222222222222222222222222222222222222222222222221
1558 -2 A 222222222222222222222222222222222222222222222222222222221
1559 -3 C 222222222222222222222222222222222222222222222222222222221
1560 -4 A 222222222222222222222222222222222222222222222222222222221
1561 -5 C 222222222222222222222222222222222222222222222222222222221
1562 -6 A 222222222222222222222222222222222222222222222222222222221
1563 -7 C 222222222222222222222222222222222222222222222222222222221
1564 -8 A 222222222222222222222222222222222222222222222222222222221
1565 -9 C 222222222222222222222222222222222222222222222222222222221
1566 -10 A 222222222222222222222222222222222222222222222222222222221
1567 -11 C 222222222222222222222222222222222222222222222222222222221
1568 -12 A 222222222222222222222222222222222222222222222222222222221
1569 -13 C 222222222222222222222222222222222222222222222222222222221
1570 -14 A 222222222222222222222222222222222222222222222222222222221
1571 -15 C 222222222222222222222222222222222222222222222222222222221
1572 -16 A 222222222222222222222222222222222222222222222222222222221
1573 -17 C 222222222222222222222222222222222222222222222222222222221
1574 -18 A 222222222222222222222222222222222222222222222222222222221
1575 -19 C 222222222222222222222222222222222222222222222222222222221
1576 -20 A 222222222222222222222222222222222222222222222222222222221
1577 -21 C 222222222222222222222222222222222222222222222222222222221
1578 -22 A 222222222222222222222222222222222222222222222222222222221
1579 -23 C 222222222222222222222222222222222222222222222222222222221
1580 -24 A 222222222222222222222222222222222222222222222222222222221
1581 -25 C 222222222222222222222222222222222222222222222222222222221
1582 -26 A 222222222222222222222222222222222222222222222222222222221
1583 -27 C 222222222222222222222222222222222222222222222222222222221
1584 -28 A 222222222222222222222222222222222222222222222222222222221
1585 -29 C 222222222222222222222222222222222222222222222222222222221
1586 -30 A 222222222222222222222222222222222222222222222222222222221
After 1586 steps (201 lines): state = A.
Produced 57 nonzeros.
Tape index -30, scanned [-50 .. 6].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 53 | 20 | 33 | 0 | 13 | ||
| B | 1478 | 22 | 756 | 700 | 1 | 3 | 7 |
| C | 55 | 17 | 2 | 36 | 23 | 2 | 5 |