TD2 : Automates à états finis

Exercice 1.1
Construire l’automate fini non-déterministe associé à la table ci-dessous

δ a b
→0 {0,1,3} {2}
1 ∅ {3}
2 {3} ∅
* 3 ∅ {1}

Exercice 1.2
Soit l’automate fini déterministe A (∑, Q, q0, F, δ) avec ∑={0,1} Q= {q0, q1, q2, q3}, F={q0} et

δ 0 1
→*q0 q2 q1
q1 q3 q0
q2 q0 q3
q3 𝑞1 q2
a- Dessiner l’automate
b- Montrer qu’il accepte le mot w= 110101

Exercice 1.3
Construire un automate fini déterministe qui reconnait le langage
a- L1 ={ w ∈{a,b}*/ chaque a de w est immédiatement précédé et immédiatement suivi
d’un b}
b- L2 ={ w ∈{a,b}*/ w contiennent à la fois ab et ab}
c- L3 ={ w ∈{a,b}*/ w contienne exactement aaa}

Exercice 2
On considère deux automates A1 et A2 sur l’alphabet {a,b}

1
 a- Dans quel état se trouve l’automate A1 après lecture des mots a, ab, abb, abba ?
après lecture du mot Ꜫ
b- Lesquels de ces mots sont reconnus par l’automate A1 ?
c- Que se passe-t-il quand on donne le mot aab à lire à l’automate A1 ?
d- Les mots abaab, aabaab, abbbb, bbbaa sont-ils reconnus par l’automate A1
e- Décrire les mots reconnus par A1.
f- Après lecture du mot bbbaa dans quel état se trouve l’automate A2 ?
g- Y-a-t-il des mots que l’automate A2 ne peut lire jusqu’au bout ?
h- S’il n’a lu aucun a dans quel état se trouve l’automate A2 ?
i- Dans quels cas l’automate A2 se trouve-t-il dans l’état 1 ?
j- Dans quelscas arrive-t-il à l’état final2 ? Quels mots reconnait-il ?

Exercice 3
On considère l’automate A= (∑,Q,q0,F, δ)

a- Expliquer ∑, Q, q0, F et δ
b- Donner 4 mots acceptés par A et 4 mots refusés par A
c- Essayer de donner une expression régulière qui dénote cet Automate

Exercice 4
Pour chacune des expressions régulières qui suivent, dessinez un automate reconnaissant le
langage qu’elle dénote :

Exercice 5
1- Soit l’expression régulière r= (a*+bb)ab+
a. Donner l’automate A qui reconnait le langage L(r) en utilisant les
constructions de Thompson
b. Donner l’automate A1 qui reconnait le langage L(r) sans les Ꜫ-transitions

2
2- Soit l’expression régulière r= (ab)*+(ba)*
a. Donner l’automate A qui reconnait le langage L(r) en utilisant les
constructions de Thompson
b. Donner l’automate A1 qui reconnait le langage L(r) sans les Ꜫ-transitions
3- Soit l’expression régulière r= (a*+b*)*
a. Donner l’automate A qui reconnait le langage L(r) en utilisant les
constructions de Thompson
b. Donner l’automate A1 qui reconnait le langage L(r) sans les Ꜫ-transitions
4- Soit l’expression régulière r= (a+b)*a(a+b)
a. Donner l’automate A qui reconnait le langage L(r) en utilisant les
constructions de Thompson
b. Donner l’automate A1 qui reconnait le langage L(r) sans les Ꜫ-transitions