Running Automata
Once the automaton is built, it can be tested with any input
string(s) to see if the input would be accepted or not. There are
three ways to run it: step run, fast run, and multiple
run.
- Fast run will simply pop up a dialog box saying if
the input was accepted or rejected, and highlight the
state on which it happened.
- Step run will bring up a window (picture below)
that lets you step back forward through the machine,
restart, or even freeze/kill some configurations when the
machine is nondeterministic. The states in the machine
also highlight as the step run goes through, to make it
easier to follow.
- Multiple run will bring up a window
(picture below) that lets you perform multiple tests for
acceptance or rejection using multiple input strings.
Here is an example of an FSA during step run and its step run
window below it:


Here is an example of the multiple run window:
