1

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

我想，补码必须包含所有不以 abab 结尾的字符串。在构建一个 DFA 以(a|b)*abab补充

好的，单词不允许以 . 结尾abab。末尾有's 和's的四个字母有 2 4种方式。好的，必须删除所以有 15 种组合。这是否意味着，补语是.（所有's 和's 的组合的联合，没有 's ）？但还是一开始就保持不变吗？ababab(a|b)*ababab(a|b)

请帮助我理解这一点。

4

1 回答 1

1

也许我安静不明白你，但它不是更简单。是我(a|b)*(a|bb|aab|bbab)还是事件(a|b)*(a|(b|(a|bb)a)b)？

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

于 2011-11-20T21:47:05.697 回答