在无上下文语言中抽取引理

Question

A = {0^a 1^b 2^c | a < b < c}

我需要证明A不是无上下文的。我猜我必须使用抽水引理，但是如何？

Answer 1

目标是证明对于长度> =最小抽吸长度的任何弦，不能抽出弦。也就是说，如果将其拆分为子字符串uvxyz，则复制（或删除副本）v和y所产生的字符串仍然使用A语言。< / p>

请注意，您只需要显示该语言中的一个字符串不能被泵送（只要它符合最小泵送长度p）

请考虑这种语言及其与A的关系：

Answer 2

第一步：找出你的最小抽水长度（2 ^ p + 1），其中p是变量的数量。 第二步：制作一些长度的字符串。 第三步：开始将字符串切割成vwxyz，使得| wy |＆gt; 0（注意tha | x | CAN为零）和| wxy | ＆lt; = 2 ^ p + 1。看看你可以定义w和y的各种方法，以及当你开始重复这些子串时会发生什么。

键可能位于0和1之间的分界线上。