所以我有这个语法:
S -> X Y
X -> a X
X -> ε
Y -> c X Z
Y -> b
Z -> a Z
Z -> a
然后我就建立了预测集
1 - a,c,b
2 - a
3 - c, b, a
4 - c
5 - b
6 - a
7 - a
所以我知道为了确定语法是否为LL(1),是否且仅当Predict集不相交
所以我对此的理解是通过常见的左手边(非终端),在这种情况下:X,Y,Z ...如果每个预测集不包含任何共同点,则为LL(1)
因此对于Z(预测集6和7),这些集合不是不交集的 与X相同(预测集2,3) 但是y(设置4和5)会很好
这是推理这个的正确方法吗?