Compiler construction 什么时候说这种语言与上下文无关？

什么时候说一种语言是上下文无关的

另外，上下文无关语言和上下文无关语法之间有什么区别？

有一个概念。它是一个引理，给出了所有上下文无关语言共享的属性

如果存在CFG，那么语言（L）也被称为上下文无关语言（CFL）。L=L（G）即，CFL可以由上下文无关语法生成

报告说：-

在形式语言理论中，上下文无关语言（CFL）是一种语言 由一些上下文无关语法（CFG）生成。不同的CF语法 可以生成相同的CF语言，或者相反，生成给定的CF语言 可以由不同的CF语法生成。重要的是 区分语言的属性（固有属性）和 特定语法的属性（外部属性）

所有上下文无关语言的集合与 下推自动机接受的语言，使这些语言 易于解析的。事实上，给定一个CFG，有一种直接的方法 为语法生成下推自动机（以及相应的 语言），尽管会走另一条路（生成给定语法） 自动机）没有那么直接

这里有一个概念。它是一个引理，给出了所有上下文无关语言共享的属性

如果存在CFG，那么语言（L）也被称为上下文无关语言（CFL）。L=L（G）即，CFL可以由上下文无关语法生成

报告说：-

在形式语言理论中，上下文无关语言（CFL）是一种语言 由一些上下文无关语法（CFG）生成。不同的CF语法 可以生成相同的CF语言，或者相反，生成给定的CF语言 可以由不同的CF语法生成。重要的是 区分语言的属性（固有属性）和 特定语法的属性（外部属性）

所有上下文无关语言的集合与 下推自动机接受的语言，使这些语言 易于解析的。事实上，给定一个CFG，有一种直接的方法 为语法生成下推自动机（以及相应的 语言），尽管会走另一条路（生成给定语法） 自动机）没有那么直接

---

上下文无关语言是一种可以由上下文无关语法生成的语言（也就是说，一组可能无限的字符串）。一般来说，也可以使用非上下文无关语法生成完全相同的语言，但这并不重要：如果有一个上下文无关语法生成该语言，则该语言是上下文无关的

---

上下文无关语法是一种语法，其中每个产品的左侧都有一个非终结符。它是上下文无关的，即生产中的非终端可以扩展，而不考虑它出现的上下文。上下文敏感语法可能在产品的左侧有多个符号，因此包括非终结符只有在正确的上下文中出现时才能展开的情况。

上下文无关语言是一种可以由上下文无关语法生成的语言（即可能无限多的字符串集）。一般来说，也可以使用非上下文无关语法生成完全相同的语言，但这并不重要：如果有一个上下文无关语法生成该语言，则该语言是上下文无关的

---

上下文无关语法是一种语法，其中每个产品的左侧都有一个非终结符。它是上下文无关的，即生产中的非终端可以扩展，而不考虑它出现的上下文。上下文相关语法可能在产品的左侧有多个符号，因此包括非终结符只有在正确的上下文中出现时才能展开的情况。

因为我看到维基百科的官方文章已经在这里复制了trice，我想这将有助于说明你希望答案有多简单。我无法想象维基百科的解释会有什么帮助。这个问题似乎离题了，因为它是关于计算机科学的，而不是编程。阅读维基百科的文章，它们提供了很好的解释。我们没有必要重复维基百科的工作。如果你在维基百科的文章中有什么不明白的地方，请随便问一些具体的问题。因为我看到维基百科的官方文章已经被抄写在这里了，我想这将有助于说明你希望答案有多简单。我无法想象维基百科的解释会有什么帮助。这个问题似乎离题了，因为它是关于计算机科学的，而不是编程。阅读维基百科的文章，它们提供了很好的解释。我们没有必要重复维基百科的工作。如果你在维基百科的文章中有什么不明白的地方，请随时提出具体的问题。