尋找常規語言的補充
[英]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.