У меня возникли проблемы с доказательством того, что определенный язык не является регулярным. Язык определяется как
La = { wz: w,z ∈ {0,1}* и |w| > |г|}
Я не знаю, как подойти к этому. Независимо от того, какую строку я выбираю, я всегда сталкиваюсь с проблемой, когда w и z являются для меня движущимися целями; Мне не удалось создать строку, которую нельзя было бы накачать или иным образом опровергнуть. Любые мысли о правильном направлении для этого?