FIRST FOLLOW {a,,(} {#,)} {a,,(} 对左部为N2的产生式可知 FIRST(→>,SN2)={, FIRST(→>E)={ε} FOLLOW (N2)=0K 所以文法是LL(1)的。 Predicting Analysis Table # -+++-— T|->SN2|->SN2|->SN2 也可由预测分析表中无多重入口判定文法是LL(1)的 对输入串(a,a)#的分析过程为 STATE STACK CUR CHAR INOUT STRING OPERATION a,a)# #)T S->(T) #)T a a)# #)N2S T->SN2 S->a #)N2 a)# #)N2S a)# N2->,SN2 #)N2S #)N2a #)N2 ## 可见输入串(a,a)#是文法的句子。=================================================== | | FIRST | FOLLOW | +-------+--------------------+--------------------+ | S | {a,^,(} | {#,,,)} | +-------+--------------------+--------------------+ | T | {a,^,(} | {)} | +-------+--------------------+--------------------+ | N2 | {,,ε} | {)} | =================================================== 对左部为 N2 的产生式可知： FIRST （->, S N2）={，} FIRST （->ε）={ε} FOLLOW （N2）={)} {，}∩ {)}=( 所以文法是 LL(1)的。 Predicting Analysis Table =========================================================================== | | a | ^ | ( | ) | , | # | +-------+----------+----------+----------+----------+----------+----------+ | S |->a |->^ |->( T ) | | | | +-------+----------+----------+----------+----------+----------+----------+ | T |->S N2 |->S N2 |->S N2 | | | | +-------+----------+----------+----------+----------+----------+----------+ | N2 | | | |->ε |->, S N2 | | =========================================================================== 也可由预测分析表中无多重入口判定文法是 LL(1)的。 (4) 对输入串（a,a）#的分析过程为： STATE STACK CUR_CHAR INOUT_STRING OPERATION #S ( a,a)# #)T( ( a,a)# S->(T) #)T a ,a)# #)N2S a ,a)# T->SN2 #)N2a a ,a)# S->a #)N2 , a)# #)N2S, , a)# N2->,SN2 #)N2S a )# #)N2a a )# S->a #)N2 ) # #) ) # N2->ε # # 可见输入串（a,a）#是文法的句子