我正在努力解决以下问题。我应该使用泵浦引理或常规语言闭包，但我无法为这两个问题找到解决方案。任何见解都会非常感激。感谢。
对于下面的每种语言，证明它是常规的或证明它是非常规的：
1) {a^m b^n c^k: m>n>k}
2) {u that belong to {0,1}^* : u begins with 1001 and does not end with 0010}
关于数字1的我的假设是，给定语言的反向也必须是规则的。然后我可以使用泵浦引理来证明它不规则，因此，原始语言是非常规的。这是一种有效的方法吗？
老实说，我不知道如何接近2号。
答案 0 :(得分：1)
实际上2）很简单。长度为8或更长的单词的正则表达式为
1001 · {0,1}^* · {all words of length 4 except 0010}
然后你会想到所有符合定义并接受联盟的短语。
对于1）如果您知道逆转时的闭合，请使用此和泵浦引理。逆转需要c ^ k到前面，如果你在这个区块内抽水，那么你显然会离开这个语言。
否则取补码并将其与b ^ + c ^ +相交。你得到了
{a^m b^n c^k: m=1 AND (m<n OR n<k)}
是
{a b^n c^k: n<k }.
现在你可以在b区内抽出来留下语言。