DFA intersection along with language isomorphism proved
DFA complement defined, but language isomorphism not proved yet