Checking Automata
JFLAP includes features for checking an automaton. An automaton can be checked to see if it contains any nondeterministic states, or unreachable states (FSA's only). If any such states are in the automaton they will simply be highlighted in red.