计算机科学 > 形式语言与自动机理论
[提交于 2025年8月5日
]
标题: 一种正则表达式的设计配方及基于配方的错误
标题: A Design Recipe and Recipe-Based Errors for Regular Expressions
摘要: 本文提出了一种新框架,为形式语言与自动机理论的学生提供正则表达式设计支持。该框架包括一个正则表达式的设计步骤和一个定制的错误信息系统。错误信息系统生成基于设计步骤的错误,包括未成功完成的设计步骤。此外,错误信息遵循简洁、明了、无专业术语且不具指导性的既定实践。此外,还描述了一种用于编写单元测试的简写语法。本文展示了课堂上设计步骤的应用,讨论了使用所述系统的两个调试会话,并简要概述了错误信息系统的实现。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.