Département de Mathématiques

Filière Génie Mathématique et Informatique

Mathématiques Discrètes
EXAMEN

Nom : Sous la direction de :

EL AZZAOUI Mohammad Prof. KABIL Mustapha

Année Universitaire : 2023-2024

 Exercice 3.
Soit A = a, b, c. Donner des automates déterministes complets reconnaissant
les langages suivants :

1. L’ensemble des mots de longueur paire .

a, b, c

start q0 q1

a, b, c

2. L’ensemble des mots où le nombre d’occurrences de ’b’ est divisible par 3
.

a,c a,c a,c

q0 b q1 b q2
start

3. l’ensemble des mots se terminant par ”b”.

a,c b
b
start q0 q1
a,c

4. L’ensemble des mots ne se terminant par ”b”.

a, c b
b
start q0 q1
a, c
 5. L’ensemble des mots non vides ne se terminant pas ”b”.

a, b a, c b
c b
start q0 q1 q2

a,c

6. L’ensemble des mots contenant au moins un ”b”.

a, c a, b, c
b
start q0 q1

7. L’ensemble des mots contenant au plus un ”b”.

a, c a, c a, b, c

q0 b q1 b q2
start

8. l’ensemble des mots contenant exactement un ”b”.

a, c a, c a, b, c

q0 b q1 b q2
start

9. l’ensemble des mots ne contenant aucun ”b” .

a, c a, b, c
b
start q0 q1

FSTM-2023-2024 2 GMI-S5
 10. L’ensemble des mots contenant au moins un ”a” et dont la premiére
occurence de ”a” n’est pas suivie par un ”c”.

b,c c a,b,c
b
q0 a q1 q2
start

a
b

q3

a,c

11. L’ensemble des mots comportant au moins 3 lettres et dont la troisiéme

lettre à partir de la fin est un ”a” ou un ”c”.

a, b a, b a, b

q0 c q1 c q2 c q3
start

a, b, c

Fin ...

FSTM-2023-2024 3 GMI-S5