With M,M′ as DFSA We want M⋅, s.t L(M⋅)=L(M)L(M′) Intuition All the exit states in M, will then have a transition to the initial state of M′