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