计算学科导论计算科学基本概念和基本知识.pptVIP

定义1是一种百科全书式的定义，在专业上似乎不够严谨，而且也不适应于不确定性算法和分布式、并行算法。 Knuth的算法定义 定义2（Knuth算法定义） 一个算法，就是一个有穷规则的集合，其中之规则确定了一个解决某一特定类型问题的运算序列。此外，算法的规则序列须满足如下五个重要条件（特性）： (1) 有穷性。算法必须总是在执行有穷步之后结束； (2) 确定性。算法的每一个步骤必须是确切地定义的； (3) 输入。算法有零个或多个输入； (4) 输出。算法有一个或多个输出，即与输入有某个特定关系的量； (5) 能行性。算法中有待执行的运算和操作必须是相当基本的，即是说，它们原则上都是能够精确地进行的，而且用笔和纸做有穷次就可以完成。 有穷性和能行性是算法最重要的两个特征。对有些问题来说，如果我们给出了一个类似于算法的有穷运算序列，而它对某些输入可能不停机，那么，我们就称这样的运算 序列为一个过程。算法和过程都满足能行性和确定性，唯一的本质区别是算法的执行必须终止，而过程则不然，它可以永不停止。需要指出的是，高级程序设计语言中也有过程的概念，但与这里所讲的过程不同，那里实际上指的是一种子程序。 1960年代，克努特把计算机科学定义为是研究算法的学问。不过，由于1980年代计算机科学中并行与分布式算法的发展与计算机体系结构密切相关，以及学