基于Chomsky的语言学分类法，生成式文法G=(V,T,P,S)一共可以细分为四类，请按照层级由低到高的顺序简要描述这四种文法的名称，并给出每种文法所对应的文法规则表达式的例子及适用上下文。同时，请使用JSON格式化返回您的回答。
user
{
  "分类": [
    {
      "名称": "无限制文法（Type 0 Grammar）",
      "描述": "包含所有可能的文法规则，无任何限制。",
      "例子": "S -> aSb | ε",
      "适用上下文": "适用于理论语言学中讨论语言的普遍性质。"
    },
    {
      "名称": "上下文相关文法（Type 1 Grammar）",
      "描述": "文法规则具有上下文依赖性，形如 αAβ -> αγβ，其中 α、β 是上下文，γ 是非空字符串。",
      "例子": "aSb -> aaSbb",
      "适用上下文": "适用于自然语言处理中描述词汇的形态和句法结构。"
    },
    {
      "名称": "上下文无关文法（Type 2 Grammar）",
      "描述": "文法规则左部仅包含一个非终结符，形如 A -> γ。",
      "例子": "S -> aSb | ab",
      "适用上下文": "广泛用于编程语言的语法定义。"
    },
    {
      "名称": "正则文法（Type 3 Grammar）",
      "描述": "文法规则限制更为严格，形如 A -> aB 或 A -> a，表示非终结符之后总是跟随终结符。",
      "例子": "S -> aS | a",
      "适用上下文": "常用于词法分析器的构造和简单文本处理。"
    }
  ]
}
assistant