
MPSI2 DM6* Pour le vendredi 16 d´ecembre 2016
A-Combinatoire des mots
On note p≥1 le cardinal de Aet nun entier naturel non nul.
1. Combien y-a-t-il de mots de longueur nsur A?
2. Combien y-a-t-il de mots de longueur nform´es de lettres distinctes ?
3. (a) Si u= (u1, u2, ..., un−1, un)∈M, on note ˜u= (un, un−1, ..., u2, u1). On dit que uest un palindrome si et
seulement si u= ˜u. Combien y-a-t-il de palindromes de longueur n?
(b) ´
Ecrire un programme en Python qui teste si un mot de longueur nest un palindrome.
4. Combien y-a-t-il de mots de nlettres sans que deux lettres cons´ecutives soient identiques ? On pourra par
exemple proc´eder par r´ecurrence sur la longueur d’un mot.
5. Soient a1, ..., apdes lettres distinctes de Aet (α1, ..., αp)∈Npavec n=α1+... +αp. Combien y-a-t-il de mots
de nlettres contenant exactement αifois la lettre ai, pour tout i∈J1, pK?
6. Dans cette question, on se place sur l’alphabet A={a, b}. On note Γnl’ensemble des mots sur l’alphabet Ade
longueur 2no`u n∈N∗compos´es de nlettres aet nlettres bet tels que pour tout k∈J1,2nKle mot tronqu´e
[u]kposs`ede autant ou plus de aque de b. On note Cnle cardinal de Γn.
(a) Expliciter tous les mots de Γnpour n= 1, n= 2 et n= 3. En d´eduire C1,C2,C3.
(b) ´
Ecrire un programme en Python qui teste si un mot de longueur 2nest dans Γn.
(c) ´
Ecrire un programme en Python qui ´etant donn´e un entier naturel nrenvoie tous les mots de Γn. On
fera une impression du r´esultat pour Γ4et Γ5.
(d) D´emontrer que pour tout n∈N∗, on a Cn=1
n+ 12n
n.
B-Relation d’ordre sur M
La concat´enation est une loi clairement associative, cependant Mne poss`ede pas d’´el´ement neutre pour cette loi.
On cr´ee artificiellement un tel ´el´ement, que nous appellerons le mot vide et que nous noterons e, par d´efinition on a
|e|= 0. Dans la suite, on note encore Ml’ensemble des mots auquel on a ajout´e le mot vide. Ainsi pour tout ´element
u∈M, on a : ue =eu =u.
1. Soit (u, x)∈M2, on dit que uest un pr´efixe de xsi et seulement s’il existe v∈Mtel que x=uv. Si tel est le
cas, on ´ecrira ux.
(a) Montrer que est une relation d’ordre sur M.
(b) Soit (u, v)∈M2, avec uv, montrer que |u| ≤ |v|. La r´eciproque est-elle vraie ?
(c) Pour cette relation d’ordre Mposs`ede-t-il un minimum ? un maximum ?
2. Soient (u, v, x)∈M3, tels que uxet vx, montrer que l’on a uvou vu.
3. Soit (un)n≥0une suite d’´el´ement de M, strictement croissante pour .
(a) Montrer que la suite (|un|)n≥0est strictement croissante.
(b) Montrer qu’il existe un unique mot infini x= (xk)k≥0∈M∞tel que pour tout n≥0, [x]|un|=un. On dira
que xest la limite de la suite (un)n≥0et on ´ecrira x= lim
n→+∞un.
4. Soit Xun mono¨ıde et eson ´el´ement neutre, on dit que f:X→Xest un morphisme de mono¨ıde si et seulement
si f(e) = eet pour tout (u, v)∈X2, f(uv) = f(u)f(v).
(a) Dans cette question uniquement, on prend A={a, b, c}et g:A→Md´efinie par g(a)=(c, a), g(b) = bet
g(c)=(c, c, c). Expliquer comment construire un morphisme de mono¨ıde f, de Mdans Mtel que f|A=g.
Quelle est l’image par fde u= (a, b, c) ? de v= (a, a, c, c, b) ?