第4章语法分析20090330.pptVIP

LL（1）文法的引入 　　　　　　　　　　　　　　　　　　　　　　　　　　　 S-文法： ①每个产生式右边都以终结符开始； ②同一个非终结符的各个侯选式的首终结符不同； 例如:文法G[S]: (1)S→aBC (2)B→bC (3)B→dB (4)C→c (5)C→a 分析句子adbca LL（1）文法的引入 Q-文法： ①每个产生式右边都为ε或以终结符开始； ②具有相同左部的产生式具有不相交的可选集； 例如:文法G[S]: (1)S→aBC (2)B→bC (3)B→dB (4)B→ ? (5)C→c (6)C→a 分析句子ada LL（1）文法的判别 一个上下文无关文法称为是LL（1）文法，当且仅当同一非终结符的各个产生式的可选集互不相交。 LL(1)含义: 自左向右扫描输入串,使用最左推导方法分析句子,1表示分析时需要向前查看一个符号 FOLLOW(S)={$}；FOLLOW(A) = FOLLOW(S)∪{*} = {*, $};FOLLOW(A?)=FOLLOW(A) = {*, $},FOLLOW(B) = FIRST(A?) ∪ FOLLOW(A?) ∪ FOLLOW(A)={i, *, $};FOLLOW(B?)=FOLLOW(B)={i, *, $}； 例