Département : Informatique

Spécialité: Informatique, Niveau : Licence 2

Matière : Théorie des Langages

Série de TD N° : 01 Faculté des

Mathématiques et de
Langages Formels l'Informatique

Exercice 1.1 Déterminer les facteurs, les préfixes et les suffixes du mot u = abac.

Exercice 1.2 Soit u = a1 ...an un mot de longeur n, avec ai ≠ aj pour tous i ≠ j. Combien u
comporte-t-il de préfixes ? de suffixes ? de facteurs ?

Exercice 1.3
1. Compter les occurrences des lettres a et b dans les mots suivants : a3cbbca, aabgjdd,
titi, babc.
2. Donner l’ensemble des couples (u, v) tels que uv = abaac.
3. Calculer LM pour les ensembles suivants :
 L = {a,ab,bb} et M = {ε,b,a2} ;
 L =  et M = {a,ba,bb} ;
 L = {ε} et M = {a,ba,bb} ;
 L = {aa,ab,ba} et M = {a,b}* .

Exercice 1.4 On considère l’alphabet  = {a,b}, et les langages L1 et L2 suivants :

L1 = {anbn | n  N}
L2 = {bnan | n  N}
Calculez : L1 ∪ L2, L1 ∩ L2, L1.L2, L2.L1, L12 .

Exercice 1.5
Prouver les assertions suivantes, où  est un alphabet, a,b   et u, v, x, y  *.
1. au = bv ⇒ (a = b et u = v);
2. xu = xv ⇒ u = v ;
3. (xu = yv  |x| = |y|) ⇒ u = v ;
4. (xu = yv  |x| ≤ |y|) ⇒ (x est préfixe de y et v est suffixe de u).

Exercice 1.6 Montrer que :

1. Il n’existe pas de mot x ∈ {a,b}* tel que ax = xb.
2. Il n’existe pas de mots x, y ∈ {a,b}* tel que xay = ybx.

Responsable du module : Nouioua Farid

Année Universitaire : 2020-2021 Page 1/2
Exercice 1.7 Soient A,B,C trois langages sur un même alphabet. Prouver les propriétés
suivantes :
1. (AB)C = A(BC)
2. A(B∪ C) = AB∪ AC
3. A(B∩C) ⊆ AB ∩ AC et l’inclusion réciproque est fausse en général.
4. A ⊆ B ⇒ A* ⊆ B*
5. (A*)* = A*
6. (A∪ B)* = (A*B*)*

Exercice 1.8 Soient A, B deux langages sur un même alphabet.

1. Comparer (A∪ B)* et A* ∪ B*.

2. Comparer (A ∩ B)* et A* ∩ B*.

3. Comparer (AB)* et A*B*.

Exercice 1.9 Trouver l’ensemble des facteurs gauches et l’ensemble des facteurs droits des
langages sur l’alphabet Σ = {a,b} suivants :
1. L1 = {a n.bn | n ≥ 0}.

2. L2 = {an.bm | 0 ≥ n ≥ m}.

3. L3 = {w ∈ Σ* | |w|a = |w|b}.

Responsable du module : Nouioua Farid

Année Universitaire : 2020-2021 Page 2/2