simple string DFA test