DEVOIR SURVEILLE

Semestre : 1 2

Session : Principale Rattrapage

Module : Théorie des langages et technique de compilation

Enseignant(s) : Ines Channoufi, Moez Hammami, Walid Labben, Olfa Mouelhi, Ramzi Guetari, Fatma
Rhimi
Classe(s) : 3A & 4INFOB
Documents autorisés : OUI NON Nombre de pages : 2
Date : 14/03/2015 Heure: 09h00 Durée : 1h

Exercice 1 : (6PTS)

On considère sur Σ = {a,b} le langage L des mots dont la première lettre et la dernière lettre
sont différentes.

1. Donnez une expression régulière pour décrire L. (1Pts)

2. Dessinez un automate à états fini non déterministe sans ε-transition qui reconnait L.(2.5Pts)

3. Déterminisez l’automate précédent. (2.5Pts)

Exercice 2 : (8PTS)

Soit l’expression régulière suivante sur l’alphabet Σ = {0,1,a,b}:

((a|1)(0b)*)*

1. Donner l’automate à états fini non déterministe (AFN) qui correspond à cette expression
avec l’algorithme de Thompson. (2Pts)

2. Déterminisez le. (3Pts)

3. Donnez l’automate déterministe minimal équivalent en appliquant l’algorithme de

minimisation. (3Pts)
Exercice 3 (6PTS)

1. On considère le langage L = {w ∈ {a, b}* | w contient abba, et la sous-chaîne bb ne figure

pas dans w en dehors de la sous-chaîne abba}

En justifiant vos réponses, indiquez pour chacune des expressions suivantes si elle décrit
effectivement L ou non. (3Pts)

- (ε | b) aa*bba (ba*)*
- (a | ba)* (ε|b) abba (a | ba)* (ε|b)
- (a* | b | (ba)*)abba(a* | b | (ba)*)

2. Donnez les expressions régulières correspondantes aux langages suivants :

- Le langage L = {anbp} avec n et p entiers et au moins l'un des deux impair. (1,5Pts)

- Le langage L1 formé par les mots qui ne contiennent pas 00 avec Σ = {0,1}. (1,5Pts)

Bon Travail