问正则语言与pumping引理

EN

我正在努力解决以下问题。我应该使用pumping引理或常规语言闭包，但我就是想不出解决这两个问题的办法。任何有洞察力的人都会非常感激。谢谢。

对于下面的每种语言，证明它是正规的或非正规的：

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时，我的假设是给定语言的反向也必须是规则的。然后，我可以使用pumping引理来证明它不是正则的，因此，原始语言是非正则的。这是一种有效的方法吗？

老实说，我不知道如何接近第二个。