222
правки
Изменения
м
→Пример:
В результате мы имеем 2 дерева разбора для одного слова. Значит, язык существенно неоднозначен.
В данном случае мы нашли пример слова из языка, которое имеет более одного дерева разбора, и показали, что язык является существенно неоднозначным, однако в общем случае [[Примеры неразрешимых задач: однозначность грамматики|проверка грамматики на неоднозначность]] является [http://ru.wikipedia.org/wiki/Алгоритмически_неразрешимая_задача алгоритмически неразрешимой]
[[Категория: Теория формальных языков]]
[[Категория: Контекстно-свободные грамматики]]