New Open Open recent Save Close

Select all Cut Copy Paste Undo Redo

Zoom in Zoom out Zoom to fit Editor theme Lambda symbol

Compare equivalence Convert to DFA Apply layout Remove unreachable states