IN S T I TUT ‫الجـمـــھـورية التــــونـسـيـة‬

SUPERIEUR ‫وزارة الـتعليم العالي‬

INFORMATIQUE
ISI
‫الـمعھـد العـالـي لإلعـالمــيـة‬
‫جامــــعــة تــونــس المــنـار‬
‫المعـھـد الـعالـي لإلعـالمـيـة‬

Année Universitaire 2013 - 2014

Correction de l'Examen Principal

Exercice 1

Considérons la grammaire suivante :

A → BD
B → CwB|ε
C → DxB|v
D → t|tu

1. Cette grammaire est elle LL(1)

Cette grammaire n'est pas LL(1) elle est récursive à gauche et elle n'est pas
factorisée.
2. Si elle ne l'est pas donner une grammaire équivalente qui permet de construire un
analyseur récursif descendant. Prouver que cet analyseur descendant existe bien.
Nous allons d'abord éliminer la récursivité à gauche en D et factoriser "t" en B:
A → BD
B → t B' | ε
B' → wB|uwB
D → v D'
D' → x B D' | ε
Deuxième étape, on remplace B par sa réécriture dans A
A → (t B' | ε) D
A → t B' D | D
B → t B' | ε
B' → wB|uwB
D → v D'
D' → x B D' | ε
Deuxième étape, on remplace B par sa réécriture dans A
PREMIER (A) = {t, v} SUIVANT (A) = {$}
PREMIER (B) = {t, ε} SUIVANT (B) = {v, x, $}
PREMIER (B') = {u, w} SUIVANT (B') = {v, x, $}
PREMIER (D) = {v} SUIVANT (D) = {$}
PREMIER (D') = {x, ε} SUIVANT (D') = {$}

Table d'analyse

T U V w x $
A A → t B' D A → v D'
B B → tB' B→ε B→ε B→ε
B' B' → u w B B' → w B
D D → vD'
D' D' → x B D' D' → ε
IN S T I TUT ‫الجـمـــھـورية التــــونـسـيـة‬
SUPERIEUR ‫وزارة الـتعليم العالي‬
INFORMATIQUE
ISI
‫الـمعھـد العـالـي لإلعـالمــيـة‬
‫جامــــعــة تــونــس المــنـار‬
‫المعـھـد الـعالـي لإلعـالمـيـة‬
Exercice 2

Construire une définition dirigée par la syntaxe pour un langage qui prend en entrée une
chaîne de caractère composée de "x", de "y" et de "z" et produit en sortie le nombre de
sous-chaînes dans la chaîne d'entrée qui correspondent à la configuration :
x (x | y) * z (x | y) * y
Par exemple, si la chaîne en entrée est "xyyzxyzxyxyz" le résultat donné par la définition
dirigée par la syntaxe est "3".

xyyzxyzxyxyz xyyzxyzxyxyz xyyzxyzxyxyz

La solution doit contenir :

a) Une grammaire hors contexte simple qui génère toutes les chaînes composées de
"x", "y" et "z"
La grammaire hors contexte est aussi simple que celle qui suit. C'est une
grammaire régulière G = {{x, y, z}, {S}, S, R} pour toutes chaînes définies sur
l'alphabet Σ = {x, y, z} avec le système de réécriture R.
S → Sx | Sy | Sz | x | y | z
b) Des attributs pour les symboles de cette grammaire
La grammaire ci dessus engendre pour chaque chaîne, des arbres d'analyse
penchant à gauche, c'est à dire que toutes ses branches sont à gauche puisque la
grammaire est clairement récursive à gauche. On définit trois attributs synthétisés
pour le non terminal S, disons nA1, nA2 et total. L'idée de ces attributs est que le
premier attribut se charge du comptage du nombre de "x" à gauche d'un caractère
"z" donné, le deuxième attribut, nA2, comptabilise le nombre de "x" droite d'un
caractère “z” donné. Le dernier attribut, total, accumule le nombre de sous
chaînes correspondant au motif.
Nous avons besoin de compter le nombre de "x" à gauche d'un caractère “z” et à
sa droite de telle sorte que pour pouvoir ajouter la valeur de nA1 à la valeur
courante de total à chaque occurrence de "y" apparaissant à droite de “z” et qui
mémorise le nombre de "x" à droite de "z". Cela permet, à chaque fois qu'on
tombe sur un nouveau caractère "z" de copier le nombre de "x" apparaissant à
droite du premier "z" et qui sont maintenant à gauche du deuxième "z".

c) Pour chaque règle de production de la grammaire, un ensemble de règles

sémantiques pour l'évaluation des attributs.

S1 → S2 x {S1.nA1 = S2.nA1 + 1; S1.nA2 = S2.nA2; S1.total = S2.total; }

S1 → S2 y {S1.nA1 = S2.nA1; S1.nA2 = S2.nA2; S1.total = S2.total + S2.nA2;}
S1 → S2 z {S1.nA1 = 0; S1.nA2 = S2.nA1; S1.total = S2.total;}
S1 → x {S1.nA1 = 1; S1.nA2 = 0; S1.total = 0;}
S1 → y {S1.nA1 = 0; S1.nA2 = 0; S1.total = 0;}
S1 → z {S1.nA1 = 0; S1.nA2 = 0; S1.total = 0;}
‫‪IN‬‬ ‫‪S T I TUT‬‬ ‫الجـمـــھـورية التــــونـسـيـة‬
‫‪SUPERIEUR‬‬ ‫وزارة الـتعليم العالي‬
‫‪INFORMATIQUE‬‬
‫‪ISI‬‬
‫الـمعھـد العـالـي لإلعـالمــيـة‬
‫جامــــعــة تــونــس المــنـار‬
‫المعـھـد الـعالـي لإلعـالمـيـة‬
‫‪d) Donner un exemple qui montre que votre définition dirigée par la syntaxe est‬‬
‫‪correcte.‬‬
IN S T I TUT ‫الجـمـــھـورية التــــونـسـيـة‬
SUPERIEUR ‫وزارة الـتعليم العالي‬
INFORMATIQUE
ISI
‫الـمعھـد العـالـي لإلعـالمــيـة‬
‫جامــــعــة تــونــس المــنـار‬
‫المعـھـد الـعالـي لإلعـالمـيـة‬
Exercice 3

Considérons la traduction dirigée par la syntaxe suivante ; la grammaire est définie par
G = ({S, I, Signe}, {',' ; '-' ; '+' ; 'n'}, S, R). "n" est un symbole terminal spécial qui
est lexicalement appariés à n'importe quelle chaîne représentant un chiffre et dont la
valeur est la valeur numérique de la représentation décimale. Pour les symboles non
terminaux de G on a défini deux attributs, sign et val. Le nom terminal I dispose des
deux attributs alors que S ne dispose que de l'attribut val et le non terminal Signe ne
dispose que de l'attribut sign.

S → I Signe S.val = I.val; I.sign = Signe.sign; print (I.val)

Signe → + Signe.sign = 1
Signe → − Signe.sign = 0
I → n I.val = n.vallex
I → I1 , n I1.sign = I.sign;
if (I.sign == 1) then I.val = min (I1.val, n.vallex)
else I.val = max (I1.val, n.vallex)

1. Expliquer ce que fait cette DDS et indiquer, en expliquant pourquoi, quels sont les
attributs synthétisés et ceux hérités.

Cette définition dirigé par la syntaxe calcule la valeur maximale ou minimale d'une
séquence de nombres entiers en fonction du suffixe «-» ou «+», respectivement.
Quant aux attributs, l'attribut sign du non terminal Signe est un attribut synthétisé.
L'attribut val est également synthétisée mais l'attribut sign de I est hérité puisqu'il
découle du "droit-à-gauche" (donc de haut en bas dans l'arbre d'analyse) pour une
production de I.

2. Donner un arbre d'analyse attribué pour l chaîne "6, 4, 3-" en évaluant les attributs
dans l'arbre et en indiquant dans quel ordre les attributs doivent être évalués (si
plusieurs ordres sont possibles indiquer un seul).

Facile

3. Proposer une grammaire modifiée que n'utilise que des attributs synthétisés en
expliquant les opérations de base.

S → N+ S.val = N.val; print (N.val)

S → M- S.val = M.val; print (M.val)
N → n N.val = n.vallex
N → N1 , n N.val = max (N1.val, n.vallex)
M → n M.val = n.vallex
M → M1 , n M.val = min (M1.val, n.vallex)