左递归

✍ dations ◷ 2025-11-12 12:52:16 #左递归

在计算机科学里面,左递归是一种递归的特殊状况。

在上下文无关文法内里的说法,若一个非终结符号(non-terminal)r有任何直接的文法规则或者透过多个文法规则,推导出的句型(sentential form)其中最左边的符号 又会出现r,则我们说这个非终结符号r是左递归的。

使用类似的方式我们可以定义出某文法本身是左递归的。

"一个文法是左递归的,若我们可以找出其中存在某非终结符号A,最终会推导出来的句型(sentential form)里面包含以自己为最左符号(left-symbol)的句型"

直接左递归(Immediate left recursion)以下面的句型规则出现:

这里 α {displaystyle alpha } (recursive descent parser)可能会像这样:

function Expr(){      Expr();  match('+');  Term();}

然后这个递归下降分析器在尝试去解析包含此规则的文法时,会陷入一个无穷的递归。

间接左递归(indirect left recursion)最简单的形式如下:

这规则可能产生 A B α A β α {displaystyle ARightarrow Balpha Rightarrow Abeta alpha Rightarrow ldots } (operator declarations), %left, %right and %nonassoc,这一些算符可以告诉语法分析器产生程式(parser generator)应该遵从哪一种结合。

相关

  • 张东辉张东辉(1967年1月-),浙江舟山人,中国物理化学家,中国科学院大连化学物理研究所研究员。2017年当选为中国科学院院士。1989年毕业于复旦大学物理系,1994年在纽约大学获得博士学位。
  • 黑斑黄褐斑(Melasma,chloasma faciei:854),又称肝斑、黑斑、黑皮病,是一种皮肤颜色变深为黄褐色的疾病,发生在孕妇身上时候被称为妊娠面斑(mask of pregnancy)。黄褐斑通常被认为是日晒
  • 义守大学足球队义守大学足球队,球队成立于 1993 年,从一般大学一般组乙组开始组训,曾于 1999 年、2000 年、2009 年、2014 年荣 获四次冠军,晋升甲组(公开组第一级)最佳成绩曾获第三名,在非体育
  • 黍鲱黍鲱为辐鳍鱼纲鲱形目鲱科的其中一种,分布于东大西洋区,包括北海、波罗的海、地中海、黑海及亚速海海域,栖息深度10-150米,体长可达16公分,栖息在沿海、河口区,为回游性鱼类,以浮游
  • 各国人口出生率列表这篇文章包括2个出生率的版本,出生率是指每年、每一千人当中的新生人口数。第一个列表依据联合国人口司五年期的估计和预测。使用的数据是2005年-2010年假设值的中位数,整个世
  • 尖叫呐喊《尖叫呐喊》(英语:),是美国歌手will.i.am和布兰妮·斯皮尔斯合作的一首单曲,收录于will.i.am的第四张专辑《黑眼威力》()中,于2012年11月20日发行。歌曲在美国告示牌百强单曲榜获得
  • 砷酸钙砷酸钙是一种无机化合物,化学式为Ca3(AsO4)2,为无色固体。它最初用作杀虫剂和杀菌剂。砷酸钙较砷酸铅易溶于水,因此毒性更大。无色无定形粉末,不纯品呈红色,熔点1455℃,微溶于水,溶
  • 三吉慎藏三吉 慎藏(みよし しんぞう、天保2年10月11日(1831年11月14日) - 明治34年(1901年)2月16日)是幕末长府藩士。讳时治。幼名友三郎天保2年(1831年)、为长府藩今枝流剣术师父・小坂土佐
  • 邓锺岳邓锺岳(1674年-1748年),一名邓中岳,字东长,号畏庐。山东东昌卫(今聊城)人。邓基哲之子。康熙四十七年(1708年)中举人,康熙六十年(1721年)状元,授翰林院修撰。工书法,康熙帝赞其“字甲天下”
  • 岭东佛学院岭东佛学院是一所位于中国广东省潮州市湘桥区开元路50号开元寺内的佛教院校。岭东佛学院自1932年由太虚大师筹建,初由其弟子大醒法师负责筹建事宜,不久由寄尘法师接替。1933年10月9日,该院举行了开学典礼。院刊为《人海灯》。1935年6月18名学僧毕业。后该院停办。1947年9月该院复办,1948年5月停办。1991年10月,该院由广东省佛教协会复办。该院院刊仍为《人海灯》。