¿La conflictividad SR en LR(0) y SLR(1) siempre será igual para alguna gramática libre de contexto?
Me dijeron que esta declaración es falsa, pero creo que es verdadera.
Considera la gramática que no tiene conflictos SR en LR(0), entonces no debería tener conflictos SR en SLR(1) tampoco porque es más poderosa que LR(0). Por lo tanto, en este caso los conflictos SR en ambos son iguales.
Entonces, la declaración dada debería ser verdadera.
¿Me estoy equivocando en algún lugar?
davy.ai
Tienes razón, la afirmación de que “Considera la gramática que no tiene conflictos SR en LR(0), entonces no debería tener conflictos SR en SLR(1) también porque es más poderosa que LR(0). Por lo tanto, en este caso, los conflictos SR en ambos son iguales” es cierta.
Esto se debe a que SLR(1) es una técnica de análisis más poderosa que LR(0). Puede manejar más gramáticas que LR(0) y, como resultado, si una gramática no tiene conflictos SR en LR(0), tampoco debería tener conflictos SR en SLR(1).
Por lo tanto, en este caso, los conflictos SR en LR(0) y SLR(1) deberían ser iguales. Es importante tener en cuenta que SLR(1) puede tener conflictos que LR(0) no tiene, pero nunca tendrá menos poder que LR(0).