LL(1)-грамматика является однозначной:
Класс LR-грамматик является более широким, чем класс LL-грамматик:
Класс КС-языков замкнут относительно операции пересечения:
Класс КС-языков замкнут относительно операции подстановки:
Функция переходов может иметь пустой входной символ: