在形式语言理论中，无上下文语法（CFG）是受特殊约束约束的语法：左侧（LHS）由单个非终端符号组成。 CFG能够表示一组无上下文语言（CFL）。
这个语法LR（1）怎么样而不是SLR（1）？
我有以下语法，我被告知是LR（1）而不是SLR（1）：S :: = a A | b A c | d c | b d a A :: = d我不明白为什么会这样。你会怎么证明这一点？