摘要：
1956年，Chomsky建立形式语言的描述。通过对产生式的施加不同的限制，Chomsky把文法分为4种类型 首先定义一个产生式 α→β0型文法定义：0型文法(PSG)： α∈(VN∪VT)* ，且至少含一个VNβ∈(VN∪VT)*对产生式没有任何限制 例如：A0→A0 , A1→B0型文法说明：0型文法也称为短语文法。 一个非常重要的理论结果是，0型文法的能力相当于图灵机（Turing）。或者说，任何0型语言都是递归可枚举的；反之，递归可枚举集必定是一个0型语言。 对0型文法产生式的形式作某些限制，以给出1，2和3型文法的定义。（注意）文法G 定义为四元组（VN ,VT ,P,S）¨ 阅读全文
