Анализ методами слева направо является более приоритетным и занимает 60..80% для грамматик определённого класса. Менее популярными являются методы анализа снизу вверх или восходящие методы. Однако определённый класс грамматик (например грамматики предшествования) анализируются эффективнее методами снизу вверх. Рассмотрим операторные грамматики.
Грамматика называется операторной, если выполняется следующие условия:
1. Контекстно-свободная грамматика является грамматикой, в которой в правых частях редукций не встречается рядом стоящий нетерминал, то есть отсутствует правило такого вида: С ® aАВb
2. Операторная грамматика является грамматикой простого предшествования, если:
а) для каждой пары терминальных символов a,b устанавливается не более одного отношения предшествования;
б) среди правил грамматики G нет правил с одинаковыми правыми частями.
Теорема 5.1. Грамматики простого предшествования всегда однозначны.
(доказательство см. [1]).