Step Run Window


The Step Run Window displays up to 15 configurations at a time. Each configuration consists of the current state and the remaining input (and the stack in the case of PDA) for automata or the current state and the relevant part of the tape (or tapes in the case of TTM) for Turing machines)

Configurations can be selected or unselected by clicking on them. Selected configurations are shown darker. Invalid configurations (i.e. which cannot be expanded any more) are marked with a red cross in the upper left corner.

The Run Window Buttons:

Kill Delete all selected configurations.
Freeze Freeze all selected configurations.
(the frozen configurations will not be expanded)
(a frozen configuration is marked with a snow flake in the upper left corner)
Thaw Un-freeze all selected configurations.
Trace View the path of the selected configuration.
(exactly one configuration must be selected)
Step Expand the current set of configurations by applying the next transitions.
Restart Restart the step run from the start state.
Quit Quit the Step Run Window and return to the building canvas.