第章形式语言与语法分析.pdf

第3章形式语言与语法分析 College of Computer Science Technology 3.1 语法分析程序的功能 3.2 上下文无关文法 3.3 语法分析树和抽象语法树 3.4 二义性文法 3.5 文法变换算法 Compiler Construction Principles Implementation Techniques -1- College of Computer Science Technology 3.1 语法分析程序的功能 • 语法分析程序的功能 • 常见的语法结构 • 语法错误 Compiler Construction Principles Implementation Techniques -2- 3.1 语法分析程序的功能 College of Computer Science Technology • 功能: (1) 检查源程序的语法是否正确，并将其由Token序列 形式转换成“语法树”形式，否则报告语法错误。 – 语法分析前： if (x==j) z=0; else z=1; if ( id eq id ) id ass 0 ; else id ass 1 ; – 语法分析后： E Ass Ass If-stmt (2) 报告语法错误！ 语法错误种类很多 Compiler Construction Principles Implementation Techniques -3- 3.1 语法分析程序的功能 College of Computer Science Technology • 语法结构： 程序 Program 声明Declaration 常量声明 变量声明 类型声明 函数/过程声明 程序体Body 赋值语句 条件语句 表达式 循环语句 函数/过程调用 Compiler Construction Principles Implementation Techniques -4- 3.1 语法分析程序的功能 College of Computer Science Technology • 语法错误的类型 – 语法结构的开始单词错误 • 表达式E的开始单词是id, (, n其他Token则出错 – 语法结构的后继单词错误 • 语句；语句