Machine Configuration
Transitions format: q0,a,q1;q0,b,q2;q1,a,q1 (semicolon-separated). For NFA with epsilon, use ε.
Examples:
State Diagram
No diagram yet
Configure automaton and click Draw Graph or Simulate
Ready to simulate
Configure machine and input string, then click Simulate