Rpublique Tunisienne

UNIVERSITE LIBRE DE TUNIS Ministre de lEnseignement Suprieur et

de la Recherche Scientifique

Filire Anne (Niveau) Matire Enseignant Page

Gnie Informatique 3 T. L.A Farouk JELIDI 1/2

Exercice 1 :

Quels sont les langages dcrits par les expressions rationnelles (rgulires) suivantes :
a) a(a|b)*b
b) ((*|b)a*)*
c) (aa)*a
d) (a|b)*(c|d)*
e) aab(a|b)*(bb|aa)+

Exercice 2 :

crire les expressions rationnelles (rgulires) sur {a,b} dnotant les langages suivants :
a) Tous les mots de longueur 2.
b) Tous les mots de longueur paire.
c) Tous les mots contenant un seul a.
d) Tous les mots contenant au moins un a.
e) Tous les mots contenant un nombre impair de b.
f) Tous les mots finissant par aba.

Exercice 3 :

Construire un automate fini reconnaissant sur lalphabet = {a, b, c} les expressions rationnelles (ou
expressions rgulires) suivantes :

a) a ( (a b)*c b*)* | a ( (b a)2c b*)*

b) ab*
c) (a | b)ab
d) aa(a | b)*

Exercice 4 :

Soient les automates A1 et A2 suivants sur lalphabet = {a,b}.

Pour chacun des automates A1 et A2, rpondre aux questions suivantes :

a) Lautomate est-t-il dterministe ?

b) Si non, trouver lautomate fini dterministe qui lui est quivalent.
Farouk JELIDI Anne Universitaire : 2017-2018
 Rpublique Tunisienne
UNIVERSITE LIBRE DE TUNIS Ministre de lEnseignement Suprieur et
de la Recherche Scientifique

Filire Anne (Niveau) Matire Enseignant Page

Gnie Informatique 3 T. L.A Farouk JELIDI 2/2

Exercice 5 :

Trouver lexpression rgulire correspondante lautomate A, sur lalphabet {a1,a2,a3,a4,c1,c2}, donne par la
reprsentation graphique suivante :

Farouk JELIDI Anne Universitaire : 2017-2018