上下文無關文法含糊不清？

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。