正規表現で文字列の否定④

以下のオートマトンを構成してみた。出現する状態はすべて受理状態。

M2
文字列abを含まない任意の文字列を受理するDFA
M3
文字列abcを含まない任意の文字列を受理するDFA
M4
文字列abcdを含まない任意の文字列を受理するDFA
M5
文字列abcdeを含まない任意の文字列を受理するDFA
特定の文字列を含まない任意の文字列を受理するDFAたち

正規表現ここ で生成したよ。
こうやっていくつか描いてみるとパターンに気づくね。
正規表現を自分で生成することは現時点で出来てないけど、DFAなら生成できそうだなー。