Université Sidi Mohamed Ben Abdellah

Faculté des Sciences dhar el mahraz Fes Compilation

Travaux Dirigés : Série N°2

Exercice 1 :
 Soit A = {a,b,c}. Pour chacun des langages suivants, donner un automate fini
déterministe (AFD) le reconnaissant :
 l’ensemble des mots dont la longueur est un multiple de 3 ;
 l’ensemble des mots se terminant par b ;
 l’ensemble des mots ne se terminant pas par b ;
 l’ensemble des mots contenant exactement un b ;
 l’ensemble des mots ne contenant aucun b ;
 l’ensemble des mots comportant au moins 3 lettres et dont la troisième lettre à
partir de la fin est un a ou un c ;
 Proposer un automate et une expression régulier pour le langage de tous les mots
{a,b,c}*. dont cac est un sous-mot
Exercice 2 :
Transformer en AFD l’automates suivant :

Exercice 3 :
Transformer en AFD l’automates suivant :
Université Sidi Mohamed Ben Abdellah
Faculté des Sciences dhar el mahraz Fes Compilation

Exercice 4
Transformer en AFD l’automates suivant :

Exercice 5 :
Transformer en AFD l’automates suivant :

Exercice 6 :
Transformer en AFD l’automates suivant :