Analyse-Syntaxique28 4 PDF

Analyse Syntaxique
Dr. Aida Lahouij

Aida.lahouij@gmail.com
1
Plan
Introduction
Approche descendante (Top-down)
Approche ascendante (Bottom-up)
2
Introduction
⚫ L'analyseur syntaxique (parser) reçoit une suite d'unités

lexicales (de symboles terminaux) de la part de l'analyseur
lexical.
⚫ Il doit décider si un flux de tokens (un mot) est
syntaxiquement correct.
⚫ Autrement dit, il doit décider si c'est un mot qui peut être
généré par la grammaire du langage qu'il possède.
⚫ Pour ce faire, il doit construire l’arbre de dérivation de ce
mot.
⚫ S’il y arrive alors le mot est syntaxiquement correct.
⚫ Sinon, le mot est incorrect. 3

Introduction
4
Introduction
5
Introduction
⚫ Structure générale d’un parser
⚫ Parser = Algorithme qui reconnaît la structure du

programme et construit l’arbre syntaxique
correspondant
⚫ Comme le langage à reconnaître est context-free,
un parser aura le fonctionnement d’un automate à
pile (PDA)
⚫ Nous verrons 2 grandes classes de parsers :
⚫ Les analyseurs descendants (top-down)
⚫ Les analyseurs ascendants (bottom-up
6
Introduction
Approches de
construction d’un arbre
de dérivation
Approche descendante Approche ascendante

(Top-down) (bottom-up)
7
Approche descendante
(Top-down)
8
Principe
⚫ Construire l'arbre de dérivation du haut (la racine, c'est à

dire l'axiome de départ) vers le bas (les feuilles, c'est à dire
les unités lexicales).
⚫ Le processus d'analyse commence par la racine de
l'arbre syntaxique et se déplace vers le bas en utilisant les
règles de la grammaire pour diviser la chaîne de
caractères en sous-éléments syntaxiques.
⚫ Les règles de la grammaire sont appliquées de manière
récursive pour continuer à diviser la chaîne de caractères en
sous-éléments jusqu'à ce que les symboles terminaux
soient atteints.
9
⚫ Exemple 2
S->aTb
T->cd|c
Avec le mot w= acb
⚫ Nous partons de S premier non terminal de la grammaire.

⚫ S est la racine de l’arbre. Nous lisons ensuite la première
lettre (a) pour arriver à la construction :
w=acb
10
⚫ Exemple
S->aTb
T->cd|c
Avec le mot w= acb
⚫ En lisant le caractère c, nous ne savons pas s’il faut

prendre la règle T→cd ou la règle T →c : nous devons
essayer une règle et faire des retours en cas d’échec.
w=acb
11
⚫ Exemple
S->aTb
T->cd|c
Avec le mot w= acb
⚫ Nous essayons la 1ère règle (T → cd) qui aboutit à un échec.

⚫ Nous effectuons alors un retour en arrière (backtracking) pour
essayer la 2ème règle (T → c). Dans ce dernier cas le mot w = acb est
reconnu.
w=acb
12
Conclusion
⚫ Ce qui serait pratique, ça serait d'avoir une table qui
indique : quand on lit tel caractère et qu’on en est à
dériver tel symbole non-terminal, alors on applique telle
règle et on ne se pose pas de questions.
⚫ Ça existe, et ça s'appelle une table d'analyse.
13
Analyseur LL(1)
⚫ L'analyseur LL(1) est un type d'analyseur syntaxique qui est utilisé pour
analyser des langages de programmation ou des langues naturelles.
⚫ "LL" signifie "analyseur en lecture anticipée de gauche à droite", et "1"

