Vous êtes sur la page 1sur 2

Académie Internationale Mohammed6 de l'Aviation Civile A.U.

2020/2021
Casablanca GI16-Génie Informatique

Série N°1 : TD Théorie de langages

Exercice 1 :

={a, b}. Décrire en quelques phrases les langages reconnus par les DFA suivants :
a, b
a, b
1) q0 2) q0 3) q0

b
q1 q0 q1
a
a a, b b
4) q0 a b q3 5) a a a a

b q2 b b
q2 q3
b

Exercice 2 :

Soit l’alphabet ={0, 1}.Construire un DFA pour chacun des langages suivants sur  :
1) tous les mots se terminant par ‘0’.
2) tous les mots contenant ‘0’.
3) l’ensemble des mots pour lesquels chaque ‘0’ est suivi d’au moins un ‘1’.
4) l’ensemble des mots contenant au moins une fois ‘010’.
5) l’ensemble des mots ne contenant pas deux ‘0’ consécutifs.
6) l’ensemble des mots correspondant au codage en binaire d’un nombre pair.
7) Le langage L={02n, n1}
8) Le langage P={w*/ |w|0 pair et |w|1 impair}

Exercice 3 :
Soit ={a, b, c} un alphabet. Construire un DFA reconnaissant tous les mots de * de
longueur supérieure ou égale à 2.

1
Exercice 4 :
Soit l’alphabet ={a, b}, on considère :
La relation H={(a,b), (b,a), (b,b)} , et
Le langage L={x1x2….xn/ n2, (xi,xi+1)H, i=1,…,n-1}*.
1) Donner une propriété caractérisant les mots de L.
2) Construire un DFA reconnaissant L.

Exercice 5 :
Soit ={0, 1} un alphabet.
Donner un DFA pour chacun des langages suivants :
a) L’ensemble des mots ne se terminant pas par '00'.
b) L’ensemble des mots tel que le nombre de '0' est pair ou le nombre de '1' est impair.
c) L’ensemble des mots contenant une seule occurrence de '0' et se terminant par '0'.
d) L={0i1i/ i ≤ n, n fixé}.

Exercice 6 :
Soit un DFA, M=( , Q, , q0, F).
1) Etant donné un mot w sur , donner un algorithme permettant de tester si w est
reconnu par M.
2) Ecrire un algorithme permettant de tester si T(M)=.