CFL的泵浦引理a n n n b ^ m c ^ o

Question

设为：L = {a ⁿ b ^m c ^o | n＆lt; m＆lt; o，n natural}
使用抽吸引理我选择了：z = uvwxy = a ⁿ b ^{n + 1} c ^{n + 2}
| uv |＆lt; = n和| v |＆gt; 0
=＆GT; UV ² WX ² ÿ
如果vwx是a和/或b是可以的，我们会比c更多a和/或b - 但如果vwx只包含c，那么它将是L的元素。 据我所知所有新词必须是不 L的元素，以表明它不是CFL。我该怎么做？

Answer 1

如果我们混合了一个＆amp; b使用uv ² wx ² y
如果我们混合使用b＆amp; c使用uv ⁰ wx ⁰ y

现在所有通过抽水z创建的单词都不是L的元素。