FSA Complement

Complement

Let $M=(Q,\Sigma ,\delta ,s,F)$ be a DFSA A complement FSA is $\overline{M}=(\overline{Q},\Sigma ,\overline{\delta },\overline{s},\overline{F}$ s.t $\mathcal{L}(\overline{M})=\mathcal{L}(M)$

Intuition

Make all accepting states non-accepting states and make all non-accepting states accepting states.