context-free-grammar - 由上下文无关语法生成的语言？

Question

如何找到上下文无关语法生成的语言？对于生成的语言，我如何证明该语言属于该语法。

请给出一些提示，或者一个具体的例子。我遇到了 [this post]（如何弄清楚这种上下文无关语法生成的语言？），但它并没有太大帮助。

Answer 1

我会推荐Michael Sipser 的Introduction to the Theory of Computation以获得深入的解释和一些实践问题。