如何为正则语言抽取引理

How to Pumping lemma for Regular language

我有这个问题,我需要通过使用泵引理来证明语言不是正则的,但是无论我读了多少如何做到这一点,我仍然不明白。有人可以帮忙解决这个问题吗?

Show that L = { a^n c b^m | n, m are natural numbers and n < m} is not regular.

选择a^p c b^2p。这个字符串是从 p < 2p 开始的语言。将此字符串的前 p 个字符中的任何非空子字符串向上抽取大于 p 的因子保证会导致 a 的数量增加到超过 b 的数量。这与泵引理的主张相矛盾,即在常规语言的字符串上执行此操作必须给出该语言的另一个字符串。所以,语言不可能是正则的。