Изменения

Перейти к: навигация, поиск

Существенно неоднозначные языки

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

Навигация