长安大学《编译原理》chapter4.pdfVIP

软件工程专业本科课程 编 译 原 理 Compilers Principles 长安大学信息工程学院软件工程系 主讲：李 鹏 第四章 语法分析 上下文无关文法(context free grammars)  自上而下语法分析  自下而上语法分析 分析器的生成器 2 4.1 引论 源程序 词 法 词法单元 语法 分析树 前端的 中间表示 分析器 取下一个 分析器 其余部分 词法单元 符号表 4.1 引论 3 语法错误的处理 编译器的错误处理概述： •词法错误，如标识符、关键字或算符的拼写错； •语法错误，如算术表达式的括号不配对； •语义错误，如算符作用于不相容的运算对象； •逻辑错误，如无穷的递归调用。 4.1 引论 4 语法错误的处理 语法分析器对错误处理的基本目标： •清楚而准确地报告错误的出现； •迅速地从每个错误中恢复过来，以便诊断后面的 错误，并尽量少出现伪错误； •尽可能少地增加处理正确程序时的开销。 4.1 引论 5 错误恢复策略 •恐慌模式的恢复； •短语层次的恢复； •错误产生式； •全局纠错。 4.1 引论 6 4.2 上下文无关文法 上下文无关文法G是一个四元组（V , V , S, P ） T N • VT : 终结符集合terminals • V : 非终结符集合nonterminals N •S : 开始符号start symbol •P : 产生式集合productions 产生式形式: A   4.2 上下文无关文法 7 产生式集P 例 （{id, +, , *, /, (, )}, {expr, term,factor }, expr, P ） 终结符号集V 非终结符号集V T N 开始符号S expr  expr + expr 简化表示 expr  expr – expr expr  - term E E + T | E - T |