大家好，欢迎来到IT知识分享网。
参考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为上下文无关文法。
其实也就是答主所说的产生式左部是否为中间变量的问题啦~
免责声明：本站所有文章内容,图片，视频等均是来源于用户投稿和互联网及文摘转载整编而成，不代表本站观点，不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益，请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权，请联系删除，如若转载，请注明出处：https://yundeesoft.com/10249.html
