implementacion provisoria de DFA.intersection()