Comment: This TM produces 8 nonzeros in 29 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 | 0LB | 1RH | 1 | right | B | 0 | left | B | 1 | right | H |
| B | 2LA | 1RB | 1RA | 2 | left | A | 1 | right | B | 1 | right | 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 A . . . 12
3 -1 B . . .002
4 -2 A . . 0202
5 -1 B . . 1202
6 0 A . . 1102
7 1 B . . 1112
8 2 A . . 11110
9 3 B . . 111110
10 2 A . . 111112
11 1 B . . 111102
12 2 B . . 111102
13 1 A . . 111122
14 0 B . . 111022
15 1 B . . 111022
16 0 A . . 111222
17 -1 B . . 110222
18 0 B . . 110222
19 -1 A . . 112222
20 -2 B . . 102222
21 -1 B . . 102222
22 -2 A . . 122222
23 -3 B . .0022222
24 -4 A . 02022222
25 -3 B . 12022222
26 -2 A . 11022222
27 -1 B . 11122222
28 0 A . 11112222
29 1 H . 11111222
After 29 steps (30 lines): state = H.
Produced 8 nonzeros.
Tape index 1, scanned [-4 .. 3].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 13 | 6 | 6 | 1 | 0 | 2 | 28 |
| B | 16 | 8 | 4 | 4 | 1 | 11 | 5 |