Exercice : Minimisation et dénombrement

On considère l'alphabet Σ = {0, 1}

Q1. Donnez un automate déterministe qui reconnaît le langage L formé des mots tels que tout bloc
de trois lettres consécutives contient au moins deux 0.
Exemple : , 01, 010, 0101 ∈ L et 101, 0110 ∈
/L

On construit un automate dont les états représentent les diérents congurations à envisager, de
à 1 1 1 et 0 0 0 en passant par 0 , 0 1 , etc .

Q2. Minimisation Complétez l'automate de la Figure 1, indiquez les états accepteurs et minimisez-
le.

[ | | ]:1

[0| | ]:2

[0|0| ]:4 1

0 1

[0|0|0]:6 1

[0|0|1]:7 [0|1| ]:5 [1| | ]:3

0 0 0 0 1 1 1

1 [0|1|0]:8 [1|0| ]:14 [0|1|1]:9

0 0 [1|1| ]:15 1

[1|0|0]:10 0 0 [1|1|1]:13

1 1 0

[1|1|0]:12

1 0

[1|0|1]:11 X

Fig. 1  Automate de la question

1
 [ | | ]:1 [ | | ]:1

0 0

[0| | ]:2 [0| | ]:2

0 0

[0|0| ]:4 1 [0|0| ]:4 1

0 1 0 1

[0|0|0]:6 0 1 [0|0|0]:6 0 1

1 1

[0|0|1]:7 [0|1| ]:5 [1| | ]:3 [0|0|1]:7 [0|1| ]:5 [1| | ]:3

0 0 0 0 1 1 1 0 0 0 0 1 1 1

1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9 1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9

0 0 1 1 0 0 1 1

[1|0|0]:10 0 0 [1|1|1]:13 1 [1|0|0]:10 0 0 [1|1|1]:13 1

1 1 0 1 1 0

[1|1|0]:12 [1|1|0]:12

1 1

[1|0|1]:11 0 [1|0|1]:11 0

0 1 0 1

X 0,1 X 0,1

[ | | ]:1 [ | | ]:1

0 0

[0| | ]:2 [0| | ]:2

0 0

[0|0| ]:4 1 [0|0| ]:4 1

0 1 0 1

[0|0|0]:6 0 1 [0|0|0]:6 0 1

1 1

[0|0|1]:7 [0|1| ]:5 [1| | ]:3 [0|0|1]:7 [0|1| ]:5 [1| | ]:3

0 0 0 0 1 1 1 0 0 0 0 1 1 1

1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9 1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9

0 0 1 1 0 0 1 1

[1|0|0]:10 0 0 [1|1|1]:13 1 [1|0|0]:10 0 0 [1|1|1]:13 1

1 1 0 1 1 0

[1|1|0]:12 [1|1|0]:12

1 1

[1|0|1]:11 0 [1|0|1]:11 0

0 1 0 1

X 0,1 X 0,1

Fig. 2  Étapes de la minimisation

2
 [ | | ]:1 [ | | ]:1

0 0

[0| | ]:2 [0| | ]:2

0 0

[0|0| ]:4 1 [0|0| ]:4 1

0 1 0 1

[0|0|0]:6 0 1 [0|0|0]:6 0 1

1 1

[0|0|1]:7 [0|1| ]:5 [1| | ]:3 [0|0|1]:7 [0|1| ]:5 [1| | ]:3

0 0 0 0 1 1 1 0 0 0 0 1 1 1

1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9 1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9

0 0 1 1 0 0 1 1

[1|0|0]:10 0 0 [1|1|1]:13 1 [1|0|0]:10 0 0 [1|1|1]:13 1

1 1 0 1 1 0

[1|1|0]:12 [1|1|0]:12

1 1

[1|0|1]:11 0 [1|0|1]:11 0

0 1 0 1

X 0,1 X 0,1

[ | | ]:1
[ | | ]:1
0
0
[0| | ]:2
2
0
[0| | ]:2

[0|0| ]:4 1
1 0

0 1
[0|0| ]:4 [1|0|0]:10 1

[0|0|0]:6 0 1
0 0 1 1

1
5
[0|0|1]:7 [0|1| ]:5 [1| | ]:3 1
[1| | ]:3 [0|0|0]:6 [0|0|1]:7 [0|1| ]:5 0 0

0 0 0 0 1 1 1
1 0 1 0 0

1 [0|1|0]:8 [1|0| ]:14 [1|1| ]:15 [0|1|1]:9

X 8
0 0 1 1
1 [0|1|1]:9 [1|0| ]:14 [0|1|0]:8

[1|0|0]:10 0 0 [1|1|1]:13 1
1

1 1 0
[1|1| ]:15 0 [1|1|1]:13
[1|1|0]:12
0 0 1 1
1
[1|1|0]:12
[1|0|1]:11 0
0 1
0 1
X 0,1 [1|0|1]:11
X 0,1

Fig. 3  Étapes de la minimisation (suite et n)

3
Q3. Dénombrement

Donnez un automate qui reconnaît le langage L des mots qui se terminent par 010 et comptez le
nombre de mots de L de longueur 10. Expliquez votre méthode.

Q4. Généralisation

Donnez une méthode générale qui permet de compter le nombre de mot de longueur n reconnu par un
automate A.