檢視烏田的範式的原始碼

佇計算機科學內底，形式文法是'''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 一千九百六十四 .

[[分類: 待校正]]