黑田范式 在计算机科学中形式文法是 Kuroda 范式的当且仅当所有产生规则都有如下形式 AB  CD 或 A  BC 或 A  B 或 A  α 这里的 A B C 和 D 是非终结符而 α 是终结符 所有 Kuroda 范式的文法都是单调的因此生成上下文有关语言反过来说所有不生成空串的上下文有关语言都可以被 Kuroda 范式的文法所生成