等效平衡括号文法

Question

我有这 2 个明确的平衡括号语法。

S -> S(S) | epsilon 

和

S -> (S)S | epsilon

它们等价吗？我一直在尝试一些随机输入，我认为它们是，但我不确定是否存在无法读取某个输入的情况。

Answer 1

他们识别相同的语言但生成不同的解析树。