短语结构文法（PSG）、上下文有关文法（CSG）、上下文无关文法（CFG）、右线性文法(RLG)的区别

Part 1 短语结构文法（PSG）、上下文有关文法（CSG）、上下文无关文法（CFG）、右线性文法(RLG)的区别

Part 2 概念

文法G=(V，T，P，S)

G叫做0型文法(type 0 grammar)，也叫做短语结构文法(phrase structure grammar, PSG)。

L(G)叫做0型语言。也可以叫做短语结构语言(PSL)、递归可枚举集(recursively enumerable ，r.e. )。 对应的其识别语言机器为图灵机(TM：turing machine)

G是0型文法。

如果对于"α->β∈P，均有|β|≥|α|成立，则称G为1型文法(type 1 grammar)，或上下文有关文法(context sensitive grammar,CSG)。

L(G)叫做1型语言(type 1 language)或者上下文有关语言(context sensitive language ,CSL)。对应的其识别语言机器为线性有限状态机（LBA)

G是1型文法

如果对于"α->β∈P，均有