烏田的範式

佇計算機科學內底，形式文法是Kuroda 範式的，若是唯一所有產生規則攏有如果形式 :

_ AB → CD _ 抑是

_ A → BC _ 抑是

_ A → B _ 抑是

_ A → α _

遮的 A , B , C 和 D 是非終結符而且 α 是終結符。

所有 Kuroda 範式的文法攏是單調的，所以生成頂下文有關語言。反過來講，所有無生成空串的頂下文有關語言攏會當予 Kuroda 範式的文法所生成。

參見

• 巴科斯範式
• 喬姆斯基範式
• Greibach 範式
• 上下文有關文法
• 形式文法
• 分析表達式文法
• 隨機頂下文無關文法

引用

• S .-Y . Kuroda , " Classes of languages and linear-bounded automata " , _ Information and Control _ ,七( 二 ) : 兩百空七–兩百二十三 , June 一千九百六十四 .