Vous êtes sur la page 1sur 22

TD 1 : mots et langages

Dans les exercices suivants, est toujours un alphabet ; cest `a vous de


decider si X ou Y sont des alphabets ou des langages.
Des exercices tr`es simples
Exercice 1
Donner tous les elements de {a, b}

de longueur inferieure ou egale `a 2.


Exercice 2
Soit m = acba. Donner tous ses
facteurs
prexes
suxes
sous-mots.
Exercice 3
Soit m = aba. Donner toutes les factorisations de m en deux facteurs quel-
conques
Exercice 4
Soit m = abab. Donner toutes les factorisations de m en trois facteurs non vides.
Comprehension intuitive de

et de
+
Exercice 5
Donner tous les mots de longueur inferieure ou egale `a trois de {a, b}

.
Quel ordre de classement avez vous adopte ?
Combien y a-t-il de mots de {a, b, c}

de longueur 10 ?
Exercice 6
que valent (on ne demande pas de demonstration)
1

?
+
?
{}

? {}
+
?
Exercice 7
Sous quelles conditions a-t-on (on ne demande pas de demonstration)
X

= X
+
{} ?
X
+
= XX

?
X
+
= X

{} ?
Formules algebriques sur les langages
Exercice 8
Prouver que pour tout langage L non vide : L L L
2
Exercice 9
Soit un alphabet et A

. Montrer que (A

) ( A).
Exercice 10
1. Prouver (XY )

X = X(Y X)

.
2. Prouver (XY )

= {} X(Y X)

Y .
Exercice 11
1. Prouver (X

)
2
X

2. Prouver X

= X

.
Exercice 12
Pour tout mot m, on note Prefs(m) lensemble des prexes de m et si L
est un langage on appelle Prefs(L) =
mL
Prefs(m).
1. Que vaut Prefs(L) quand L est un langage inni sur un alphabet `a une
lettre ? (par exemple, tous les mots composes dun nombre premier de a).
2. A-t-on
. L
1
, L
2
tels que L
1
= et L
2
= : Prefs(L
1
)Prefs(L
2
) =
Prefs(L
1
) Prefs(L
2
) ?
. Prefs(L
1
)Prefs(L
2
) = Prefs(L
1
L
2
) ?
Prouvez ces resultats ou donnez un contre exemple. Indiquer si lon peut
remplacer legalite par une inclusion.
2
Langages fermes pour la concatenation ; mots pre-
miers ; diagrammes
Exercice 13
On consid`ere les cinq langages suivants sur le meme alphabet = {a, b} :
L
1
= {m

|m|
a
= |m|
b
+ 1}
L
2
= {m

|m|
a
|m|
b
}
D
1
= {m

| |m|
a
= |m|
b
et i [1 . . . |m| 1] : |m[1 . . . i]|
a
>
|m[1 . . . i]|
b
}
D
2
= {m

| |m|
a
= |m|
b
et i [1 . . . |m| 1] : |m[1 . . . i]|
a

|m[1 . . . i]|
b
}
L
L
= {m

| |m|
b
= |m|
a
+ 1 et i [1 . . . |m| 1] : |m|
a
|m|
b
}
On demande pour chacun de ces langages sil est ferme pour la concatenation
et le cas echeant quels sont ses mots premiers ? que peut-on dire du dessin dun
mot de chacun de ces langages ?
Exercice 14
Montrer sur des dessins que pour tout mot m L
L
1
:
m = b m
1
, m
2
L
L
tels que m = am
1
m
2
Prouver formellement le meme resultat.
Etude combinatoire ne sur les mots et demonstration
par recurrence
Exercice 15
Prouver le l`eme de Levi, `a savoir que x, y, z, t A

: xy = zt u A

tel que

x = zu et uy = t
ou
xu = z et y = ut
Code
Exercice 16
Soit = {a, b} et F = {aa, ab, ba, bb}. F est-il un code ? F

