如何判断文法是否是LL(1)文法

判断该文法是不是LL(1)文法，说明理由 S→ABc A→a|ε B→b|ε？ 

    First集合求法就是：能由非终结符号推出的所有的开头符号或可能的ε，但要求这个开头符号是终结符号。如此题A可以推导出a和ε，所以FIRST（A）=｛a，ε｝；同理FIRST（B）={b,ε};S可以推导出aBc，还可以推导出bc，还可以推导出c，所以FIRST(S）=｛a，b，c｝。   

    Follow集合的求法是：紧跟随其后面的终结符号或＃。但文法的识别符号包含＃，在求的时候还要考虑到ε。具体做法是把所有包含你要求的符号的产生式都找出来，再看哪个有用。 Follow（S）=｛＃｝ 如求A的，产生式：S→ABc A→a|ε ，但只有S→ABc 有用。跟随在A后年的终结符号是FIRST（B）=｛b，ε｝，当FIRST（B）的元素为ε时，跟随在A后的符号就是c，所以 Follow（A）=｛b，c｝ 同理Follow（B）=｛c｝。

因为First集中含有 ε的非终结符的Follow集与其First集交集为空：

First(A)={a, ε } Follow(A)={b,c}   First(B)={b, ε } Follow(B)={c}

故不存在二义性，文法是LL(1)文法。

  

例子不错，刚好复习了First集和Follow集的求法，考试之前看的，攒人品~~