signifie qu'il ne regarde qu'un symbole d'entrée à la fois et prend des
décisions basées sur une lecture anticipée d'un seul symbole.
⚫ Le terme LL(1) signifie que l'analyseur LL(1) utilise une méthode d'analyse
"left-to-right, leftmost-derivation" (de gauche à droite, dérivation la plus à
gauche) et qu'il utilise un seul symbole de lecture à chaque étape de
l'analyse.
⚫ En outre, l'analyseur LL(1) peut prédire la production à utiliser en fonction du

symbole de lecture en cours et des symboles suivants, d'où le "1" qui
indique une seule avance de lecture.
14
Analyseur LL(1)
⚫Un analyseur LL(1) utilise une table d'analyse syntaxique

appelée table d'analyse syntaxique LL(1), qui est un tableau de
correspondance entre les symboles de l'entrée et les
productions de la grammaire.
⚫Cette table est construite à partir de la grammaire du langage

que l'on souhaite analyser.
⚫ Elle contient des informations sur les symboles non

terminaux et terminaux, les productions de la grammaire, les
premiers et suivants des non terminaux, ainsi que les actions à
effectuer lorsque l'analyseur rencontre un symbole dans l'entrée.
15
Analyseur LL(1)
⚫L'analyseur LL(1) effectue une analyse syntaxique en suivant
une stratégie de lecture anticipée de gauche à droite.
⚫ Il lit un symbole d'entrée et utilise la table d'analyse syntaxique

pour déterminer quelle production de la grammaire doit être
utilisée pour générer les symboles suivants.
⚫L'analyseur suit ensuite les symboles de la production et

continue de lire l'entrée jusqu'à ce qu'il ait généré une chaîne qui
correspond à la phrase donnée en entrée.
16
Analyseur LL(1)
⚫ L'analyseur LL(1) a l'avantage d'être facile à implémenter et de
générer des messages d'erreur clairs lorsqu'il rencontre des
erreurs de syntaxe.
⚫ Cependant, il a également des limitations, car il ne peut pas

analyser toutes les grammaires, en particulier celles qui sont
ambiguës ou qui nécessitent des décisions de lecture anticipée
plus complexes.
17
Analyseur LL(1)
⚫Pour construire une table d'analyse, on a besoin de calculer
deux ensembles de terminaux :
⚫ PREMIER “First()”
⚫ SUIVANT “Follow()”
⚫ First et Follow sont des ensembles utilisés dans l'analyse

syntaxique pour déterminer quelles productions appliquer
lorsqu'on analyse une chaîne de symboles.
⚫First(A) : l'ensemble First(A) contient les terminaux qui A->BC

peuvent commencer une chaîne de symboles dérivée de A.
B->a
Par exemple, si A peut produire le symbole B, et si B
commence par le terminal a alors First(A) contiendra a.
18
Analyseur LL(1)
⚫ Follow(A) : l'ensemble Follow(A) contient les terminaux qui
peuvent suivre A dans une chaîne de symboles. Par exemple, si
A est suivi par B dans une production, et si B peut être suivi par
le terminal c, alors Follow(A) contiendra c.
⚫ Ces ensembles sont utilisés pour construire des tables

d'analyse syntaxique LL(1), qui permettent de décider quelle
production appliquer à chaque étape de l'analyse.
⚫ En résumé, First et Follow sont des ensembles d'informations

qui aident à déterminer les productions à appliquer lors de
l'analyse syntaxique d'une chaîne de symboles selon une
grammaire donnée.
19
Analyseur LL(1)
En résumé
20
(Top-down)
Calcul des premiers
21
Analyseur LL(1): Calcul des premiers
22
Algorithme de calcul des ensembles PREMIER(X)
X est composé de terminaux et de non-terminaux :
1. Si X est un non-terminal et X → Y1Y2..Yn est une production de la grammaire
(avec Yi symbole terminal ou non-terminal) alors
a. Ajouter les éléments de PREMIER(Y1) sauf ε dans PREMIER(X)
b. Si ε ∈ PREMIER(Yi) pour i ∈ [1..j] alors PREMIER(Yi+1) ⊂ PREMIER(X) sauf ε
c. Si ε ∈ PREMIER(Yi) pour i ∈ [1..n] alors ε ∈ PREMIER(X)
2. Si X est un non-terminal et X → ε est une production, alors ε ∈ PREMIER(X)
3. Si X est un terminal, PREMIER(X)={X} .
4. Recommencer jusqu'à ce qu'on n'ajoute rien de nouveau dans les ensembles

PREMIER.
23
24
25
premier(S)= premier(A)-ε +premier(s si A=ε)- ε +premier(s si A=ε et B=ε)- ε
premiers (B)- ε premiers (C)- ε

premier(A)= {a, ε}
premiers (B)={b, c, ε}
premiers (C)={d}
premier(S)= {a,b,c,d}
26
27
Si on rajoute ε à la règle de production de C
premier(A)= {a, ε}
premiers (B)={b, c, ε}
premiers (C)={d, ε}
premier(S)= premier(A)- ε +premier(S si A=ε) - ε +premier(S si A=ε et B=ε)- ε

+premier(S si A=ε et B=ε et C=ε)
= premier(A)- ε + premiers (B)- ε + premier(C)- ε + ε
premier(S)= {a,b,c,d,ε}
28
⚫Calcul des ensembles PREMIER(X) : Exemple
29
30
31
32
33
34
(Top-down)
Calcul des suivants
35
Analyseur LL(1): Calcul des suivants
• Pour tout non-terminal A, on cherche SUIVANT(A) :
SUIVANT(A) = l'ensemble de tous les symboles terminaux a qui peuvent
apparaître immédiatement à droite de A dans une dérivation S → αAaβ
36
Algorithme de calcul des ensembles SUIVANT(X)
1. Ajouter un marqueur de fin de chaîne (symbole $ par exemple) à
SUIVANT(S) (où S est l'axiome de départ de la grammaire)
2. S'il y a une production A -> αBC où B est un non-terminal, alors

ajouter le contenu de PREMIER(C) à SUIVANT(B), sauf ε
3. S'il y a une production A -> αB, alors ajouter SUIVANT(A) à

SUIVANT(B)
4. S'il y a une production A -> αBC avec ε ∈ PREMIER(C), alors ajouter

SUIVANT(A) à SUIVANT(B)
5. Recommencer à partir de l’étape 3 jusqu'à ce qu'on n'ajoute rien de

nouveau dans les ensembles SUIVANT.
37
▪ Suivant(C)=Suivant(A)+Suivant(C)=Suivant(A)={σ, $}
38
▪ Suivant(A)={σ, $}
39
▪ Suivant(B)=premier(C)-ε +Suivant(A si C=ε)+Suivant(C si C=ε)
40
▪ Suivant(C)=Suivant(A)+Suivant(C)={σ, $}
41
▪ Suivant(B)=premier(C)-ε +Suivant(A si C=ε)+Suivant(C si C=ε)

={α , σ, $}
42
▪ Suivant(E)=Suivant(B)+Suivant(E)
=Suivant(B)
={α , σ, $}
43
▪ Suivant(D)= premier(E)-ε+ Suivant(B si E=ε)+Suivant(E si E=ε)

={β, α , σ, $}
44
▪ Suivant(A)={σ, $}
▪ Suivant(B)= {α , σ, $}
▪ Suivant(C)={σ, $}
▪ Suivant(D)={β, α , σ, $}
▪ Suivant(E)= {α , σ, $}
45
Suivant(S)={$}
Suivant(A)=Premier(B)-ε+ Premier(C si B=ε)-ε +Suivant(A) +Suivant(C)={b,c,d,$}
Suivant(C)=Suivant(S)+Suivant(C)={$}
Suivant(B)= Premier(C)-ε+Suivant(B)={d}
46
47
Exemple
S → iEtSS’|a
S’ → eS|ε
E → bb
PREMIER SUIVANT
S
S’
E
48
Exemple
S → iEtSS’|a
S’ → eS|ε
E → bb
PREMIER SUIVANT
S ia $e
S’ eε $e
E b t
49
50
51
(Top-down)
Construction de la table
d’analyse
52
Analyseur LL(1): Construction de la table d’analyse
• Une table d'analyse est une matrice M où :

• Dans la première colonne, on représente les non-
terminaux.
• Dans la première ligne on place les terminaux et le
symbole $ (sauf le mot vide).
• Chaque case M[X,x] comporte la règle de production à

appliquer.
53
⚫ Algorithme de construction de la table d’analyse
1. Pour chaque production A → α faire

a. pour tout a ∈ PREMIER(α) (et a ≠ε), rajouter la production
A → α dans la case M[A,a].
b. si ε ∈ PREMIER(α), alors pour chaque b ∈ SUIVANT(A)
ajouter A → α dans M[A,b].
2. Chaque case M[A,a] vide est une erreur de syntaxe.
54
55
Analyseur LL(1)
56
Analyseur LL(1)
57
Analyseur LL(1)
58
Analyseur LL(1)
59
Analyseur LL(1)
60
Analyseur LL(1)
Grammaire non LL(1) 61

Analyseur LL(1)
⚫Construction
⚫ de la table d’analyse : Exemple
PREMIER(E)=PREMIER(T)={(,nb} SUIVANT(E)={$,)}
PREMIER(E’)={+,-,ε} SUIVANT(E’)={$,)}
PREMIER(T)=PREMIER(F)={(,nb} SUIVANT(T)={+,-,),$}
PREMIER(T’)={*,/,ε} SUIVANT(T’)={+,-,),$}
PREMIER(F)={(,nb} SUIVANT(F)={*,/,),+,-,$}
62
Analyseur LL(1)
⚫Construction
⚫ de la table d’analyse : Exemple
PREMIER(E)=PREMIER(T)={(,nb} SUIVANT(E)={$,)}
PREMIER(E’)={+,-,ε} SUIVANT(E’)={$,)}
PREMIER(T)=PREMIER(F)={(,nb} SUIVANT(T)={+,-,),$}
PREMIER(T’)={*,/,ε} SUIVANT(T’)={+,-,),$}
PREMIER(F)={(,nb} SUIVANT(F)={*,/,),+,-,$}
63
Analyseur LL(1)
64
Analyseur LL(1)
65
(Top-down)
En pratique
66
Analyseur LL(1)
67
Analyseur LL(1)
68
Analyseur LL(1)
69
Analyseur LL(1)
70
Analyseur LL(1)
71
Analyseur LL(1) E→TE’
T
E’
72
Analyseur LL(1) E→TE’
T
E’
73
Analyseur LL(1)
E→TE’
T→FT’
F
T’
E’
74
Analyseur LL(1) Depiler
E→TE’
T→FT’
F→id
dépiler
id
T’
E’
75
Analyseur LL(1)
E→TE’
T→FT’
F→id
dépiler
T’
E’
76
Analyseur LL(1)
E→TE’
T→FT’
F→id
dépiler
T’→ε
E’→+TE’
E’
77
Analyseur LL(1) Depiler
E→TE’
T→FT’
F→id
dépiler
T’→ε
+
E’→+TE’
+
T dépiler
E’
78
Analyseur LL(1)
E→TE’
T→FT’
F→id
dépiler
T’→ε
E’→+TE’
* dépiler
id T→FT’
F→id
dépiler
T’→*FT’
dépiler
F→id
dépiler
T’→ε
E’→ε
79
Analyseur LL(1)
Algorithme
Répéter
Soit X le symbole en sommet de pile
Soit a la lettre pointée par ps
Si X est un non terminal alors
Si M[X,a]= X → Y1..Yn alors
enlever X de la pile
mettre Yn puis Yn-1 puis ...puis Y1 dans la pile
émettre en sortie la production X → Y1..Yn
Sinon
ERREUR
Finsi
Sinon
Si X=$ alors
Si a=$ alors ACCEPTER
Sinon ERREUR
Finsi
Sinon
Si X=a alors
enlever X de la pile
avancer ps
Sinon
ERREUR
Finsi
Finsi
Finsi
jusqu'à ERREUR ou ACCEPTER 80
Analyseur LL(1)
⚫Données en entrée : le mot m avec $ à la fin et la table d’analyse M

