DFA union defined with intersection & complement