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