:: Enseignements :: ESIPE :: E4INFO :: 2010-2011 :: Analyse syntaxique ::
[LOGO]

Analyses LR(1) et LALR(1)


Ce TD permet de voir la notion d'analyses LR(1) et LALR(1).

Exercice 1 - Un premier exercice

Soit la grammaire G0 suivante :
G1 (p0) S -> E $ (p2) E -> b A c (p4) A -> d
(p1) E -> A a (p3) E -> b d a
  • Calculer les ensembles annulable, premier et suivant. Sont-elles LL(1) ?
  • Construire l'automate des items LR(0). Cette grammaire est-elle LR(0) ?
  • Cette grammaire est-elle SLR(1) ?
  • Construire l'automate et la table LR(1) de la grammaire G0. La grammaire est-elle LR(1) ?

Exercice 2 - Un deuxième exercice

Soit la grammaire G2 suivante :
G1 (p0) S -> T $ (p3) E -> V
(p1) T -> V = E (p4) V -> id
(p2) T -> E (p5) V -> * E
  • Calculer les ensembles annulable, premier et suivant.
  • Construire l'automate et la table LR(1) de la grammaire G2. La grammaire est-elle LR(1) ?
  • Construire la table LALR(1). La grammaire G2 est-elle LALR(1) ?