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

2021/2022
Casablanca Génie Informatique- GI 17

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

Exercice 1 :
Construire un NFA pour chacun des langages suivants :
1) l’ensemble des mots sur {a,b,c} formant le langage {anbcm, n1, m0}{acn, n0}
2) l’ensemble des mots sur {0,1} dont le troisième symbole à partir de la droite est ‘1’.
3) L’ensemble des mots sur {0,1} contenant deux zéros séparés par un mot de longueur 4i,
pour i0.
4) L’ensemble des mots sur {0,1} se terminant par ‘00’ ou ‘11’.
Donner pour chaque cas le DFA équivalent et l’expression régulière décrivant le DFA.

Exercice 2 :
Soit ={0, 1} un alphabet.
1) Donner un NFA reconnaissant le langage : L={0n.(01)m/ n0, m1}.
2) Construire un DFA équivalent à ce NFA.
3) Donner l’expression régulière associée à ce DFA.
4) Construire un NFA reconnaissant LR.
Exercice 3 :
Soit ={a, b} un alphabet.
1) Donner une expression régulière qui dénote :
 l’ensemble des mots se terminant par le sous-mot ‘ab’.
 l’ensemble des mots contenant au moins deux ‘a’ consécutifs ou au moins deux ‘b’
consécutifs.
2) Trouver un NFA puis un DFA pour chaque ER.

Exercice 4 :
Soit ={0, 1} un alphabet. Trouver les expressions régulières dénotant les langages suivants :
a) Les mots de longueur paire.
b) L’ensemble des mots contenant exactement trois ‘0’.
c) Les mots qui ne contiennent pas ‘01’.
d) L’ensemble des mots de longueur supérieure ou égale à 2.
e) L={(0+1)n/ n100}.

Exercice 5 :

Soit ={0, 1} un alphabet.

Trouver un DFA reconnaissant tous les mots sur  se terminant par le fanion ‘0101’.