92 citations
- University of WashingtonUS2 papers
- AXON Neuroscience (Slovakia)SK1 paper
- Bergen Community CollegeUS1 paper
- City College of New YorkUS1 paper
- College of Staten IslandUS1 paper
- Columbia UniversityUS1 paper
- Montclair State UniversityUS1 paper
- Penguin Random House (United States)US1 paper
- University of Maryland, College ParkUS1 paper
Showing 2025Show all
3 papers · 1 filter
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…
cs.FL2025
Design Support for Multitape Turing Machines
Marco T. Morazán, Oliwia Kempinski, Andrés M. Garced
Many Formal Languages and Automata Theory courses introduce students to Turing machine extensions. One of the most widely-used extensions endows Turing machines with multiple tapes…