Université Sidi Mohamed Ben Abdellah Année Universitaire : 2020 / 2021

Faculté des Sciences Dhar Mehraz Fès Filière : SMI

Département d’Informatique S5
Épreuve de la compilation(session normale)
Durée : 1h 30
Exercice I : (5 Points)
Minimiser l’automate fini déterministe suivant :

Exercice II : (2 Points)
Écrire une grammaire pour générer les identificateurs d’un langage comme Pascal ou C. On
considérera qu’un identificateur est valide s’il commence par une lettre (majuscule ou minuscule) suivi
d'un nombre quelconque (éventuellement aucun) de symboles. Ces symboles sont constitués par des
lettres, des chiffres, et du caractère '_'.
Exercice III : (3 Points)
Transformer en AFD l’automates suivant :

Exercice IV : ( 7 Points)

Soit la grammaire G2 (S-expressions Lisp) :

S → (L) | () | at
L→ S|LS
1. G2 est-elle LL(1) et pourquoi? Sinon la transformer pour qu'elle le soit (grammaire
G’2).
2. Calculer la table d'analyse
3. Analyser : (at at) (at at () )

Exercice V : (3 Points)
Donner les expressions régulières qui correspondent de l automate finis suivant :
0 q1 0

q0 0 1 q3
1 1
q2

Bonus : (2 Points)
Convertir les expressions régulières suivantes en AFD : 01* et (0 |1)01

Bon courage