程序设计基本步骤中，______是指为在有限的步骤内解决一个具体问题而规定的意义明确的解题步骤的有限集合。