DFA abstraction