算法的有穷性是指______( )。