Я пытаюсь решить следующие проблемы. Я должен использовать лемму о перекачке или замыкания на обычном языке, но я просто не могу найти решения для этих двух проблем. Любое понимание было бы очень признательно. Спасибо.
Для каждого из перечисленных ниже языков докажите, что он регулярный, или докажите, что он нерегулярен:
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.