×

一大类van Wijngaarden文法的“yo-yo”解析算法。 (英语) Zbl 0759.68055号

摘要:描述了在多项式时间内解析一大类von Wijngaarden文法的算法。该算法基于Earley的上下文无关解析算法,添加了自下而上的组件和实现一致替换的机制。与早期的算法相比,此算法适用于非左边界和非右边界的语法。

MSC公司:

68N20型 编译与解释理论
2012年第68季度 语法和重写系统

软件:

阿尔戈68
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Deussen,P.:van Wijngaarden文法的判定准则。《信息学报》353-375(1975)·Zbl 0327.68022号 ·doi:10.1007/BF00264566
[2] Deussen,P.,Mehlhorn,K.:Van Wijngaarden文法和空间复杂性类EXSPACE。《193-199年学报》(1977年)·Zbl 0347.68048号 ·doi:10.1007/BF00289249
[3] Earley,J.:一种高效的无上下文解析算法。CACM13(2),94-102(1970年2月)·兹比尔0185.43401
[4] Fisher,A.J.:为两级语法生成解析器。论文。威尔士阿伯里斯特威斯Prifysgol Cymru(1982年)
[5] Fisher,A.J.:基于LL(1)的van Wijngaarden语法实用解析。Acta Inf.21,559-584(1985)·Zbl 0554.68060号 ·doi:10.1007/BF00289711
[6] Lewis,P.M.II,Rosencrantz,D.J.,Stearns,R.E.:编译器设计理论。马萨诸塞州雷丁:Addison-Wesley 1976·Zbl 0352.68004号
[7] Pagan,F.G.:编程语言的形式规范。新泽西州恩格尔伍德克利夫斯:普伦蒂斯·霍尔1981·Zbl 0473.68007号
[8] 萨洛马:正式语言。伦敦:学术出版社1973·Zbl 0262.68025号
[9] Simonet,M.:W.grammaires et logique du premier ordre pour laédefinition et l’implantation des langages。格勒诺布尔科学与医学大学论文(1981年7月)
[10] Sintzoff,M.:每个递归可枚举集的van Wijngaarden语法的存在性。社会科学年鉴。布鲁克斯81,II(1967)
[11] Wegner,L.M.:关于解析两级语法。《新闻学报》.14175-193(1980)·Zbl 0442.68086号 ·doi:10.1007/BF00288543
[12] 韦格纳,L.M.:括号二级语法?语言定义的可判定且实用的方法。格拉茨ICALP 79。(Lect.Notes Compute.,第71卷,第668页)柏林-海德堡纽约:施普林格出版社,1979年·Zbl 0411.68061号
[13] Wijngaarden,A.van,Mailloux,B.J.,Peck,J.E.L.,Koster,C.H.A.,Sintzoff,M.(编辑)算法语言Algol 68的修订报告。柏林,海德堡,纽约:施普林格1976
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。