算法基础-有穷性特征