Comment: This TM produces 5 ones in 21 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 | 1RH | 1 | right | B | 1 | right | H |
| B | 1LB | 0RC | 1 | left | B | 0 | right | C |
| C | 1LC | 1LA | 1 | left | C | 1 | left | A |
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 <B 1
3 1 C> 1
4 0 <A 1
5 1 1 B> 1
6 2 1 0 C>
7 1 1 0 <C 1
8 0 1 <C 1 1
9 -1 <A 13
10 0 1 B> 13
11 1 1 0 C> 1 1
12 0 1 0 <A 1 1
13 1 1 1 B> 1 1
14 2 1 1 0 C> 1
15 1 1 1 0 <A 1
16 2 13 B> 1
17 3 13 0 C>
18 2 13 0 <C 1
19 1 13 <C 1 1
20 0 1 1 <A 13
21 1 1 1 H> 13
After 21 steps (22 lines): state = H.
Produced 5 ones.
Tape index 1, scanned [-1 .. 3].
| State | Count | Execution count | First in step | ||
|---|---|---|---|---|---|
| on 0 | on 1 | on 0 | on 1 | ||
| A | 6 | 5 | 1 | 0 | 20 |
| B | 6 | 1 | 5 | 1 | 2 |
| C | 9 | 4 | 5 | 6 | 3 |