Chomsky文法体系分类

Chomsky文法分为0型，1型，2型，3型。

0型文法：

无限制语言，等价于图灵机。

1型文法：

又称上下文有关语言

式子左边形式：多个字符，必须含有一个终结符。

式子右边形式：无限制，但必须为有限个字符。

2型文法：

式子左边形式：一个字符，必须是非终结符。

式子右边形式：无限制，但必须为有限个字符。

3型文法：

又称为正则文法（正则语言，有限状态自动机）

正则文法分为：左线型文法，右线性文法。

式子左边形式：一个字符，必须是非终结符。

式子右边形式：最多两个字符，两个字符包括一个终结符合一个非终结符。

右线性文法：式子右边为：终结符||终结符+非终结符。

左线型文法：式子右边为：终结符||非终结符+终结符。

（注意：终结符合非终结符的位置不可换。文法必须一致保持一致。）

判断文法：

先看是否属于3型文法，否，看是否属于2型，否，看是否属于1型，否，0型。

只是对生成式形式加以限制 0型 无限制 1型 不允许A→ε形式 2型 3型 属于2型 不含A→ε的2型、3型属于1型，1型、2型、3型均属于0型。