で終わる言語の補語を見つけるのを手伝ってくれませんかabab - (a|b)*abab (over an alphabet {a,b})
補数には、abab で終わらないすべての文字列が含まれている必要があると思います。を補完するために DFA を構築した後、Rij-Algorithm でそれを試みること(a|b)*abab
ができますが、Automaton と Rij なしでどのように機能するかを理解するのを手伝ってください (Automaton には 5 つの状態があるため)。
わかりました、単語を で終わらせることはできませんabab
。末尾の's と's の4 文字は 2 4通りあります。よし、消さなきゃいけないから組み合わせは15通り。補語が.( と を除いたすべての組み合わせの和集合) であることを意味しますか? でも最初から変わらないの?a
b
abab
(a|b)*
a
b
abab
(a|b)
これを理解してください。