Analise a seguinte gramática LR(1): 1. S -> E 2. E -> E + T 3. E -> T 4. T -> T * F 5. T -> F 6. F -> ( E ) 7. F -> id Considere a entrada id + id * id. Qual é a ação que o analisador LR(1) deve tomar quando chegar ao ponto onde id * id foi reconhecido?

Para a gramática dada (expressões aritméticas clássicas), a precedência é codificada pela própria hierarquia de não-terminais:

• $E$ trata de soma: $E \to E + T \mid T$
• $T$ trata de multiplicação: $T \to T * F \mid F$
• $F$ trata de parênteses/identificador: $F \to (E) \mid id$

Na entrada id + id * id, quando o analisador já leu id + id e está exatamente no ponto em que reconheceu o trecho id (o primeiro id do segmento id * id) e o próximo símbolo de entrada é *, a decisão correta do LR(1) é:

1. O id reconhecido pode ser reduzido para $F$ (via $F \to id$), e então para $T$ (via $T \to F$).
2. Mas, ao ver o lookahead *, o analisador não deve “fechar” a expressão como $E \to T$ (ou forçar uma redução que impeça a multiplicação), porque a multiplicação tem maior precedência e deve ser associada dentro de $T$.

Em termos de comportamento LR(1): com lookahead * após reconhecer um fator/termo inicial, a ação necessária é deslocar (shift) o operador * para permitir aplicar depois a produção $T \to T * F$ e reconhecer id * id como um $T$ antes de combinar com o + no nível de $E$.

Portanto, a ação correta nesse ponto é deslocar o operador *.

Alternativa correta: (c).