DFA complement