añadido autómata para si_