黑田范式

✍ dations ◷ 2025-11-09 21:05:02 #黑田范式

在计算机科学中,形式文法是 Kuroda 范式的,当且仅当所有产生规则都有如下形式:

这里的 A, B, C 和 D 是非终结符而 α 是终结符。

所有 Kuroda 范式的文法都是单调的,因此生成上下文有关语言。反过来说,所有不生成空串的上下文有关语言都可以被 Kuroda 范式的文法所生成。

相关

  • 孤立语孤立语(Isolating language),是有低语素单词比(morpheme-per-word ratio)的语言。依照语言学家的定义分类标准不同,孤立语与分析语之间的关系可能会产生三种情况:相对于综合语(其中
  • 洛纳尔洛纳尔(Lonar),是印度马哈拉施特拉邦Buldana县的一个城镇。总人口20082(2001年)。该地2001年总人口20082人,其中男性10383人,女性9699人;0—6岁人口3114人,其中男1694人,女1420人;识字
  • 安妮斯·帕克安妮斯·达内特·帕克(英语:Annise Danette Parker,1956年5月17日-)是一位美国政治人物,2010年到2016年担任休斯敦市长。帕克是休斯敦的第二位女性市长,是美国的主要城市中第一个公
  • 高桥英辰高桥英辰(1916年4月11日-2000年2月5日),日本足球运动员,日本国家足球队教练(1957年,1960年-1962年)。 2000年2月5日,因肺炎在东京都病逝,享年83岁。
  • 阿尔巴 (名称)阿尔巴(苏格兰盖尔语:;爱尔兰语:Albain;曼岛语:)是苏格兰盖尔语等凯尔特语言对苏格兰的称呼,来源于大不列颠岛的古称阿尔比恩。其拉丁化形式阿尔巴尼亚(Albania)和英语化的形式奥尔巴
  • 外错角在几何学中,外错角是两个角之间的一种位置关系。当一条直线与另外两条直线相交时,处在两条直线外侧的角一共有四个。这时,称其中位于直线异侧的一对角互为外错角,或者说其中的一
  • Studio BentStuffStudio BentStuff(日语:株式会社スタジオベントスタッフ,英语:Studio BentStuff Co.,Ltd.)是一间专门对电子游戏相关的攻略本、杂志进行规划、执笔、制作的工作室。1989年,以日本
  • Levels《Levels》(风格化为《LE7ELS》)是由瑞典音乐制作人艾维奇创作的单曲。这首歌的早期器乐版本在2010年12月首次由艾维奇在BBC广播一台的《Essential Mix(
  • 林波波省林波波省(南非语:Limpopo,英语:Limpopo),是南非九个省之一,前身是德兰士瓦省的北部。面积123,900平方公里,2001年人口为5,273,637人。首府及最大城市波洛夸内。北部的克鲁格国家公园是林波波省最大的吸引力之一。这个2万公顷的保护区横跨全省东部地区,是南非、莫桑比克和津巴布韦之间大林波波跨界公园的一部分。这里拥有成百上千种树木、鱼类、两栖动物、爬行动物、鸟类和哺乳动物,其中包括非洲五大动物。步行或驱车观看动物、远足、生态旅行和山地自行车等旅游路线为游客探索这个野性荒原提供了奇妙的
  • 久久能智久久能智(日语:ククノチ)是《古事记》中的记载,而《日本书纪》则被称作句句廼驰,祂是日本神话中的木神。根据《古事记》上卷的记载,伊邪那岐命和伊邪那美命生下风神志那都比古后,又生下了木神久久能智;随后出生的是山神大山津见和野神鹿屋野比卖神。《日本书纪》卷第一神代上则记载,在山神、川神、海神出生后,伊奘诺尊和伊奘冉尊产下了木之精句句廼驰,随后出生的是草之精草祖草野姬(亦名野槌)。在日语里,“クク”一词由“木木”(日语:キキ・キギ)一词转变而来,形容与茎同根树一直竖立生长;“ノ”是“之”的意思;“チ”是“神灵”