DFA problems