在算法的4个特性中，算法必须能在执行有限个步骤之后终止指的是算法的___________特性。