Select an automaton
Back
Clear
Controls
Action
Desktop
Pan
Left-click and drag
Zoom in/out
Mouse wheel
Create state
Double-click
Move state
Middle-click and drag
Edit/Delete state
Right-click
Create transition
Left-click and drag
Edit transition
Right-click
Delete transition
Right-click
Display representation