编译原理课程设计之第三章 上下文无关文法和分析.pptVIP

课程内容 第一章 概论 第二章 词法分析 第三章上下文无关文法及分析 第四章自上而下的语法分析 第五章自下而上的语法分析 第六章语义分析 第七章运行时环境 第八章代码生成;第三章 上下文无关文法及分析;3.1 语法分析过程 3.2 上下文无关文法的形式定义 3.3 二义性文法;语法分析以词法分析程序输出的单词序列为输入，分析源程序的语法结构，判断它是否为相应程序设计语言的合法程序。 通常语法分析的结果是构造出表示该语法结构的分析树（parse tree）或语法树(syntax tree)。 语法分析阶段可以确定单词流中违反源语言语法结构规则的错误。;如何来描述一种语言(符号串的集合)？;语言的有穷表示有两个途经：;Number=digit digit* Digit=0|1|2|3|4|5|6|7|8|9;Noam Chomsky研究了自然语言的结构，提出了一种用来描述语言的数学系统(Chomsky文法)，并以此定义了四类性质不同的语言，称为语言（文法）的Chomsky分类。;Chomsky文法分为四个层次：0型，1型，2型和3型文法。 其中2型文法（或上下文无关文法）被证明是程序设计语言中最有用的。 今天2型语言已代表着程序设计语言语法结构的标准方式。;Chomsky文法就是用生成方式来描述语言的：语言中的每个句子可以用严格定义的规则来构造。;问:下面的语句是否是一个符合上述语法结构的简单句子？ The big elephant ate the peanut. 冠词 形容词 名词 动词 冠词 名词 我们把上述两个字符串中间用一箭头分隔构成的有序对称为产生式。其中， “ →”表示“由……组成”, “ →”也可以用=，::=，:来代替。;例如：包含加法、减法和乘法的简单整型算术表达式的语法结构可由下面的上下文无关文法(2型文法)给出： exp → exp op exp exp →(exp) exp → number op → +|-|*;3.1 语法分析过程 3.2 上下文无关文法的形式定义 3.3 二义性文法;3.2 上下文无关文法的形式定义;终结符集合VT 非终结符集合VN(与VT不相交) 产生式或文法规则A→α形成的集合P, 其中A∈VN,α∈(VT∪VN)* 开始符号S，其中S∈VN 令G是一个如上所定义的文法，则G=(VT,VN,P,S);例 G1 =({N} , {0，1}, ; 通常情况下，文法只用产生式的集合表示：;文法G[exp] exp → exp op exp exp →(exp) exp → number op ??? + | - | * 的终结符、非终结符、开始符号分别为？;3.2 上下文无关文法的形式定义;chomsky文法的分类;;例：1型（上下文有关）文法 文法G[S]： S→CD Ab→bA C→aCA Ba→aB C→bCB Bb→bB AD→aD C→ε BD→bD D→ε Aa→bD;例：2型（上下文无关）文法 文法G[S]：S→AB A→BS|0 B→SA|1;G[S]： S→0A|1B|0 A→0A|1B|0S B→1B|1|0;文法G[exp]： exp → exp op exp exp →(exp) exp → number op → + | - | *;3.2 上下文无关文法的形式定义;推导和规约的定义;直接推导“?”或一步推导 若有v,w满足： v=γαδ, w=γβδ 其中：α→β是文法G的产生式， γ∈ (VT ∪ VN)*,δ∈ (VT ∪ VN)* 则称v直接推导到w,记作 v ? w，称w直接归约到v。 注：直接推导就是产生式规则的一次运用，即用产生式的右部替换左部。;例：G[S]：S→0S1，S→01 直接推导： ;推导的定义;例：G[S]： S→0S1， S→01 ;3.2 上下文无关文法的形式定义;定义4 句型和句子:设G=(VN , VT , P , S)是一文法,且 V=VN∪VT;简单整型算术表达式文法： exp → exp op exp|(exp)|number op → +|-|* 给出算术表达式（34-3）*42的一个推导，请列出推导过程中出现的句型和句子。; 算术表达式（34-3）*42的推导： exp ? exp op exp ? exp op number ? exp * number ? (exp) * number ? (exp op exp)