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