Mealy Machine
Traverse
Save
Undo
Redo
Add Nodes
Add Edges
Move Nodes
Edit Nodes/Edges
Delete Nodes/Edges
Layout
Highlight Nondeterminism
Highlight λ-Transitions
ε Mode
Enable Shorthand
Σ:
Λ: