Considere uma gramática livre de contexto para uma linguagem de programação. Você está construindo u...

Alternativa D - A análise LL(1) é baseada em lookahead, olhando apenas um símbolo à frente.

Introdução

A sigla $LL(1)$ define um método de análise sintática descendente onde o primeiro 'L' significa leitura da esquerda para a direita (Left-to-right), o segundo 'L' refere-se à geração de uma derivação à esquerda (Leftmost derivation) e o '(1)' indica o uso de um único símbolo de antecipação.

Desenvolvimento

O lookahead é a característica fundamental que permite ao analisador ser determinístico e preditivo. Sem olhar para o próximo símbolo, o analisador não teria informações suficientes para escolher entre diferentes produções de um mesmo não-terminal sem recorrer a backtracking (tentativa e erro).

Análise

• A: Embora seja verdade que gramáticas $LL(1)$ não podem ter recursão à esquerda, a afirmação na alternativa está incompleta ou mal formulada como definição, e a alternativa D é a definição técnica do nome.
• B: Incorreta. A análise $LL(1)$ exige gramáticas não ambíguas.
• C: Incorreta. A técnica de redução é característica de analisadores ascendentes (Bottom-up), como $LR$ e $LALR$.
• D (Correta): Define precisamente o significado do numeral 1 na sigla, indicando o uso de um símbolo de lookahead.
• E: Incorreta. Analisadores $LR(1)$ são geralmente mais poderosos (reconhecem uma classe maior de linguagens) que os $LL(1)$.

Conclusão

A característica definidora e essencial do $LL(1)$ em comparação com outros métodos de sua classe é o uso de exatamente um símbolo de lookahead para guiar o processo de derivação.

Alternativa D.