Implemented concatenation of nfas