Institut Supérieur des Sciences Appliquées et de Technologie de Sousse

DS A. U. : 2022/2023
Niveau : 2ième année SI Date : 14/11/2022
Module : 1302-Théorie des langages et des Automates Durée : 1H15min
Enseignant (e) : Manel Ben Salem Session : principale
Documents Autorisés : Aucun Nombre Total de Pages : 4

Nom : ……………………………………………… CIN : ………………………………………………

Prénom : ………………………………………….. Groupe : ……………………………..……………

Signature surveillant

Exercice 1 (3 points) :
Construire un automate à états finis pour les expressions régulières suivantes :
• (0*10*)*
Note / 20

• (0|(11)*)*

• (0|1)*101(0|1)*

Exercice 2 (4.5 points) :

On considère le langage L des mots sur {0, 1} où les mots contenant n zéros se terminent par 1
et les mots contenant n uns se terminent par 0.
1. Définir formellement L.
…………………………………………………………………………………………………………….....
……………………………………………………………………………………………………………….
……………………………………………………………………………………………………………….
……………………………………………………………………………………………………………….

1/4
 Ne rien écrire ici

2. Définir une grammaire régulière décrivant le langage L.

3. Donner un automate à états finis déterministe pour ce langage.

Exercice 3 (3 points) :
Soit le langage L définit sur {0, 1, 2} contenant le mot 120 au moins une fois. Définir une
grammaire hors-contexte et une grammaire régulière pour ce langage.
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….
……………………………………………………………………………………………….2/4
Exercice 4 (4.5 points) :
Soit l’automate fini A = (K={0, 1, 2, 3, 4, 5}, T={a, b}, I={0}, F={0, 3, 4}) dont la table de
transition est la suivante :
Etat 0 1 2 3 4 5
a 1,2 - - 5 - -
b - 3 4 - - 0

1. Représenter graphiquement cet automate.

2. Construire l’automate D obtenu en déterminisant l’automate A.

Exercice 5 (2 points) :
Donner un AEFD qui reconnait la date d’une année donnée sous la forme JJ/MM.

3/4
Exercice 6 (3 points) :
Quels sont les langages reconnus par les automates suivants :

…………………………………………………………………………………………………………………….
…………………………………………………………………………………………………………………….

…………………………………………………………………………………………………………………….
…………………………………………………………………………………………………………………….

…………………………………………………………………………………………………………………….
…………………………………………………………………………………………………………………….

4/4