est-il egal `a

?
1. tel quil est deni dans lavant dernier exercice.
3
TD 2 : Grammaires
Application de la denition des grammaires
Exercice 1
On denit les grammaires suivantes :
1. G
D
=< {a, b}, {S}, {S aSb, S }, S >
2. G
De
1
=< {a, b}, {S}, {S aSb | SS | }, S >
3. G
De
2
=< {a, b}, {S}, {S aSbS | }, S >
4. G
L1
=< {a, b}, {S}, {S aSS | b}, S >
5. G
L2
=< {a, b}, {S}, {S SSa | b}, S >
On donne dautre part les mots suivants :
m
1
= aabb, m
2
= aaabbb, m
3
= aaabbbb, m
4
= aabbab, m
5
= bbaabbbaaabaa
Indiquez quels mots sont generes par quelles grammaires. Donnez les chaines
de derivation correspondantes.
Exercice 2
On denit les grammaires suivantes :
G
D
=< {a, b}, {S}, {S aSb, S }, S >
G
4
=< {a, b}, {S, T, U, V },
{S aT | aU |aV | , T aU |aV | , U aV | , V bV | }, S >
Quels sont les mots generes `a la fois par G
D
et G
3
? Donnez les chaines de
derivation correspondantes pour chacune des deux grammaires.
Exercice 3
Soit la grammaire G =< {a, b}, {S}, S, {S aaS | b} >
Decrire en fran cais le langage genere par cette grammaire.
Lemme fondamental
Exercice 4
4
Soit la grammaire G
L
=< {a, b}, {S}, {S aSS | b}, S >
et soit la chane de derivation
S aSS . . . aaabbbabb
Trouver deux (chaines de) derivations S m
1
et S m
2
telles que
am
1
m
2
= aaabbbabb.
Pourquoi le lemme fondamental nous garantit-il lexistence de ces deux derivations ?
Exercice 5
Soit la grammaire G
D
=< {a, b}, {S}, {S aSbS | }, S >
et soit la chane de derivation
S aSbS . . . aaabbbab
Trouver deux (chaines de) derivations S m
1
et S m
2
telles que
m
1
m
2
= aaabbbab.
Le lemme fondamental nous garantit-il lexistence de ces deux derivations ?
Appliquez correctement le lemme.
Exercice 6
Soit une grammaire daxiome S sur un alphabet terminal T et un alphabet non
terminal N.
On consid`ere lapplication L
G
() de (T N)

dans P((T N)

) denie par
L
G
(u) = {v (T N)

| u

v}. Remarquons que L
G
L
G
(S)
Montrer que L
G
(u
1
u
2
) = L
G
(u
1
)L
G
(u
2
)
Exercice 7
Montrer la version suivante du lemme fondamental :
si u
1
u
2
. . . u
p
k
v alors v = v
1
v
2
. . . v
p
avec i [1 . . . p] u
i
ki
v
i
et k =
p
i=1
k
i
Exercice 8
Demontrer cette autre version :
si u = w
0
S
i1
w
1
S
i2
w
2
. . . S
in
w
n

v avec
w
0
T

, j [1 . . . n] : w
j
T

, S
ij
N
alors v = w
0
m
1
w
1
m
2
w
2
. . . m
n
w
n
avec j [1 . . . n] : m
j


L
G
(S
ij
).
Arbre de derivations
Exercice 9
Soit la grammaire D

=< {a, b}, {S

}, S

, {S

aS

bS

| } >.
Dessiner les arbres de derivation de aabbab et de aabbabab.
Prouver que L
D
est ferme pour la concatenation.
5
Exercice 10
Soit la grammaire D =< {a, b}, {S}, S, {S aSS | b} >.
Dessiner les arbres de derivation de aab, de aaabaab et de aaaabaabaab.
Preuve de propriete des mots de langage algebrique
Exercice 11
Soit la grammaire (dite de Lukasiewicz) L
L
=< , {S}, S, {S aSS | b} >.
1. Dessiner larbre de derivation de aaabbbabb.
2. Prouver que quel que soit m L
L
on a la propriete
|m|
b
= |m|
a
+ 1 et i [1 . . . |m| 1] : |m[1 . . . i]|
a
|m[1 . . . i]|
b
.
3. montrer que {m

| (m) } = L
L
Exercice 12
Soit la grammaire (de Dyck) D =< , {S}, S, {S aSb | SS | } >.
1. Dessiner larbre de derivation de aabbab.
2. Prouver que quel que soit m L
D
on a
|m|
b
= |m|
a
et i [1 . . . |m| 1] : |m[1 . . . i]|
a
|m[1 . . . i]|
b
.
3. Soit le langage L

= {m {a, b}

| (m) } avec (m) :


|m|
b
= |m|
a
et i [1 . . . |m| 1] : |m[1 . . . i]|
a
|m[1 . . . i]|
b
.
Montrer que L

= L
D
.
4. quel est le rapport entre le langage de Dyck (L
D
) et celui de Lukasiewicz
(L
L
) ?
Exercice 13
Fabriquer la grammaire qui engendre lensemble des palindromes sur .
Prouver votre resultat.
Exercice 14
Soit la grammaire D

=< , {S

}, S

, {S

aS

bS

| } >.
En utilisant le fait que L
D
est ferme pour la concatenation, prouver que
L
D
= L
D
, D etant la grammaire de Dyck vue deux exercices au dessus.
Exercice 15
Soit la grammaire H =< , {T}, T, {T aTb | bTa | TT | } >.
Prouver que L
H
{m

| |m|
a
= |m|
b
}.
Exercice 16
Soit la grammaire G =< , {S, T, U}, S, R >, o` u R est lensemble suivant
de r`egles : { S aU | bUUU, T aTb | bTa | TT | , U aT | bS}.
Prouver que tout mot de L
G
a deux a de plus que de b.
6
Ambig uite
Exercice 17
Soit la grammaire daxiome S dont les r`egles de production sont
{S SOS | 9, O + | }.
Montrer sur un mot le plus court possible que cette grammaire est ambig ue.
Exercice 18
Soit la grammaire daxiome S dont les r`egles de production sont
{S si T alors S sinon S | si T alors S | a :=0 | a :=1 }.
Montrer sur un mot le plus court possible que cette grammaire est ambigue.
Comment a-t-on resolu ce probl`eme dans les langages de programmation?
Non ambig uite.
Exercice 19
Soit la grammaire G =< = {a, b, c, d}, N = {S, T, U}, S, R >, o` u R
est lensemble suivant de r`egles : {S aS | T, T Tb | U, U cSc | d }.
1. Montrer que d a une et une seule occurrence dans tout mot de L
G
2. Montrer que G nest pas ambigue, cest `a dire quun mot m L
G
a une
seule derivation
7
TD 3 : construction
Constructions simples dautomates deterministes
Exercice 1
Construisez un automate deterministe qui accepte les mots sur {a}

qui ont
un nombre pair de a. Justiez que tous les mots acceptes verient la propriete.
Exercice 2
Construisez un automate deterministe qui accepte les mots sur {a, b}

qui
ont un nombre pair de a. Justiez que tous les mots acceptes verient la pro-
priete.
Exercice 3
Construisez un automate deterministe qui accepte les mots sur {a}

qui
ont un nombre de a congru `a 3 modulo 5. Justiez que tous les mots acceptes
verient la propriete.
Exercice 4
Construisez un automate deterministe qui accepte les mots sur {a, b}

