尤其是这种语法,我如何确定它是LR(0),SLR(1),LALR(1),LR(1)?
语法:
S --> X Y
X -> a X
X -> ε
Y -> c X Z
Y -> b
Z -> a Z
Z -> a
我知道每个属性都有不同的属性,因此我建立了第一组:
S -> a,c,b
X -> a, ε
Y -> c, b
Z -> a
并遵循设定
S ->
X -> c,b,a
Y ->
Z ->
但我不确定如何准确地应用此信息,以了解它是否与这些解析器属性中的任何一个匹配