2 papers
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…
cs.PL2023
Visualizing Why Nondeterministic Finite-State Automata Reject
Oliwia Kempinski, Marco T. Morazán
Students find their first course in Formal Languages and Automata Theory challenging. In addition to the development of formal arguments, most students struggle to understand nonde…