オートマトンについて（３）

質問

以下の問題も解けず困っています。よろしくお願いします。

以下の言語を受理するオートマトンを設計せよ。

L＝｛w|wは０と１からなる文字列で、どこかに100がある｝

例えば10010∈Lである。
オートマトンは状態遷移図でも形式的表現でもよい。

オートマトンについても詳細を加えていただくとありがたいです。
よろしくお願いします。

回答No.1

kony0

a:0*
b:1
c:10
d:100

スタートはa。
いまaにいて、0が出ればaに、1が出ればbに。
いまbにいて、0が出ればcに、1が出ればbに。
いまcにいて、0が出ればdに、1が出ればbに。
dは終端の状態。（なにが出てもd自身に）」

もしくは３重のマルコフ連鎖(?)を考えて、
状態を000から111までの8個考えればもっと単純。
状態xyzにいて、次の文字がwであれば状態yzwに遷移するとか。（この問題では、100で終端にすればOKですよね）

・・・しかし、質問取り消されるくらい、「そのまんま」の質問ですねーーメ