Université d’Oum El Bouaghi

Faculté des sciences exactes, de la nature & de la vie

Département des mathématiques & Informatique

2éme année Licence Informatique Le 16/05/2022

Matière : théorie des langages (THL)
Durée : 1.30h
Documents non-autorisés

Examen final

Exercice 01 (5 pts)
Répondez par vrai (0.5 pt) ou faux (-0.5 pt) ; pas de réponse (0 pt) :
a. L+ = L* avec L = {є, a}
b. (L*)* = L*. L*
c. G est de type 3, avec R = (S -> aS/bS/aA, A ->Aa/b)
d. G est de type 2, avec R = (S -> S, S ->SA, SA -> S, A ->aa)
e. G est de type 1, avec R = (S ->SS, S -> є)
f. G est de type 0, avec R = (S -> aSb, S -> ab/є, є -> S)
g. L est de type 2, avec L = {anbn : n > 0}
h. L est de type 1, avec L = {ambn : m, n > 1}
i. L est de type 0, avec L = {ambmam : m > 0}
j. L est de type 3, avec L = {w ϵ {1,0}*}

Exercice 02 (6 pts)
Soit G = ({a,b}, {S,A,B}, S, R) avec
R = (S->AB, A-> aA/aa, B->bB/bb/S)
a. Quel est le type de G. justifier
b. Donner le langage L(G)
c. Quel est le type de L(G). justifier

Exercice 03 (5 pts)
Donnez une grammaire qui engendre le langage : L = {w ϵ {0,1,2}+ : |w|0 = |w|1 = |w|2 }
Quel est le type de L ? justifier

Exercice 04 (4 pts)
Soit l’automate à états finis A défini sur l’alphabet {0,1} par la table suivante : (S0 est l’état initial ; S3
est l’état final).
0 1
S0 S0 S0, S1
S1 S0, S2 S2, S3
S2 S3 -

a. A, est-il déterministe ? justifier (1pt)

b. En appliquant l’algorithme vu en cours, transformer A en un automate déterministe (3pts)

Bon courage