オートマトンの受理状態を描くときに、今までオレンジ色で塗りつぶした円を描いてた。 だけど、できれば二重丸でかきたいなーとずっと思ってて、良いやり方見つけた。 基本シェイプの中にある「円」じゃなくて「輪」を使えば良さげ。 円と輪内側の円も拡大縮…

以下のオートマトンを構成してみた。出現する状態はすべて受理状態。 M2 文字列abを含まない任意の文字列を受理するDFA M3 文字列abcを含まない任意の文字列を受理するDFA M4 文字列abcdを含まない任意の文字列を受理するDFA M5 文字列abcdeを含まない任意の…