编译原理第4节2.ppt

4.2.4 递归下降分析法 * 递归下降分析法是确定的自上而下分析法，这种分析法要求文法是LL(1)文法。 4.2.4 递归下降分析法 基本思想 对文法中的每个非终结符编写一个函数 (或子程序), 每个函数（或子程序）的功能是识别由该非终结符所表示的语法成分。由于描述语言的文法常常是递归定义的，因此相应的这组函数（或子程序）必然以相互递归的方式进行调用，所以将此种分析法称为递归下降分析法。 4.2.4 递归下降分析法 构造递归下降分析程序的方法: 为每个非终结符编制一个递归下降分析函数，每个函数名是相应的非终结符，函数体则是根据规则右部符号串的结构和顺序编写。 A→α1α2…αn αi∈VT αi∈VN α1α2…αn=ε 4.2.4 递归下降分析法 (1) 当遇到终结符a时，则编写语句 if (当前读来的输入符号==a) 读下一个输入符号； (2) 当遇到非终结符A时，则编写语句调 用 A( )； (4) 当某个非终结符的规则有多个候选式 时，按LL(1)文法的条件能唯一地选 择一个候选式进行推导。 (3) 当遇到规则A→ε 时，则编写语句 4.2.4 递归下降分析法 if (当前读来的输入符号?FOLLOW(A)) error( )； E→ E + T | T T→ T * F | F F→ (E) | id 例 设有文法G[E]： 试构造一个识别该文法句子的递归下 降分析程序。 4.2.4 递归下降分析法 分析 首先消去文法左递归，得到文法 G[E] E → TE E→ +TE | ε T → FT T→ *FT | ε F → (E) | id E→E + T |T T→T * F |F F→(E) | id 4.2.4 递归下降分析法 E E T T F { (, id } { ), $ } { (, id } { +, ), $ } { (, id } { +, ), $, *} { +, ε } { ), $ } { *, ε } { +, ), $ } FIRST FOLLOW SELECT(E →+TE)∩SELECT(E →ε) ={ + }∩{ ε, ), $ }= Φ SELECT(T →*FT)∩SELECT(T →ε) ={ * }∩{ε, ), $, + }= Φ 4.2.4 递归下降分析法 SELECT(F→id )∩SELECT(F→(E))=Φ 所以文法G[E]是LL(1)文法。 分析程序中定义两个函数： (1) 函数 Scaner( ) 功能: 读进源程序的下一个单词符号 并将它放在全程变量sym。 (2) 函数 error( ) 功能: 出错处理程序。 4.2.4 递归下降分析法 对文法G[E]可写出相应的递归下降分析程序如下： E → TE E → +TE | ε T → FT T → *FT | ε F → (E) | id 4.2.4 递归下降分析法 E ( ) { T( ); E( ); } E( ) { if (sym = =‘+’) { Scaner( ); T ( ) ; E? ( ); } else if ((sym!=‘)’)(sym!=‘$’)) error( ); } 4.2.4 递归下降分析法 E → TE E → +TE | ε T → FT T → *FT | ε F → (E) | id T ( ) { F ( ) ; T? ( ); } E → TE E → +TE | ε T → FT T → *FT | ε F → (E) | id T? ( ) { if (sym = =‘*’) { Scaner( ); F ( ) ; T? ( ); } else if (sym ? follow(T)) error( ); } 4.2.4 递归下降分析法 F ( ) { if (sym= = ‘id’) Scaner ( );