2 papers
cs.FL2025
Visual Execution and Validation of Finite-State Machines and Pushdown Automata
Marco T. Morazán, David Anthony K. Fields, Andrés M. Garced +1
In Formal Languages and Automata Theory courses, students find understanding nondeterministic finite-state and pushdown automata difficult. In many cases, this means that it is cha…
cs.FL2025
A Design Recipe and Recipe-Based Errors for Regular Expressions
Marco T. Morazán, Shamil Dzhatdoyev, Josephine Des Rosiers +3
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…