Returns a past-the-end iterator on the longest prefix of the word
[first, last) recognized by the automaton pointed by
c. If none is found, first is returned which means that
either no final state has been reached during the traversal or a
transition was undefined.
Vincent Le Maout
2003-07-08