qui
ont un nombre de a congru `a 3 modulo 5. Justiez que tous les mots acceptes
verient la propriete.
Exercice 5
Construisez un automate deterministe qui accepte les mots sur {a, b}

qui
ont un nombre pair de a et un nombre impair de b. Justiez que tous les mots
acceptes verient la propriete.
Exercice 6
Dessinez un automate deterministe qui accepte les mots sur {a, b}

qui
contiennent au moins un facteur aaa suivi ulterieurement dun facteur bbb (tel
ababaaaabababbbbbba). Justiez que tous les mots acceptes verient la propriete.
8
Automates deterministes : theorie
Exercice 7
Demontrer pour un automate deterministe non complet le theor`eme :
si

(e, m) nest pas deni alors

(e, m) nest pas deni,


sinon

(e, m) = (

(e, m), ).
Exercice 8
Soit un automate deterministe complet A = (, E, i, F, ), comment
denir lautomate A

qui reconnat le langage complementaire de L(A) sur

?
Prouvez votre resultat.
En deduire comment trouver lautomate correspondant au langage complementaire
dun langage reconnu par un automate deterministe quelconque donne.
Construction dautomates indeterministes
Exercice 9
Dessinez un automate indeterministe qui accepte les mots sur {a, b, c}

qui
contiennent au moins un facteur aa ou un facteur bb suivi ulterieurement dun
facteur cc (tel aababaccab ou abbcabcca). Justiez que tous les mots acceptes
verient la propriete.
Exercice 10
Construisez un automate qui accepte les mots sur {a, b}

