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 |