有穷性是算法的特性。