PUERTA | Sudo GATE 2020 Mock I (27 de diciembre de 2019) | Pregunta 40

Considere la siguiente gramática:

S →  aSc|AT|TB|TC|TBC
T →  aTb| ε
A →  Aa | a
B →  Bb | b
C →  Cc | c

¿Cuál de las siguientes opciones es correcta con respecto al lenguaje generado por la gramática anterior?
(A) {a ^yo segundo ^2j c ^k | yo = j , k = 2i }
(segundo) {a ^yo segundo ^j c ^k | yo = j = k}
(C) {a ^yo segundo ^j c ^k | yo ≠ j + k}
(D) {a ^yo segundo ^j c ^k | i ≠ k, i = j + k}

Respuesta: (C)
Explicación:

S →  aSc|AT|TB|TC|TBC
T →  aTb| ε
A →  Aa | a
B →  Bb | b
C →  Cc | c

El lenguaje generado por la gramática anterior es {a ⁱ b ^j c ^k | i ≠ j + k}
Entonces, la opción (C) es correcta.
Cuestionario de esta pregunta