考虑以下关于上下文无关文法的陈述
G = {S → SS, S → ab, S → ba, S → Ε}
I. G is ambiguous
II. G produces all strings with equal number of a’s and b’s
III. G can be accepted by a deterministic PDA.下面哪个组合表达了关于 G 的所有真实陈述?
(A)我只
(B)仅 I 和 III
(C)仅 II 和 III
(D) I、II 和 III答案：(乙)
解释：
语句 I： G 是不明确的，因为如下图所示，对于字符串S = ababab [TRUE] 可以有两个决策树
语句 II： G 生成所有具有相同数量 a 和 b 的字符串[FALSE]
字符串’aabb’ 不能由 G 产生
陈述 III： G 可以被确定性 PDA 接受 [TRUE]
假设有一个 PDA，如果堆栈的顶部是 $(堆栈的最底部字母表)则压入，否则弹出。如果当前字母和堆栈顶部相同，则在弹出时拒绝字符串。这个PDA可以推导出G。
因此，正确答案应该是 (B) I 和 III
参考：
上下文无关语法和上下文无关语言中的歧义
此解决方案由Vineet Purswani 提供。
这个问题的测验