dont au moins un
facteur de longueur 4 ne contient pas deux fois la lettre a.
En deduire que le langage des mots sur {a, b}

dont tout facteur de longueur 4


contient au moins deux fois la lettre a est un langage rationnel.
Exercice 11
Construisez un automate indeterministe complet `a cinq etats qui accepte les
mots sur {a, b}

qui au moins un facteur aaaa


Exercice 12
Construisez un automate indeterministe complet `a cinq etats qui accepte les
mots sur {a, b}

qui au moins un facteur abab


Automates indeterministes : theorie
Exercice 13
Soit un automate sans -transition A = (, E, I, F, ). Denir recursivement
la fonction

de P(E)

P(E) qui `a tout ensemble detats Y et tout


9
mot m fait correspondre lensemble des etats que lon peut atteindre grace au
mot m en partant de lun (au moins) des etats de Y .
Exercice 14
Prouver quun automate non complet A et lautomate complete A
C
(tel que
cela a ete vu en cours) reconnaissent le meme langage (que A soit deterministe
ou indeterministe).
Exercice 15
Soit lautomate de la gure 1 Quelle est la plus petite valeur de n telle que
a
1
3
2
a
a
a
a
a
Figure 1 fonction de transition iteree sur un automate indeterministe
i {1, 2, 3} :

(i, a
n
) = {1, 2, 3} ?
plus generalement, en posant = {a} et pour p IN : E = {e
1
, e
2
, . . . , e
p
} et
pour la fonction de transition telle que i [1 . . . p] : (e
i
, a) = {e
i+1
, e
i+2
}
et (e
p1
, a) = {e
p
, e
1
} et (e
p
, a) = {e
1
, e
2
} `a partir de quelle valeur de n
a-t-on i [1 . . . p] :

(e
i
, a
n
) = E ?
On ne demande pas de preuve, seulement une justication.
10
Exercice 16
Soit lautomate de la gure 2 Quelle est la plus petite valeur de n telle que
tiquetes "a"
Que des transitions
Figure 2 fonction de transition iteree sur un automate indeterministe
e E :

(e, a
n
) = E ?
Exercice 17
Prouver le theor`eme

(E

, m) =

(E

, m), )
Exercice 18
Soit deux entiers, n quelconque et pair, et un automate indeterministe
complet sans -transition A = ( = {a, b}, E, I, F, ) tel que |E| = n et
, e E : |(e, )| = n.
Par exemple, = 2, E = {1, 2, 3, 4}, = {a, b}
(1, a) = {1, 2} (1, b) = {3, 4} (2, a) = {1, 3} (2, b) = {2, 4}
(3, a) = {1, 4} (3, b) = {2, 3} (4, a) = {2, 3} (4, b) = {1, 3 }
Pour calculer

(1, ab) combien de fois devez vous regarder la table de la fonction


? et pour calculer

(2, aba) ?

(3, abab) ?
Dans le cas general, donner une borne superieure de la complexite du calcul de

(e, m) en fonction de n et de |m| (pour simplier, on supposera tr`es grand).


