我有三个语法:
A - > aB | b | CBB
B - > aB | ba | ABB
C - > aaA | b | 出租车
我需要通过执行成对不相交测试来确定[他们]是否是LL语法,显示每个非终结符的每个RHS的第一组.
这就是我到目前为止......
A - > aB | b | CBB
第一个(aB)= a
第一(b)= b
第一个(CBB)= aaA = a
这是我遇到麻烦的那个.我做了正确的CBB吗？如果是这样,我会说它们相交并且规则未通过测试.(对？)
B - > aB | ba | ABB
第一个(aB)= a
第一(ba)= b
第一个(aBb)= a
它们相交,因此规则未通过测试.
C - > aaA | b | 出租车
第一个(aaA)= a
第一(b)= b
第一(caB)= c
他们没有交叉,因此规则通过