
arXiv: 2508.03639
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.
In Proceedings TFPiE 2025, arXiv:2508.02305
Human-Computer Interaction, Software Engineering (cs.SE), FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Software Engineering, Programming Languages, Formal Languages and Automata Theory, Human-Computer Interaction (cs.HC), Programming Languages (cs.PL)
Human-Computer Interaction, Software Engineering (cs.SE), FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Software Engineering, Programming Languages, Formal Languages and Automata Theory, Human-Computer Interaction (cs.HC), Programming Languages (cs.PL)
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
