|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectat.ofai.gate.fsm.FSM
public class FSM
This class implements a standard Finite State Machine. It is used for both deterministic and non-deterministic machines.
| Field Summary |
|---|
| Fields inherited from interface at.ofai.gate.jape.JapeConstants |
|---|
APPELT_STYLE, BRILL_STYLE, DEFAULT_PRIORITY, EQUAL, FIRST_STYLE, GREATER, GREATER_OR_EQUAL, INDENT_PADDING, KLEENE_PLUS, KLEENE_QUERY, KLEENE_STAR, LESSER, LESSER_OR_EQUAL, MULTI_SPAN_BINDING, NO_BINDING, NO_KLEENE_OP, NOT_EQUAL, NOT_REGEXP, ONCE_STYLE, REGEXP, 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 | |
|---|---|
void |
eliminateVoidTransitions()
Converts this FSM from a non-deterministic to a deterministic one by eliminating all the unrestricted transitions. |
java.lang.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 |
java.lang.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 |
| 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()
public void eliminateVoidTransitions()
public java.lang.String getGML()
public java.lang.String toString()
toString in class java.lang.Object
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||