Finite Automaton
Traverse
Save
Undo
Redo
Add Nodes
Add Edges
Move Nodes
Edit Nodes/Edges
Delete Nodes/Edges
Layout
Highlight Nondeterminism
Highlight λ-Transitions
ε Mode
Enable Shorthand
Convert to DFA
Minimize DFA
Convert to Right-Linear Grammar
Σ: