Copies the source automaton defined by the range [first, last)
into the destination automaton out by performing a depth-first
traversal during which all transitions are duplicated.
Returns the first state of the iteration (the first duplicated state).
Vincent Le Maout
2003-07-08