已知文法G(S)为:S→if S else S | if S | a证明该文法是二义的.

已知文法G(S)为:S→if S else S | if S | a证明该文法是二义的.
已知文法G(S)为:S→if S else S | if S | a
证明该文法是二义的.

已知文法G(S)为:S→if S else S | if S | a证明该文法是二义的.
对于句子：if if a1 else a1 存在两种最左推导
一、s => if s else s => if if s else s => if if a1 else a2
二、s => if s => if if s else s => if if a1 else a2
故文法G(S):S→if S else S | if S | a
具有二义性.
证毕.