Skip to main content
CenXiv.org
此网站处于试运行阶段,支持我们!
我们衷心感谢所有贡献者的支持。
贡献
赞助
cenxiv logo > cs > arXiv:2508.03639

帮助 | 高级搜索

计算机科学 > 形式语言与自动机理论

arXiv:2508.03639 (cs)
[提交于 2025年8月5日 ]

标题: 一种正则表达式的设计配方及基于配方的错误

标题: A Design Recipe and Recipe-Based Errors for Regular Expressions

Authors:Marco T. Morazán (Seton Hall University), Shamil Dzhatdoyev (Axoni, USA), Josephine Des Rosiers (Penguin Random House), Tijana Minić (University of Washington), Andrés M. Garced (Seton Hall University), David Anthony K. Fields (Seton Hall University)
摘要: 本文提出了一种新框架,为形式语言与自动机理论的学生提供正则表达式设计支持。该框架包括一个正则表达式的设计步骤和一个定制的错误信息系统。错误信息系统生成基于设计步骤的错误,包括未成功完成的设计步骤。此外,错误信息遵循简洁、明了、无专业术语且不具指导性的既定实践。此外,还描述了一种用于编写单元测试的简写语法。本文展示了课堂上设计步骤的应用,讨论了使用所述系统的两个调试会话,并简要概述了错误信息系统的实现。
摘要: This article presents a novel framework to provide Formal Languages and Automata Theory students design support for the development of regular expressions. This framework includes a design recipe for regular expressions and a customized error messaging system. The error messaging system produces recipe-based errors that include the step of the design recipe not successfully completed. Furthermore, the error messages follow the established practices of being concise, succinct, jargon-free, and nonprescriptive. In addition, a shorthand syntax developed for writing unit tests is described. The in-class use of the design recipe is illustrated, two debugging sessions using the described system are discussed, and the implementation of the error messaging system is briefly sketched.
评论: 在《TFPiE 2025论文集》中,arXiv:2508.02305
主题: 形式语言与自动机理论 (cs.FL) ; 人机交互 (cs.HC); 编程语言 (cs.PL); 软件工程 (cs.SE)
引用方式: arXiv:2508.03639 [cs.FL]
  (或者 arXiv:2508.03639v1 [cs.FL] 对于此版本)
  https://doi.org/10.48550/arXiv.2508.03639
通过 DataCite 发表的 arXiv DOI(待注册)
期刊参考: EPTCS 424, 2025, pp. 25-48
相关 DOI: https://doi.org/10.4204/EPTCS.424.2
链接到相关资源的 DOI

提交历史

来自: EPTCS [查看电子邮件]
[v1] 星期二, 2025 年 8 月 5 日 16:53:33 UTC (43 KB)
全文链接:

获取论文:

    查看标题为《》的 PDF
  • 查看中文 PDF
  • 查看 PDF
  • TeX 源代码
  • 其他格式
查看许可
当前浏览上下文:
cs.FL
< 上一篇   |   下一篇 >
新的 | 最近的 | 2025-08
切换浏览方式为:
cs
cs.HC
cs.PL
cs.SE

参考文献与引用

  • NASA ADS
  • 谷歌学术搜索
  • 语义学者
a 导出 BibTeX 引用 加载中...

BibTeX 格式的引用

×
数据由提供:

收藏

BibSonomy logo Reddit logo

文献和引用工具

文献资源探索 (什么是资源探索?)
连接的论文 (什么是连接的论文?)
Litmaps (什么是 Litmaps?)
scite 智能引用 (什么是智能引用?)

与本文相关的代码,数据和媒体

alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)

演示

复制 (什么是复制?)
Hugging Face Spaces (什么是 Spaces?)
TXYZ.AI (什么是 TXYZ.AI?)

推荐器和搜索工具

影响之花 (什么是影响之花?)
核心推荐器 (什么是核心?)
IArxiv 推荐器 (什么是 IArxiv?)
  • 作者
  • 地点
  • 机构
  • 主题

arXivLabs:与社区合作伙伴的实验项目

arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。

与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。

有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.

这篇论文的哪些作者是支持者? | 禁用 MathJax (什么是 MathJax?)
  • 关于
  • 帮助
  • contact arXivClick here to contact arXiv 联系
  • 订阅 arXiv 邮件列表点击这里订阅 订阅
  • 版权
  • 隐私政策
  • 网络无障碍帮助
  • arXiv 运营状态
    通过...获取状态通知 email 或者 slack

京ICP备2025123034号