DFA complement redefined