222
правки
Изменения
м
В данном случае мы нашли пример слова из языка, которое имеет более одного дерева разбора, и показали, что язык является существенно неоднозначным, однако в общем случае проверка грамматики на неоднозначность является [[Примеры неразрешимых задач: однозначность грамматики|алгоритмически неразрешимой]].
Нет описания правки
Эта грамматика неоднозначна.
В данном случае мы нашли пример слова из языка (который задается грамматикой), которое имеет более одного вывода, и показали, что грамматика является существенно неоднозначной. Однако в общем случае проверка грамматики на неоднозначность является [[Примеры неразрешимых задач: однозначность грамматики|алгоритмически неразрешимой задачей]].
== Существенно неоднозначные языки ==
В результате мы имеем 2 дерева разбора для одного слова. Значит, язык существенно неоднозначен.
== См. также ==
