语言的四种形态学类型是什么?有什么样的特点?

0型文法（短语文法）
由0型文法生成的语言称为0型语言（或递归可枚举语言），它可由图灵机识别。
1型文法(上下文有关文法)
上下文有关语言，它可由线性界限自动机识别
2型文法（上下文无关文法）
上下文无关文法拥有足够强的表述力来表示绝大多数程序设计语言。例如：C Pascal Java 。。上下文无关语言，用下推自动机识别
3型文法（正则文法）
正规语言，可用有限自动机（状态机）识别。