metodo limpiar automata funcional, comienzo implementacion minimizacion, falta ver de arreglar DFA.isFinite()