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…