算法的有穷性是指什么