[工学]西安电子科技大学考研复试科目-编译原理5第3章.pptVIP

第三章 语法分析 3.1 语法分析的若干问题 3.1.1 语法分析器的作用 3.1.2 语法错误的处理原则 3.1.2 语法错误的处理原则（续1） 3.1.2 语法错误的处理原则（续2） 3.2 上下文无关文法(Context Free Grammar, CFG)3.2.1 CFG的定义与表示 1 由产生式集表示CFG 3.2.1 CFG的定义与表示（续1） 4 产生式的缩写形式 3.2.1 CFG的定义与表示（续2） 3.2.2 CFG产生语言的基本方法－推导 3.2.2 CFG产生语言的基本方法－推导（续1） 3.2.2 CFG产生语言的基本方法－推导（续2） 3.2.3 推导、分析树与语法树 3.2.3 推导、分析树与语法树（续1） 3.2.3 推导、分析树与语法树（续2） 3.2.3 推导、分析树与语法树（续3） 3.2.4 二义性与二义性的消除3.2.4.1 二义性（歧义，Ambiguity） “悬空（dangling）else”问题 3.2.4.1 二义性（续1） 3.2.4.2 二义性的消除 可以看出： 1 改写二义文法为非二义文法（续1） 再讨论“悬空else”问题 1 改写二义文法为非二义文法（续2） 1 改写二义文法为非二义文法（续3） 2 为文法符号规定优先级和结合性 3 修改语言的语法（表现形式被改变） 3.3 语言与文法简介 3.3.1 正规式与上下文无关文法1 正规式到CFG的转换 2 为什么用正规式而不用CFG描述词法 3.3.2 上下文有关语言（Context Sensitive Language, CSL） 计数问题 3.3.3 形式语言与自动机简介 再考察L3： 3.3.3 形式语言与自动机简介（续） 结 束 改写二义文法： * 词法分析：元素是字母表，组成字符串，线性结构，单词的集合 语法分析：元素是终结符，组成句子，树结构， 句子的集合 语法的双重含意： ① 语法规则：上下文无关文法（子集－LL文法或LR文法） ② 语法分析：下推自动机（LL或LR分析器），自上而下和自下而上分析 本章主要内容： 1 与语法分析有关的基本概念和相关问题 2 上下文无关文法 3 自上而下分析 4 自下而上分析 5 上机作业－第二部分：函数绘图语言的语法分析器 语法分析器是编译器前端的重要组成部分，许多编译器，特别是由自动生成工具构造的编译器，往往其前端的中心部件就是语法分析器。语法分析器在编译器中的位置和作用下： 它的主要作用有两点： 1 根据词法分析器提供的记号流，为语法正确的输入构造分析树（或语法树），这是本章的重点，在以后各节中详细讨论； 2 检查输入中的语法（可能包括词法）错误，并调用出错处理器进行适当处理，下边简单介绍语法错误处理的基本原则，而在以后的讨论中忽略此问题。 1 源程序中可能出现的错误 两类：语法错误和语义错误。 ① 词法错误如非法字符或拼写错关键字、标识符等； @ intege 20times ② 语法错误是指语法结构出错，如少分号、begin/end不配对等。 begin x:=a+b y:=x; ③ 静态语义错误：如类型不一致、参数不匹配等； a,b:integer; x:array[1..10] of integer; x:=a+b; ④ 动态语义错误（逻辑错误）：如无穷递归、变量为零时作除数等。 while (t) { ...}; a:=a/b; 大多数错误的诊断和恢复集中在语法分析阶段。一个原因是大多数错误是语法错误，另一个原因是语法分析方法的准确性，它们能以非常有效的方法诊断语法错误。 在编译的时侯，想要准确诊断语义或逻辑错误有时是很困难的。 2 语法错误处理的目标 对语法错误的处理，一般希望达到以下基本目标： 清楚而准确地报告错误的出现，地点正确、不漏报、不错报也不多报； 迅速地从每个错误中恢复过来（以便分析继续进行）； 不应使对语法正确源程序的分析速度降低太多。 3 语法错误的基本恢复策略 紧急方式恢复：抛弃若干输入，直到遇到同步记号。 短语级恢复：采用串替换的方式对剩余输入进行局部纠正（抛弃＋插入）。 出错产生式：用出错产生式捕捉错误（预测错误）。预置型的短语级恢复方式。 全局纠正：对错误输入序列x，找相近序列y，使得x变换成y所需的修改、插入、删除次数最少。 例3.1 下述