第二章高级语言和其语法描述n.ppt

2 高级语言的分类 强制式语言 (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 小 结 掌握符号串、文法、句型、句子和语言的定义 几个重要概念：递归、语法树、文法的二义性、文法的实用限制等。 掌握文法的表示：BNF、扩充的BNF范式、语法图。 了解文法分类。 本 章 作 业 P36：6#，7#，8#，10# 2.4.4 递归文法 1.递归产生式：产生式右部有与左部相同的符号 对于 U → xUy 若x=ε,即U → Uy，左递归； 若y=ε,即U → xU，右递归； 2.递归文法：文法G，存在U ∈VN if U==…U…, 则G为递归文法； if U==U…, 则G为左递归文法； if U==…U, 则G为右递归文法； + + + 4. 递归文法的优点：可用有穷条产生式，定义无穷语言 例：对于前面给出的无符号整数的文法是有递归文法，用13条产生式就可以定义出所有的无符号整数。若不用递归文法，那将要用多少条产生式呢？ ! 3. 左递归文法的缺点：不能用自顶向下的方法来进行语法分析 会造成死循环（后面将详细论述） 2.5 文法分类 形式语言：用文法和自动机所描述的没有语义的语言。 文法定义：乔姆斯基将所有文法都定义为一个四元组： G=（VN，VT，P，Z） VN：非终结符号集 VT：终结符号集 P：产生式或规则的集合 Z：开始符号（识别符号） Z∈VN 语言定义： L（G[Z]）={x| Z==x , x∈VT*, } + 文法和语言分类：0型、1型、2型、3型 这几类文法的差别在于对产生式施加不同的限制。 定义8：0型文法： P： u → v 其中u∈V＋，v∈V* 0型语言：L0 这种语言可以用图灵机(Turing)接受. 0型文法称为短语结构文法。产生式的左部和右部都可 以是符号串，一个短语可以产生另一个短语。 定义9： 1型文法： P： xUy → xuy 其中 U∈VN， x、y、u∈V* 1型语言：L1 这种语言可以由一种线性界限自动机接受. 称为上下文敏感或上下文有关。也即只有在x、y这样的 上下文中才能把U改写为u 定义10：2型文法： P： U → u 其中 U∈VN， u∈V* 2型语言：L1 这种语言可以由下推自动机接受. 称为上下文无关文法。也即把U改写为u时，不必考虑上下文。 注意：2型文法与BNF表示相等价。 （右线性） P： U → T 或 U → Tw 其中 U、w∈VN T∈VT 3型语言：L3 又称正则语言、正则集合 这种语言可以由有穷自动机接受. 3型文法称为正则文法。它是对2型文法进行进一步限制。 （左线性） P： U → T 或 U → wT 其中 U、w∈VN T∈VT 定义11： 3型文法： 根据上述讨论，L0 L1 L2 L3 0型文法可以产生L0、L1、L2、L3，但2型文法只能产生L2，不能产生L1。 ∪ ∪ ∪ 2.6 语法树与二义性文法 2.6.1 推导与语法树 （1）语法树：句子结构的图示表示法，它是一种有向图，由 结点和有向边组成。 结点：符号 根结点：识别符号 中间结点：非终结符 叶结点：终结符或非终结符 有向边：表示结点间的派生关系。 Z U V