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: