intento de ER to DFA