Make DFA algorithm more explicitly DFA-like.