AutoCurate RegEx to Automata Visualizer
q₀ q₁ q₂ q₃
No Automaton Yet
Enter a regular expression and click Generate Automaton to visualize the full pipeline.
Start State
Final State
Dead State
Symbol Transition
ε Transition
ε-Closure
AutoCurate
Slide 1 / 1
STEP 1
Regular Expression
Enter your regex to begin the conversion pipeline.
Thompson Construction Rules

1. Empty Expression (ε)

Creates a simple transition from start to accept state with epsilon (empty string).

q0 q1 ε

2. Symbol (a)

Creates a transition from start to accept state labeled with the symbol.

q0 q1 a

3. Union Expression (a|b)

Creates parallel paths for each alternative, connected by epsilon transitions.

q0 q1 q2 q3 q4 q5 ε a ε b ε ε

4. Concatenation Expression (ab)

Connects the accept state of the first NFA to the start state of the second NFA.

q0 q1 q2 q3 a ε b

5. Kleene Star Expression (a*)

Allows zero or more repetitions using epsilon transitions for loops and bypass.

q0 q1 q2 q3 ε a ε ε ε