我有一个关于上下文无关语言的特定泵引理问题的问题。
假设我们有以下语言：
L = {(a^i)(b^j)(c^k)(d^l) | 0 < i < k AND j > l > 0 }
这是我试图证明该语言不是上下文无关的尝试：
假设 L 与上下文无关。从引理中取常数 n>0。
Let Z = (a^n)(b^n+1)(c^n+1)(d^n), Z ∈ L.
比根据引理，Z 可以写成 Z = uvwxy，其中下列性质成立：
1. |vx| >= 1
2. |vwx| <= n
3. for every i >= 0, u(v^i)w(x^i)y ∈ L.
我们为 vwx 提供了 6 种不同的可能性
1. vwx = a^i, i <= n
2. vwx = (a^i)(b^j), i+j <= n
3. vwx = b^i, i <= n
4. vwx = (b^î)(c^j), i+j <= n
5. vwx = (c^i), i <= n
6. vwx = (c^i)(d^j)), i+j <= n
到目前为止这是对的吗？我不确定的事情是，我的不同 vwx 案例是否正确。
提前致谢