質問「白血病などでよく出てくる骨髄液について。……」についてのツリー@いわし みーてーるーだーけー。 まぁ気になってはいるので後で調べる。10日以降だな。

決定性有限オートマトンに関する問題です． 「長さ5の部分記号列を調べれば，少なくとも2つの0を含む全ての記号列からなる言語」を受理するDFAを与えよ． というのがあるのですが，規模が大きくなりすぎてしまいます．何かスマートな方法があるはずなのです…