Traversal of reachable automaton states

Back to Automaton algorithms

The algorithm given here traverses those states in the automaton which can be reached from the start state.

Files

Traversal of reachable automaton states