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