NFA concatenation