Université de Pau et des Pays de l’Adour jeudi 29 avril 2021

Collège STEEE
Département Informatique

Théorie des langages et compilation

(Contrôle Continu, L3, Licence Informatique, Documents non autorisés, 1 Heure)

Exercice 1 (Langage formel et compilation : 4 points)

1. Quel est l’intérêt de la théorie des langages pour la compilation ? (2 points)
2. Quel est le but de la phase « Analyse Lexicale » d’un Compilateur ? Donner des exemples de
langages formels utilisés pour mettre en oeuvre la phase d’analyse lexicale d’un Compilateur (2
points)

Exercice 2 (Mots, Langage et Grammaire : 6, 5 points)

1. Les mots suivants sont-ils générés par l’expression régulière (aba)* a+ b* : ε, ab, aba, abaab,
ababa, abaaba ? (3 points)
2. Soient les langages L1, L2 et L3 construits sur l’alphabet Σ = {a, b, c}.
– L1= {a∗ (c+b)∗ c∗}
– L2 = {(aa)∗ (c+b)+ c∗}
– L3 = {(aa)n (c+b)m cn, n, m Ν }
Question : Montrer que les langages L1, L2 et L3 ne sont pas égaux (1, 5 points)
3. Soit L4 = {an bm c2n, n, m Ν }. Donner une grammaire qui engendre L4 ? D’après la hiérarchie
de Chomsky, quel est son type (2 points)

Exercice 3 (Grammaire ambiguë, Arbre syntaxique : 4 points)

Soit la grammaire G définie par les règles de production : S→ aSb | Sab | b | ε
1. D’après la hiérarchie de Chomsky, quel est le type de cette grammaire G ? Justifiez. (1 point)
2. Est-ce que abb L (G) ? bab L (G) ? Justifiez. (2 points)
3. Est ce que G est ambiguë ? Justifier (1 point)

Exercice 4 (Grammaire & Langage : 5, 5 points)

1. Soit la grammaire G1 définie par les règles de production:
S → AB | A
A → aAbb | abb
B→ cBd | ε
Question : Quel est le type de la grammaire G1 ? Quel est le langage reconnu par cette grammaire
(donner seulement le langage, sans démontrer) ? (2 points)
2. Soit la grammaire G2 définie par les règles de production:
S → abSb | abb | ε
Question : Quel est le langage reconnu par cette grammaire G2 (1 point) ? Démontrez par
récurrence (2, 5 points)

N. HAMEURLAIN