Acadmie Internationale Mohammed6 de l'Aviation Civile Casablanca

A.U. 2010/2011 S4-Gnie Informatique

Srie N2 : TD Thorie de langages

Exercice 1 :
Soit ={0, 1} un alphabet. 1) Donner un NFA reconnaissant le langage : L={0n.(01)m/ n0, m1}. 2) Construire un DFA quivalent ce NFA. 3) Donner lexpression rgulire associe ce DFA. 4) Construire un NFA reconnaissant LR et un -NFA reconnaissant L+.

Exercice 2 :
Construire un NFA pour chacun des langages suivants : 1) lensemble des mots sur {a,b,c} formant le langage {anbcm, n1, m0}{acn, n0} 2) lensemble des mots sur {0,1} dont le troisime symbole partir de la droite est 1. 3) Lensemble des mots sur {0,1} contenant deux zros spars par un mot de longueur 4i, pour i0. 4) Lensemble des mots sur {0,1} se terminant par 00 ou 11. Donner pour chaque cas le DFA quivalent et lexpression rgulire dcrivant le DFA.

Exercice 3 :
Soit ={a, b} un alphabet. 1) Donner une expression rgulire qui dnote : lensemble des mots se terminant par le sous-mot ab. lensemble des mots contenant au moins deux a conscutifs ou au moins deux b conscutifs. 2) Trouver un -NFA, un NFA puis un DFA pour chaque ER.

1/2

Exercice 4:
Soit un alphabet ={a, b}. 1) Donner un DFA, M, reconnaissant lensemble des mots sur ayant une seule occurrence de a et se terminant par a. 2) Construire un -NFA, M1, tel que : T(M1)=[T(M)]*. Construire un DFA, M2, reconnaissant le mme langage que M1.

Exercice 5 :
Soit ={a, b} un alphabet. 1) Donner les expressions rgulires dnotant les langages suivants : a) Les mots de longueur impaire. b) Les mots qui contiennent une seule occurrence de 'b' ; c) Les mots qui ne contiennent pas 'ab' ; 2) Trouver un DFA coordonnant l'expression rgulire a *(ab)*.

2/2