Année universitaire : 2022-2023

Théories des langages et automates Niveau : 2ième année SI

Enseignant : Manel BEN SALEM

TD 2 : Automates à états finis

Exercice 1 :

Représenter sous forme de graphe les automates finis déterministes permettant de décrire
les langages suivants sur l’alphabet {a, b} :

1) Le langage des mots contenant au moins une fois la lettre a.

2) Le langage des mots contenant au plus une fois la lettre a.
3) Le langage des mots contenant un nombre pair de fois la lettre a.
4) Le langage des mots admettant aba pour facteur.

Exercice 2 :

Soit Σ = {0, 1}. Donner un automate fini déterministe qui reconnaît les langages :

1) L1 = {u ∈ Σ∗ : toute occurrence de 1 est suivie de deux occurrences de 0}

2) L2 = {u ∈ Σ∗ : u ne contient pas deux occurrences de 0 successives}
3) L3 = {u ∈ Σ∗ : le nombre d’occurrence de 1 est pair}

Exercice 3 :

Donner un automate fini pour chacune des expressions régulières suivantes :

1) (a|b)∗c ;
2) a∗(ε|bb)a|ε

Exercice 4 :

Soit A l’AEFND défini par ({0, 1, 2, 3, 4, 5}, {a, b}, 0, ∆, {4}) où les relations de transitions
sont définies par la table suivante :

1) Déterminiser A et représenter l’automate obtenu.

2) Minimiser l’AEFD obtenu.

1
Exercice 5 :

Déterminiser l’automate suivant.

Exercice 6 :

Minimiser l’automate suivant.

Exercice 7 :

Donner l’expression régulière correspondante à l’automate suivant.

2
3