Изменения
→Существенно неоднозначные языки
Пусть в этих двух случай дерево разбора было одно и тоже, то это дерево порождает слово вида <tex>0^{k+k!+t} 1^{k+k!+t+p} 2^{k+k!+p}</tex>, которое не принадлежит языку.
В результате мы имеем 2 дерева разбора для одного слова. Значит, язык существенно не однозначеннеоднозначен.
