计算机科学

首页 > 计算机科学

黑田范式

2018-08-30 10:01:38     所属分类:形式语言

在计算机科学中,形式文法是 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, 7(2): 207–223, June 1964.
版权声明:本文由北城百科网创作,转载请联系管理获取授权,未经容许转载必究。https://www.beichengjiu.com/computerscience/340055.html

显示全文

取消

感谢您的支持,我会继续努力的!

扫码支持
支付宝扫一扫赏金或者微信支付5毛钱,阅读全文

打开微信扫一扫,即可进行阅读全文哦


相关推荐
爱淘宝