PUERTA | PUERTA-CS-2007 | Pregunta 52

Considere la gramática con no terminales N = {S,C,S1}, terminales T={a,b,i,t,e}, con S como símbolo de inicio y el siguiente conjunto de reglas:

S --> iCtSS1|a
S1 --> eS|ϵ
C --> b

La gramática NO es LL(1) porque:
(A) es recursiva por la izquierda
(B) es recursiva por la derecha
(C) es ambigua
(D) No está libre de contexto.

Respuesta: (C)
Explicación:

Ahora,

• Pero aquí debido a ‘ε’ en PRIMERO, tenemos que comprobar la regla 2. PRIMERO(eS) ∩ SEGUIR(S1) = {e} ∩ {e, $} ≠ Φ . Por lo tanto, la regla 2 falla en esta regla de producción. Por lo tanto, habrá múltiples entradas en la tabla de análisis, por lo que la gramática es ambigua y no LL(1).

http://geeksquiz.com/compiler-design-first-in-syntax-analysis/

http://geeksquiz.com/compiler-design-follow-set-in-syntax-analysis/

Cuestionario de esta pregunta