Analyse syntaxique - LAMP

Analyse syntaxique par descente récursiveAnalyse syntaxique ascendanteGestion des erreursAnalyse syntaxique d’une grammaire non-contextuelleExemple : Analyseur syntaxique EBNFGrammaires LL(1)On peut réécrire cette définition comme suit :{Y 1, . . . ,Y k } ⊆ nullable ⇒ X ∈ nullable{Y 1, . . . ,Y i−1} ⊆ nullable ⇒ first(X) = first(X) ∪ first(Y i){Y i+1, . . . ,Y k } ⊆ nullable ⇒ follow(Y i) = follow(Y i) ∪ follow(X){Y i+1, . . . ,Y j−1} ⊆ nullable ⇒ follow(Y i) = follow(Y i) ∪ first(Y j)Pour calculer first(X), follow(X) et nullable, on utilise uneitération aux points fixes basées sur cette dernière définition.Analyse syntaxique Martin Odersky 14 de 42