摘要：在计算机科学中，一个形式文法是Chomsky 范式的，当且仅当所有产生规则都有如下形式：A→BC或A→ α 或S→ ε这里的A,B和C是非终结符，α 是终结符（表示常量值的符号），S是开始符号，而 ε 是空串。还有，B和C都不可以是开始符号。所有的 Chomsky 范式的文法都是上下文无关，反过来，... 阅读全文

摘要：PSPACE是计算复杂度理论中能被确定型图灵机利用多项式空间解决的判定问题集合。形式化定义如果规定为至多空间内能被确定型图灵机解决的问题的集合（是输入大小的函数），那么，PSPACE可被形式化地定义为：PSPACE真包含上下文有关语言，这种语言等价于线性有界非确定图灵机。尽管至今没有证明，但一般认为... 阅读全文

摘要：在计算机科学中，若一个形式文法G = (N, Σ, P, S) 的产生式规则都取如下的形式：V->w，则称之为上下文无关文法（英语：context-free grammar，缩写为CFG），其中 V∈N ，w∈(N∪Σ)* 。上下文无关文法取名为“上下文无关”的原因就是因为字符 V 总可以被字串 w... 阅读全文

摘要：上下文有关文法(CSG，英语：context-sensitive grammar)是一种形式文法，其中任何产生式规则的左手端和右手端都可以被终结符和非终结符构成的上下文所围绕。上下文有关文法比上下文无关文法更一般性，但仍足够有秩序得可以被线性有界自动机所解析。上下文有关文法的概念是诺姆·乔姆斯基在1... 阅读全文