×

功能性LR解析器。 (英语) Zbl 0754.68073号

摘要:给出了\(LR(0)\)解析器的纯功能实现,并给出了简单的正确性证明。对于非(LR(0))文法,如果构成解析器的函数实现为记忆函数,即记忆先前调用结果的函数,则其时间复杂度是立方的。对于\(LR(0)\)文法,我们的算法与最近由F.E.J.克鲁斯曼·阿雷茨[关于递归上升解析器,Inform.Proc.Lett.29201-206(1988;Zbl 0662.68081号)],D.巴纳德J.科尔迪[《汇编语言》第13卷第2期,第65-74页(1988年;Zbl 0659.68099号)]和G.H.罗伯茨[递归上升:递归下降的(LR)模拟,SIGPLAN通知23(8),23-29(1988)]。

MSC公司:

68N20型 编译与解释理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aho,A.V。;Ullman,J.D.,《解析、翻译和编译理论》(1972),普伦蒂斯·霍尔:普伦蒂斯·霍尔·恩格尔伍德·克利夫斯,新泽西州·Zbl 0264.68032号
[2] Aho,A.V。;Ullman,J.D.,《编译器设计原理》(1977),Addison-Wesley:Addison-Whesley Reading,MA·Zbl 0196.01702号
[3] 巴纳德·D·T。;Cordy,J.R.,SL解析LR语言,Compute。语言,13,2,65-74(1988)·Zbl 0659.68099号
[4] 比洛特,S。;Lang,B.,歧义分析中共享林的结构,Proc。计算语言学协会第27次会议,143-151(1989),温哥华
[5] Hughes,J.,Lazy memo-functions,(Jouannaud,J.-P.,《函数编程语言与计算机体系结构》,第201卷(1985),Springer:Springer Berlin),129-146,计算机科学讲稿
[6] Kipps,J.R.,《分析Tomita的通用无上下文解析算法》,Proc。第一届解析技术国际研讨会,193-202(1989),宾夕法尼亚州匹兹堡
[7] Kruseman Aretz,F.E.J.,关于递归上升解析器,Inform。过程。莱特。,29, 201-206 (1988) ·Zbl 0662.68081号
[8] Norvig,P.,《自动记忆技术与无上下文解析应用》,计算。语言学家。,17, 91-98 (1991)
[9] Pennello,T.J.,《非常快速的LR解析》,SIGPLAN通知,21,7,145-151(1986)
[10] Roberts,G.H.,递归上升:递归下降的LR模拟,SIGPLAN通告,23,8,23-29(1988)
[12] Tomita,M.,《自然语言的高效解析》(1986),Kluwer:Kluwer-Dordrecht
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。