public interface Nfa<STATE> extends DirectedGraph<STATE>
STATE
getStart()
getStop()
getFollowers
STATE getStop()
STATE getStart()