UNIVERSITE CHEIKH ANTA DIOP DE DAKAR

ECOLE SUPERIEUR POLYTECHNIQUE

DEPARTEMENT GENIE INFORMATIQUE

TRAVAUX PRATIQUES N°3 LES AUTOMATES FINIS

PRENOM :PEINDA

NOM : FALL

NIVEAU : DIC2 INFORMATIQUE

PROF : M. BA

ANNEE SCOLAIRE : 2019/2020

Peinda FALL DIC2

 Exercice 1

1.
• l’automate est déterministe car chaque symbole a un et un seul arc de sortie
◦ l’alphabet : {a,b}
◦ Q ={0,1,2,3,4}
◦ q0 = {0}
◦ F={3}
◦ tableau de transition
a b
→0 1 2
1 4 2
2 3 2
*3 4 -
4 - 3

• l’automate est déterministe car chaque symbole a un et un seul arc de sortie

◦ l’alphabet : {a,b,c,d}
◦ Q ={0,1,2,3,4}
◦ q0 = {0}
◦ F={4}
◦ tableau de transition
a b c d
→0 1 2 1 -
1 - 3 - -
2 - 3 - -
3 4 - 2 2
*4 - - - -

• l’automate n’est pas déterministe car on peut partir de l’état 1 lire « a » et aller vers l’état 2
ou rester à l’état 1.
◦ l’alphabet : {a,b,c,d}
◦ Q ={0,1,2,3}
◦ q0 = {0}
◦ F={2,3}
◦ tableau de transition
a b c d £
→0 - {1} - - -
1 {1,2} {2} {0} - -
2 {3} {3,1} {2} - -
*3 - - - {0} -
2.
•
◦ l’alphabet : {a,b,c}
◦ Q ={0,1,2,3,4}
◦ q0 = {0}
◦ F={4}
◦ dessin de l’automate
figure 1
•
◦ l’alphabet : {a,b,c},d
◦ Q ={0,1,2,3}
◦ q0 = {0}
◦ F={1,2}
◦ dessin de l’automate
figure 2
• les etats atteints :
◦
▪ b : etat 4
▪ ab : etat 2
▪ baaa : etat 4
▪ baab : etat 4
▪ ccb : etat 1
▪ bcbbca : etat 0
◦
▪ b : etats 0 ou 1 ou 2
▪ ab : etats 0 ou 1 ou 2
▪ baaa : etats 0 ou 2
▪ baab : etats 0
▪ ccb : etats 0 ou 3
▪ bcbbca : etats 0 ou 2

exercice 2
1.
• possibilites soit l’automate accepte le mot soit il le rejette.

2. aabb
• l’automate 1 n’accepte pas « aabb »
• l’automate 2 accepte aabb
3.
• l’automate 1 n’accepte pas epsilone
• l’automate 2 n’accepte pas epsilone
4. descriptions formelles des automates :

◦ l’alphabet : {a,b}
◦ Q ={1,2,3}
◦ q0 = {1}
◦ F={2}
◦ tableau de transition
a b
→1 2 1
*2 3 3
3 2 1

◦ l’alphabet : {a,b}
◦ Q ={1,2,3,4}
◦ q0 = {1}
◦ F={1,4}
◦ tableau de transition
a b
→1 1 2
*2 3 4
3 2 1
*4 3 4

Exercice 3

Σ={a}
1. tableau de transition
a £
→1 {2,4} -
*2 {3} -
3 {2} -
*4 {5} -
5 {6} -
6 {4} -
l’ensemble des mots consituant exactement de a ou £.

2. les etapes de l’algo testant si oui ou non si les mots suivants appartiennent à l’automate
• aaaa
◦ (1,aaaa)
◦ (4,aaa)
◦ (5,aa)
◦ (6,a)
◦ (4,£)
 • aaaaa
◦ (1,aaaaa)
◦ (2,aaaa)
◦ (3,aaa)
◦ (2,aa)
◦ (3,a)
◦ (2,£)

3. l’automate
• n’accepte pas 10100
• accepte 10101
• accepte 1100101

figure 1  :

figure 2  :