4 papers
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…
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…
Finite-State Automaton To/From Regular Expression Visualization
Marco T. Morazán, Tijana Minić
Most Formal Languages and Automata Theory courses explore the duality between computation models to recognize words in a language and computation models to generate words in a lang…
Visualizing a Nondeterministic to Deterministic Finite-State Machine Transformation
Tijana Minic, Marco T. Morazán
The transformation of a nondeterministic finite-state automaton into a deterministic finite-state automaton is an integral part of any course on formal languages and automata theor…