org.xerial.util.graph
Class DFA<State,Alphabet>

java.lang.Object
  org.xerial.util.graph.DFA<State,Alphabet>

public class DFA<State,Alphabet>
extends Object

Deterministic finite automaton

Author:

leo

Constructor Summary

DFA(State initialState)

Method Summary

void	addState(State s)
void	addTerminalState(State s)
void	addTransition(State from, Alphabet input, State to)
boolean	isTerminated()
String	toString()
State	transit(Alphabet input)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DFA

public DFA(State initialState)

Method Detail

addState

public void addState(State s)

addTerminalState

public void addTerminalState(State s)

addTransition

public void addTransition(State from,
                          Alphabet input,
                          State to)

isTerminated

public boolean isTerminated()

transit

public State transit(Alphabet input)

toString

public String toString()

Overrides:

toString in class Object