Completed Union for DFA, next up Intersection