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