forward_cursor is a pointer to an automaton transition, that
is, a triple (source state, letter, aim state). It provides all the
functionnalities of the plain cursor and some means to iterate through
the sequence of the outgoing transitions of the source state.