标签：算法的有穷性特征是指：一个算法必须在执行有限个操作步骤后终止