Изменения
Нет описания правки
== Неоднозначные грамматики ==
Неоднозначной грамматикой называется грамматика, по которой для одной цепочки существует более одного дерева разбора..
===Пример:===
Эта граматика неоднозначна.
== Существенно неоднозначные языки ==
Язык называется существенно неоднозначным, если любая его грамматика неоднозначна.
Пример такого языка: <tex>L = \{a^n b^n c^m d^m | m, n > 1\} \cup \{a^n b^m c^m d^n | m, n > 1\}</tex> - в нем слова вида <tex>a^k b^k c^k d^k</tex> во всех грамматиках имеют более одного дерева разбора.
