需求分析阶段产生的主要文档是_算法的有穷性是指