DFA complement defined, but language isomorphism not proved yet