编译原理课件章节 2.ppt

第2章?高级语言及其文法;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;2.1 语言概述;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;形式语言与自动机理论的产生与作用;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.2 基本定义;2.3 文法的定义;赋值语句?左部量=右部表达式 左部量?简单变量 左部量? 下标变量 简单变量?a 简单变量?b 简单变量? c 下标变量?m[1] 下标变量?m[2] 下标变量?m[3] 右部表达式?简单变量运算符简单变量 右部表达式?简单变量运算符下标变量 右部表达式?下标变量运算符简单变量 右部表达式?下标变量运算符下标变量 运算符? + 运算符? -;非终结符号集V = {赋值语句，左部量，右部表达式，简单变量，下标变量，运算符} 终结符号集T = {a，b, c,m[1],m[2],m[3], +, -} 语法规则集P = {赋值语句?左部量=右部表达式 ，……} 开始符号S = ?赋值语句?;文法G的形式定义;文法G的形式定义;例2.9 赋值语句的文法;例2.9 赋值语句的文法（续）;产生式的简写;句子的派生(推导)-从产生语言的角度;句子的归约 -从识别语言的角度;基于产生式的变换--推导或归约;(多步)推导;文法G产生的语言;文法G产生的语言(续);推导/归约举例;句型与句子;句型与句子;2.４ 文法的分类(Chomsky体系);1. 上下文有关文法(CSG);2.上下文无关文法(CFG);例 标识符的文法;3. 正规文法(RG);文法举例;文法举例;文法举例;Chomsky体系——总结;文法的类型;ＢＮＦ范式——Backus-Naur Form Backus-Normal Form;ＢＮＦ范式——Backus-Naur Form Backus-Normal Form;2.5 CFG的语法树;语法树;语法树定义;例 句子结构的表示 (文法E→E+E|E*E|(E)|id ）;短语(Phrase); 例：(直接)短语;句柄(Handle)：最左直接短语;用子树解释短语，直接短语，句柄;E;例 短语与分析树 (文法E→E+E|E*E|(E)|id ）;id+id*id的不同推导E→E+E|E*E|(E)|id;最左推导与最右推导;2.6 CFG的二义性;文法的二义性; E?E+E ?a+E ?a+E*E ?a+a*E ?a+a*a; E?E+E ?E+E*E ?E+E*a ?E+a*a ?a+a*a;文法的二义性;二义性（ambiguity)的定义;二义性的消除;2.7 本章小结