Département Informatique

Sciences Mathématiques et Informatique (SMI/S5)

Compilation
Prof. : M. BENADDY
A.U:2021/2022

Corrigé de l’examen de la session de rattrapage Nom & Prénom :………………………………

CNE :………………………………………….
durée : 1h30 N° d’examen :……………………………….
NB : Le barème est donné à titre indicatif
Note:………../20

Exercice 1 (6) :
Soit l’automate suivant :

1. Quelle est l’expression régulière correspondante : ((ε|a)b*)*……………………….………………….

…………………………………………………………………………………………………………………..

2. Transformer l’AFN de 2 en un AFD (donner la table de transition et le graphe d’états) :

Graphe d’états Table de transition
Symbole
Etats de l’AFN AFD a b
{0,1,2,3,4,6,7,9,10} A C B
{1,2,3,4,6,7,8,9,10} B C B
{1,2,3,4,5,6,7,9,10} C C B

3. Minimiser l’automate obtenu dans la question 2 (donner la table de transition et le graphe d’états) :

Graphe d’états Table de transition

Symbole
AFD a b
A A A

4. Donner la grammaire correspondante à l’automate (AFD) obtenu dans 2 :

Page 1/4
A → aC| bB| ε………………………………. C → aC | bB | ε……………………………
B → bB | aC | ε…………………………. …………………………………………….
……………………………………………. …………………………………………….

Exercice 2 (12) :
Soit la grammaire G avec les règles de production suivantes :
S→aSbS|bSaS|ε
1. Déterminer les non-terminaux et les terminaux de la grammaire G.
N = {S………………………...} et T= {a,b…………………………..}
2. Calculer Début et Suivant pour les non terminaux de G.

Premier Suivant
S a,b,ε a,b,$

3. Donner la table d’analyse prédictive de G.

a b $
S S→aSbS|ε S→bSaS|ε S→ε

4. Soit w = aabbab donner les dérivations gauches et droites de cette chaîne

Gauche => S => aSbS => aaSbSbS => aabSbS => aabbS => aabbaSbS => aabbabS => aabbab
Droite => S => aSbS => aSbaSbS => aSbaSb => aSbab => aaSbSbab => aaSbbab => aabbab

5. La grammaire G est-elle ambiguë (justifier) : Oui car il y’a des entrées multiples dans la table
d’analyse prédictive…………………………………………………………………………………………..
6. Donner l’automate des items LR(0) canoniques pour G.

Etats {items LR(0)}

fermeture({S'→S})=I0 [S’ → S, S → aSbS, S → bSaS, S → ]
transition(I0,S)= I1 [S’ → S]
transition(I0,a)= I2 [S → aSbS, S → aSbS, S → bSaS, S → ]
transition(I0,b)= I3 [S → bSaS, S → aSbS, S → bSaS, S → ]
transition(I2,S)=I4 [S → aSbS]
transition(I2,a)= I2
transition(I2,b)= I3
transition(I3,S)=I5 [S → bSaS]
transition(I3,a)= I2
transition(I3,b)= I3
transition(I4,b)= I6 [S → aSbS, S → aSbS, S → bSaS, S → ]
transition(I5,a)= I7 [S → bSaS, S → aSbS, S → bSaS, S → ]
transition(I6,S)=I8 [S → aSbS]
transition(I6,a)= I2
transition(I6,b)= I3
transition(I7,S)=I9 [S → bSaS]
transition(I7,a)= I2
transition(I7,b)= I3

7. Donner la table des actions et successeurs SLR de G.

Page 2/4
 a b $ S
0 d2/r3 d3/r3 r3 1
1 acc
2 d2/r3 d3/r3 r3 4
3 d2/r3 d3/r3 r3 5
4 d6
5 d7
6 d2/r3 d3/r3 r3 8
7 d2/r3 d3/r3 r3 9
8 r1 r1 r1
9 r2 r2 r2

8. La grammaire G est-elle SLR (justifier) ? Non il y’a des conflits réduire et décaler dans la table des
actions…………………………………………………………………………………………………………….

9. Donner le résultat de l’analyse de la chaîne w = aabbab

Pile Tampon Action
0 aabbab$ Conflit r3 et d2 (d2)
0a2 abbab$ Conflit r3 et d2 (d2)
0a2a2 bbab$ Conflit r3 et d3 (d3)
0a2a2b3 bab$ Conflit r3 et d3 (d3)
0a2a2b3b3 ab$ Conflit d2/r3 (d2)
0a2a2b3b3a2 b$ Conflit r3 et d3 (d3)
0a2a2b3b3a2b3 $ r3
0a2a2b3b3a2b3S5 $ erreur
Exercice 3 (2pts):
Écrire l'équivalent de la commande Unix "wc" qui affiche le nombre de lignes, le nombre de mots et le
nombre de caractères d'un fichier texte.

Page 3/4
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..
……………………………………………………………………………………………………………………………………………………………………………………………..

Page 4/4