计算理论课件第一章新.pptVIP

计算理论基础;序 言;性质：该课是计算机科学的理论课。 计算理论：就是研究理论计算机的科学。 理论计算机：是研究计算机的理论模型，研究计算机 的本质，也就是把计算机看成一个数学系统。(因为计算 机科学的基本思想和模型在本质上是数学——离散的。) 内容： 形式语言与自动机理论： 正规文法与有限自动机(正规语言) 、 上下文无关文法与下推自动机(上下文无关语言) 图灵机(递归可枚举语言) 可计算性理论： 什么是可计算？ 计算复杂性理论： 时间复杂性 、 空间复杂性。 递归函数;二. 学习目的： 了解这些计算理论 我们知道计算机不论从它的诞生还是它的快速发展过程 都没有离开计算理论，也就是它是在计算理论指导下诞生 和发展的。并课所涉及的都是计算机科学的基本问题。不 首先了解它们，是很难理解计算机科学的。作为计算机科 学与技术专业的本科生和研究生应该了解这些计算理论。 培养能力 此外此课可以培养学生抽象逻辑思维和形式化思维的能 力。 为学习《编译原理》做准备;第一章; 语言是人们交流思想的工具。按照语言的形成，可将 语言分成二类：自然语言和人工语言（形式语言）。 一. 自然语言如汉语、英语、法语、日语等等都是自然语言。 形成：是大多数人经过长期地社会实践逐渐形成的。 特点：种类繁多，内容丰富，表达能力强。 缺点：具有地方性，不便互相交流。有时不够精确， 有多义性。比如汉语中的“打”字，具有多种解释。如打 伞、打扑克、打醋、打人、一打袜子等等。因此自然语 言不适合计算机的程序设计语言。 二.形式语言 如计算机的各种程序设计语言、数理逻辑中的谓词演 算语言等都属于形式语言。 形成：是少数人经过严格地形式定义确定的语言。 特点：定义准确，无歧义性。 ; 在五十年代Chomky建立了形式语言的理论体系，从此 它发展很快，形式语言的研究已成为计算机科学的一个 重要领域。 形式语言：定义为一个严格的数学系统，其严格的形 式性使我们能给出形式语言的数学描述，进而揭示所描 述语言的结构、特性及其应用范??。 描述形式语言有两种方法： 生成法 识别法。 生成法：用文法给出产生该语言的所有句子的规则。根 据这些规则可以产生语言中每个句子。这些规则就叫生 成式或产生式。;例如，下边是个描述“十进制数”的文法： G=({F,I,D,N}, {.,0,1,2,3,4,5,6,7,8,9}, P, F) 令F——“十进制数”、 I——“无符号整数”、 D——“十进制小数”、 N——“数字” 于是该文法的产生式集合P中产生式如下： F→I|D|ID I→N|NI D→.I N→0|1|2|3|4|5|6|7|8|9 例如利用此文法产生3.14:;1-1 形式语言基本概念;三.符号串的“连接”运算“?” 例符号串x=abc，y=cba，x与y的连接构成符号串z, 则 z=x?y=abc?cba=abccba 显然连接运算“?”满足可结合性且有幺元?，即对任何符 号串x,y,z有 (x?y)?z=x?(y?z) x??=??x=x 对符号串的连接可以写成乘幂的形式，即对任何符号串 x有： x?x=x2 x?x?x=x3 一般地 xn-1?x=xn xm? xn =xm+n ( xm)n=xmn;四．符号串集合的乘积 令A和B是符号串的集合，A与B的乘积记作AB，且 AB＝?x?y?x?A?y?B? 例如，A＝?a,b,ab? ，B=?0,1? ， 则 AB＝?a0,b0,,ab0,a1,b1,ab1? 由于符号串集合的乘积的运算是可结合的，所以也可 写成乘幂的形式。即A是符号串集合，则 AA＝A2 AmAn= Am+n (Am)n=Amn 当两个集合中有一个集合是空集时，则 它们的乘积为 空集。即?A=A?=?。;五．字母表的闭包V?与V* 令V是个字母表。则 V——由V中符号构成的长度为1的符号串的集合。 V2——由V中符号构成的长度为2的符号串的集合。 V3——由V中符号构成的长度为3的符号串的集合。 于是 Vk＝{w|w是由V中的符号构成的符号串，且|w|=k } V0={?} V?=V?V2?V3?V4?… V*=V0?V?V2?V3?V4?… V*是由V中符号构成的任意长度的符号串(所有符号串)构成的集合。;例如，V＝{0,1} V+={0,1,00,01,10