⚫Initialisation de la pile : $S où S est l’axiome de départ et un pointeur ps
sur la première lettre du mot

Exemple: Pile Entrée Sortie
$S 2+6*9$
81
Analyseur LL(1) Pile Entrée Sortie
⚫Accepter/Rejeter un mot $E 3+4*5$ E→TE’
$ E'T 3+4*5$ T→FT’
m=3+4*5 $ E'T'F 3+4*5$ F→nb
$ E'T'3 3+4*5$
$ E'T' +4*5$ T’ →ε
$ E' +4*5$ E’ →+TE’
$ E'T+ +4*5$
$ E'T 4*5$ T→FT’
$ E'T'F 4*5$ F→nb
$ E'T'4 4*5$
$ E'T' *5$ T’ →*FT’
$ E'T'F* *5$
$ E'T'F 5$ F→nb
$ E'T'5 5$
$ E'T' $ T’ →ε
$ E' $ E’ →ε
analyse
$ $ syntaxique
réussie
82
Analyseur LL(1) Pile Entrée Sortie
⚫Accepter/Rejeter un mot $E 3+4*5$ E→TE’
$ E'T 3+4*5$ T→FT’
m=3+4*5 $ E'T'F 3+4*5$ F→nb
$ E'T'3 3+4*5$
⚫Analyse syntaxique réussie : on $ E'T' +4*5$ T’ →ε
obtient l’arbre syntaxique suivant
$ E' +4*5$ E’ →+TE’
$ E'T+ +4*5$
$ E'T 4*5$ T→FT’
$ E'T'F 4*5$ F→nb
$ E'T'4 4*5$
$ E'T' *5$ T’ →*FT’
$ E'T'F* *5$
$ E'T'F 5$ F→nb
$ E'T'5 5$
$ E'T' $ T’ →ε
$ E' $ E’ →ε
analyse
$ $ syntaxique
réussie
83
Analyseur LL(1)
84
Analyseur LL(1)
85
Analyseur LL(1)
86
Exercice 1
Considérons la grammaire suivante:
S -> aX
X -> B | CD | E
B -> bB | ε
C -> cC | ε
D -> dDd | ε
E -> FG
F-> aF|cF|ε
G -> g | h
⚫ Calculer les ensembles premier et suivant.
⚫ Construire la table d'analyse LL de cette grammaire.
⚫ Vérifier si les mots acdd et acaah et aghac sont reconnus.

⚫ Construire les arbres de dérivation correspondants.
87
Exercice 1 Ensembles premiers :
Premier(S) = {a}
S -> aX Premier(X) = {b, c, d, g, h, ε}
X -> B | CD | E Premier(B) = {b, ε}
B -> bB | ε Premier(C) = {c, ε}
C -> cC | ε Premier(D) = {d, ε}
D -> dDd | ε Premier(E) = {a, c, g, h}
E -> FG Premier(F) = {a, c, ε}
F-> aF|cF|ε Premier(G) = {g, h}
G -> g | h
88
Exercice 1 Suivants(S) = {$}
Suivants(X) = {$}
S -> aX Suivants(B) = {$}
X -> B | CD | E Suivants(C) = {d, $}
B -> bB | ε Suivants(D) = {d, $}
C -> cC | ε Suivants(E) = {$}
D -> dDd | ε Suivants(F) = {g, h}
E -> FG Suivants(G) = {$}
F-> aF|cF|ε
G -> g | h
89
Exercice 1 Premier(S) = {a} Suivants(S) = {$}
Premier(X) = {b, c, d, g, h, ε} Suivants(X) = {$}
S -> aX Premier(B) = {b, ε} Suivants(B) = {$}
X -> B | CD | E Premier(C) = {c, ε} Suivants(C) = {d, $}
B -> bB | ε Premier(D) = {d, ε} Suivants(D) = {d, $}
C -> cC | ε Premier(E) = {a, c, g, h} Suivants(E) = {$}
D -> dDd | ε Premier(F) = {a, c, ε} Suivants(F) = {g, h}
E -> FG Premier(G) = {g, h} Suivants(G) = {$}
F-> aF|cF|ε
G -> g | h
90
Exercice 1 S -> aX
Premier(S) = {a} Suivants(S) = {$}
X -> B | CD | E Premier(X) = {b, c, d, g, h, ε} Suivants(X) = {$}
B -> bB | ε Premier(B) = {b, ε} Suivants(B) = {$}
C -> cC | ε Premier(C) = {c, ε} Suivants(C) = {d, $}
D -> dDd | ε Premier(D) = {d, ε} Suivants(D) = {d, $}
E -> FG Premier(E) = {a, c, g, h} Suivants(E) = {$}
Premier(F) = {a, c, ε} Suivants(F) = {g, h}
F-> aF|cF|ε
Premier(G) = {g, h} Suivants(G) = {$}
G -> g | h
a b c d g h $
S S -> aX
X X -> B X -> CD X -> CD X -> E X -> E X -> ε
B B -> bB B -> ε
C C -> cC C -> ε
D D -> dDd D -> ε
E E -> FG E -> FG E -> FG E -> FG
F F -> aF F -> cF F -> ε F -> ε
G G -> g G -> h
91
Exercice 1
acdd
Etape Pile Entrée Action
1 $S acdd$ S->aX
2 $Xa acdd$ depiler
3 $X cdd$ X -> E
4 $E cdd$ E -> FG
5 $GF cdd$ F -> cF
6 $GFc cdd$ depiler
Erreur
7 $GF dd$
syntaxique
92
Exercice 1
acaah
1 $S acaah$ S->aX
2 $Xa acaah$ depiler
3 $X caah$ X -> E
4 $E caah$ E -> FG
5 $GF caah$ F -> cF
6 $GFc caah$ depiler
7 $GF aah$ F -> aF
8 $GFa aah$ depiler
9 $GF ah$ F -> aF
10 $GFa ah$ depiler
11 $GF h$ F -> ε
12 $G h$ G -> h
13 $h h$ depiler
14 $ $ succès
93
Exercice 1
aghac
1 $S aghac$ S->aX
2 $Xa aghac$ depiler
3 $X ghac$ X -> E
4 $E ghac$ E -> FG
5 $GF ghac$ F -> ε
6 $G ghac$ G -> g
7 $g ghac$ depiler
ERREUR
8 $ hac$
syntaxique
94
Analyseur LL(1)
⚫Remarque
⚫ L'algorithme précédent ne peut pas être appliqué à toutes les

grammaires. En effet, si la table d'analyse comporte des entrées
multiples (plusieurs productions pour une même case M[A,a]),
on ne pourra pas faire une telle analyse descendante car on ne
pourra pas savoir quelle production appliquer.
95
Une grammaire ambigüe
Définition
On appelle grammaire LL(1) une grammaire pour laquelle la table d'analyse
(décrite précédemment) n'a aucune case définie de façon multiple.
Théorème
Une grammaire ambigüe ou récursive à gauche ou non factorisée à gauche
n'est pas LL(1).
Définition
Une grammaire est dite ambigüe s'il existe un mot de L(G) ayant
plusieurs arbres syntaxiques.
96
Grammaire LL(1)
⚫Grammaire ambigüe
Exemple
Soit G donnée par :

instr → if (expr) instr else instr
instr → if (expr) instr
instr → …
expr → …
Cette grammaire est ambiguë car le mot m= if (x>10 ) if (y<0) a=1 else a=0
possède deux arbres syntaxiques différents :
97
Grammaire LL(1)
⚫Exemple
98
Grammaire LL(1)
⚫Exemple
car il y a deux interprétations syntaxiques possibles :
if (x>10) if (x>10)
if (y<0) if (y<0)
a=1 a=1
else ; ; //
finsi
a=0 else
// finsi ; a=0
// finsi // finsi
;
99
Une grammaire ambigüe
Théorème
Une grammaire ambigüe ou récursive à gauche ou non factorisée à gauche
n'est pas LL(1).
Eliminer la récursive à gauche
Factoriser à gauche
100
Elimination de la récursive à gauche
⚫ Une grammaire est immédiatement récursive à
gauche si elle contient un non-terminal A tel qu'il existe
une production A-> Aα où α est une chaîne quelconque.
101
⚫ Une grammaire est récursive à gauche si elle
contient un non-terminal A tel qu'il existe une dérivation
+ Aα où α est une chaîne quelconque.
A->
S->Aa|b
A->Ac|Sd|ε
102
103
104
105
106
107
108
109
Factorisation à gauche
110
111
112
113
114
115
Exercice
S → ScA|B
A → Aa|ε
B → Bb|d|e
116
Exercice
S → ScA|B
A → Aa|ε
B → Bb|d|e
117
Exercice
S -> aEbS|aEbSeB|a
E -> bcB|bca
B -> ba
Devient S -> aEbSS’|a

S’ -> eB|ε
E -> bcE’
E’-> B|a
B ->ba 118
Exercice
S -> aEbS|aEbSeB|a
E -> bcB|bca
B -> ba
Devient S -> aEbSS’|a

S’ -> eB|ε
E -> bcE’
E’-> B|a
B ->ba 119
Conclusion
Exemple : grammaire des expressions arithmétiques avec les opérateurs + et *
E->E+E|E*E|(E)|nb
Mais elle est ambiguë. Pour lever l'ambiguïté, on considère les priorités
classiques des opérateurs et on obtient la grammaire non ambiguë :
E->E+T|T
T->T*F|F
F->(E)|nb
120
Conclusion
E->E+E|E*E|(E)|nb
Mais elle est ambiguë. Pour lever l'ambiguïté, on considère les priorités
classiques des opérateurs et on obtient la grammaire non ambiguë :
E->E+T|T
T->T*F|F
F->(E)|nb
121
Grammaire LL(1)
Conclusion
E->E+T|T
T->T*F|F
F->(E)|nb
Après suppression de la récursivité à gauche, on obtient
122
Approche ascendante
(Bottom-up)
123
124
Analyse SLR
125
Analyse SLR
126
Analyse SLR
127
Analyse SLR
128
Analyse SLR
129
Analyse SLR
130
Analyse SLR
131
Analyse SLR
132
Analyse SLR
133
Analyse SLR
134
Analyse SLR
135
Analyse SLR
136
Analyse SLR
137
Analyse SLR
138
Analyse SLR
139
Analyse SLR
140
Analyse SLR
141
Analyse SLR
142
Analyse SLR
143
Analyse SLR: Construction de la table d’analyse SLR
144
145
146
147
148
149

Analyse-Syntaxique28 4 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Analyse-Syntaxique28 4 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Analyse Syntaxique

Dr. Aida Lahouij

⚫ L'analyseur syntaxique (parser) reçoit une suite d'unités

⚫ Sinon, le mot est incorrect. 3

⚫ Parser = Algorithme qui reconnaît la structure du

⚫ Les analyseurs descendants (top-down)

⚫ Les analyseurs ascendants (bottom-up

Approche descendante Approche ascendante

⚫ Construire l'arbre de dérivation du haut (la racine, c'est à

⚫ Nous partons de S premier non terminal de la grammaire.

⚫ En lisant le caractère c, nous ne savons pas s’il faut

⚫ Nous essayons la 1ère règle (T → cd) qui aboutit à un échec.

⚫ "LL" signifie "analyseur en lecture anticipée de gauche à droite", et "1"

⚫ En outre, l'analyseur LL(1) peut prédire la production à utiliser en fonction du

⚫Un analyseur LL(1) utilise une table d'analyse syntaxique

⚫Cette table est construite à partir de la grammaire du langage

⚫ Elle contient des informations sur les symboles non

⚫ Il lit un symbole d'entrée et utilise la table d'analyse syntaxique

⚫L'analyseur suit ensuite les symboles de la production et

⚫ Cependant, il a également des limitations, car il ne peut pas

⚫ First et Follow sont des ensembles utilisés dans l'analyse

⚫First(A) : l'ensemble First(A) contient les terminaux qui A->BC

⚫ Ces ensembles sont utilisés pour construire des tables

⚫ En résumé, First et Follow sont des ensembles d'informations

a. Ajouter les éléments de PREMIER(Y1) sauf ε dans PREMIER(X)

b. Si ε ∈ PREMIER(Yi) pour i ∈ [1..j] alors PREMIER(Yi+1) ⊂ PREMIER(X) sauf ε

c. Si ε ∈ PREMIER(Yi) pour i ∈ [1..n] alors ε ∈ PREMIER(X)

2. Si X est un non-terminal et X → ε est une production, alors ε ∈ PREMIER(X)

3. Si X est un terminal, PREMIER(X)={X} .

4. Recommencer jusqu'à ce qu'on n'ajoute rien de nouveau dans les ensembles

premier(S)= premier(A)-ε +premier(s si A=ε)- ε +premier(s si A=ε et B=ε)- ε

premiers (B)- ε premiers (C)- ε

premier(S)= premier(A)- ε +premier(S si A=ε) - ε +premier(S si A=ε et B=ε)- ε

⚫Calcul des ensembles PREMIER(X) : Exemple

⚫Calcul des ensembles PREMIER(X) : Exemple

⚫Calcul des ensembles PREMIER(X) : Exemple

⚫Calcul des ensembles PREMIER(X) : Exemple

2. S'il y a une production A -> αBC où B est un non-terminal, alors

3. S'il y a une production A -> αB, alors ajouter SUIVANT(A) à

4. S'il y a une production A -> αBC avec ε ∈ PREMIER(C), alors ajouter

5. Recommencer à partir de l’étape 3 jusqu'à ce qu'on n'ajoute rien de

▪ Suivant(B)=premier(C)-ε +Suivant(A si C=ε)+Suivant(C si C=ε)

▪ Suivant(B)=premier(C)-ε +Suivant(A si C=ε)+Suivant(C si C=ε)

▪ Suivant(D)= premier(E)-ε+ Suivant(B si E=ε)+Suivant(E si E=ε)

• Une table d'analyse est une matrice M où :

• Dans la première ligne on place les terminaux et le

symbole $ (sauf le mot vide).

• Chaque case M[X,x] comporte la règle de production à

⚫ Algorithme de construction de la table d’analyse

1. Pour chaque production A → α faire

Grammaire non LL(1) 61

⚫Données en entrée : le mot m avec $ à la fin et la table d’analyse M

sur la première lettre du mot

⚫ Vérifier si les mots acdd et acaah et aghac sont reconnus.

2 $Xa acdd$ depiler

2 $Xa acaah$ depiler

2 $Xa aghac$ depiler

5 $GF ghac$ F -> ε

⚫ L'algorithme précédent ne peut pas être appliqué à toutes les

Soit G donnée par :

Eliminer la récursive à gauche

Devient S -> aEbSS’|a

Devient S -> aEbSS’|a