FACULTE DES SCIENCES

DEPARTEMENT D’INFORMATIQUE MODULE THEORIE DES

LANGAGES

Epreuve de Moyenne Durée

Durée : 01h 30min

Exercice 01: (03 Pts)

1)Soit le mot x = ((acbc)r.baca)r

a. Donner la chaîne de caractères du mot x.
b. Quelle est la valeur de |x|
c. Donner un Facteur gauche propre de x contenant au moins deux lettres ‘c’.
d. Donner un Facteur droit propre de x contenant une seule lettre ‘a’.

2) Soit w un mot quelconque de {a, b, c}*.

a. Montrer que : si w s’écrit comme w = u.ur alors w = wr
b. La réciproque est-elle vraie ? Justifier.
c. Trouver une grammaire, qui génère tous les mots palindromes de {a, b, c}*.
d. Quel est son type?

Exercice 02: (04 Pts)

Réduire l’AEF A défini par le graphe ci-dessous et vérifier si les mots a3ba et a2ba2 sont reconnus par A.

A : a
b
a S2
S0
S1
a
b a
b a
S3 b
a

a S4

b
Exercice 03: (07 Pts)

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

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

 En déduire la K-grammaire G tel que L=L(G).

2) Soit L = a* (ab) * b+
 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 A déterministe à partir de G' tel que L(A)=L(G').
Exercice 04 : (06 Pts)

1) Soit la grammaire G <T, N, S, P> où T={a, b} ; N ={S, A, B} et

P={ S Sa / AbB /  

A aA / 
AbB / b }

Mettre G sous FNG.

2) Soit L= { an cp bm avec m ≥ n , n ≥ 0 et p > 0 }

Construire l’automate à pile mémoire déterministe A qui permet de reconnaitre le langage L.