Explore Automata Simulators

Interact with powerful simulation tools for various types of automata. Design, test, and visualize computational models.

Now PDA and NFA correctly handles epsilon transitions and Non-determinism.
DFA

DFA Simulator

DFA

Deterministic Finite Automaton simulator for creating and testing finite state machines.

Open Simulator
FSM

Moore/Mealy Machine

FSM

Moore/Mealy Machine simulator for creating and testing finite state machines with outputs.

Open Simulator
NFA

NFA Simulator

NFA

Non-deterministic Finite Automaton simulator with support for epsilon transitions.

Open Simulator
PDA

PDA Simulator

PDA

Pushdown Automaton simulator with stack operations for context-free languages.

Open Simulator
TM

TM Simulator

TM

Turing Machine simulator with tape manipulation for the most powerful computation model.

Open Simulator

Computational Models Hierarchy

Explore the hierarchy of automata from simple to Turing-complete models

DFA

DFA

Regular Languages

Open DFA
NFA

NFA

Regular Languages

Open NFA
FSM

FSM

Moore/Mealy Machines

Open FSM
PDA

PDA

Context-Free Languages

Open PDA
TM

TM

Recursively Enumerable

Open TM

Increasing expressive power →