Université Aube Nouvelle Bobo-Dioulasso, IT 2ème année, 2022-2023

TD 2 Automates à Etats Finis

Anfana TRAORE

1. Soit l’automate

 a b c
0 0,1 - 3
1 - 2, 4 -
2 3 - 0,4
3 - - 3
4 - - 1
e0 = 0 et T = {1, 3}

Les mots abc, baabc, aabbcbc et abacab appartiennent-ils au langage reconnu par l’automate ?

2. Donner un automate reconnaissant les langages réguliers décrits par les expressions
régulières :
a. Les mots sur {0, 1} qui contiennent exactement deux 0.
b. Les mots sur {0, 1} qui contiennent au moins deux 0.

3. Construire un automate déterministe pour les langages

a. (01)*011
b. (012)*0

4. Déterminiser l’AFN suivant :

 a b 
0 0,1 0 1,2
1 1,3 2 3
2 - 0 -
3 4 - 0,1
4 1 4 -
e0 = 0 et T = {3}

5. Minimiser l’AFD obtenu au 5.

6. Donner une expression régulière correspondant au langage reconnu par l’AFN suivant :

 a b
0 1,2 -
1 - 2,3
2 1 -
3 3 2
e0 = 0 et T = {3}
 Université Aube Nouvelle Bobo-Dioulasso, IT 2ème année, 2022-2023

7. Minimiser l’AFD suivant :

 a b c
1 2 3 4
2 1 5 6
3 1 5 6
4 2 6 1
5 4 7 8
6 4 5 3
7 4 5 3
8 9 3 6
9 7 3 9
e0 = 1 et T = {3, 6, 8}