|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectgate.fsm.FSM
This class implements a standard Finite State Machine. It is used for both deterministic and non-deterministic machines.
Field Summary | |
private Collection |
allStates
The set of states for this FSM |
private static boolean |
DEBUG
Debug flag |
private Set |
dStates
|
private State |
initialState
The initial state of this FSM. |
private Map |
newStates
|
private String |
transducerName
|
Fields inherited from interface gate.jape.JapeConstants |
APPELT_STYLE, BRILL_STYLE, DEFAULT_PRIORITY, FIRST_STYLE, INDENT_PADDING, KLEENE_PLUS, KLEENE_QUERY, KLEENE_STAR, MULTI_SPAN_BINDING, NO_BINDING, NO_KLEENE_OP, ONCE_STYLE, SINGLE_SPAN_BINDING |
Constructor Summary | |
FSM(Rule rule)
Builds a FSM starting from a rule. |
|
FSM(SinglePhaseTransducer spt)
Builds a standalone FSM starting from a single phase transducer. |
Method Summary | |
private State |
convertComplexPE(State startState,
ComplexPatternElement cpe,
LinkedList labels)
Receives a state to start from and a complex pattern element. |
void |
eliminateVoidTransitions()
Converts this FSM from a non-deterministic to a deterministic one by eliminating all the unrestricted transitions. |
String |
getGML()
Returns a GML (Graph Modelling Language) representation of the transition graph of this FSM. |
State |
getInitialState()
Gets the initial state of this FSM |
private AbstractSet |
lambdaClosure(AbstractSet s)
|
String |
toString()
Returns a textual description of this FSM. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
private static final boolean DEBUG
private State initialState
private transient Collection allStates
private transient Map newStates
private transient Set dStates
private String transducerName
Constructor Detail |
public FSM(SinglePhaseTransducer spt)
spt
- the single phase transducer to be used for building this FSM.public FSM(Rule rule)
rule
- the rule to be used for the building process.Method Detail |
public State getInitialState()
private State convertComplexPE(State startState, ComplexPatternElement cpe, LinkedList labels)
cpe
- the pattern to be recognized
public void eliminateVoidTransitions()
private AbstractSet lambdaClosure(AbstractSet s)
public String getGML()
public String toString()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |