算法的有穷性是指一个算法必须总是（对任何合法的输入)在执行有穷步之后结束,且每一步都可在有

算法的有穷性是指一个算法必须总是(对任何合法的输入)在执行有穷步之后结束,且每一步都可在有穷时间内完成。()