黑田範式

在計算機科學中 ， 形式文法是 Kuroda 範式的 ， 當且僅當所有產生規則都有如下形式: AB → CD 或 A → BC 或 A → B 或 A → α 這裏的 A, B, C 和 D 是非終結符而 α 是終結符 。 所有 Kuroda 範式的文法都是單調的 ， 因此生成上下文有關語言 。 反過來說 ， 所有不生成空串的上下文有關語言都可以被 Kuroda 範式的文法所生成 。