这个LL（1）解析表是否正确？

Question

定的文法：

S -> AB 
A -> aA | b 
B -> CA 
C -> cC | ɛ 

是它的LL（1）分析表是这样吗？

Answer 1

没有，这是因为这些计算的不完全正确：

第一（S）=第一（A）= {a,b}
首先（A）= {a,b}
第一（B）=第一（ C）= {c,ε}
第一（C）= {c,ε}

考虑到每个非结束符的后续是终端符号右后：

关注（S）= {a,b}（如果SAB - > AB然后萨伯 - >αAB内或SBB - > BB）

关注（A）= {a,c}（如果AAA - > Aa和Ab - > b然后AaA→aA或Ab→b）

关注（B）=关注（A）= {a,c}（模型生产A→aB，其中a = a，然后a =ε， （A）=跟随（B））

关注（C）= {a,b}（从乙 - > CA，B - >的CaA或B - > CB）

所以与解析的差表和这些计算是在列a和b的非终端B行中值为NULL。