Comment: This TM produces 6 nonzeros in 26 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 | 2LA | 1RH | 1 | right | B | 2 | left | A | 1 | right | H |
| B | 1LB | 1LA | 0RA | 1 | left | B | 1 | left | A | 0 | 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 B . . . 11
3 -1 A . . .011
4 0 B . . .111
5 -1 A . . .111
6 -2 A . . 0211
7 -1 B . . 1211
8 0 A . . 1011
9 -1 A . . 1021
10 0 B . . 1121
11 1 A . . 1101
12 0 A . . 1102
13 1 B . . 1112
14 2 A . . 11100
15 3 B . . 111010
16 2 B . . 111011
17 1 A . . 111011
18 2 B . . 111111
19 1 A . . 111111
+ 23 -3 A . .0222211 by A/1 * 4
24 -2 B . .1222211
25 -1 A . .1022211
26 0 H . .1012211
After 26 steps (24 lines): state = H.
Produced 6 nonzeros.
Tape index 0, scanned [-3 .. 3].
| State | Count | Execution count | First in step | ||||
|---|---|---|---|---|---|---|---|
| on 0 | on 1 | on 2 | on 0 | on 1 | on 2 | ||
| A | 16 | 8 | 7 | 1 | 0 | 5 | 25 |
| B | 10 | 2 | 4 | 4 | 1 | 2 | 7 |