Visualizing Why Nondeterministic Finite-State Automata Reject

Explore a conference talk from ACM SIGPLAN that delves into the visualization techniques for understanding why nondeterministic finite-state automata reject certain inputs. Learn from speakers Oliwia Kempinski and Marco T Morazan as they present their research and findings on this complex topic in theoretical computer science. Gain insights into the challenges and potential solutions for visualizing the rejection process of nondeterministic finite-state automata, which can be crucial for students and researchers in the field of formal languages and automata theory. This 29-minute presentation offers a unique perspective on enhancing the comprehension of these abstract concepts through visual representations.

[Scheme'23] Visualizing Why Nondeterministic Finite-State Automa Reject