Ключевую роль в построении парсеров для LL(1)-грамматик играют множества <tex> \mathrm{FIRST} </tex> и <tex> \mathrm{FOLLOW} </tex>.
Пусть Введём обозначения* <tex> c </tex> {{---}} символ из алфавита <tex> \Sigma </tex>, * <tex> \alpha,\ \beta </tex> {{---}} строки из нетерминалов и терминалов (возможно пустые), * <tex> S,\ A </tex> {{---}} нетерминалы грамматики (начальный и произвольный соответственно), * <tex> \$ </tex> {{---}} символ окончания слова. Тогда определим <tex> \mathrm{FIRST} </tex> и <tex> \mathrm{FOLLOW} </tex> следующим образом:
{{Определение
|id=deffirst
