语法歧义的必要条件

Question

在我的笔记本中写道：

语法歧义的必要条件是

1. 它包含规则A->BB，其中A和B是非终端。
2. 或者它包含规则A->a|b，其中A是非终端，{a，b}是终端。

请您确认或反驳此声明吗？

Answer 1

这不是真的，因为还有其他含糊不清的语法没有这些规则。

例如cc可以由A -> Bc -> cc生成A -> cC -> cc，也可以通过A -> Bc | cC B -> c C -> c 生成以下语法：

{{1}}