public class Automaton<S extends State>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected java.lang.String[] |
alphabet |
protected int |
current |
protected java.lang.String |
label |
protected int |
nInputs |
protected int |
nStates |
protected State[] |
states |
Constructor and Description |
---|
Automaton(java.lang.String label) |
Automaton(java.lang.String label,
int numberOfStates) |
Automaton(java.lang.String label,
int numberOfStates,
int numberOfInputs) |
Modifier and Type | Method and Description |
---|---|
void |
addState(State newState) |
void |
addStates(State... newStates) |
java.lang.String[] |
computeAlphabet() |
java.lang.String[] |
getAlphabet() |
S |
getCurrentState() |
java.lang.String |
getLabel() |
int |
getNumberOfStates() |
void |
printOn(java.io.PrintStream ps) |
protected java.lang.String label
protected int nStates
protected State[] states
protected int nInputs
protected java.lang.String[] alphabet
protected int current
public Automaton(java.lang.String label, int numberOfStates, int numberOfInputs)
public Automaton(java.lang.String label, int numberOfStates)
public Automaton(java.lang.String label)
public void addState(State newState)
public void addStates(State... newStates)
public java.lang.String getLabel()
public int getNumberOfStates()
public S getCurrentState()
public java.lang.String[] computeAlphabet()
public java.lang.String[] getAlphabet()
public void printOn(java.io.PrintStream ps)