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 |
| 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 |