theory - 很难用抽引引理固定非常规语言

Question

我无法证明特定语言是非常规的。语言定义为

L _a = { wz : w,z ∈ {0,1}* 和 |w| > |z|}

我不知道如何接近这个。无论我选择什么字符串，我总是遇到 w 和 z 对我来说是移动目标的问题；我无法创建无法抽出或以其他方式矛盾的字符串。关于这个正确方向的任何想法？

Answer 1

这个问题是家庭作业的一部分，显然这个问题的措辞不正确，实际上是有规律的。