Académique Documents
Professionnel Documents
Culture Documents
_________________________________________________________________________________________________________________
Exercice 1
L3={(a ∪ ba ∪ bba)* ( ε ∪ b ∪ bb)} : les mots définis sur S={a,b} et tel qu'ils ne
contiennent pas 3 b successifs
L4={(a ∪ b)* }: les mots définis sur S={a,b} pouvant être la chaîne vide ou n'importe quelle
chaine avec des a et/ou des b ou les deux à la fois (avec des a et des b)
3) Proposer pour chaque expression régulière, une autre expression régulière équivalente
(a ∪ b)* équivalent à (b ∪ a)*
(a*)* = a*
a ∪ (b ∪ a)= (a ∪ b) ∪ a
4) On sait que ces langages sont réguliers, les décrire yèpar des expressions régulières :
L1 = {ab} expression régulière ab
L2 = {anbam, n>=0, m>=0} expression régulière a*ba*
L3 = {an, n>2} expression régulière aaaa*
Exercice 2
Exercice 3
L1 = {e, a, b, ab}
ð ER1 = e | a | b | ab
L3 = {wÎ{a,b}*, tel que w contient seulement 3b, le reste c'est des a's}
ð ER3 = a*ba*ba*ba*
L8 = {wÎ{a,b}*, tel que w contient la sous chaîne aaa ou la sous chaîne bbb mais pas les
deux en même temps}
L9 = {wÎ{a,b}*, tel que w contient la sous chaîne aaa mais pas la sous chaîne bbb}
L10 = {wÎ{a,b}*, tel que w contient la sous chaîne bbb mais pas la sous chaîne aaa}
Exercice 4
1)
a - ER1 = e | a | b | ab
b
a 2 3
b
4
ISG, Année Universitaire : 2012/2013
Théorie des Langages et des Automates : (2ème année IAG, semestre 4)
Cours : Mme Lamia EL ABED JILANI et Mme Kaothar NOUIRA FERCHICHI - TD : M Badr MEFTAHI
b - ER2 = bbb*
b
b b
1 2 3
c - ER3 = a*ba*ba*ba*
a a a a
b b b
1 2 3 4
d - ER5 = (b*(ab*a)*b*)*
b b b
a a
1 2 3
Ou encore
b
b b
a a
1 2 3
ε
ISG, Année Universitaire : 2012/2013
Théorie des Langages et des Automates : (2ème année IAG, semestre 4)
Cours : Mme Lamia EL ABED JILANI et Mme Kaothar NOUIRA FERCHICHI - TD : M Badr MEFTAHI
2)a- b
a 2 3
a,b a,b
1 a ,b ,b
b
4 M
a,b
,b
b
b- b
2 3
b
1 a
a
a
M
a,b
,b
c-
a a a a
b b b
1 2 3 4
ISG, Année Universitaire : 2012/2013
Théorie des Langages et des Automates : (2ème année IAG, semestre 4)
Cours : Mme Lamia EL ABED JILANI et Mme Kaothar NOUIRA FERCHICHI - TD : M Badr MEFTAHI
a,b
,b