Изменения

В результате мы имеем два [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|дерева разбора]] для одного слова. Значит, язык существенно неоднозначен.

[http://ru.wikipedia.org/wiki/Алгоритмически_неразрешимая_задача Алгоритмически неразрешимая задача]