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