编译原理 第04章_自上而下语法分析.ppt

第四章 语法分析 4.1 语法分析程序的功能 4.1 语法分析程序的功能 4.1 语法分析程序的功能 4.1 语法分析程序的功能 4.2 自上而下语法分析法 4.2.1 非确定的自上而下分析法的思想 4.2.1 非确定的自上而下分析法的思想 4.2.1 非确定的自上而下分析法的思想 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 LL(1)文法的判断条件 LL(1)文法的判断 求FIRST集合的方法 LL(1)文法的判断 LL(1)文法的判断 LL(1)文法的判断 随符集的构造方法 LL(1)文法的判断 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 4.2.3 某些非LL(1)文法到LL(1)文法的改写方法 4.2.4 递归下降分析法 main( ) { Scaner ( ); E ( ); if (sym= =‘#’) printf (“success”); else printf (“fail”); } id + id # E ( ) { T( ); E ( ); } T ( ) { F ( ) ; T? ( ); } 见F 见E 见T 返回下一页 F ( ) { if (sym= = ‘id’) Scaner ( ); else if (sym= = ‘(’) { Scaner( ) ; E ( ); if (sym = = ‘)’ ) Scaner ( ); else error ( ); } else error ( ); } 4.2.4 递归下降分析法 返回T 4.2.4 递归下降分析法 T? ( ) { if (sym = =‘*’) { Scaner( ); F ( ) ; T? ( ); } else if (sym ? follow(T)) error( ); } follow(T)={+, ), # } 返回T 4.2.4 递归下降分析法 E ( ) { if (sym = =‘+’) { Scaner( ); T ( ) ; E? ( ); } else if ((sym!=‘)’)(sym!=‘#’)) error( ); } 返回E 见T 返回E LL(1)中的第一个L表明自上而下的分析是从左到右扫描输入串； 第二个L表明分析过程中使用最左推导； 1表示分析时每一步只需向前看一个符号即可决定所选用的规则，而且这种选择是准确无误的。 例1 设有文法G[S]: S → aAb A → de | d ∵ SELECT(A→de)= FIRST(de)={d} SELECT(A→d)= FIRST(d)={d} ∴ SELECT(A→de)∩SELECT(A→d) ≠Φ 该文法不是LL(1)文法 例2 设有文法G[A] A→ aB | d B→ bBA | ε 则 SELECT(A→aB)=FIRST(aB)={a} SELECT(A→d)=FIRST(d)={d} SELECT(B→bBA)=FIRST(bBA)={b} SELECT(B→ε)=FIRST(ε)∪FOLLOW(B) ={ε}∪{a, d, #} = { ε, a, d, #} 所以 SELECT(A→aB)∩SELECT(A→d)=Φ SELECT(B→bBA)∩SELECT(B→ε)=Φ G[A]是LL(1)文法 例3 设有文法G[S]: S→ aAB A→ bB | dA | ε B→ a | e ∵ SELECT(A→bB)=FIRST(