Professional Documents
Culture Documents
Correction de La Série N°3
Correction de La Série N°3
2-
2-1- Constante_Chaine →'Suite_de_caractère'
Suite_de_caractère → Caractère Suite_de_caractère | ε
Caractère → Lettre|Chiffre|"|@|.....
lettre|chiffre|"|@|.....
' '
2-2- q0 q1 q2
Exercice 2
1- Le langage génère des expressions arithmétiques.
2- Calcul des deux ensembles First et Follow :
Ensemble First:
First(E)=First(TE‘)=First(T)={(,nbr}
First(TE’)=First(T)={ ( ,nbr }
First(T)=First(FT’)=First(F)={( , nbr}
First(FT’)=First(F)={( , nbr}
First(F)={ ( ,nbr } (ε n’appartient pas à {( , nbr})
First(E’)= First(+TE’)={ + } , et puisque E’→ε alors First(E’)={+ , ε}
First(T’)={ *,ε }
Ensemble Follow:
Follow(E)={ $ , ) }
Follow(E’)=Follow(E)= { $ , ) }
Follow(T)=First(E’\{ε })={ + }, et puisque ε appartient au First (E’)
Follow(T)={+} U Follow(E)={ +,$,) }
Follow(T’)=Follow(T)={ +,$,) }
Follow(F)={ +,*,$,) }
Pr. A. Saaidi 1 Année universitaire 2018/2019
Université Sidi Mohmed Ben Abdellah
Faculté polydisciplinaire de Taza Compilation
Exercice 3
1- G0 est non de type LL(1) car First(aF) ∩First(aG) ≠ Ø.
4- First et Follow :
L’ensemble First est :
First(S)= {a,b }
First(E)={b,ε }
First(F)={a}
First(F’)=First(F)∪First(G)={a,d}
First(G)={d}
First(G’)={c, ε }
5- First(aE)∩First(bF)=Ø
E→bE| ε , on a Follow(E)∩First(bE)= Ø
F’→F|G , on a First(F) ∩First(G)= Ø
G’→cG| ε , on a Follow(G’) ∩First(cG)= Ø
Exercice 4
1- Numéroter les règles de production et construire la table d’analyse:
1: E→TE’, 2: E’→+TE’, 3: E’→ε, 4 : T→FT’, 5: T’→*FT’, 6: T’→ε, 7 : F→(E),
8:F→nbr.
Ensemble First:
First(E)=First(TE‘)=First(T)={(,nbr}
First(TE’)=First(T)={ ( ,nbr }
First(T)=First(FT’)=First(F)={( , nbr}
First(FT’)=First(F)={( , nbr}
First(F)={ ( ,nbr } (ε n’appartient pas à {( , nbr})
First(E’)= First(+TE’)={ + } , et puisque E’→ε alors First(E’)={+ , ε}
First(T’)={ *,ε }
Ensemble Follow:
Follow(E)={ $ , ) }
Follow(E’)=Follow(E)= { $ , ) }
Follow(T)=First(E’\{ε })={ + }, et puisque ε appartient au First (E’)
Follow(T)={+} U Follow(E)={ +,$,) }
Follow(T’)=Follow(T)={ +,$,) }
Follow(F)={ +,*,$,) }
+ * ( ) nbr $
E -1 -1 1 -1 1 -1
E’ 2 -1 -1 3 -1 3
T -1 -1 4 -1 4 -1
T’ 6 5 -1 6 -1 6
F -1 -1 7 -1 8 -1
3- Modifier la table d’analyse : Pour toute case de la table d’analyse TA[N][t]= Erreur; Si
t∈Synch(N) alors TA[N][t]=Synch;
+ * ( ) nbr $
E -1 -1 1 Synch 1 Synch
E’ 2 -1 -1 3 -1 3
T Synch -1 4 Synch 4 Synch
T’ 6 5 -1 6 -1 6
F Synch Synch 7 Synch 8 Synch
Exercice 5
1- On a First(G = D)∩First(D) ≠ Ø donc A n’est pas de type LL(1).
2- et -3
4- Table d’analyse
Actions Successeur
= * i $ S D G
0 d3 d4 1 2 5
1 Succès
2 r2
3 d3 d4 6 7
4 r4 r4
5 d8 ,r5 r5
6 r3 r3
Conflit 7 r5 r5
8 d3 d4 9 7
9 r1
Exercice 6
1- L’ensemble de collection C
I0 = fermeture{[S’→.S , $]} = { [S’→.S , $] ; [S→.G=D , $] ; [S→.D , $] ;
[G→.*D,=] ; [G→.i , =] ; [D→.G , $] ; [G→.*D , $] ; [G→.i , $]}.
I1 = transition(I0,S) = fermeture{[S’→S. ,$]}={[S’→S. ,$]}.
I2 = transition(I0,G) = fermeture{[S→G. = D , $] ; [D→G. , $]} = {[S→G. = D , $] ;
[D→G. , $]}.
I3 = transition(I0,D) = fermeture{[S→D. , $]} = {[S→D. , $]}.
I4 = transition(I0,*) = fermeture{[G→*.D , $] ; [G→*.D , =]} = {[G→*.D , $] ;
[G→*.D , =] ; [D→.G , $] ; [D→.G , =] ; [G→.*D , $] ; [G→.*D , =] ;
[G→.i,$] ; [G→.i , =]}
I5 = transition(I0,i) = Fermeture{[G→i. , $] ; [G→i. , =]} = {[G→i. , $] ; [G→i. , =]}.
I6 = transition(I2,=) = Fermeture{[S→G=.D , $]} = {[S→G=.D , $] ; [D→.G , $] ;
[G→.*D , $] ; [G→.i , $]}.
I7 = transition(I4,D) = Fermeture{[G→*D. , $] ; [G→*D. , =]} = {[G→*D. , $] ;
[G→*D. , =]}.
I8 = transition(I4,G) = Fermeture{[D→G. , $] ; [D→G. , =]} = {[D→G.,$] ;
[D→G.,=]}.
I4 = transition(I4,*).
I5 = transition(I4,i).
I9 = transition(I6,D)= Fermeture{[S→G=D. , $]} = {[S→G=D. , $]}.
I10 = transition(I6,*) = Fermeture{[G→*.D , $]} = {[G→*.D , $] ; [D→.G , $];
{[G→.*D , $] ; [G→.i , $]}
I11 = transition(I6,G) = Fermeture{[D→G. , $]} = {[D→G. , $]}.
I12 = transition(I6,i) = Fermeture{[G→i. , $]} = {[G→i. , $]}.
I13 = transition(I10,D) = Fermeture{[G→*D. , $]} = {[G→*D. , $]}.
I11 = transition(I10,G).
I10 = transition(I10,*).
I12 = transition(I10,i).
2- AFD
4- On constate que le conflit qui était dans le SLR(1) à l’état 5 dans l’exercice 5 est
levé par l’analyseur LR(1) à l’état 2 de cet exercice.
Pour ii :