11
TD4 -transitions
Utilisation
Exercice 1
Dessiner un automate indeterministe sans -transition, boucle ni circuit le
plus petit possible qui aie 3 chemins de meme origine et de trace aaa.
Quel est le plus petit automate avec -transition sans boucle ni circuit qui aie 3
chemins de meme origine et de trace aaa ?
Exercice 2
Soit un automate indeterministe A = (, E, I, F, ). Denir lautomate
standard qui reconnat le meme langage. Prouvez votre resultat.
Exercice 3
Soient deux automates indeterministe A
1
= (, E
1
, I
1
, F
1
,
1
) et A
2
=
(, E
2
, I
2
, F
2
,
2
) (avec E
1
E
2
= ). Denir formellement les automates qui
reconnaissent les langages :
L(A
1
) L(A
2
)
L(A
1
) . L(A
2
)
L(A
1
) (L(A
1
).L(A
2
))
(L(A
1
).L(A
2
)) (L(A
2
).L(A
1
))
Questions de cours sur la fonction de transition
iteree
Exercice 4
Soit un automate indeterministe avec -transition A = (, E, I, F, ).
Denir recursivement la fonction

de P(E)

P(E) qui `a tout ensemble


detats Y et tout mot m fait correspondre lensemble des etats que lon peut
atteindre grace au mot m en partant de lun (au moins) des etats de Y .
12
Exercice 5
Montrez que lautomate indeterministe sans -transition que vous construi-
sez ` a partir dun automate indeterministe avec -transition reconnat le meme
langage.
-transitions : theorie
Exercice 6
Soit un automate indeterministe A = (, E, I, F, ). Denir lautomate
A

qui accepte tous les mots (y compris ) qui sont concatenation de mots de
L(A).
Exercice 7
Soit un automate indeterministe A = (, E, I, F, ) sans -transition.
Pour un sous ensemble quelconque E

E, on denit
E
= {e

| e

}.
Prouver que E

E, A et A

= (, E, I, F,
E
) reconnaissent le meme
langage.
Exercice 8
Soit un automate indeterministe A = (, E, I, F, ). Pour tout etat
e E, on denit les automates indeterministes C
e
= (, E, {e}, F, ) et
B
e
= (, E, I, {e}, ).
Pour tout couple detats (e

, e

) E
2
, on denit
e

e
= {e

} et A
e

