PUERTA | PUERTA-CS-2001 | Pregunta 18

¿Cuál de las siguientes afirmaciones es falsa?
(A) Una gramática inequívoca tiene la misma derivación del extremo izquierdo y del extremo derecho
(B) Un analizador LL(1) es un analizador de arriba hacia abajo
(C) LALR es más poderoso que SLR
(D) Una gramática ambigua nunca puede ser LR(k) para cualquier k

Respuesta: (A)
Explicación: 1. Una gramática es ambigua si existe una string s tal que la gramática tiene más de una derivación a la izquierda para s. También podríamos encontrar más de una derivación hacia la derecha para una string para probar la proposición anterior, pero no tanto hacia la derecha como hacia la izquierda. Una gramática inequívoca puede tener diferentes derivaciones hacia la derecha y hacia la izquierda.

2. El analizador LL es de arriba hacia abajo por naturaleza. La derivación más a la izquierda es, intuitivamente, expansiva o de arriba hacia abajo en la moda, de ahí tal convención. La derivación más a la derecha, por otro lado, parece una cosa de compresión o de abajo hacia arriba.

3. LALR es más poderoso que SLR, incluso cuando ambos tienen los mismos estados LR(0), debido al hecho de que SLR verifica las búsquedas anticipadas mirando FIRST y FOLLOW desde la gramática después de construir su tabla de análisis y, por otro lado, LALR calcula las anticipaciones a partir de los estados LR(0) mientras construye la tabla de análisis, que es un método mejor.

4. Una gramática ambigua nunca puede ser LR(k) para cualquier k, porque el algoritmo LR(k) no está diseñado para manejar gramáticas ambiguas. Se atascaría en un problema de indecidibilidad, si se empleara en una gramática ambigua, sin importar cuán grande sea la constante k.

Referencia: http://stackoverflow.com/questions/2676144/what-is-the-difference-
between- lr-slr-and-lalr-parsers/16575211#16575211 Consulte la pregunta 3 de https://www.geeksforgeeks.org /conjunto-de-compiladores-1/

Esta solución es aportada por Vineet Purswani.
Cuestionario de esta pregunta