上下文无关文法就是说这个文法中所有的产生式左边只有一个非终结符，比如： S -> aSb S -> ab 这个文法有两个产生式，每个产生式左边只有一个非终结符S，这就是上下文无关文法，因为你只要找到符合产生式右边的串，就可以把它归约为对应的非终结符。
比如： aSb -> aaSbb S -> ab 这就是上下文相关文法，因为它的第一个产生式左边有不止一个符号，所以你在匹配这个产生式中的S的时候必需确保这个S有正确的“上下文”，也就是左边的a和右边的b，所以叫上下文相关文法。 作者：徐辰 链接：https://www.zhihu.com/question/21833944/answer/40689967 来源：知乎 著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
