concatenation of two NFSA