解释面试时的上下文无关语法歧义

Question

我当时正在接受面试，这是他们问我的问题，

这两个模棱两可吗？ 如果是，请提供一个字符串。 如果不是，请证明为什么不是。

我无法解决，并想知道答案和未来的原因。

问题1

S-->XaaaX
X-->aX | bX | e(epsilon)

问题2

S-->aaS | aaaS | a

同样，这不是硬件。

谢谢。 一个解释会有所帮助。

Answer 1

我们记得，当（且仅当）语法的某些产物具有多个可能的推导时，语法才是模棱两可的。

在问题1中，符号S扩展为XaaaX，然后扩展符号X的可用替代方法包括aX和epsilon（ε）。 按照惯例，符号epsilon代表一个空字符串。 将X扩展为aX中的epsilon会生成a。 因此，至少有两种方法获得aaaa。 理查德·麦肯纳，我留给你找到他们。

在问题2中，符号S扩展为aaS，aaaS或a。 至少有两种获取aaaaaa的方法。 再次，我将留给您查找派生。

如果需要，可以在此页面上写出派生词。