Instructions
This applet is written by Dr Steve Vickers
in 2012 for the Models of Computation module in the School of Computer Science,
University of Birmingham.
In build mode you can set up a finite automaton.
- Click "new label" to give yourself more labels to use.
- Click on an empty part of the panel to create a new state.
- Click on an existing state to make it accepting or non-accepting.
- Click a label button and then two states to dreate or delete a transition.
In run mode you can run a finite automaton. The current state is red.
- Click a label to apply a transition.
- Enter a string in the execute box, and click execute, to apply a sequence
of transitions.
- If you see a number of pink states, that is because non-determinism has
provided some options. Click on the state you want to use.
- If all the states are black then a transition was not possible.
The machine is now stuck.
- To restart the machine from its initial state (diamond), click "build" then "run".