语法分析-自顶向而下分析-编译原理-04-(二).pdf

第四章 语法分析— 扫描器 扫描器 扫描器 — 自顶向而下分析 4.1 语法分析的任务 单词符号 4.1 语法分析的任务 检查输入的单词符号序 分析器 分析器 列是否符合该语言文法 分析器  使用例 分析树 检查表达式、语句、函 数的格式 语义处理 语义处理 语义处理 分析器的输出 分析器的输出  分析树  分析树 格式化的程序 格式化的程序 合法的表达式、语句、函数 合法的表达式、语句、函数  出错处理要求  出错处理要求 尽快发现错误，准确定位， 尽快发现错误，准确定位， 可能时进行恢复处理，继续语法分析 可能时进行恢复处理，继续语法分析 4.2 上下文无关文法（２型文法）  编程语言的语法大都可用２型文法来描述  编程语言的语法大都可用２型文法来描述 例 4-1 表达式的语法  例 4-1 表达式的语法 E → E + T | E - T | T E → E + T | E - T | T T → T * F | T / F | F T → T * F | T / F | F F → ( E ) | id | const F → ( E ) | id | const  Ｖ ＝｛ E，T, F ｝  Ｖ ＝｛ E，T, F ｝ N N  Ｖ ＝｛ id, const, +，-，*，/，(，) ｝  Ｖ ＝｛ id, const, +，-，*，/，(，) ｝ T T  Ｓ ＝ E  Ｓ ＝ E 2 型文法的使用限制 2 型文法的使用限制  没有一种方法能够有效地分析所有上  没有一种方法能够有效地分析所有上 下文无关文法 下文无关文法 存在无法处理的２型文法 存在无法处理的２型文法 每种方法能够处理一部分上下文无关  每种方法能够处理一部分上下文无关 文法 文法 每种方法都有适用范围 每种方法都有适用范围 常用文法 常用文法 LL文法和 LR 文法都是２型文法的子集  LL文法和 LR 文法都是２型文法的子集 对于同一语言的语法 对于同一语言的语法 可用不同的文法来描述 可用不同的文法来描述 对于不同的文法，可用不同的分析方法  对于不同的文法，可用不同的分