我一直在观看很多关于如何证明这一点的视频，而且我正在收集有关如何操作的混合信息。
在矛盾的情况下，我有两种不同的方法，我想知道哪种方法是正确的。
示例：
L = {a ^ n b ^ n + 1 c ^ n + 1：n> = 0}
一个消息来源说我可以假设语言是无上下文的，为u，v，x，y选择子字符串，同时保持三个约束，即：
然后显示抽取的字符串不在语言中，即使在保持CFL的约束时也是如此。如果抽出的字符串不是语言，那我怎么能表现出矛盾。
另一个消息来源说在选择vxy时必须遵循一定的规则，即vxy必须跨越中点...... 如果你将字符串分成5个部分并且没有达到约束，那么就证明该语言不是CFL。
基本上，哪种方法是对的？分割u，v，x，y的规则是什么？