AutomataVerse.
An interactive simulator for DFA, NFA, PDA and Turing machines.
Draw states and transitions, feed in a string and watch your automaton run step by step. Built for students and teachers of theory of computation.
17,000+ learners in 50+ countries
why we made AutomataVerse.
Automata theory is easier to understand when you can watch a machine run. AutomataVerse turns the diagrams from your textbook into machines you can build, test and step through in the browser.
Draw states and transitions, type an input string, then step through the computation one symbol at a time or let it play to the end. The active state and the tape head move together, so you can see exactly why a string is accepted or rejected.
features.
Every classic machine
DFA, NFA, PDA, Turing machines, plus Mealy and Moore machines.
Step-by-step runs
Walk through a computation symbol by symbol, or play it straight through.
Save and share
Keep machines in your browser, save them to the cloud, or share a link with your class.
Export anywhere
Download any machine as JSON or as a PNG for notes and slides.