Improved comment.  Use information extracted from automaton rather than the automaton itself.