Automata Simulator — A Python implementation that takes a formal DFA/DPDA definition, validates it against all DFA/DPDA formation rules, and simulates it on input strings with a step-by-step trace and accept/reject verdict.
-
Updated
Jun 5, 2026 - Jupyter Notebook