State

Three types of states can be formed by JFLAP:

initial states
normal states
final states

Furthermore, a state can both be initial and final at the same time.

Rule of thumb: The states are handled with the CENTER MOUSE BUTTON (if you use a three-button mouse) or with SHIFT & LEFT BUTTON

The following are the operations that can be performed on states:

In addition, states can have user-defined labels. This is accomplished by checking the Show Name Labels menu item in the Options menu. These user-defined labels will be abbreviated if they are too long. To see the full label when the label is abbreviated, simply move the mouse over the label or select the label for editing. The user-defined labels will be saved if you save the automaton. Below is an example of an FSA using user-defined labels.

NOTE: Converting from DFA to grammar will replace the all user-defined labels with a capital letter corresponding to the variable in the grammar.