

PREV CLASS NEXT CLASS  FRAMES NO FRAMES  
SUMMARY: NESTED  FIELD  CONSTR  METHOD  DETAIL: FIELD  CONSTR  METHOD 
java.lang.Object dk.brics.grammar.operations.AutomataOperations
public class AutomataOperations
Special automata operations used in RegularApproximation
.
Method Summary  

static Automaton 
expandAlphabet(Automaton a,
char n)
Expands the alphabet of the given alphabet by replacing each transition with two consecutive transitions. 
static Automaton 
getOverlap(Automaton a1,
Automaton a2)
Constructs overlap automaton with expanded alphabet for the two given automata. 
static HorizontalOverlapString 
getOverlapString(Automaton overlap)
Finds a shortest example overlap string. 
Methods inherited from class java.lang.Object 

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait 
Method Detail 

public static Automaton expandAlphabet(Automaton a, char n)
a
 input automaton (unmodified)n
 label for new transitions
public static Automaton getOverlap(Automaton a1, Automaton a2)
a1
 left automatona2
 right automaton
public static HorizontalOverlapString getOverlapString(Automaton overlap)
overlap
 overlap automaton


PREV CLASS NEXT CLASS  FRAMES NO FRAMES  
SUMMARY: NESTED  FIELD  CONSTR  METHOD  DETAIL: FIELD  CONSTR  METHOD 