Comment: This TM produces 4 ones in 6 steps. Comment: Taken (cited) from P.Michel Constructed by $Id: hmBBsimu.awk,v 1.12 2010/07/06 19:46:42 heiner Exp $
| State | on 0 |
on 1 |
on 0 | on 1 | ||||
|---|---|---|---|---|---|---|---|---|
| Move | Goto | Move | Goto | |||||
| A | 1RB | 1LB | 1 | right | B | 1 | left | B |
| B | 1LA | 1RH | 1 | left | A | 1 | right | H |
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done with tape symbol exponents.
The same TM as 1-macro machine.
The same TM as 1-macro machine with pure additive config-TRs.
Step Tpos Tape contents
0 0 <A
1 1 1 B>
2 0 1 <A 1
3 -1 <B 1 1
4 -2 <A 13
5 -1 1 B> 13
6 0 1 1 H> 1 1
After 6 steps (7 lines): state = H.
Produced 4 ones.
Tape index 0, scanned [-2 .. 1].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 3 | 2 | 1 | 0 | 2 |
| B | 3 | 2 | 1 | 1 | 5 |