DFA-based UTF8 recognizer/ parser