Documente Academic
Documente Profesional
Documente Cultură
et des automates
Fatma Assida
fatma.assida@esprit.tn
Année Universitaire 2015/2016
2 Définitions - Alphabet
1 {0; 1}
2 {A; C; G; T}
3 {a, b, c, …, x, y, z} : l’ensemble de toutes
les lettres (minuscules)
4 {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, , , , , (, )}.
5 {♠, ♣, ♥, ♦}
etc.
3 Définitions - Mots
Un mot (ou encore chaîne) w est une suite finie de symboles d’un même alphabet
que l'on note par simple juxtaposition : w a1a2 ... an; ai
Exemples :
Exemple
{a, b} w babb
Les préfixes de w , b, ba, bab, babb
wn { si n 0
w wn – 1
Exemple
{a, b} w aab
w0 ? w1? w 2? w3 ?
w0
w1 aab
w2 aabaab
w3 aabaabaab
9 Définitions – Mots
Soit un alphabet. Soit A une partie de . Pour tout mot w *, la longueur en
A de w est le nombre d'occurrences de lettres de A dans le mot w. Ce nombre est
note |w|A.
|w| |w|∑.
Pour tout symbole , |w| le nombre d’occurrences du symbole dans w.
10 Définitions - Mots
Occurrence de symboles : nombre de fois où un symbole apparait dans un mot. On
note |w| le nombre d’occurrences du symbole dans w.
Miroir : Soit w a1 … an, avec a1; … ; an . Le mot miroir de w est le mot note
~ ou w~ ou encore wr défini par :
w
w an … a1
~~
(uv)~ vu
(w~)~ w.
11 Définitions - Langage
Un langage défini sur un alphabet est une partie de * c’est donc un ensemble
de mots défini sur .
Un langage L sur un alphabet est un sous ensemble de * : L *
L P (*)
Les sous-ensembles de * sont appelés des langages formels.
Exemple {a, b}, {anbn / n 0} est un langage.
Exemples triviaux :
Ø, le langage vide.
{}, le langage réduit à l’unique chaîne vide.
L1 {w * / w w~}
L2 {w * / |w| 2k, k 0}
L3 {w * / |w|a 2k, k 0}
12 Opérations sur les langages
Union
L1 ∪ L2 {w * / w L1 ou w L2}
Intersection
L1 ∩ L2 {w * / w L1 et w L2 }
Complèmentaire
Lc * \ L {w * et w L }
Différence
L1 \ L2 (ou L1 – L2) {w * / w L1 et w L2 }
Concaténation
L1.L2 {w * / u L1 et v L2 / w u.v}
L{} {}L L
13 Opérations sur les langages
Puissances
L0 {}
L1 L
Ln + 1 LnL (n 1)
Si est un alphabet alors n est l’ensemble des mots de longueur n.
14 Opérations sur les langages:
Exemples
{a, b}
L1 {a, b}
L2 {aa, bb, ab, ba}
L3 {a, ab, bb}