Claro y el servicio un autómata .