copying automatons
concat automata