CGU-NET | UGC-NET CS 2017 2 de diciembre | Pregunta 34

¿Cuál de las siguientes afirmaciones es/son VERDADERAS?
(i) La gramática S → SS | a es ambiguo (donde S es el símbolo de inicio).
(ii) La gramática S → 0S1 | 01S | e es ambiguo (el símbolo especial e representa la string vacía y S es el símbolo de inicio).
(iii) La gramática (donde S es el símbolo de inicio).

S → T/U
T → x S y ? xy ? e
U → yT

genera un lenguaje que consta de la string yxxyy.
(A) Solo (i) y (ii) son VERDADEROS
(B) Solo (i) y (iii) son VERDADEROS
(C) Solo (ii) y (iii) son VERDADEROS
(D) Todo (i), (ii) ) y (iii) son VERDADEROS

Respuesta: (D)
Explicación: Podemos generar más de 1 árbol de análisis sintáctico para una sola string a partir de las gramáticas. Para declaración (iii)

    S → U
    U → yT
   yT → yxSy
 yxSy → yxTy
 yxTy → yxxyy

Todas las afirmaciones son correctas.

Entonces, la opción (D) es correcta.

Cuestionario de esta pregunta