UHBC / FSEI Module : THL

Département Informatique Niveau : L2

Fiche de TD N°3
(Langages et expression régulière)

Exercice 1 :
Déterminer l’automate minimal équivalant à l’AFN A définis par le graphe ci-dessous :

A: a a
b
a S2
S0
S1

b a
a
a/b
a S3

Exercice 2 :
Déterminer l’automate minimal équivaut à l’AFN A définis par le graphe ci-dessous :

a/b

a/b
S0
S1
b
b

a S3
a

S2

Exercice 3 :

Soit L = a*+a* b a+ construire l’automate déterministe B tel que L(B) = L

UHBC / FSEI Module : THL
Département Informatique Niveau : L2

Exercice 4

Soit L= a*b+ +(ab)*b+

 Construire l’automate déterministe A tel que L(A) = L

 Réduire l’automate A
 En déduire la K grammaire G tel que L=L(G)

Exercice 5

1. Soit L = b+ a(ab)* construire l’automate déterministe minimal A tel que L(A)=L

2. Soit L = {an + (ab)n bm avec n ≥ 0 et m 0 }
 Déterminer la grammaire G tel que L(G)=L
 Construire la K grammaire G’ tel que L(G’) = L(G)
 Déterminer l’AEF B déterministe à partir de G’ tel que L(B)=L(G’)
3. soit l’automate A’ définis par le graphe suivant :
a

a
q0
q1

b
b
q2
b

En utilisant les propriétés de fermeture, construire l’automate C tel que L(C)= L(A).L(A’)

Exercice 6

Soit le langage L = {w avec w ∈ {0, 1}* dont le dernier caractère est le bit de parité

1. Déterminer une grammaire régulière à droite G tel que L(G)=L.

2. Déterminer la K-Grammaire G', tel que L(G')=L(G).
3. Construire l'automate d'états fini minimal A, tel que L(A) = L(G').

Nb: Le bit de parité est égal 1 si le nombre de 1 dans w est impair et il est égal à 0 dans le cas où
le nombre de 1 est pair.