Working DFA, NFA