Доказать, что язык не является контекстно-свободным

[mnd]

Доказать, что язык $L = \{ ww | w \in \{0,1\}^* \}$ не является контекстно-свободным. (язык всех таких слов в алфавите 0 и 1, что их первая половина равна второй)

Наверное, следует использовать либо лемму про накачку, либо лемму Огдена.

от модератора AD:
Формулы пишутся вот так.

[mnd]

Решение найдено, топик можно удалять

[Профессор Снэйп]

Ну да. Теорема о накачке для контекстно-свободных языков (в сильной форме, с ограничением на длину средней части разложения).