明確的上下文免費語法

Question

我正在通過Context Free Grammar閱讀，我遇到了模棱兩可的語法。 如果CFG生成的語言有超過1個解析樹，那么CFG就是一個含糊不清的語法。 有什么方法可以找出或證明語法是明確的。 一般來說，我可以測試CFG生成的一些語言，並檢查是否從該語言生成了多個解析樹，以顯示該語法是不明確的。 但是，我如何檢查或證明給予CFG是明確的？

Answer 1

在一般情況下，CFG的模糊性問題是不可判定的。 但是，有一些方法可以檢查語言是否可能含糊不清。 如果你想要它的理論，請查看這篇文章 ; 對於更實用的東西，請考慮這個或這個 。