5-state TM with unusual symbol size 13 

Comment: Found by jubu 1989-09-02, published first 2005-11-12 (on web)
State on
0		 on
1		 on 0 on 1
Print Move Goto Print Move Goto
A B1L A1L 1 left B 1 left A
B C1R D1L 1 right C 1 left D
C A1R C1R 1 right A 1 right C
D Z== E0L Z stay = 0 left E
E C1L B0L 1 left C 0 left B
Transition table 
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
Simulation is done as 13-macro machine.
The same TM as 13-macro machine with pure additive config-TRs.

Pushing initial machine.
Pushing macro factor 13.

Steps BasSteps BasTpos  Tape contents
    0        0       0  A>
    1        1      -1  <B 1000000000000
    2        2       0  0000000000001 C> 1000000000000
    3        7      -1  0000000000001 <E 0110000000000
    4       10       0  0000000000011 A> 0110000000000
    5       11      -1  0000000000011 <B 1110000000000
    6       38       0  0000011111111 C> 1110000000000
    7       47      -1  0000011111111 <D 1001100000000
    8       76     -14  <A 1111111100100 1001100000000
    9       79     -13  0000000000011 C> 1111111100100 1001100000000
   10       98     -14  0000000000011 <B 0010010011100 1001100000000
   11      125     -13  0000011111111 C> 0010010011100 1001100000000
   12      128     -14  0000011111111 <D 1110010011100 1001100000000
   13      157     -27  <A 1111111100100 1110010011100 1001100000000
   14      160     -26  0000000000011 C> 1111111100100 1110010011100 1001100000000
   15      179     -27  0000000000011 <B 0010010011100 1110010011100 1001100000000
   16      206     -26  0000011111111 C> 0010010011100 1110010011100 1001100000000
   17      209     -27  0000011111111 <D 11100100111002 1001100000000
   18      238     -40  <A 1111111100100 11100100111002 1001100000000
   19      241     -39  0000000000011 C> 1111111100100 11100100111002 1001100000000
   20      260     -40  0000000000011 <B 0010010011100 11100100111002 1001100000000
   21      287     -39  0000011111111 C> 0010010011100 11100100111002 1001100000000
   22      290     -40  0000011111111 <D 11100100111003 1001100000000
   23      319     -53  <A 1111111100100 11100100111003 1001100000000
   24      322     -52  0000000000011 C> 1111111100100 11100100111003 1001100000000
   25      341     -53  0000000000011 <B 0010010011100 11100100111003 1001100000000
   26      368     -52  0000011111111 C> 0010010011100 11100100111003 1001100000000
   27      371     -53  0000011111111 <D 11100100111004 1001100000000
   28      400     -66  <A 1111111100100 11100100111004 1001100000000
   29      403     -65  0000000000011 C> 1111111100100 11100100111004 1001100000000
   30      422     -66  0000000000011 <B 0010010011100 11100100111004 1001100000000
   31      449     -65  0000011111111 C> 0010010011100 11100100111004 1001100000000
   32      452     -66  0000011111111 <D 11100100111005 1001100000000
   33      481     -79  <A 1111111100100 11100100111005 1001100000000
   34      484     -78  0000000000011 C> 1111111100100 11100100111005 1001100000000
   35      503     -79  0000000000011 <B 0010010011100 11100100111005 1001100000000
   36      530     -78  0000011111111 C> 0010010011100 11100100111005 1001100000000
   37      533     -79  0000011111111 <D 11100100111006 1001100000000
   38      562     -92  <A 1111111100100 11100100111006 1001100000000
   39      565     -91  0000000000011 C> 1111111100100 11100100111006 1001100000000
   40      584     -92  0000000000011 <B 0010010011100 11100100111006 1001100000000
   41      611     -91  0000011111111 C> 0010010011100 11100100111006 1001100000000
   42      614     -92  0000011111111 <D 11100100111007 1001100000000
   43      643    -105  <A 1111111100100 11100100111007 1001100000000
   44      646    -104  0000000000011 C> 1111111100100 11100100111007 1001100000000
   45      665    -105  0000000000011 <B 0010010011100 11100100111007 1001100000000
   46      692    -104  0000011111111 C> 0010010011100 11100100111007 1001100000000
   47      695    -105  0000011111111 <D 11100100111008 1001100000000
   48      724    -118  <A 1111111100100 11100100111008 1001100000000
   49      727    -117  0000000000011 C> 1111111100100 11100100111008 1001100000000
   50      746    -118  0000000000011 <B 0010010011100 11100100111008 1001100000000
   51      773    -117  0000011111111 C> 0010010011100 11100100111008 1001100000000

Lines:       52
Top steps:   51
Macro steps: 51
Basic steps: 773
Tape index:  -117
ones:        72
log10(ones    ):    1.857
log10(steps   ):    2.888
The same TM just simple.
The same TM with repetitions reduced.
The same TM with tape symbol exponents.
The same TM as 13-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.
Input to awk program:
    gohalt 1
    T 5-state TM with unusual symbol size 13
    C Found by jubu 1989-09-02, published first 2005-11-12 (on web)
    5T B1L A1L  C1R D1L  A1R C1R  Z== E0L  C1L B0L
    L 52
    M	52
    pref	sim
    machv mbUSS_13  	just simple
    machv mbUSS_13-r	with repetitions reduced
    machv mbUSS_13-1	with tape symbol exponents
    machv mbUSS_13-m	as 13-macro machine
    machv mbUSS_13-a	as 13-macro machine with pure additive config-TRs
    iam	mbUSS_13-m
    mtype	13
    mmtyp	1
    r	1
    H	1
    mac	0
    E	2
    sympr	
    HM	1
    date	Tue Jul  6 22:14:27 CEST 2010
    edate	Tue Jul  6 22:14:28 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:14:27 CEST 2010
Ready: Tue Jul 6 22:14:28 CEST 2010