算法的有穷性是指什么?定义、意义与实例解析