问答题X 纠错
（1）first（AaAb）={a}first（BbBb）={b}，有first（AaAb）∩first（BbBb）=Φ所以根据LL（1）文法的定义，该文法是LL（1）文法。
（2）为了构造识别活前缀的DFA，初态集包含如下四个项目：S→.AaAbS→.BbBaA→.B→.但该项目中有两个可归约项目：A→.B→.，产生归约-归约冲突，而follow（A）={a，b}，follow（B）={a，b}，有follow（A）∩follow（B）≠Φ，所以使用向前看一个终结符的方法不能解决此冲突，所以该文法不是SLR（1）文法。
你可能喜欢
问答题
给定文法S→aS|bS|a，下面是拓广文法和识别该文法所产生的活前缀的DFA。判断该文
法是否是SLR（1）文法：如果是构造其SLR（1）分析表，如果不是请说明理由。
（1）将文法G（S）拓广为G（S’）：
（0）S’→S
（1）S→aS
（2）S→bS
（3）S→a
（2）识别该文法所产生的活前缀的DFA如图1所示。
问答题
将下图所示的确定有限自动机（DFA）最小化。其中，X为初态，Y为终态。
