correccion union de DFA