Département Génie Logiciel Matière : Théorie des Langages et

et Systèmes d’Information Automates

GLSI Niveau : 2ième année LFSI
Semestre : 1
Année Universitaire : 2019-2020 Date : Lundi 28 octobre 2019

Devoir Surveillé

Soit l’automate suivant défini sur l’alphabet avec

est l’ensemble des états ; 0 est l’état initial ; est l’ensemble des états finaux
et est la fonction de transition :

1. Donner une expression régulière définissant le langage reconnu par . Décrivez ce

langage en une phrase.
ER : (a|b)*(aa|bb)(a|b)*
Les mots appartenant à {a,b}* ayant la sous chaine aa ou bb en facteur.
2. Donner un automate équivalent à qui soit déterministe.
Déjà vu en TD

a 1 a

a a,b
0 b 3

b 2
b

Bon travail
3. Soit le langage fini donné par .
a. Donner l'expression régulière relative au langage
ER : (ba|baa|aba|aaa)
b. Donner un automate à états fini déterministe qui reconnait .

a a
b
1 2 5

0 a,b a
a 3 4

4. Donner l'expression régulière relative au langage et dessiner son

automate fini .
ER : (a|b)*. (ba|baa|aba|aaa)

a a
b
a,b 1 2 5

0 a,b a
a 3 4

5. Donner l'expression régulière relative au langage et dessiner son

automate fini .
car
=

6. Décrivez le langage qui est le complémentaire de en une phrase.

Les mots appartenant à {a,b}* qui n’ont pas ba ou baa ou aba ou aaa comme suffixe.
7. Donner trois mots , et appartenant au langage complémentaire de .
W1= a
W2=ab
W3=aab

Bon travail
8. Soit le langage défini sur l’alphabet Σ = {a, b} et composé de tous les mots de
longueur au moins 2 commençant et se terminant par la même lettre.
a. Donner une expression régulière définissant ce langage.
ER : (a.(a|b)*.a)|(b.(a|b)*.b)
b. Représenter graphiquement l’automate fini correspondant à ce langage.

:
a,b

a 1 a

0
3

b 2
b
a,b

9. Donner une expression régulière qui réunit et dessiner son

automate fini .

a,b
3

Bon travail