文法的类型 通过对产生式施加不同的限制, Chomsky将 文法分为四种类型: 0型文法:对任一产生式a→β,都有 a∈(VUv)+,β∈(VUVr)* 1型文法:对任一产生式a→β,都有|β|≥|a|, 仅仅S→ε除外 2型文法:对任一产生式a→B,都有a∈V 3型文法:任一产生式a→β的形式都为A→aB或 A→a,其中A∈V,B∈Wy,a∈Vr* 1818 文法的类型 通过对产生式施加不同的限制，Chomsky将 文法分为四种类型： 0型文法：对任一产生式α→β，都有 α∈(VN∪VT) + ， β∈(VN∪VT) * 1型文法：对任一产生式α→β，都有|β|≥|α|， 仅仅 S→ε除外 2型文法：对任一产生式α→β，都有α∈VN 3型文法：任一产生式α→β的形式都为A→aB或 A→a，其中A∈VN ，B∈VN ，a∈VT *