标签：算法的有穷性是指算法必须能在执行有限个步骤之后终止