寻找常规语言的补充

Question

你能帮我找一个语言的补充，以abab - (a|b)*abab (over an alphabet {a,b})

结尾

我猜，补语必须包含所有字符串，不以abab结尾。 在为(a|b)*abab的补充建立DFA之后，可以尝试使用Rij算法来做这件事，但是，如果没有自动机和Rij（因为该自动机有5种状态），请帮助我理解它是如何工作的。

好的，这些字不允许以abab结尾。最后有两个{sup> 4 方式用于a和b的四个字母。好的，abab必须删除，因此有15种组合。这是否意味着，补语是(a|b)*。（a和b的所有组合的联合没有abab）？但(a|b)在开始时是否仍保持不变？

请帮助我理解这一点。

Answer 1

也许我安静的不理解你，但是它不是那么简单。我(a|b)*(a|bb|aab|bbab)或事件(a|b)*(a|(b|(a|bb)a)b)？

P.S。不要忘记有短于abab的单词，所有单词也应包括在内。即(a|b){0,3}（其中{0,3}表示重复次数[0; 3]）