第条

免费访问

LL（1）解析器中一种高效的仅插入错误修正器

作者:

C.编号。费希尔,

D.R.公司。米尔顿、和

S.B.公司。安静作者信息和声明

POPL’77：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

1977年1月

页97-103

https://doi.org/10.1145/512950.512960

出版:1977年1月1日出版历史

PDF格式电子阅读器

摘要

研究了一种基于LL（1）的“仅插入”纠错器。校正器能够纠正和解析任何输入字符串。它在纠正语法错误方面效率很高（在空间和时间要求上呈线性），并选择成本最低的插入（由用户定义）。此外，可以根据语法和终端符号插入成本表自动生成纠错器。可通过此方法更正的LL（1）语法类包含（经过轻微修改）用于指定最常见编程语言的语法。初步结果表明，这种方法可以在LL（1）驱动的编译器中发挥优势。

工具书类

[1]

Aho，A.V.和Peterson，T.G.，无上下文语言的最小距离纠错分析器。SIAM计算机杂志1，4，305-3121972。

[2]

Aho，A.V.和Ullman，J.D.，《解析、翻译和编译理论》，第1卷，普伦蒂斯·希尔，恩格尔伍德·克利夫斯，新泽西州，1972年，第5.1节。

数字图书馆

[3]

Conway，R.W.和Wilcox，T.R.，PL/1诊断编译器的设计与实现。CACM第16、3、169-179页，1973年。

数字图书馆

[4]

DeRemer，F.L.，《LR（k）语言实用翻译》。1969年麻省理工学院博士论文。

[5]

Ghezzi，C.，LL（1）支持高效错误处理的语法。信息处理信件3、6、174-1761975。

[6]

Graham，S.L和Rhodes，S.P.，《实用语法错误恢复》。CACM第18、11、639-6501975年。

数字图书馆

[7]

Gries，D.，《编译中转换矩阵的使用》。CACM第11、1、26-34页，1968年。

数字图书馆

[8]

Gries，D.，《数字计算机编译器构造》。威利，纽约，1971，320-326。

数字图书馆

[9]

Irons，E.T.，《纠错分析算法》。CACM第6、11、669-6731963页。

数字图书馆

[10]

James，L.R.，一种语法指导的错误恢复方法。多伦多大学计算机系统研究小组技术代表CSRG-13硕士论文，1972年5月。

[11]

LaFrance，J.E.，《编译器的语法指导错误恢复》。伊利诺伊大学厄巴纳分校博士论文。科学。伊利亚克IV部门文件。249, 1971.

数字图书馆

[12]

Leinius，R.P.，《语法定向编译器系统的错误检测和恢复》。博士论文，Comp。科学。威斯康星大学麦迪逊分校，1970年。

数字图书馆

[13]

Levy，J.P.，《程序设计语言中语法错误的自动更正》。康奈尔大学博士论文。科学。部门技术代表TR 71-1161971。

数字图书馆

[14]

Lewis，P.M.、Rosenkrantz，D.J.和Stearns，R.E.，《编译器设计理论》。Addison-Wesley，Reading，Mass.，1976，276-284，462-469，526-531。

数字图书馆

[15]

Lyon，G.，《无上下文语言的语法导向最小错误分析：实用方法》。CACM第17、1、3-14页，1974年。

数字图书馆

[16]

Peterson，T.G.，语法错误检测、更正和恢复。史蒂文斯理工学院博士论文，1972年。

数字图书馆

[17]

Rhodes，S.P.，《编程语言实用语法错误恢复》。加州大学伯克利分校计算机系博士论文。科学。《技术报告》第15号，1973年。

[18]

Teitelbaum，R.，《通过代数幂级数评估进行无上下文误差分析》。程序。ACM SIGACT第五届计算机理论年会，德克萨斯州奥斯汀，196-1991973年。

数字图书馆

引用人

阿雷茨F范德斯内普肖特J格拉斯迪克HSmeets J公司(2006)SATHE:ALGOL实现的一些方面软件：实践与经验10.1002/spe.438010070710:7(563-573)在线发布日期：2006年10月27日
https://doi.org/10.1002/spe.4380100707
Sippu S公司大豆蛋白E(2005)关于构造LL（k）解析器自动机、语言和编程10.1007/3-540-09510-1_47(585-595)在线发布日期：2005年5月25日
https://doi.org/10.1007/3-540-09510-1_47
Sippu S公司索伊沙龙索伊宁E(2005)无上下文分析中错误恢复的定义自动机、语言和编程10.1007/3-540-08342-1_38(492-503)在线发布日期：2005年5月24日
https://doi.org/10.1007/3-540-08342-1_38
显示更多引用者

建议

