参考答案：有穷

解析： 算法必须能在执行有限个步骤之后终止指的是算法的有穷性。同时有穷性还指算法的每个步骤都应该在有穷时问内结束。