Description

Copies the source automaton defined by the range [first, last) into the destination automaton out by performing a depth-first traversal during which only the paths leading to final states are copied : this algorithm trims uneeded states and transitions. On the other hand, it only works on acyclic DFAs. See clone for cyclic structures copy.
ccopy returns the first state of the iteration (the last duplicated state).