Chapt23 形式语言汇.pptVIP

语法树是句型推导过程的图形表示。 例如，设句子bd0的最右推导或规范推导为： 标识符 ? 标识符数字 ? 标识符0 ? 标识符字母0 ? 标识符d0 ? 字母d0 ? bd0 标识符 数字 标识符 标识符 字母 字母 b d 0 图23.1 句子bd0的语法树 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义1.9 如果一个文法存在某个句子对应两棵以上的不同的语法树，或有两个以上的不同的最左(右)推导，则称该文法是二义性文法（程序设计语言不能有二义性 ）。 定义1.10 如果一个语言L的任何文法都是二义性文法，则称该语言L是二义性语言。 在理论上已经证明了，存在着这种二义性的语言。 文法的二义性与语言的二义性是两个不同的概念。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Chomsky于1956年把文法分成四种类型，即：0型文法、1型文法、2型文法和3型文法。这种文法的分类称作Chomsky分类。 文法所生成的语言，根据四种类型文法，也分为四种，即：0型语言、1型语言、2型语言和3型语言。 Chomsky建立的形式语言理论对计算机科学的发展规律有着深刻的影响，特别是对计算机程序设计语言的设计、编译方法和计算复杂性等方面具有更大的作用。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义1.12 设文法G = (V, T, P, S)，如果对于?????P，满足|?|≥|?|(除S??外)，则文法G称为1型文法或上下文有关文法，简记为CSG。 1型文法的产生式的形式也被描述为：?1A?2??1??2，其中： ?1、?2 、??(V∪T)+，A?V。它更能体现“上下文有关”这一含义，因为，只有A出现在?1和?2之间（?1为A的上文， ?2为A的下文），才允许用?来取代A。 1型文法所产生的语言称作1型语言或上下文有关语言(简记为CSL)。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义1.13 设文法G = (V, T, P, S)，如果，对于?????P，满足??V，??(V∪T)*，则称G为2型文法或上下文无关文法，简记为CFG。 上下文无关文法取名为“上下文无关”的原因就是因为字符 ? 总可以被字串 ? 自由替换，而无需考虑字符 ? 出现的上下文。 2型文法所产生的语言称作2型语言或上下文无关语言(简记为CFL)。 一个简单的上下文无关文法的例子是：S - aSb | ε。由于这个文法的产生式的左边都是单个的非终结符S，右边是由终结符或非终结符构成的符号串aSb和ε，因此符合上下文无关语法产生式的要求。该文法产生的语言为 {anbn : n ≥ 0} 。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 形式语言与自动机理论基础 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 众所周知，计算机是数学和电子学相结合的产物，它的数学模型就是图灵所定义的计算模型。在当今的信息化社会，计算无处不在，无时不在，每一个人都在计算，计算影响着每个人。计算机科学在这个信息社会正在扮演着越来越重要的角色。计算机科学的基础理论有很多，但研究计算模型的基础理论主要包括形式语言与自动机理论、可计算理论、逻辑学和程序设计理论。形式化和抽象是计算机科学理论的重要特征。 本篇主要介绍计算模型基础理论中的形式语言与自动机理论。 Evaluation only. Created with Aspose.Slides for .NET 3