let reach_star (maq:maquina) (states:estados) (ch:simbolo) = reach_star_aux maq Sestado.empty states ch