Изменения

ГрамматикаРассмотрим грамматику, выводящая выводящую все правильные скобочные последовательности.

Терминальные символы {{---}} <tex>"("</tex> и <tex>")"</tex>{{---}} терминальные символы;

Для одного и того же языка может существовать как однозначная, так и неоднозначная грамматика. Например, у языка правильных скобочных последовательностей существует однозначная грамматика. Однако, есть КС-языки, для которых нет не существует однозначных КС-грамматик. Такие языки и грамматики их пораждающие порождающие называют [[Существенно неоднозначные языки|''существенно неоднозначными'']].