From Haoran Peng
Our third definition: we say a language is DFA-regular if it is the language recognised by some DFA.
We show that the complement of a DFA-regular language is DFA-regular.