2-state 3-symbol currently best (by Brady / Michel)

Comment: Taken (cited) from P.Michel
Comment: This TM produces 9 nonzeros in 38 steps.

State on
0
on
1
on
2
on 0 on 1 on 2
Print Move Goto Print Move Goto Print Move Goto
A 1RB 2LB 1RH 1 right B 2 left B 1 right H
B 2LA 2RB 1LB 2 left A 2 right B 1 left B
Transition table
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.
Simulation is done as 2-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 2.

Steps             BasSteps              BasTpos  Tape contents
    0                    0                    0  A>
    1                    3                   -1  <B 22
    2                    8                    0  22 B> 22
    3                    9                   -1  22 <B 12
    4                   11                   -3  <B 11 12
    5                   16                   -2  22 B> 11 12
    6                   18                    0  222 B> 12
    7                   21                   -1  222 <B 11
    8                   25                   -5  <B 113
    9                   30                   -4  22 B> 113
   10                   36                    2  224 B>
   11                   37                    1  224 <A 20
   12                   38                    2  223 21 H> 20
   12                   38                    2  223 21 H> 20   [stop]

Lines:       14
Top steps:   12
Macro steps: 12
Basic steps: 38
Tape index:  2
nonzeros:    9
log10(nonzeros):    0.954
log10(steps   ):    1.580
Run state:   stop

The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 2-macro machine.

To the BB simulations page of Heiner Marxen.
To the busy beaver page of Heiner Marxen.
To the home page of Heiner Marxen.
Input to awk program:
    gohalt 1
    nbs 3
    T 2-state 3-symbol currently best (by Brady / Michel)
    C Taken (cited) from P.Michel
    : 9 38
    5T  1RB 2LB 1RH  2LA 2RB 1LB
    L 6
    M	201
    pref	sim
    machv TM23_cb  	just simple
    machv TM23_cb-r	with repetitions reduced
    machv TM23_cb-1	with tape symbol exponents
    machv TM23_cb-m	as 2-macro machine
    machv TM23_cb-a	as 2-macro machine with pure additive config-TRs
    iam	TM23_cb-a
    mtype	2
    mmtyp	3
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:12:34 CEST 2010
    edate	Tue Jul  6 22:12:34 CEST 2010
    bnspeed	1

Constructed by: $Id: tmJob.awk,v 1.34 2010/05/06 18:26:17 heiner Exp $ $Id: basics.awk,v 1.1 2010/05/06 17:24:17 heiner Exp $ $Id: htSupp.awk,v 1.14 2010/07/06 19:48:32 heiner Exp $ $Id: mmSim.awk,v 1.34 2005/01/09 22:23:28 heiner Exp $ $Id: bignum.awk,v 1.34 2010/05/06 17:58:14 heiner Exp $ $Id: varLI.awk,v 1.11 2005/01/15 21:01:29 heiner Exp $ bignum signature: LEN={S++:9 U++:9 S+:8 U+:8 S*:4 U*:4} DONT: y i o;
Start: Tue Jul 6 22:12:34 CEST 2010
Ready: Tue Jul 6 22:12:34 CEST 2010