New Open Open recent Settings Save Close

Select all Cut Copy Paste Undo Redo

Zoom in Zoom out Zoom to fit Editor theme

Compare equivalence Convert to DFA Apply layout Remove unreachable states Align states to grid Construct from RegEx Test multiple inputs Test step-by-step Create product automaton