Recognizer now produces correct DFA