如何证明语法是暧昧的/不明确的？

Question

如果我们有语法

如何正确证明这是不公平的？在我看来，很难描述它，所以有数学或逻辑证明吗？

然后如何证明L（G）= G？接下来我很难给出逻辑证据。

希望有人可以提供帮助。

Answer 1

通过构造确定性解析器，您可以证明语法是明确的。您可以通过查找具有两个不同解析树的句子来证明它是不明确的（或者更好地说，使用两个不同的最左侧或最右侧的派生）。

没有确定的算法来生成这样的证明，因为语法的模糊性是不可判定的。

通过证明L(G) = G，我不知道你的意思。这显然不正确，因为L(G)是一组字符串，而G是一种语法。这两个对象来自不同的宇宙，因此它们不能相等。也许你的意思是证明某些字符串S等于L(G)？同样，这个问题通常是不可判定的，但在许多有用的情况下，你可以构建这样的证明。一种常见的策略是在弦的长度上使用感应。