计算理论第一章.pptVIP

计算理论课件第一章第1页，共31页，星期日，2025年，2月5日序言一.本课的性质以及研究的内容任何一门学科都有它的基础和它的基本问题，如物质的本质是什么？有机体生命的基础和起源是什么？什么是计算机科学的基础？什么是计算机科学的基本问题？诸如什么是形式语言？什么是计算？什么是能计算的？什么是不能计算的？什么是算法？如何评价算法？什么样的算法是可行的？这些问题能否判定？这又引出什么是可判定的？什么是不可判定的？这些问题就是计算理论要讨论的问题。第2页，共31页，星期日，2025年，2月5日性质：该课是计算机科学的理论课。计算理论：就是研究理论计算机的科学。理论计算机：是研究计算机的理论模型，研究计算机的本质，也就是把计算机看成一个数学系统。(因为计算机科学的基本思想和模型在本质上是数学——离散的。)内容：形式语言与自动机理论：正规文法与有限自动机(正规语言)、上下文无关文法与下推自动机(上下文无关语言)图灵机(递归可枚举语言)可计算性理论：什么是可计算？计算复杂性理论：时间复杂性、空间复杂性。递归函数第3页，共31页，星期日，2025年，2月5日二.学习目的：了解这些计算理论我们知道计算机不论从它的诞生还是它的快速发展过程都没有离开计算理论，也就是它是在计算理论指导下诞生和发展的。并课所涉及的都是计算机科学的基本问题。不首先了解它们，是很难理解计算机科学的。作为计算机科学与技术专业的本科生和研究生应该了解这些计算理论。培养能力此外此课可以培养学生抽象逻辑思维和形式化思维的能力。为学习《编译原理》做准备第4页，共31页，星期日，2025年，2月5日第一章形式语言概述第5页，共31页，星期日，2025年，2月5日语言是人们交流思想的工具。按照语言的形成，可将语言分成二类：自然语言和人工语言（形式语言）。一.自然语言

如汉语、英语、法语、日语等等都是自然语言。形成：是大多数人经过长期地社会实践逐渐形成的。特点：种类繁多，内容丰富，表达能力强。缺点：具有地方性，不便互相交流。有时不够精确，有多义性。比如汉语中的“打”字，具有多种解释。如打伞、打扑克、打醋、打人、一打袜子等等。因此自然语言不适合计算机的程序设计语言。二.形式语言如计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。形成：是少数人经过严格地形式定义确定的语言。特点：定义准确，无歧义性。第6页，共31页，星期日，2025年，2月5日在五十年代Chomky建立了形式语言的理论体系，从此它发展很快，形式语言的研究已成为计算机科学的一个重要领域。形式语言：定义为一个严格的数学系统，其严格的形式性使我们能给出形式语言的数学描述，进而揭示所描述语言的结构、特性及其应用范围。描述形式语言有两种方法：生成法识别法。生成法：用文法给出产生该语言的所有句子的规则。根据这些规则可以产生语言中每个句子。这些规则就叫生成式或产生式。

第7页，共31页，星期日，2025年，2月5日例如，下边是个描述“十进制数”的文法：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|IDI→N|NID→.IN→0|1|2|3|4|5|6|7|8|9例如利用此文法产生3.14:F?ID?ND?N.I?3.I?3.NI?3.1I?3.1N?3.14识别法：核心是一个自动机。对于给定的符号串可以由自动机识别出是否为给定语言中合法的句子。自动机的具体的例子以后再介绍。第8页，共31页，星期日，2025年，2月5日1-1形式语言基本概念形式语言必须规定所用基本符号集合，这就是字母表。一.字母表字母表：符号的有限集合。通常用V或者?表示。例如V＝?a,b,c?。二．符号串符号串：是由字母表中的符号组成的序列。例如，aabbcc就是上述字母表V上的一个符号串。符号串的长度：即是符号串所含符号个数。例如符号串?＝aabbcc用???表示?的长度，则|??＝6。空符号串：不含任何符号的符号串，通常用?表示。显然???＝0。第9页