Трудно закрепить нерегулярный язык с накачкой леммы

У меня возникают проблемы с доказательством того, что определенный язык не является регулярным. Язык определяется как

La = { wz: w, z ∈ {0,1} * и |w| > |z|}

Я не знаю, как подойти к этому. Независимо от того, какую строку я выбираю, я всегда сталкиваюсь с проблемой, когда w и z являются движущимися целями для меня; Я не смог создать строку, которая не могла быть перекачана или иным образом противоречила. Есть мысли о правильном направлении для этого?

1 ответ

Эта проблема была частью набора домашних заданий, и, очевидно, этот вопрос не был сформулирован должным образом и на самом деле является регулярным.

Другие вопросы по тегам