Langage Grammaires Expressions eguli`eres L-syst`emes 1/ 28
Th´eorie des Langages
´
Episode 1 — Langages et grammaires
Thomas Pietrzak
Universit´e Paul Verlaine — Metz
Langage Grammaires Expressions R´eguli`eres L-syst`emes efinitions Op´erations Exemples Description 2/ 28
Alphabet
Un alphabet Σ est un ensemble fini. Les ´el´ements d’un alphabet Σ sont
appel´es des caract`eres (ou des lettres, ou des digits).
Mot
Un mot (ou une chaine) msur Σ est une concat´enation de caract`eres de
Σ.
Mot vide
Le mot vide est not´e
Longueur
La longueur d’un mot m, not´e |m|, est le nombre de caract`eres du mot
m. On notera que est l’unique mot de longueur 0.
Langage Grammaires Expressions R´eguli`eres L-syst`emes efinitions Op´erations Exemples Description 3/ 28
On note :
Σl’ensemble de tous les mots sur l’alphabet Σ
Σ+l’ensemble de tous les mots sur l’alphabet Σ sans
Langage
On appelle Lun langage formel (ou plus courament langage) sur
l’alphabet Σ si LΣ.est le langage vide.
Langage Grammaires Expressions R´eguli`eres L-syst`emes efinitions Op´erations Exemples Description 4/ 28
Soient L,L1et L2des langages sur l’alphabet Σ.
Union de L1et L2:L1L2={m|mL1ou m L2}
Concat´enation de L1et L2:L1·L2={m1m2|mL1et m L2}
´
Etoile de L(fermeture de Kleene) :
L0={}
L1=L
Li=L·Li1pour chaque entier i2
L=S
i=0 Li
on note L+=L|L0=S
i=1 Li
Propri´et´es
{} · L=L· {}=L
∅ ∪ L=L∪ ∅ =L
∅ · L=L· ∅ =
Langage Grammaires Expressions R´eguli`eres L-syst`emes efinitions Op´erations Exemples Description 5/ 28
Exemples
Soient L={A,B,...,Z,a,b,...,z}et C={0,1,...,9}. Consid´erons L
et Ccomme des langages finis.
LCest l’ensemble des lettres et des chiffres
L·Cest l’ensemble des chaˆınes form´ees d’une lettre suivie d’un
chiffre
L4est l’ensemble des chaˆınes de 4 lettres
Lest l’ensemble de toutes les chaˆınes de lettres, y compris
L(LC)est l’ensemble de toutes les chaˆınes de lettres et de
chiffres commen¸cant par une lettre.
1 / 28 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !