【编译原理】判断文法是几型文法

今天上课学习文法，感觉对于概念很模糊，下面两张图截自《编译原理 第四版》。

以下内容转载自梦里一明月的博客-CSDN博客
首先，应该明确，四种文法，从0型到3型，其规则和约定越来越多，限制条件也越来越多，所以，我们判断时可以从最复杂的3型进行判断，依次向下判断，如果不符合3型的，那再看是不是2型的，不是2型的，再看是不是1型的。

🚀 3 型文法

第一点： 左边必须只有一个字符，且必须是非终结符
第二点： 其右边最多只能有两个字符，且当有两个字符时必须有一个为终结符而另一个为非终结符。当右边只有一个字符时，此字符必须为终结符
第三点： 对于3型文法中的所有产生式，其右边有两个字符的产生式，这些产生式右边两个字符中终结符和非终结符的相对位置一定要固定，也就是说如果一个产生式右边的两个字符的排列是：终结符＋非终结符，那么所有产生式右边只要有两个字符的，都必须前面是终结符而后面是非终结符。反之亦然，要么，就全是：非终结符＋终结符

🚀 2型文法

第一点： 与3型文法的第一点相同，即：左边必须有且仅有一个非终结符
第二点： 2型文法所有产生式的右边可以含有若干个终结符和非终结符（只要是有限的就行，没有个数限制）

🚀 1型文法

第一点： 1型文法所有产生式左边可以含有一个、两个或两个以上的字符，但其中必须至少有一个非终结符
第二点： 与2型文法第二点相同

🚀 0型文法

最后是0型文法，这个就不用看了，只要你能描述出来，都属于这个类型，即0型

看完这个对文法的总结，就会清晰很多，附一个题练习