conflits d'analyse reflex avec la production epsilon

Question

Tenir compte de la grammaire suivante

S -> aPbSQ | a 

Q -> tS | ε 

P -> r 

Alors que la construction du DFA, nous pouvons voir, il y aura un état qui contient des éléments

Q -> .tS 

Q -> . (epsilon as a blank string) 

puisque t est suivi (Q) il semble y avoir un changement - réduire les conflits. Peut-on conclure que la nature de la grammaire n'est pas SLR (1)?

Answer 1

(S'il vous plaît ignorer ma réponse précédente incorrecte.)

Oui, le fait que vous avez un changement/réduire les conflits dans ce jeu de configuration est suffisant pour montrer que cette grammaire n'est pas SLR (1).