第二章高级语言及其语法描述n.pptVIP

3 高级语言的分类 强制式语言 (Imperative Language) / 过程式语言 FORTRAN , C, Pascal 应用式语言(Applicative Language) / 函数式语言 LISP 基于规则的语言(Rule-based Language) Prolog 面向对象语言(Object-oriented Language) 编译感兴趣的问题是: 给定终极符x, 文法G, 求x ? L(G) ? 例:算术表达式的文法 E::= E+E | E*E | (E) | i 小 结 掌握符号串、文法、句型、句子和语言的定义 几个重要概念：语法树、文法的二义性等。 了解文法分类。 本 章 作 业 P36：6#，7#，8#， 9#， 10# 定义11：2型文法： P： U → u 其中 U∈VN， u∈V* 2型语言：L1 这种语言可以由下推自动机接受. 称为上下文无关文法。也即把U改写为u时，不必考虑上下文。 注意：2型文法与BNF表示相等价。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （右线性） P： U → T 或 U → Tw 其中 U、w∈VN T∈VT 3型语言：L3 又称正则语言、正则集合 这种语言可以由有穷自动机接受. 3型文法称为正则文法。它是对2型文法进行进一步限制。 （左线性） P： U → T 或 U → wT 其中 U、w∈VN T∈VT 定义12： 3型文法： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 根据上述讨论，L0 L1 L2 L3 0型文法可以产生L0、L1、L2、L3，但2型文法只能产生L2，不能产生L1。 ∪ ∪ ∪ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5 语法树与二义性文法 1 推导与语法树 语法树：句子结构的图示表示法，通常表示成一棵倒立的树。 结点：符号 根结点：识别符号 中间结点：非终结符 叶结点：终结符或非终结符 边：表示结点间的派生关系。 Z U V a b c d Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 注意一个重要事实：文法所能产生的句子，可以 用不同的推导原则（使用产生式顺序不同）将其 推导出来。语法树的生成规律不同，但最终生成的语 法树形状完全相同。某些文法有此性质，而某些文法 不具此性质。 句型的推导及语法树的生成（自顶向下） 给定G[Z]，句型w： 可建立推导序列，Z==w 可建立语法树，以Z为树根结点，每步推导生成语法树的一枝，最终可生成句型的语法树。 * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 无符号整数 数字串 数字串 数字 数字 1 (1) (2) (3) (5) (4) 0 一般推导： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 树与推导 句型推导过程?