Suponha que você está construindo um analisador sintático descendente LL(1) para uma linguagem de pr...

Alternativa B - O analisador entra em um estado de erro e para a análise.

Introdução

Uma tabela de análise $LL(1)$ deve ser determinística, o que significa que para cada par (Não-terminal, Símbolo Terminal de entrada), deve haver no máximo uma regra de produção aplicável.

Desenvolvimento

Quando a construção da tabela de análise resulta em duas ou mais produções em uma mesma célula, dizemos que a gramática não é $LL(1)$. Se um analisador $LL(1)$ em execução encontra um conflito (ou uma entrada vazia onde um símbolo era esperado), ele não possui mecanismos para decidir qual caminho tomar de forma ambígua.

Análise

1. Escolha aleatória ou desempate (C e E): Não são práticas de compiladores determinísticos, pois tornariam o comportamento do programa imprevisível.
2. Precedência de operadores (D): É usada para resolver conflitos em analisadores $LR$ ou durante a construção da tabela, mas não é a ação padrão de um conflito em tempo de execução $LL(1)$.
3. Estado de Erro (B): Se o analisador chega a um ponto onde a lógica determinística falha (conflito ou símbolo inválido), ele reporta um erro sintático.

Conclusão

A natureza preditiva e determinística do $LL(1)$ exige que cada passo seja unicamente definido. Na presença de um conflito que impeça a decisão clara, o processo é interrompido com sinalização de erro.

Alternativa B.