⚡ Automata Studio

Canvas Tool

Click canvas to add states · Drag to move

States 0

Add Transition

From

Symbol

To

Simulate

Input String

Result: —

Import & Tools

Runs subset construction on the current NFA diagram.

Removes unreachable & equivalent states (table-filling).

Actions

Right-click state or edge for options Σ = ∅

Ready

Transition symbol: →