Как показать при следующих условиях, что язык L не является контекстно-свободным?

Я не знаю, как классифицировать этот вопрос. Я думаю, это не для stackoverflow. Я не могу осмелиться проголосовать за этот вопрос как за оффтоп, но я думаю, что это по крайней мере неясно, о чем вы спрашиваете. Что вам нужно?   -  person Marcos Pérez Gude    schedule 18.05.2016

Как доказать, что L не является контекстно-свободным? Обычно я доказываю это с помощью леммы о накачке, но в этом случае мой профессор попросил этот особый метод доказательства того, что L не является контекстно-свободным. (тоже не знаю куда задать этот вопрос)   -  person fragant    schedule 18.05.2016

Я хочу, чтобы кто-то мог помочь вам. Это не я. Я не знаю, что это за язык/лемма или как он связан с разработкой компьютеров. К сожалению :(   -  person Marcos Pérez Gude    schedule 18.05.2016

Я определил языки (или, можно сказать, грамматики) K и L, и это теорема, утверждающая, что пересечение этих языков (грамматик) не зависит от контекста. Теперь мне осталось только доказать эту теорему. Как вы можете видеть в моем профиле, я задал аналогичный вопрос об обычной грамматике, и на StackOverflow также был дан ответ: много вопросов к обычным/контекстно-зависимым/контекстно-зависимым языкам и к их доказательствам, поэтому я думаю, что это законный вопрос. .   -  person fragant    schedule 18.05.2016

Да, без сомнения законный вопрос. Просто я ничего не знаю об этой теме. Я бы хотел, чтобы кто-то мог тебе помочь, но это не я. Еще раз извините и удачи.   -  person Marcos Pérez Gude    schedule 18.05.2016

Вы можете попробовать на сайте компьютерных наук cs.stackexchange.com, но им также нравится, когда вы показываете, что пытались решить проблему. проблема.   -  person rici    schedule 18.05.2016