このオートマトンの問題

質問

∑={0,1}上の言語L1,L2について
L1：0を含まないか、0を3の倍数個だけ含む全ての文字列からなる集合
L2：1を含まないか、1を偶数個だけ含む全ての文字列からなる集合

（a）L2を長さ9以内の正規表現で表わし、その長さも書け。
(b)L1∩L2を受理する決定性有限オートマトンの状態遷移図を示せ。

正規表現は拡張BNFで定義されています

(a)は(0+(1+0*)1)*と書けそうかなと思います（間違いかもしれません）が、長さはいくつになるのでしょうか？

(b)はどのようになるのでしょうか？あるいはどのように考えればよいのでしょうか？

分かる方みえましたら教えて下さい。

回答No.1

Tacosan

「長さはいくつになるのでしょうか」と言われても, あなたのところで「長さ」をどう定義しているのかが分からないと話にならんのだけど. あと, 「正規表現は拡張BNFで定義されています」も意味不明だね. 拡張BNF で「どう」定義されているのかがさっぱりわからん.

(b) は.... L1 を受理する決定性有限オートマトンの状態遷移図が書ければ何とでもなる.