editor
143
правки
Изменения
Нет описания правки
Грамматика называется однозначной, если у каждого слова имеется не более одного дерева разбора в этой грамматкие.
}}
{{УтверждениеЛемма|id=lemma-
|statement=
Пусть <tex>\Gamma</tex> {{- --}} однозначная грамматика. Тогда <tex>\forall \omega \in \mathbb{L}(\Gamma)</tex> у <tex>\omega</tex> существует ровно один левосторонний (правосторонний) вывод.
|proof=
Очевидно, что по дереву разбора однозначно восстанавливается левосторонний вывод. Поскольку каждое слова из языка выводится только одним деревом разбора, то существует только один левосторонний вывод этого слова.
