《形式语言与自动机理论 》考研全册配套完整教学课件1.pptx

《形式语言与自动机理论 》考研全册配套完整教学课件1; 《形式语言与自动机理论》第0章 引言 ;0.1、课程绪论： 形式语言：大约于1956年问世，Noam Chomsky给出了一种文法的数学模型，而后，用CFG文法描述ALGOL语言，最后导致了形式语言与自动机理论的研究。;形式语言：研究自然语言和人工语言都必须遵循的一般规律 自动机：语言（形式语言）识别器 可见，本课程是计算机科学的基本理论 1、编译理论的发展过程： 汇编==〉编译或解释 ==〉CC Compiler(YACC) 上述过程中无不运用某些形式语言的理论结果。 2、形式语言的研究价值。 （1）程序语言的设计 （2）Compiler技术方法改进 （3）计算复杂性：算法与自动机 （4）NP问题（多项式时间复杂度问题）;（4）人工智能技术发展： 专家系统中知识表示（规则表示）及推理（规则推导） 程序正确性证明，前置条件==〉结果分析 软件自动生成，如CC Compiler、应用软件自动构造技术等 自然语言理解，语言识别及分析技术 3、形式语言与自动机关系 形式语言研究引入了自动机进行语言识别。 自动机就是一种自动识别句子的构造或程序。 形式语言中的文法与自动机之间存在不可分割的关系。 每一种文法（四种典型文法）《=====》一种自动机 4、本课程只介绍一般的形式语言基本概念和理论 “入门性”;《参考书》 1、《计算理论基础》（第二版），Harry R. L., Christos H. P.，清华大学出版社，1999年9月 2、 《计算理论基础》（第2版）中文翻译版，张立昂、刘田 译，清华大学出版社， 2000年7月 3、 《形式语言与自动机理论》吴哲辉，吴振寰 编著，机械工业出版社，2007年4月 4、《形式语言与自动机理论教学参考书》，蒋宗礼 ，清华大学出版社，2007年7月 5、《形式语言及其与自动机的关系》，[美] J.E. 霍普克罗夫特，J.D. 厄儿曼 著；莫绍揆、段祥、顾秀芳 译，科学出版社出版， 1979年 6、《形式语言及其句法分析》， [美] A.V. 阿霍， J.D. 厄儿曼 著， 石青云 译 科学出版社出版， 1987年 7、无论其它有关形式语言与自动机理论的书。;0.2、语言及其表示 提要：本节将从一般的观点来讨论定义语言的两种主要方法：产生程序和识别程序 。产生程序主要介绍Chomsky文法，而识别程序则介绍各种已研究过的识别程序。 1、过程和算法 在讨论有穷表示的概念以前，我们非形式地介绍一下过程和算法。 一个过程就是一个能被机械地执行的指令有穷系列。如一个计算机的程序。 总是要终止的过程叫做算法。 2、语言的表示 语言定义：（非形式）一个语言L是在某个有限字母表∑上的有限长符号串的集合。 ;1）罗列法： 当L由有限符号串组成时，则一个显然的表示法是把L中所有的符号串罗列出来。 L为无穷集时，怎么表示？ 假定要求（规定）语言的表示是有限的。 2）产生系统：也称为文法系统。 即可给予一种算法或过程，它依某种次序可系统地依次产生语言的句子。 优点：文法==〉句子结构 ≡≡≡≡〉句法分析和翻译简单 3）识别法： 给出一个过程，当输入一个任意的符号串时，它能判定该符号串（或句子）是否在语言中。 实际上，我们必须要求该过程是一个算法。 什么是语言理论？ 语言理论就是对符号行的集合、它们的表示法、结构以及特性的研究。;0.3、文法 1、启示 自然语言研究：文法的概念由语言学家在研究自然语言的过程中形式化了的。他们不但关心正确句子的识别，而且也关心提供句子的结构性描述。 目的：目标之一是发展一种能够描述自然语言(英语)的形式文法，从而解决自然语言的计算机化理解、翻译和解决文字问题。 但目前自然语言研究还不成熟，而计算机语言形式化已经成熟。 ;例1. 1 The little boy ran quickly。 ;分析上述句子的规则如下： 句子 → 名词短语 动词短语 名词短语 → 形容词 名词短语 名词短语 → 形容词 单个名词 动词短语 → 单个动词 副词 形容词 → The 形容词 → little 单个名词 → boy 单个动词 → ran 副词 → quickly 注意： ① 目的：我们不但要能够检查句子的语法是否正确，而且还要能产生语法上正确的句子。 ② 方法：从句子开始，利用规则到结束。这样可以导出无穷多个句子中任何一个句子。 ③ 一般形式：{ The, little }+ ╳ {