DFA string checker