1 citations · 1 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…