finalStates
NFA