Menu Bar

File menu:

New opens a new machine in the current window
Open opens a machine from a file in the current window
Save saves the current machine
Save as saves the current machine in a specified file
Print prints the current machine to the printer or to a file (to date, only on Unix- and Windows- based machines; you can print to a file though, in tabular form, on all machines)
Close closes the current window
Quit exits the program.

Run menu:

Step run opens the Step Run window
Fast run runs the current machine with the specified input; if the input is accepted, the user has the possibility to see the acceptance path.
Multiple run brings up a multiple run window that allows the user to test several inputs at once

Options menu:

Re-label states relabels the states so that the labels are consecutive numbers
Show nondeterministic states shows the nondeterministic states of the machine, if there are any
Show Grammar brings up a window containing a regular grammar corresponding to the FSA or PDA
NFA to DFA converts the current NFA to a DFA (See help on NFA to DFA)
Show unreachable states shows the unreachable states of the machine, if there are any
Minimize minimizes the current DFA (See help on minimize)
Show Name Labels when this is set, the state labels appear. (Works on NFA to DFA/Minimize modes)
Auto Re-label when this is set, the states always have consecutive labels

Solve menu: The solve menu is only active during certain operations like minimization or NFA to DFA or Regular Expression Conversion

Check if done Pops up a dialog with a message explaining the first error found if the machine is incorrect
Show Shows the completed machine
Expand a State Correctly completes the state's label and all the outgoing transitions