烏田的範式
這是此頁批准，以及是最近的修訂。
佇計算機科學內底，形式文法是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 一千九百六十四 .