e
=
(, E, I, F,
e

e
)
Montrer que on peut ne pas avoir L(A
e

e
) = L(A) L(B
e
).L(B
e
). Quelle in-
clusion est-elle valide ?
Exercice 9
Ecrire lalgorithme de reconnaissance dun mot m par un automate `a -transition
A = (, E, I, F, ) (on supposera que lon dispose de la fonction ).
Quelle est la complexite de cet algorithme ?
13
Suppression des -transitions.
Exercice 10
Soit un automate indeterministe avec -transition A = (, E, I, F, ).
Denir l-fermeture .
Exercice 11
Calculez un automate (indeterministe) sans -transition qui reconnat le
meme langage que lautomate de la gure 3.
!
A
B
C
D
E
F
G
H
J
K
a,
b,
a,b
a
b
a,b
a,
b
a
b,
a, b,
a
b,
!
!
!
!
!
!
a, b
a, b, !
b, b,
b,
Figure 3 Supprimer les -transitions
Exercice 12
Soit un automate indeterministe avec -transition A

= (, E, I, F

).
En utilisant la fonction , denir lautomate indeterministe sans -transition
A = (, E, I, F, ) qui reconnat le meme langage. On ne demande pas de
preuve.
Exercice 13
Combien diterations faut-il pour calculer l-fermeture de lautomate de la
gure 4 ?
c
! !
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
!
a, b
b, c
a, c b, c
a
b
Figure 4
14
TD 5 : determinisation
dautomate
Exercice 1
Soit un automate indeterministe `a n etats. Quel est le nombre detats de
lautomate deterministe correspondant (tel quil a ete deni en cours) ?
Exercice 2
Soit un automate indeterministe A dont lensemble des etats est {1, 2, I, II}.
Quand on determinise A, on obtient lautomate de la gure 5. Construire A.
!
!"
""
"""
!""
#
#
#
!
!
#
!
Figure 5 Construire un automate indeterministe `a 4 etats
Exercice 3
On veut dessiner un automate deterministe complet qui accepte tous les
mots qui ont au moins un facteur aaa et au moins un facteur bbb (peu importe
lordre respectif de ces deux facteurs).
construire directement lautomate en le justiant par le commentaire de
quelques etats judicieusement choisis.
15
proposer deux schemas de constructions, tous deux `a partir dautomates
indeterministes tr`es simples, le premier utilisant les operations dunion et
de concatenation, le deuxi`eme les operations dunion et de complementation.
Exercice 4
Soit un automate indeterministe sans -transition A
i
= (, E, I
i
, F
i
,
i
).
Denir lautomate deterministe qui reconnat le meme langage. Prouver que
a , Y P(E) :
d
(Y, a) =

eY

i
(e, a)
.
Exercice 5
Soit un automate sans -transition A
i
= (, E, I
i
, F
i
,
i
) et

i
sa fonction
de transition iteree. Soit A
d
lautomate deterministe qui reconnat le meme
langage que A
i
et

d
la fonction de transition itree correspondante. Prouver que
m

, Y P(E) :

d
(Y, m) =

eY

i
(e, m)
.
Exercice 6
Soit un automate indeterministe sans -transition A = ( = {a, b, c}, E, I, F, ).
On denit la fonction par (A) = ({a, b}, E, I, F,

) avec e E :

(a) =
(e, a) et

(e, b) = (e, b) (e, c) et la fonction Det qui `a un automate


indeterministe sans -transition A associe lautomate deterministe equivalent.
A-t-on A (Det(A)) = Det((A)) ? si oui prouvez le, sinon donnez un contre
exemple.
16
TD 6 : Expressions
rationnelles
Construction directe dexpressions rationnelles
Sur lalphabet {0, 1}, construire les expressions rationnelles correspondant
aux langages contenant tous les mots m (et seulement eux) ayant la propriete
P(m) denie dans lexercice.
Exercice 1
P(m) : lavant dernier symbole de m est 1.
Exercice 2
P(m) : m commence par 0 et nit par 1.
Exercice 3
P(m) : m contient exactement trois occurrences de 0.
Exercice 4
P(m) : m contient au moins trois occurrences de 0.
Exercice 5
P(m) : m contient au plus deux occurrences de 0.
Exercice 6
P(m) : m est lecriture binaire dun nombre, sans 0 inutiles en tete.
Exercice 7
P(m) : m ne contient pas le facteur 01.
Exercice 8
P(m) : m contient une fois et une seule le facteur 01.
17
Exercice 9
Deviner une expression rationnelle correspondant au langage de tous les mots
(et seulement eux) qui ont au moins un facteur aba.
Dessiner un automate qui reconnat ce langage. Justier.
Calculer de deux facons une expression rationnelle correspondant `a cet auto-
mate.
Exercice 10
Calculer de deux facons une expression rationnelle correspondant au langage
complementaire (sur {a, b}) de celui reconnu par lautomate de la gure 6.
1
2
3
a
b
b
a
a
b
Figure 6
Plus theorique
Exercice 11
Demontrer (a +b)

= (a

b)

.
Exercice 12
Demontrer (a +b)

= a

(ba

Exercice 13
En admettant que (ab)

= + a(ba)

b (cf. deux exos plus loin) , demontrer


(ab)

a = a(ba)

Exercice 14
Demontrer (ab +a)

a = a(ba +a)

Exercice 15
Demontrer (ab)
+
= a(ba)

b
Exercice 16
Demontrer (a +b)

b(a +b)

= (a +b)

ba

= a

b(a +b)

18
Residuel
Soit L un langage sur un alphabet et u

(u peut ou non appartenir


`a L). On appelle residuel de L par rapport `a u, et on note u
1
L, le langage
u
1
L = {m

| um L}. Dautre part on note L(r) le langage correspondant


`a une expression rationnelle r.
Exercice 17
prouver que a , r, s deux expressions rationnelles sur

a
1
L(r +s) = a
1
L(r) a
1
L(s)
[ L(r)] [a
1
L(rs) = (a
1
L(r))L(s)]
[ L(r)] [a
1
L(rs) = (a
1
L(r))L(s) a
1
L(s)]
a
1
L(r

) = (a
1
L(r))L(r

)
Exercice 18
Prouver que u, v

, L

: (uv)
1
L = v
1
(u
1
L).
Exercice 19
Soit lexpression rationnelle r = (a+b)

b(a+ab)

. Pour simplier lecriture,


on notera L = (a + b)

b(a + ab)

. Calculer a
1
L et b
1
L, en deduire (aa)
1
L
et (ab)
1
L.
19
TD 7 : Minimisation
dautomates
Exercice 1
Construire lautomate deterministe minimal correspondant `a lexpression
reguli`ere (aa +bb + (ab +ba)(aa +bb)

(ab +ba))

.
Caracteriser chacun de ses quatre etats en indiquant quel serait le langage re-
connu par lautomate si cetait cet etat qui etait un etat nal.
Exercice 2
En eclatant letat q
34
en deux etats q
3
et q
4
et letat q
125
en trois etats q
1
, q
2
et q
5
, fabriquer un automate deterministe complet de six etats qui reconnaisse
le meme langage que lautomate de la gure 7.
a, a
q
0
q
34
q
125
a, a, b, b
a, a
b, b
b, b
Figure 7 Rendre non minimal cet automate !
Exercice 3
Soit L un langage sur un alphabet .
Denissons alors, pour tout

: L
/
= {m

| m L}.
Comment a-t-on denote dans le cours L
/
?
Que vaut L
/
?
On denit sur

la relation
L
par :
1

L

2
L
/1
= L
/2
.
Cette relation est (evidemment ?) une relation dequivalence et lon notera E
L
lensemble de ses classes dequivalence.
20
Soit L le langage sur {a, b} des mots nissant par aaa.
1. Prouver que m

: L
/mb
= L.
2. que vaut L
/a
? L
/aa
? L
/aaa
?
3. calculer m

: L
/mba
4. calculer m

: L
/mbaa
5. calculer m

: L
/mbaaa
6. calculer m

, n > 3 IN : L
/mba
n
En deduire E
L
.
Exercice 4
Application de lexercice precedent.
Soit L
n
= {m {a, b}

| m a un a comme n
ieme
lettre en partant de la n }.
Soient F = {w
1
, . . . , w
2
n} lensemble des 2
n
mots de longueur n sur {a, b}

.
Montrer que f
1
, f
2
F : f
1
= f
2
f
1

Ln
f
2
.
Exercice 5
Suite de lavant dernier exercice
Supposons maintenant que L soit reconnu par un automate deterministe
A = (, E, q
0
, F, ) possedant e etats accessibles.
Prouver que
1

A

2

1

L

2
.
Prouver que |E
L
| e.
Exercice 6
Suite des deux derniers exercices
Montrer quil existe un automate indeterministe de n+1 etats qui ne peut etre
determiniser en moins de 2
n
etats.
Exercice 7
Soit sur un alphabet un langage L dont lensemble des residuels E =
{m
1
L | m

} est ni.
Pourquoi L est-il un element de E ?
Posons = {m
1
L (m)
1
L | m

, }.
Pourquoi est-il un ensemble ni ?
Posons F = {L
e
E | L
e
}. On va prouver que lautomate deterministe
R = (, E, L, F, ) reconnat L, en prouvant par recurrence sur l la propriete :
(l) : L
e
E, m

[|m| l] [m L
e

(L
e
, m) F].
Pourquoi peut-on avoir m L
e
?
Demontrer l IN : (l).
21
TD 8 : Lemme de la pompe
Exercice 1
Quand vous eectuez le TP sur le lemme de la pompe, pourquoi n eectuez
vous pas une preuve ?
quand vous travaillez avec un langage regulier ?
quand vous travaillez avec un langage non regulier ?
Exercice 2
Prouvez que le langage L = {a
n
b
n
; n IN} (appele langage de Dyck) nest
pas regulier.
Exercice 3
Prouvez que le langage L = {a
n
b
n
c
n
; n IN} nest pas regulier.
Exercice 4
Prouvez que le langage L = {a
n
b
k
; n IN, k IN k n} nest pas regulier.
Exercice 5
Prouvez que le langage L = {ww
R
; w {a, b}

} nest pas regulier.


Exercice 6
Prouver que le langage de Lukasiewicz sur {a, b} nest pas un langage regulier.
On rappelle que le langage de Lukasiewicz sur {a, b} est le langage des mots
m {a, b}

tels que m aie exactement un b de plus que de a et que tout prexe


propre de m aie au moins autant de a que de b.
22