根据SLR(1)文法的定义，一个文法是SLR(1)文法当且仅当对于每个非终结符A和每个产生式A→α，都存在一个状态i使得α是FIRST[i]的子串。然而，对于文法G'中的产生式A→Abc和A→c，存在多个状态满足条件FIRST[i]包含α的前缀。因此，文法G'不是SLR(1)文法。
程序说明: 该程序能够根据给定的文法判断它是否为LR0,SLR1,LR1,LALR1文法; 打印项目集,分析表,Go函数; 若文法属于LR1,将进行LALR1文法的判断,若属于LALR1文法,将继续打印LALR1文法的项目集,分析表和Go函数。点赞(0) 踩踩(0) 反馈 所需:7 积分 电信网络下载 ...