automata con nuevos arcos EOF