寻找常规语言的补充
[英]Finding a complement of a regular language
问题描述
您能帮我找一种以abab - (a|b)*abab (over an alphabet {a,b})结尾的语言的补语abab - (a|b)*abab (over an alphabet {a,b})
我猜想，补语必须包含所有不以abab结尾的字符串。 建立(a|b)*abab的DFA的DFA之后，可以尝试使用Rij-Algorithm进行此操作，但是，请帮助我了解在没有Automaton和Rij的情况下它是如何工作的（因为Automaton具有5个州）。
好的，这些单词不允许以abab结尾。 最后有2个4种方式将a和b的四个字母。 好的，必须擦除abab因此有15种组合。 这是否意味着，该补的语言是(a|b)* （所有这些组合的工会a的和b的无abab ）？ 但是(a|b)在开始时是否仍然保持不变？
请帮助我理解这一点。
1 个解决方案
解决方案1
1 已采纳 2011-11-20 21:47:05
也许我很安静，不了解你，但不是很简单。 我是(a|b)*(a|bb|aab|bbab)还是事件(a|b)*(a|(b|(a|bb)a)b) ？
PS：别忘了有短于abab单词，所有单词也应包括在内。 即(a|b){0,3} （其中{0,3}表示重复次数[0; 3]）
如果 L 和 L 补码是递归可枚举的，那么为什么 L 不能是正则语言？
[英]If L and L complement are Recursively enumerable then why can't L be a Regular language?
在陈述语言 L = {0^(n)1^(n) | 的证明中发现错误 n>0} 是一个正则表达式
[英]Finding error in proof stating the language L = {0^(n)1^(n) | n>0} is a regular expression
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.