上下文无关语法含糊不清？

Question

对于以下上下文免费语法：

S --> (S) | SS | A

A --> a | A,A | E        (E is the empty string)

正式定义是：

G=(V,T,P,S)

V={A,S}

T={E;a; ( ; ) ; , }

S=S

P:
S --> (S)
S --> SS
S --> A
A -->a

A -->A,A

A --> E    (E is the empty string)

我怎么知道这个语法是否含糊不清？ 谢谢。

Answer 1

如果它含糊不清，那么找到一个以多种不同方式解析的单词就足够了。为了证明它不是暧昧的，您可以使用更一般的证据并证明这是一个特例，您可以根据生成的单词集的某些属性通过归纳建立证明。

查看（虽然复杂）示例here。