module DFAcomplement where
import DFA

complementDFA :: DFA st -> DFA st
complementDFA (qs, sigma, delta, q, inF) =