Académique Documents
Professionnel Documents
Culture Documents
1. Langages dnots par une expression rgulire. Donner une description en franais des langages dnots par les expressions rgulires suivantes : i ) a + b ii) ((a + b)(a + b)) iii) (a + b) a(a + b) b(a + b) iv ) (a b )
2. Reconnaissance par un automate. Pour chacun des langages ci-dessous, dessiner un automate qui le reconnat. i) L1 est le langage dnot par aba + bab. ii) L2 est le langage dnot par (aba) + (bab) . iii) L3 = {u {a, b} tel que u contient le facteur bbb}. iv ) L4 = {u {a, b} tel que u ne contient pas le facteur bbb}.
3
b a a
6 7
a,b a
4
a
i) Expliciter V , Q, , q0 et F (on reprsentera par sa table de transition). iii) Dire, sans calculer explicitement L(A), si ce langage est ni ou inni (justiez votre rponse). iv ) Donner, sans justication, une expression rgulire dnotant L(A). 4. Automate des rsiduels. On considre le langage L dnot par lexpression rgulire 0 1 00. i) Calculer tous les rsiduels de L. ii) Dessiner lautomate des rsiduels de L. ii) Donner 4 mots accepts par A et 4 mots refuss par A.
5. Prxes dun langage reconnaissable. Pour tout langage L sur un alphabet V , on note pref(L) lensembles des prxes de mots de L. Autrement dit : pref(L) = {u V : v V t.q. uv L}. Montrer que si L est reconnaissable, alors pref(L) lest aussi.
Universit de Provence
(iii) (a + b) a(a + b) b(a + b) : mots ayant au moins une occurrence de a puis ensuite une occurrence dun b. (iv ) (ab) : mots commenant par a, nissant par b et nayant pas deux a ou deux b conscutifs. (v ) (a b ) est lensemble de tous les mots. 2. Reconnaissance par un automate. i) aba + bab :
b a b a
iii) (a + b) bbb(a + b) :
a a a,b
iv ) Complmentaire de (a + b) bbb(a + b) :
a a a,b
iii) L(A) est inni : il contient par exemple tous les mots de aaa . iv ) L(A) = a b aa.
4. Automate des rsiduels. On considre le langage L dnot par lexpression rgulire 0 1 00. i) Rsiduels de L. L/ = L ; L/0 = L + 0 ; L/1 = 1 00 ; L/00 = L + 0 + ; L/01 = L/1 ; L/10 = 0 ; L/11 = L/1 ; L/000 = L/00 ; L/001 = L/1 ; L/100 = ; L/101 = ; L/1000 = L/1001 = L/1010 = L/1011 = . ii) Automate des rsiduels de L. 2
1 1 1
0 ,1
1 0 0
0,1 0
5. Prxes dun langage reconnaissable. Soit A = (V, Q, , q0 , F ) un AFD qui reconnait L. Alors le langage pref(L) = {u V : v V t.q. uv L} est reconnu par lAFD obtenu partir de A en rendant acceptant tout tat p Q partir duquel on peut accder un tat de F .