Существует три типа контекстно-свободных грамматик (CFG'S).
1) Флойд-Эванс Парсэйбл
2) Однозначные CFG
3) Приоритет оператора
Все, что вы упомянули выше, являются однозначными CFG.
LL (0)
Каждый идентификатор грамматики LR (0) SLR (1) и каждая SLR (1) - это LALR (1), что, в свою очередь, - LR (1).