Université Sidi Mohamed Ben Abdellah

Faculté des Sciences dhar el mahraz Fes Compilation

Travaux Dirigés
Série N°1
Exercice1
1-Trouvez les langages correspondants aux définitions suivantes:
- Tous les mots sur {a, b, c} qui commencent par un a et finissent par un b.
- Tous les mots sur {a, b} qui contiennent plus de a que de b.
2- On note par Pref(L) l’ensemble suivant : {u|∃m ∈ L : u est préfixe de m} et par
Suf(L) l’ensemble suivant : {v|∃m ∈ L : v est suffixe de m}.Calculez Pref(L) et Suf(L)
dans chacun des cas suivants: L = {ab, ac,ε}, L= {anbm|n,m ≥ 0}
Exercice2
Démontrez, à l’aide de la définition inductive des langages réguliers, que les deux
langages suivants sont réguliers (l’alphabet considéré est Ω= {0; 1}):
1- L’ensemble des mots composés d’un nombre arbitraire de 1, suivis de 01, suivis
d’un nombre arbitraire de 0.
2- L’ensemble des nombres binaires impairs.

Exercice3
1- Démontrez que tout langage fini est régulier.
2- Donnez une expression régulière qui accepte chacun des langages suivants
(définis sur l’alphabet Ω={0; 1}):
- Toutes les chaînes qui se terminent par 00.
- Toutes les chaînes dont le 10ème symbole, compté à partir de la fin de la
chaîne, est un 1.
-Ensemble de toutes les chaines dans lesquelles chaque paire de 0 apparaît
devant une paire de 1.
-Ensemble de toutes les chaines ne contenant pas 101.
-Tous les nombres binaires divisibles par 4.

Exercice4

1. Donner une expression pour les langages suivants :

-{a, b, aa, ab, ba, bb}
-les mots constitués d’un seul a, ou d’une chaine de a (éventuellement vide)
suivie d’un b.

2. Comparer les langages définis par les expressions régulières, en indiquant les
inclusions éventuelles :
-(a|b)* et a*|b*
-(a|b)(c|d) et ac|bd
-a** et a*, que peut-on dire de x** dans le cas général où x est une expression
rationnelle ?
-(b*a)* et a*|(a|b)*a, comment peut-on caractériser ces deux langages ?
-(a|b)* et (a*b*)*