2-state 3-symbol contender (cited from P.Michel)

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
Print Move Goto Print Move Goto Print 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
Transition table
The same TM just simple.
The same TM with repetitions reduced.
Simulation is done 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  Tape contents
     0     0  <A
     1     1  1 B>
     2     0  1 <A 2
     3    -1  <B 0 2
     4    -2  <A 2 0 2
     5    -1  1 B> 2 0 2
     6     0  1 1 A> 0 2
     7     1  13 B> 2
     8     2  14 A>
     9     3  15 B>
    10     2  15 <A 2
    11     1  14 <B 0 2
    12     2  14 B> 0 2
    13     1  14 <A 2 2
    14     0  13 <B 0 2 2
    15     1  13 B> 0 2 2
    16     0  13 <A 23
    17    -1  1 1 <B 0 23
    18     0  1 1 B> 0 23
    19    -1  1 1 <A 24
    20    -2  1 <B 0 24
    21    -1  1 B> 0 24
    22    -2  1 <A 25
    23    -3  <B 0 25
    24    -4  <A 2 0 25
    25    -3  1 B> 2 0 25
    26    -2  1 1 A> 0 25
    27    -1  13 B> 25
    28     0  14 A> 24
    29     1  15 H> 23

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
Execution statistics

The same TM just simple.
The same TM with repetitions reduced.
The same TM as 2-macro machine.
The same TM as 2-macro machine with pure additive config-TRs.

To the BB simulations page of Heiner Marxen.
To the busy beaver page of Heiner Marxen.
To the home page of Heiner Marxen.
Tue Jul 6 22:12:33 CEST 2010