上下文无关语法（CFG）

参考https://www.zhihu.com/question/21833944

  上下文无关文法就是说这个文法中所有的产生式左边只有一个非终结符，比如：
  从形式上来看，就是产生式的左边都是单独一个非终结符，即形如 S-> …，而不是非终结符左右还有别的东西，例如 aSb -> …
  在推导过程中S的产生式体选择不受S左右的文法符号串影响

1.上下文无关

S -> ab

2.上下文有关

aSb -> aaSbb

---

严谨表达

对于文法G=(V，T，P，S)：

V（中间变量）、T（终结符）、P（产生式）、S（开始符号）

如果对于"α->β∈P，均有|β|≥|α|成立，则称G为上下文有关文法。

如果对于"α->β∈P，均有|β|≥|α|，并且α∈V成立，则称G为上下文无关文法。

其实也就是答主所说的产生式左部是否为中间变量的问题啦~