With as DFSA We want , s.t

Intuition

All the exit states in , will then have a transition to the initial state of