计算理论基础章1.pptVIP

计算理论基础 信息科学与工程学院 计算机软件与理论研究所 许桂清 杨莹 序 言 一. 本课的性质以及研究的内容 任何一门学科都有它的基础和它的基本问题，如物质的本质是什么？有机体生命的基础和起源是什么？ 什么是计算机科学的基础？什么是计算机科学的基本问题？ 诸如什么是形式语言？什么是计算？什么是能计算的？什么是不能计算的？什么是算法？如何评价算法？什么样的算法是可行的？这些问题能否判定？这又引出什么是可判定的？什么是不可判定的？ 这些问题就是计算理论要讨论的问题。 性质：该课是计算机科学的理论课。 计算理论：就是研究理论计算机的科学。 理论计算机：是研究计算机的理论模型，研究计算机 的本质，也就是把计算机看成一个数学系统。(因为计算 机科学的基本思想和模型在本质上是数学——离散的。) 内容： 形式语言与自动机理论： 正规文法与有限自动机(正规语言) 、 上下文无关文法与下推自动机(上下文无关语言) 图灵机(递归可枚举语言) 可计算性理论： 什么是可计算？ 计算复杂性理论： 时间复杂性 、 空间复杂性。 递归函数 二. 学习目的： 了解这些计算理论 我们知道计算机不论从它的诞生还是它的快速发展过程 都没有离开计算理论，也就是它是在计算理论指导下诞生 和发展的。并课所涉及的都是计算机科学的基本问题。不 首先了解它们，是很难