Compiler construction 无歧义上下文无关语法

我在阅读上下文无关的语法，我遇到了模棱两可的语法。如果CFG生成的语言有超过1个解析树，那么CFG是一个不明确的语法。

---

有什么方法可以让我发现或证明语法是明确的吗。一般来说，我可以测试CFG生成的一些语言，并检查该语言是否生成了多个解析树，以表明语法是不明确的。但我如何检查或证明give CFG是明确的呢

在一般情况下，CFGs的歧义问题是不可判定的。但是，有一些方法可以检查语言是否可能模棱两可。检查你是否想要它的理论；对于更实际的事情，考虑或.< /P>应该有所帮助。