言語 L = { L1 \ L2 } の DFA を構築するにはどうすればよいですか
L1 と L2 の DFA は指定されていますが、ある DFA を別の DFA から「差し引く」にはどうすればよいですか? これは、相対補数http://en.wikipedia.org/wiki/Complement_(set_theory)と DeMorgans Law で何とか可能ですか?
私の解決策：
1327 次
言語 L = { L1 \ L2 } の DFA を構築するにはどうすればよいですか
L1 と L2 の DFA は指定されていますが、ある DFA を別の DFA から「差し引く」にはどうすればよいですか? これは、相対補数http://en.wikipedia.org/wiki/Complement_(set_theory)と DeMorgans Law で何とか可能ですか?
私の解決策：