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

课程内容 第一章 概论 第二章 词法分析 第三章上下文无关文法及分析 第四章自上而下的语法分析 第五章自下而上的语法分析 第六章语义分析 第七章运行时环境 第八章代码生成 第三章 上下文无关文法及分析 3.1 语法分析过程 语法分析以词法分析程序输出的单词序列为输入，分析源程序的语法结构，判断它是否为相应程序设计语言的合法程序。 通常语法分析的结果是构造出表示该语法结构的分析树（parse tree）或语法树(syntax tree)。 语法分析阶段可以确定单词流中违反源语言语法结构规则的错误。 生成方式(文法)：语言中的每个句子可以用严格定义的规则来构造。 识别方式(自动机)：用一个过程，当输入的一任意串属于语言时，该过程经有限次计算后就会停止并回答“是”，若不属于，要么能停止并回答“不是”，要么永远继续下去 。 Noam Chomsky研究了自然语言的结构，提出了一种用来描述语言的数学系统(Chomsky文法)，并以此定义了四类性质不同的语言，称为语言（文法）的Chomsky分类。 Chomsky文法分为四个层次：0型，1型，2型和3型文法。 其中2型文法（或上下文无关文法）被证明是程序设计语言中最有用的。 今天2型语言已代表着程序设计语言语法结构的标准方式。 问:下面的语句是否是一个符合上述语法结构的简单句子？ The big elephant ate the peanut. 冠词 形容词 名词 动词 冠词 名词 我们把上述两个字符串中间用一箭头分隔构成的有序对称为产生式。其中， “ →”表示“由……组成”, “ →”也可以用=，::=，:来代替。 第三章 上下文无关文法及分析 3.2 上下文无关文法的形式定义 上下文无关文法(即2型文法)的形式定义 chomsky文法的分类 推导和规约的定义 句型和句子的定义 最左和最右推导 文法定义的语言 递归产生式和递归文法 文法和语言 3.2 上下文无关文法的形式定义 上下文无关文法(即2型文法)的形式定义 chomsky文法的分类 推导和规约的定义 句型和句子的定义 最左和最右推导 文法定义的语言 递归产生式和递归文法 文法和语言 3型文法：通常，我们把右线性文法及左线性文法统称为3型文法或正规文法。 若文法G中任一产生式α→β的形式都为A→aB 或 A→a，其中 A∈VN ，B∈VN ，a∈VT ，则称G为右线性文法； 类似地，如果G中仅含有形如A→Ba 或 A→a的产生式，则称G为左线性文法； 3.2 上下文无关文法的形式定义 上下文无关文法(即2型文法)的形式定义 chomsky文法的分类 推导和规约的定义 句型和句子的定义 最左和最右推导 文法定义的语言 递归产生式和递归文法 文法和语言 直接推导“?”或一步推导 若有v,w满足： v=γαδ, w=γβδ 其中：α→β是文法G的产生式， γ∈ (VT ∪ VN)*,δ∈ (VT ∪ VN)* 则称v直接推导到w,记作 v ? w，称w直接归约到v。 注：直接推导就是产生式规则的一次运用，即用产生式的右部替换左部。 若存在v=w0?w1 ?... ?wn=w (n0), 我们用v=+w表示一步或多步推导，称v推导出w，或w归约到v； 若有v=+w，或v=w，则记为v=*w，表示零步或多步推导。 3.2 上下文无关文法的形式定义 上下文无关文法(即2型文法)的形式定义 chomsky文法的分类 推导和规约的定义 句型和句子的定义 最左和最右推导 文法定义的语言 递归产生式和递归文法 文法和语言 简单整型算术表达式文法： exp → exp op exp|(exp)|number op → +|-|* 给出算术表达式（34-3）*42的一个推导，请列出推导过程中出现的句型和句子。 3.2 上下文无关文法的形式定义 上下文无关文法(即2型文法)的形式定义 chomsky文法的分类 推导和规约的定义 句型和句子的定义 最左和最右推导 文法定义的语言 递归产生式和递归文法 文法和语言 exp?exp op exp ?number op exp ?number + exp ?number + number exp?exp op exp exp op number exp + number number + number 3.2 上下文无关文法的形式定义 上下文无关文法(即2型文法)的形式定义 chomsky文法的分类 推导和规约的定义 句型和句子的定义 最左和最右推导 文法定义的语言 递归产生式和递归文法 文法和语言 文法定义的语言： 根据文法可以推导出任一句型和句子，而所有句子的集合则为该文法所对应的语言； 即语言是