LL（*）：ANTLR解析器生成器的基础
2011年PLDI

尽管语法分析器表达式语法（PEG）和GLR具有强大的功能，但语法分析并不是一个解决的问题。将不确定性（解析器推测）添加到传统陆上通信线和左后解析器可能会导致意外的解析时行为，并引入实际问题。。。
阅读更多信息
关于LLLR解析中使用的不同LL和LR解析器

可以为任何LR语法构造LLLR解析器。LLLR解析器生成输入字符串的左解析，而不进行回溯。规范LL或LALL解析器可以用作骨干解析器。小型规范或LALR解析器用于LL。。。
阅读更多信息
扩展LL（k）语法和解析器
ACM-SE 20：第20届年度东南地区会议记录

定义了一类上下文无关文法，称为“扩展LL（k）”或ELL（k）。这个类已经被证明包含LL（k）文法作为适当的子集，并且有一些文法是ELL（k）语法，但不是LALR（k）。一个算法。。。
阅读更多信息

评论

信息和贡献者

问询处

发布时间

封面图片ACM会议

POPL’77：第四届ACM SIGACT-SIGPLAN编程语言原理研讨会会议记录

1977年1月

280页

国际标准图书编号：9781450373500

内政部：10.1145/512950

会议主席：
罗伯特·格雷厄姆
马萨诸塞州阿默斯特马萨诸塞大学
,
迈克尔·哈里森
加利福尼亚大学伯克利分校
,
项目主席：
拉维·塞蒂
新泽西州默里山贝尔实验室

版权所有©1977 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布、在服务器上发布或重新分发到列表，需要事先获得特定许可和/或收取费用。向请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1977年1月1日

权限

请求对此文章的权限。

检查更新

限定符

第条

接受率

POPL’77论文接受率105份中的25份，24%；

4130份提交文件的总体接受率为824份，20%

即将召开的会议

府绸'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

10
引文总数
查看引文
340
总下载次数

下载量（最近12个月）45
下载次数（最近6周）5

其他指标

查看作者指标

引文

引用人

阿雷茨F范德斯内普肖特J格拉斯迪克HSmeets J公司(2006)SATHE:ALGOL实现的一些方面软件：实践与经验10.1002/spe.438010070710:7(563-573)在线发布日期：2006年10月27日
https://doi.org/10.1002/spe.4380100707
Sippu S公司索伊沙龙索伊宁E(2005)关于构造LL（k）解析器自动机、语言和编程10.1007/3-540-09510-1_47(585-595)在线发布日期：2005年5月25日
https://doi.org/10.1007/3-540-09510-1_47
Sippu S公司大豆蛋白E(2005)无上下文分析中错误恢复的定义自动机、语言和编程10.1007/3-540-08342-1_38(492-503)在线发布日期：2005年5月24日
https://doi.org/10.1007/3-540-08342-1_38
范登博世P(1992)上下文无关语言语法错误处理参考书目ACM SIGPLAN通知10.1145/131080.13109027:4(77-86)网上发布日期：1992年4月1日
https://dl.acm.org/doi/10.1145/131080.131090
坎托洛维茨E劳尔H(1986)自动生成有用的语法错误消息软件实践与经验10.1002/spe.438016070316:7(627-640)在线发布日期：1986年7月1日
https://dl.acm.org/doi/10.1002/spe.4380160703
Anderson S公司后台R(1982)一种仅插入恢复技术的替代实现信息学报2007年10月10日/BF0026319518:3(289-298)在线发布日期：1982年12月1日
https://dl.acm.org/doi/10.1007/BF00263195
米尔顿·D基尔霍夫L罗兰B(1979)一个全（1）编译器生成器ACM SIGPLAN通知10.1145/872732.80696514:8(152-157)在线发布日期：1979年8月1日
https://dl.acm.org/doi/10.1145/872732.806965
米尔顿·D基尔霍夫L罗兰B约翰逊S(1979)一个全（1）编译器生成器1979年SIGPLAN编译器构造研讨会论文集10.1145/800229.806965(152-157)在线发布日期：1979年8月6日
https://dl.acm.org/doi/10.1145/800229.806965
费歇尔C泰克语米尔顿·D(1979)强LL（1）分析器中的即时错误检测信息处理信件10.1016/0020-0190(79)90120-08:5(261-266)网上发布日期：1979年6月
https://doi.org/10.1016/0020-0190(79)90120-0
雷普利G(1978)简单优先解析器的简单仅恢复过程ACM通信10.1145/359642.35964921:11(928-930)在线发布日期：1978年11月1日
https://dl.acm.org/doi/10.1145/359642.359649

视图选项

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

媒体

数字

其他

桌子