Back to Automaton algorithms
The algorithm given here traverses those states in the automaton which reach at least one final state.