オートマトンの話はここでいいいでしょうか？

とりあえず問題は、
決定性有限オートマトンM={Q、Σ、δ、q0、F}に対して、Σ^* - L(M)を受理する決定性有限オートマトンの構成法を延べよ。
ってもんですが、よろしくお願いします。