格雷巴赫标准式

✍ dations ◷ 2025-07-21 03:56:57 #格雷巴赫标准式

在计算机科学中,声称一个上下文无关文法是Greibach 标准式(范式)(GNF)的意味着所有的产生规则都有如下形式:

这里的 是非终结符,α 是终结符, 是不包括开始符号的非终结符的(可能为空)的序列, 是开始符号,而 是空串。

可观察出这种文法没有左递归。

所有上下文无关文法口可以被转换成等价的 Greibach 范式的文法。(某些定义不认可第二种形式的规则,在这种情况下能生成空串的上下文无关文法不能被如此转换。)这可以被用来证明所有上下文无关语言可以被非确定下推自动机所接受。

给定 GNF 的一个文法和长度为 的符合这个文法的一个可导出的字符串,任何自顶向下分析器将在深度 停机。

Greibach 范式得名于 Sheila Greibach。

请写出

的 Greibach 标准式


A¹→A²A²|0 A²→A¹A¹|1

A¹→A²A²|0 A²→A²A²A¹|0A¹|1

A¹→A²A²|0 A²→0A¹|1|0A¹B²|1B²B²→A²A¹|A²A¹B²

A¹→0A¹A²|1A²|0A¹B²A²|1B²A²|0A²→0A¹|1|0A¹B²|1B²B²→A²A¹|A²A¹B²

A¹→0A¹A²|1A²|0A¹B²A²|1B²A²|0A²→0A¹|1|0A¹B²1B²B²→0A¹A¹|0A¹B²A¹|1B²A¹|0A¹A¹B²|0A¹B²A¹B²|1B²A¹B²|1A¹|1A¹B²

相关

  • 包皮背切术包皮背切术为治疗包皮过长或包茎的手术,使阴茎勃起时能够露出龟头。包皮背切术使阴茎龟头完全露出,而其外观类似包皮环切术。然而,其组织并未移除。背切后包皮的全部组织会集中
  • 二十四节气——中国人通过观察太阳周年运动而形成的时间知识体系及其实践节气指二十四时节和气候,是中国古代用来指导农事之历法历注。东亚传统夏历(农历)是一种“阴阳合历”,同时根据日、月运行制定,“阴”是以朔望月为基准确定,“阳”是以地球自冬至绕
  • 瘦果瘦果是单果类干果中的一种闭果,由单一心皮的子房发育而成,果实内仅一枚种子,种子只有一点(处)与子房壁相接,成熟时种皮与果皮易分开,如向日葵、蒲公英的果实。草莓的聚合果上一颗颗
  • 自动驾驶自动驾驶(英语:Autopilot)是一种经由机械、电子仪器、液压系统、陀螺仪等,做出无人操控的自动化驾驶。常用在飞行器、船舰及部分的铁路列车。公路交通工具的自动驾驶仍在研究开
  • 钟形干脐菇 Fr.钟型甘脐菇(学名:),俗称金色小号(golden trumpet)、钟形亚脐菇(bell Omphalina)或模糊的脚(fuzzy-foot),是一种担子菌门真菌,隶属于干脐菇属。这种真菌分布于北半球,属口蘑科一种,色通
  • 龚知本龚知本(1935年11月28日-),江苏太仓人,大气光学专家,中国工程院院士。
  • 桂诏桂诏(?-?),字世钦,浙江宁波府慈谿县人,民籍,明朝政治人物。浙江乡试第四十二名举人。弘治六年(1493年)中式癸丑科三甲第一百五十二名进士。曾祖桂宗儒,修撰;祖父桂承学;父桂京,母赵氏。
  • 馀庆 (清朝进士)馀庆(1848年-?),字善亭、珊汀、芝九,赫舍里氏,满洲正红旗人,同治甲子举人,甲戌进士。光绪年间任河南归德府知府,督修花翎盐运使候补道衔知府加三级。《锡良遗稿》载:归德府知府馀庆,心地
  • 朱莅学朱莅学(?年-?年),嘉靖时任邻水县主簿。是一位政治人物,明朝时曾在四川顺庆府邻水县(位于今四川省东部,梁大同三年置,是一个千年古县)担任官吏。
  • 超克图纳仁超克图纳仁(1925年-2018年6月5日),男,蒙古族,吉林前郭尔罗斯人,中国剧作家,曾任中国戏剧家协会常务理事,内蒙古戏剧家协会副主席、秘书长。