作业帮 > 综合 > 作业

已知文法G(S)为:S→if S else S | if S | a

来源:学生作业帮 编辑:作业帮 分类:综合作业 时间:2024/11/08 00:01:36
已知文法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
具有二义性.
证毕.