我需要关于这个引理案例的帮助：
<pre class="lang-none prettyprint-override"><code>L_1 :={a^n b^m c^k | n = m or k = 0}
我正在准备考试，我遇到了这些问题。
我怀疑它们都是，但我不明白我如何证明它是
非常规。<a href="htt
当应用<em>泵引理</em>来证明一种语言是不规则的时，是否允许从对语言进行操作开始，以便更容易应用
我必须证明 L 满足 CFL 的抽水引理。语言 L 不是上下文无关的，但满足上下文无关语言的泵引理。令 L 为
我正在尝试将以下描述“所有包含 0 和 1 且 0 至少与 1 一样多的字符串”的描述翻译成一种语言。
我一直在努力更好地理解抽水引理，但我很难证明这两种语言是不规则的：
<pre><code> L_1 = {(ab)^n c^m | n
考虑这个函数：
Faro(x,z) 假设值：z if x = ε and a.faro(z,y) if x = ay<br/>
递归函数也是如此，例如我们有
让 L = {ww<sup>R</sup>u | w, u ∈ {0,1}+}。 L 是正规语言吗？注意 w, u 不能为空。
我试图通过抽水引理证
为什么这种常规语言的最小泵送长度是 2 而为什么不是 <strong>1</strong>？
r=0∗1+0+1∗+10∗1,
L={∈,0,1,11,01,00
