static DFAState
getDeadState()
DFAState
getStartState()
Set<DFAState>
getAllStates()
getStates()
Set<Type>
outputOf(DFAState s)
DFA(DFAState q0)