通过预测集确定语法是否为LL(1)

时间:2018-12-14 03:40:44

标签: parsing context-free-grammar ll

所以我有这个语法:

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)会很好

这是推理这个的正确方法吗?

0 个答案:

没有答案