DFA Simulator

Design, visualize, and test Deterministic Finite Automata

State Diagram
States: 0
Input Alphabet
Controls
How to Use the DFA Simulator

Building Your DFA

  • Add States: Click "Add State" and name your states
  • Set Start State: Click "Set Start State" then click a state
  • Mark Accepting: Use "Toggle Accepting" to mark final states
  • Add Input Symbols: Click "+" to add alphabet symbols

Creating Transitions

  • Add Transition: Click "Add Transition", select two states, enter symbol
  • Remove Transition: Click "Remove Transition" then click an edge
  • Multiple Symbols: Transitions can have multiple input symbols
  • Drag States: Click and drag states to rearrange the diagram

Testing Your DFA

  • Test Strings: Click "Run Test" and enter a string to test
  • Visual Feedback: Watch states light up during string processing
  • View Sequence: Click "View Sequence" to understand how the DFA processed the string