Notes

• This algorithm does not care about the initial state, it is up to the user to manage any operations related to it.
• This algorithm is not just a duplication procedure, it is the only way (along side clone which is a slight variant of ccopy) to apply an algorithm and to get the result of it as an automaton container. It is also enough to use almost all of the operations implemented in ASTL.