Изменения

Перейти к: навигация, поиск
Нет описания правки
'''Пример:'''
ГрамматикаРассмотрим грамматику, выводящая выводящую все правильные скобочные последовательности.
Терминальные символы {{---}} <tex>"("</tex> и <tex>")"</tex>{{---}} терминальные символы;
<tex>S</tex> {{---}} стартовый нетерминал;
}}
Для одного и того же языка может существовать как однозначная, так и неоднозначная грамматика. Например, у языка правильных скобочных последовательностей существует однозначная грамматика. Однако, есть КС-языки, для которых нет не существует однозначных КС-грамматик. Такие языки и грамматики их пораждающие порождающие называют [[Существенно неоднозначные языки|''существенно неоднозначными'']].
{{Лемма
137
правок

Навигация