在判断LL(1)文法是否符合的时候,需要判断LL(1)文法是否存在左公因子,和左递归的情况,以下给出相应的判断方法以及通过提取左公因子和消除左递归使非LL(1)文法转换为LL(1)法的方法
第一种情况:存在左公因子 ;解决方法:提取左公因子;
若文法中存在形如:
A->ay|ab 两个产生式左部第一个符号相同,则不符合LL(1)文法,指代不明,则表示存在左公因子
解决方法:
转换成 A->aM1,aM2,aM3....的形式:
得:
A->aM
M->y|b
则成功提取左公因子;
第二种情况:存在左递归;
左递归有两种类型:
(1)直接左递归 :
A->AB, A∈Vn,B属于V*
(2)间接左递归
A->Bb
B->Aa
A,B∈Vn,a,b属于V*
(这里第二种情况注意,因为是左递归,所以看得就是第一个字符,一定要跟这个类型一样的A->B.... 以及B->A.... 这种才是左递归,如果A->B.... ,B->aA..., 这种就不是左递归了,因为样式不同,请注意)
同样消除左递归的方法:
如果是间接左递归,则先转换成直接左递归:
例子:
A->Bb | c
B->Aa
将B->Aa代入到另一个式子: A->Aab | c,
转换
A->cM
M->abM
M->ε
就是得出结论,优先删除右部第一个符号和左部相同的即
A->Aab,就是要删除这个右部的第一个A
然后在所有A相关式子后面补一个新的符号 M
变成A->abM 以及A->cM
然后再补充一个式子: M->ε 就得到自己需要的符合的LL(1)文法啦, 大家可以用博主推荐的判断方法,进行判断~~点击打开链接