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

来源：学生作业学帮网编辑：学帮网时间：2024/06/06 08:18:33

已知文法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
具有二义性.
证毕.