什么是0型文法,1型文法,2型文法,3型文法？

0型文法（无限制文法）：对于一个文法G，任何形式的产生式都允许出现，且无限制。也就是说，产生式的左部和右部可以是任意字符串。

1型文法（上下文有关文法）：产生式的左部可以是非终结符和终结符的任意字符串，右部可以是非终结符和终结符的任意字符串，但是右部中至少要有一个非终结符，且左部的长度不能小于等于右部的长度。

2型文法（上下文无关文法）：产生式的左部只能是一个非终结符，右部可以是非终结符和终结符的任意字符串，且不依赖于上下文。

3型文法（正规文法）：产生式的左部只能是一个非终结符，右部只能是终结符或者以一个非终结符紧跟一个终结符的形式。也就是说，产生式的右部只能是空串、终结符、或者一个非终结符后跟一个终结符。

这些文法类型按照形式上的限制性逐渐增强，0型文法最为灵活，3型文法最为受限。