Изменения
→Существенно неоднозначные языки
Понятно, что <tex>v</tex> состоит полностью из нулей, а <tex>x</tex> состоит полностью из единиц, а также длины <tex>v</tex> и <tex>x</tex> равны, так как иначе при накачке мы можем получить слово, не принадлежащее языку.
Пусть <tex>|v|=|x|=t</tex>, тогда возьмём строку слово <tex>q=uv^{\frac{n!}{t} + 1}wx^{\frac{n!}{t} + 1}z=</tex>. По лемме Огдена слово <tex>q</tex> принадлежит языку, а также существует нетерминал <tex>A</tex> такой, что с помощью него можно породить слово <tex>q</tex>.
[[Файл:tree2.png]]
