Na teoria da linguagem formal , uma gramática LL é uma gramática livre de contexto que pode ser analisada por um analisador LL , que analisa a entrada de L da esquerda para a direita e constrói uma derivação à esquerda da frase (portanto, LL, em comparação com o analisador LR que constrói um ramo mais à direita).
Uma linguagem que possui uma gramática LL é chamada de linguagem LL . Estes formam subconjuntos de Gramáticas Determinísticas Sem Contexto (DCFG) e Linguagens Determinísticas Sem Contexto (DCFL), respectivamente.
Dizemos que uma dada gramática ou idioma "é uma gramática / linguagem LL" ou simplesmente "é LL" para indicar que está nessa classe.