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

Comment: Taken (cited) from P.Michel
Comment: This TM produces 9 nonzeros in 38 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 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
Simulation is done just simple.
The same TM 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 A . . . 12
     3   -1 B . . .022
     4   -2 A . . 0222
     5   -1 B . . 1222
     6   -2 B . . 1122
     7   -1 B . . 2122
     8    0 B . . 2222
     9   -1 B . . 2212
    10   -2 B . . 2112
    11   -3 B . .01112
    12   -4 A . 021112
    13   -3 B . 121112
    14   -4 B . 111112
    15   -3 B . 211112
    16   -2 B . 221112
    17   -1 B . 222112
    18    0 B . 222212
    19    1 B . 222222
    20    0 B . 222221
    21   -1 B . 222211
    22   -2 B . 222111
    23   -3 B . 221111
    24   -4 B . 211111
    25   -5 B .0111111
    26   -6 A 02111111
    27   -5 B 12111111
    28   -6 B 11111111
    29   -5 B 21111111
    30   -4 B 22111111
    31   -3 B 22211111
    32   -2 B 22221111
    33   -1 B 22222111
    34    0 B 22222211
    35    1 B 22222221
    36    2 B 222222220
    37    1 A 222222222
    38    2 H 222222212

After 38 steps (39 lines): state = H.
Produced     9 nonzeros.
Tape index 2, scanned [-6 .. 2].
State Count Execution count First in step
on 0 on 1 on 2 on 0 on 1 on 2
A 6 4 1 1 0 2 37
B 32 5 15 12 1 6 5
Execution statistics

The same TM 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.

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:34 CEST 2010