第四章 语法分析自顶向而下分析 4.1 语法分析的任务.ppt

第四章 语法分析——自顶向而下分析 4.1 语法分析的任务 检查输入的单词符号序列是否符合该语言文法 使用例 检查表达式、语句、函数的格式 分析器的输出 分析树 格式化的程序 合法的表达式、语句、函数 出错处理要求 尽快发现错误，准确定位， 可能时进行恢复处理，继续语法分析 4.2 上下文无关文法（２型文法） 编程语言的语法大都可用２型文法来描述 例 4-1 表达式的语法 E → E + T | E - T | T T → T * F | T / F | F F → ( E ) | id | const ＶN＝｛ E，T, F ｝ ＶT＝｛ id, const, +，-，*，/，(，) ｝ Ｓ ＝ E 2 型文法的使用限制 没有一种方法能够有效地分析所有上下文无关文法 存在无法处理的２型文法 每种方法能够处理一部分上下文无关文法 每种方法都有适用范围 常用文法 LL文法和 LR 文法都是２型文法的子集 对于同一语言的语法 可用不同的文法来描述 对于不同的文法，可用不同的分析方法 ＬＬ文法 ── 递归下降分析法 ＬＲ文法 ── ＬＲ分析法 LL 文法多用于编译的手工实现 LR 文法多用于编译的自动生成 4.2.1 自顶向下分析 基本方法 为输入符号串寻找最左推导 试图根据当前输入单词判断使用哪个产生式 过程 从根开始，按前序顺序，构造分析树 例 4-2：分析符号串 id + id * id 符合表达式文法： E → T E' E'→ + T E'｜ε T → F T' T'→ * F T'｜ε F → ( E )｜id 按照最左推导过程，构造分析树 推导过程 推导过程的分析 输入：符号串(有序的) 输出：结构化的符号串(树结构) 产生式的选择 根据当前符号（单词） 分析树的表示： 按照使用序列排列的产生式序列 4.2.2 FIRST 和 FOLLOW 集 定义： FIRST( α ) = { a ｜α ==*> a …，a∈ＶT } α的所有首符号（选择产生式的依据） 且，若 α==*>ε，则ε∈ FIRST(α) 定义： FOLLOW( A ) = { a ｜ S ==*> …Aa…，a∈ＶT } A 的后续符号 FIRST( X ) 的计算法 对所有语法符号 X，重复进行以下计算 1) 若 X ∈ＶT，则 FIRST( X ) = X 。 2) 若 X ∈ＶN， 有产生式 X → a…，则将 a 加入FIRST(X)； 有产生式 X →ε，则将ε加入 FIRST( X )。 3) 若有产生式 X → Y…，且 Y ∈ＶN， 则 FIRST(Y) 的非ε元素 ∈ FIRST(X)； 若有产生式 X → Y1…Yk ，并对于某个 i，使得 Y1 ... Yi-1==*>ε， 则将 FIRST( Yi ) 的所有非ε元素加入到 FIRST( X ) 中； 若 Y1 ... Yk ==*> ε， 则将 ε 加入到 FIRST( X )。 例 4-3： 表达式文法的 FIRST 集 FIRST( F ) = { ‘(‘, id } FIRST( T ) = FIRST( F ) = { ‘(‘, id } FIRST( E ) = FIRST( T ) = { ‘(‘, id } FIRST( E' ) = { ‘+’，ε} FIRST( T' ) = { ‘*’, ε} FOLLOW( A ) 的计算法 对于所有非终结符, 重复进行以下计算 1) 将 # 加入到 FOLLOW( S ) 句子的结束符 2) 若 A → αBβ， 则将 FIRST(β) 的非ε元素加入 FOLLOW(B) 3) 如果 A → αB 或 A → αBβ，且 β==*>ε，A≠B， 则将 FOLLOW(A) 的所有元素加入 FOLLOW(B) 例 4-4： 表达式文法的 FOLLOW 集 FOLLOW( E ) = { ‘)’, # } FOLLOW( E' ) = FOLLOW( E ) = { ‘)’, # } FOLLOW( T ) = { +, ‘)’, # } FOLLOW( T' ) = FOLLOW( T ) = { +, ‘)’, # } FOLLOW( F ) = { *, +, ), # } 4.2.3 LL( 1 ) 文法 第一个 L 表示从左向右扫描输入符号串 第二个 L 表示生成最左推导 1 表示读入一个符号可确定下一步推导 表示了自顶向下方法能够处理的文法 文法Ｇ是 LL(1) 的充要条件: 对于 G 的每个非终结符 A 的 任何两个不同的产生式 A → α｜β 1) F