文法与语言相关附件9798-1ppt - 第三章语法分析.ppt

第三章 文法和语言 主要书上第二章 5.1.2 本章目的 3.1 引言和预备知识 一个程序设计语言是一个记号系统，如同自然语言一样，它的完整的定义应包括语法和语义两个方面。 A∶=B+C A∶=B+ 语言概述 语言是由句子组成的集合，是由一组符号所构成的集合。 汉语--所有符合汉语语法的句子的全体 英语--所有符合英语语法的句子的全体 程序设计语言--所有该语言的程序的全体 3.2 文法和语言的形式定义 例 1 例2 一个文法的几种写法 直接推导 对于例1的文法G，直接推导的例子 句型句子 语言 考虑例1的文法G 等价* 例3 文法，推导，句子的例子 文 法 的 类 型 书2.3.3节（看书） 四个文法类关系 “Chomsky Normal Form” 1 3.3上下文无关文法及其语法树 （书2.3） 例11 例12 语法树 推导树 例13 关于上下文无关文法的语法树和句型有定理 例11 句型i*i+i就有两个不同的最左推导一和二 文法二义性 例14 3.4 上下文无关文法的句型分析 对于上下文无关文法，语法树是句型推导过程的几何表示。从上所给的例子看出，语法树确实将所给句型的结构很直观地显示出来了。语法树是句型结构分析的极好工具。 而我们这里所说的句型分析问题，是说如何知道所给定的符号串是文法的句型。句型的分析就是识别一个符号串是否为某文法的句型，是某个推导的构造过程。 进一步说，当给定一个符号串时，试图按照文法的规则为该符号串构造推导或语法树，以此识别出它是文法的一个句型；当符号串全部由终结符号组成时，就是识别它是不是文法的句子。因此也有人把语法树称为语法分析树或分析树。 对于程序设计语言来说，我们要识别的是程序设计语言的程序，程序是定义程序设计语言的文法的句子。句型分析是识别一个输入符号串是否为语法上正确的程序的过程。在语言的编译实现中，把完成句型分析的程序称为分析程序或识别程序，分析算法又称识别算法。 分析算法都称之为从左到右的分析算法，即总是从左到右地识别输入符号串，首先识别符号串中的最左符号，进而识别右边的一个符号。当然也可以定义从右向左的分析算法，但从左到右的分析更为自然，因为程序是从左到右地书写与阅读的。 分析算法分成两大类 自上而下 所谓自上而下分析法，是从文法的开始符号出发，反复使用各种产生式，寻找匹配于输入符号串的推导。自下而上的方法，则是从输入符号串开始，逐步进行归约，直至归约到文法的开始符号。从语法树建立的方式可以很好理解这两类方法的区别。自上而下方法是从文法符号开始，将它做为语法树的根，向下逐步建立语法树，使语法树的末端结点符号串正好是输入符号串； 自下而上。自下而上方法则是从输入符号串开始，以它做为语法树的末端结点符号串，自底向上地构造语法树。 作业 P36 – 8 P36 – 11- 3)和4） 上下文无关文法有足够的能力描述现今程序设计语言的语法结构，比如描述算术表达式，描述各种语句等等。 设G=(VN，VT，P，S)，若P中的每一个产生式α→β满足：α是一非终结符，β∈( VN∪VT )*则此文法称为2型的或上下文无关的。 有时将2型文法的产生式表示为形如：A→β其中A∈VN，也就是说用β取代非终结符A时，与A所在的上下文无关，因此取名为上下文无关文法。 例1和例2中的文法都是上下文无关的。 文法G=(｛E｝,｛+,*,i,(,)｝,P,E) 其中P为： E→i　　E→E+E　　E→E*E　　E→(E)　　这里的非终结符E表示一类算术表达式。i表示程序设计语言中的“变量”，该文法定义了(描述了)由变量，+，*,(和)组成的算术表达式的语法结构， 即：变量是算术表达式；若E1和E2是算术表达式，则E1+ E2，E1*E2和(E1)也是算术表达式。 描述语句的产生式： 〈语句〉→〈条件语句〉|〈赋值语句〉|〈循环语句〉… 描述一种简单赋值语句的产生式为： 〈赋值语句〉→i∶=E描述条件语句的产生式：〈条件语句〉→if〈条件〉then〈语句〉|if〈条件〉then〈语句〉else〈语句〉 因此我们关心上下文无关文法形成的语言的句子的分析和分析方法的研究。今后，对文法一词若无特别说明，则均指上下文无关文法。 前面我们介绍了句型、推导等概念，现在介绍一种描述上下文无关文法的句型推导的直观方法，即语法树，也称推导树。 给定文法G=(VN，VT，P，S)，对于G的任何句型都能构造与之关联的语法树(推导树)。　　这棵树满足下列4个条件：　　① 每个结点都有一个标记，此标记是V的一个符号。　　② 根的标记是S。　　③ 若一结点n至少有一个它自己除外的子孙，并且有标记A，则A肯定在Vn中。　　④ 如果结点n的