implemented copying of nfas