解释面试免费语法模糊的面试

时间:2013-03-14 00:24:07

标签: theory computation

我正在面试,这就是他们问我的问题,

这两个下面是不是很暧昧?如果是,请提供一个字符串。如果他们不是,请证明他们为什么不是。

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

问题1

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

问题2

S-->aaS | aaaS | a

同样,这不是HW。

谢谢。解释会有所帮助。

1 个答案:

答案 0 :(得分:1)

我们记得,如果(并且仅当)语法中的某些产生具有多个可能的推导,则语法是不明确的。

在问题1中,符号S扩展为XaaaX,然后用于扩展符号X的可用替代方案包括aX和epsilon(ε)。通常,符号epsilon表示空字符串。在aX中将x扩展为epsilon会产生a。因此,至少有两种方法可以获得aaaa。 Richard Mckenna,我会留给你找到它们。

在问题2中,符号S扩展为aaS,aaaS或a。至少有两种方法可以获得aaaaaa。我将再次留给你找到推导。

如果您愿意,可以在此页面上写下您的推导。