Изменения

В данном случае мы нашли пример слова из языка, которое имеет более одного дерева разбора, и показали, что язык является существенно неоднозначным, однако в общем случае проверка грамматики на неоднозначность является [[Примеры неразрешимых задач: однозначность грамматики|проверка грамматики на неоднозначностьалгоритмически неразрешимой]] является . == См. также ==[http://ru.wikipedia.org/wiki/Алгоритмически_неразрешимая_задача алгоритмически неразрешимойАлгоритмически неразрешимая задача]