算法的有穷性是指（ ）。