Vous êtes sur la page 1sur 2

TD Automates, langages et applications Exercices Corriges TD 5 1

Automates, Langages et Applications - TD 5


1 Lemme de pompage
Exercice 1 Les langages suivants sont-ils reguliers?
L
1
= {0
2n
/n 1}
L
2
= {0
2
n
/n 1}
L
3
= {0
n
1
n
/n 1}
L
4
(n) = {x {0, 1}

/n
0
(x) n
1
(x) [n]} o` u n
0
(x) (resp. n
1
(x)) est egal au nombre de 0 (resp.
de 1) dans lecriture de x.
L
5
= {x {0, 1}

/x na pas 3 zeros consecutifs}


L
6
= {0
n
/n premier}
Corrig e :
1. L
1
= 00(00)

. Cest donc un langage regulier.


2. Supposons que L
2
soit regulier. Soit n 1. Alors, le lemme de pompage nous dit que, comme
z = 0
2
n
L
2
et 2
n
> n, on peut ecrire z = uvw avec |v| n tel que z

= uv
2
w L
2
. Or
|z

| = |uv
2
w| 2
n
+ n. Mais 2
n
+ n < 2
n+1
donc on ne peut pas avoir z

L
2
. Cest une
contradiction, donc L
2
nest pas regulier.
3. Supposons que L
3
soit regulier. Soit n 1. On applique le lemme de pompage avec z = 0
n
1
n
.
Donc z = uvw et z

= uv
2
w doit etre dans L
3
. Donc v a autant de 0 que de 1 ; mais alors
v
2
= 0
i
1
i
0
i
1
i
et z

ne pourrait pas etre dans L


3
, sauf si i = 0, ce qui est impossible. Cest donc
une contradiction et L
3
nest pas regulier.
4. Soit n > 0, L
4
est reconnu par lautomate suivant o` u chaque etat represente n
0
(x)n
1
(x) mod n.
\ __ ` _
0
+3
0

`
1

\ __
1
0

1
.
\ __
2
1
.
0

1
.
. . .
0

'` __
n 2
1
.
0

'` __
n 1
1
.
_
0

5. L
5
est regulier car reconnu par lautomate :
\ __ ` _
0
+3
0

\ __ ` _
1
0

1
.
\ __ ` _
2
1

6. Supposons que L
6
soit regulier et soit n 1. Prenons un mot z = 0
p
avec |z| > n et p premier
(il existe une innite de nombres premiers, donc on peut toujours trouver un tel p). On applique
le lemme de pompage, donc z = uvw avec 1 |v| n.
Soit z

= uv
p+1
w. |z

| = |u| + (p + 1)|v| + |w| = p + |v|p. |z

| est donc un multiple de p et


nest pas premier. z

ne peut donc pas appartenir `a L


6
, ce qui est une contradiction. L
6
nest
donc pas regulier.
Exercice 2 On denit linverse dune chane w = a
1
a
2
...a
n
comme etant la chane ecrite `a lenvers,
cest-`a-dire a
n
a
n1
...a
1
, que lon notera w
R
.
1. Soit un langage regulier L reconnu par un automate M. Donner une methode permettant de
construire `a partir de M un automate M

reconnaissant L
R
.
Universite Paris-Dauphine M1 Master MIAGE&D - 2009/2010 B, Escoer, E. Lazard
2 Exercices Corriges TD 5 TD Automates, langages et applications
2. Les palindromes sont les mots qui se lisent de la meme mani`ere `a lendroit et `a lenvers (quel
est le plus long que vous connaissiez?). Autrement dit, les mots tels que w = w
R
. Montrer que
le langage des palindromes nest pas regulier.
Corrig e :
1. La reponse immediate est evidemment que pour construire M

, il sut dinverser toutes les


transitions ainsi que etat de depart et etat nal... sauf quun automate peut avoir plusieurs etats
naux ! Il faut donc rajouter un etat supplementaire qui sera le nouvel etat de depart et do` u
partent des -transitions vers tous les etats naux de M. Ces anciens etats naux ne le sont bien
s ur plus ; il ny a quun etat nal, letat de depart de M.
Voici M :
...

... '` __ \ __
f
1
\ __
0
+3


















?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
...
...

... '` __ \ __
f
2
Et voici M

:
... ...
,















'` __
f
1

\ __ ` _
0

... \ __
q
ks

?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?

, 















... ...
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
'` __
f
2

2. (( elu par cette crapule )), ((



Esope reste ici et se repose )), (( Et la marine va venir `a Malte )), ou
(( engage le jeu que je le gagne )) sont des palindromes classiques.
Supposons que L soit regulier (sur lalphabet {0, 1} pour simplier). Soit n 1. On applique
le lemme de pompage avec z = 0
n
10
n
. z est bien un palindrome, donc est dans L. On peut donc
decomposer z = uvw avec |uv| n et |v| 1. Dapr`es le lemme, z

= uv
2
w doit etre dans L.
Mais comme |uv| n, aussi bien u que v sont composes uniquement de 0. On peut alors ecrire
z

= 0
n
0
|v|
10
n
et comme |v| 1, z

nest pas un palindrome. Cest donc une contradiction et L


nest pas regulier.
Universite Paris-Dauphine M1 Master MIAGE&D - 2009/2010 B, Escoer, E. Lazard