TLA - CH02 - Automates Finis Et Expressions Regulieres

Thorie des langages et des
automates
Ramzi GUETARI
Anne Universitaire 2010 / 2011
ISI
Institut
Suprieur
Informatique
ISI
Institut
Suprieur
04/10/2010 Informatique 1
Plan
Les expressions rgulires

Les automates finis non dterministes
Les automates finis dterministes
Les automates avec -transitions
L'quivalence des modles
ISI
Institut
Suprieur
Copyright Ramzi GUETARI
1
Expressions rgulires Principe
Lensemble reprsente le langage vide.

Le mot vide reprsente le langage {}
Un caractre c de reprsente le langage {c}
Lalternative p1 | p2 reprsente lunion des langages reprsents par p1 et p2.
La concatnationp1.p2 reprsente la concatnation des langages reprsents par
p1 et p2.
La rptition p* reprsente litration du langage reprsent par p.
Dans les Expressions rgulires (ER

ER) on va distinguer :
La syntaxe (le motif)
La smantique (le langage correspondant)
ISI
Institut
Suprieur
Expressions rgulires la syntaxe
Le symbole est un motif

motif.
Le mot vide est un motif
motif.
Un caractre c de est n motif.
motif
Si p1 et p2 sont deux motifs alors lalternative p1 | p2 est un motif.
motif
Si p1 et p2 sont deux motifs alors la concatnation p1.p2 est un motif.
motif
Si p est un motif alors la rptition p* est un motif.
motif
ISI
Institut
Suprieur
2
Expressions rgulires Priorits
Analogie avec les expressions arithmtiques, en interprtant :

|| par +
. par
* par une mise la puissance
Formellement et par ordre dcroissant de priorits nous avons :
()
*
.
|
Le symbole de concatnation peut tre omis.
omis
Exemple :
ab* correspond a.(b*).
a.b|c correspond (a.b)|c.
ab*|c correspond (a.(b*))|c.
ISI
Institut
Suprieur
Expressions rgulires Smantique
Dun motif vers un langage : La fonction [[.]] associe chaque motif un langage.
[[]]
[[]] {}
[[c]] {c}
[[p1 | p2]] [[p1]] [[p2]]
[[p1.p2]] [[p1]].[[p2]]
[[p*]] [[p]]*
ISI
Institut
Suprieur
3
Soit un alphabet , les rgles dfinissant les expressions rgulires sur :

estt expressions
i rgulire
li quii dnote
d t {}{ } lensemble
l bl constitu
tit de
d la
l chane
h vide.
id
Si a est un symbole de , alors a est une expressions rgulire qui dnote {a},
lensemble constitu de la chane a.
Si r et s sont des ER dnotant les langages L(r) et L(s), alors :
(r)|(s) est une expression rgulire dnotant L(r) L(s).
(r)(s) est une expression rgulire dnotant L(r)L(s).
(r))* est une expression

p rgulire
g dnotant ((L((r))
))*
(r) est une expression rgulire dnotant L(r)
Si deux ER r et s dnotent le mme langage, elles sont quivalentes et note r = s.

Par exemple (a|b) = (b|a).
ISI
Institut
Suprieur
04/10/2010 Informatique
Exemple
Soit lalphabet = {a,
{ b}
Lexpression a | b dnote lensemble {a, b}.
Lexpression (a | b)(a | b) dnote lensemble {aa, ab, ba, bb}. Ce mme
ensemble peut tre dnot par lER aa | ab | ba | bb.
Lexpression a* dnote lensemble de toutes les chanes constitues dun nombre
quelconque (ventuellement nul) de a, cest--dire {, a, aa, aaa, }.
expression rgulire (a | b)
LLexpression b)* dnote llensemble
ensemble de toutes les chanes constitues
dun nombre quelconque (ventuellement nul) de a ou de b. Ce mme ensemble
peut tre dnot par lER (a*b*)*.
Lexpression a | a*b contenant la chane a ou toutes les chanes constitues dun
ensemble quelconque (ventuellement vide) de a suivi dun b.
ISI
Institut
Suprieur
4
Les expressions rgulires Axiomes
Axiome Description
r|s=s|r | est commutatif
r | (s | t) = (r | s) | t | est associatif
r(st) = (rs)t La concatnation est associative
r(s | t) = (rs) | rt et (s | t)r = sr | tr La concatnation est distributive par rapport |
r = r et r = r est llment neutre pour la concatnation.
r* = (r | )* Relation entre * et .
rr** = rr* * est idempotent.
ISI
Institut
Suprieur
Les dfinitions rgulires
Les dfinitions rgulires permettent de donner des noms des ER dfinies sur un
alphabet partir de symboles de base et de les utiliser comme ssils
ils taient des
symboles de .
d1 r 1
d2 r 2

dn r n
di estt un nom di
distinct
ti t ett chaque
h ri estt une ER sur les b l dde {d1, d2, ,
l symboles
di-1}.
ISI
Institut
Suprieur
5
Exemple
letter A | B | | Z | a | b | | z
digit 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
identifier letter (letter | digit)*
number digit+
exponent (E (+ | - | ) number) |
float number
n mber exponent
e ponent
ISI
Institut
Suprieur
Notations abrges
Loprateur unaire postfixe + signifie au moins une instance

r* = r+ |
r+ = rr*
Loprateur unaire postfixe ? signifie zro ou une instance (r? = r | )
Classe de caractres : la notation [abc] o a, b et c sont des symboles
dalphabets signifie a | b | c.
Une classe de caractres [a z] dnote lexpression rgulire a | b | | z.
Identificateurs : [A Za z] [A Za z0 9]*
ISI
Institut
Suprieur
6
Les langages rguliers
Un langage L est dit rgulier sil existe un motif p tel que [[p]] = L.
Une expression rgulire r dnote un langage rgulier L(r)
Tout langage fini est rgulier
rgulier..
est un langage rgulier ;
{} est un langage rgulier ;
Pour tout a , {a} est un langage rgulier ;
Si L1 et L2 sont rguliers, alors L1 L2 = {w1w2 | w1 L1 et w2 L2} est rgulier.
Si L est rgulier,
g , alors :
L* = {} {w1w2w3 wn | wi L} est rgulier ;
Si L1 et L2 sont rguliers, alors L1 L2 est rgulier.
Si L est un langage rgulier, Lc = * \ L est un langage rgulier
ISI
Institut
Suprieur
Les langages rguliers exemple
{ab, b, aba} = [[ab | b | aba]].

L = {w1, w2, , wn} = [[w1 | w2| | wn]].
]]
Si lon dfinit le franais comme les mots dun dictionnaire de rfrence (celui de
lAcadmie), le franais est un langage rgulier.
Ecriture dcimale des entiers :
0 | (1|2|3|4|5|6|7|8|9) (0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9)*
Mots constitus de 0 et de 1 alterns:
Commence par 0, finit par 1 : (01)*
Commence par 0, finit par 0 : (01)* 0
ISI
Institut
Suprieur
7
Les automates finis
Validateur pour langages : programme prenant une chane x en entre et

retournant oui si ccest
est une phrase du langage et non sinon.
Expression rgulire Validateur : construction dun diagramme de transitions
gnralis appel automate fini .
Un automate fini peut tre dterministe ou non dterministe.
Automate fini non dterministe (AFN) : on peut trouver plus dune transition sortant
dun tat sur le mme symbole dentre.
Les deux types dautomates finis reconnaissent prcisment les ensembles
rguliers
rguliers.
Les automates finis dterministes conduisent des validateurs plus rapides.
Limplmentation dun automate fini dterministe est plus volumineuse que celle
dun automate fini non dterministe.
ISI
Institut
Suprieur
Un automate fini A = E, , , e0, F

E un ensemble d dtats
tats.
un ensemble de symboles (lalphabet des symboles dentre).
: E E, une fonction de transition faisant correspondre des couples tat-

symbole des ensembles dtats.
Un tat e0 : tat de dpart ou tat initial.
Un ensemble dtats F connus comme tats dacceptation ou tats finaux.
ISI
Institut
Suprieur
8
AFN - Exemple
b E = {e0, e1, e2, e3, e4}.

= {a, b}.
e1
a a
: E E.
b
(e0, a) = e1
e0 e2
(e0, b) = e2
b b (e1, a) = e2
e3 (e1, b) = e1
b a

a
e0 : tat initial.
e4 F = {e3, e4}.
ISI
Institut
Suprieur
Reprsentation des AFN
Considrons le langage dnot par lER (a | b)*abb chanes de a et de b se terminant

par abb). Lautomate
L automate correspondant peut tre reprsent comme un graphe orient
tiquet : les nuds sont des tats, les arcs reprsentent la fonction de transition (I)
ou sous forme de table de transitions(II)
a
begin a b b
0 1 2 3
b
(I) Reprsentation graphique
Symbole dentre

tat
a b
0 {0, 1} {0}
1 {2}
2 {3}
ISI
Institut
(II) Reprsentation sous forme de table de transitions
Suprieur
9
Automates finis non dterministes
Exemple
LAFN suivant reconnat aa* | bb*. La chane aaa est accepte en se dplaant via les
tats 0, 1, 2, 2 et 2. Les tiquettes de ces arcs sont , a, a et a dont la concatnation
est aaa ( disparat dans la concatnation).
a
a
1 2

b
3 4
b
AFN avec -transitions
ISI
Institut
Suprieur
Automates finis dterministes
Un automate fini dterministe (AFD) est un cas particulier de lAFN dans lequel
Aucun tat na de -transition (transition sur lentre ).

Pour chaque tat e et chaque symbole dentre a, il y a au plus un arc tiquet a
qui quitte e
Algorithme de simulation dun AFD
e e0;
((c ggetchar ()) EOF))
while ((
e (e, c);
if (e F) return YES ;
return NO ;
ISI
Institut
Suprieur
10
Automates finis dterministes
Exemple
LAFD suivant accepte le mme langage (a | b)*abb que celui accept par lAFN (page
18)
b
begin a b b
0 1 2 3
a
a
ISI
Institut
Suprieur
Automates finis complets
Un automate fini dterministe est dit complet si, e E, il y a exactement une

transition pour chaque symbole possible de
.
a
b
a
e0 e1 b
ISI
Institut
Suprieur
11
Automates finis complets
Tout AFD non complet peut tre transform en AFD complet par lajout dun tat que
nous qualifions de mort ou poubelle ed vers lequel arrivent des transitions que
nous ajoutons de telle sorte que de chaque tat de lautomate parte exactement une
transitions sur chaque symbole de lalphabet.
a
e0 a e1
a
b
ed
b
a
ISI
Institut
Suprieur
Langage accept par un AFN
b Un automate prend en entre un mot w et laccepte

rejette
ou le rejette.
e1 On part de ltat e0.
a a
On lit les caractres du mot w un un en suivant la
e0 b e2 transition correspondante (si il ny en a pas, la
validation choue).
b b
Lorsque tous les caractres sont lus, on accepte si
e3
b a
lon est sur un tat final, on rejette sinon.
a Exemple :
Le mot abbbab est accept.
e4 Le mot babba est accept.
Le mot ababab nest pas accept.
ISI
Institut
Suprieur
12
b ^ (ou ) de transition tendue

On introduit la fonction
aux mots :
e1
a a A partir dun tat e en lisant le mot vide on reste
b dans ltat e :
e0 e2
e E ^ (e, ) = e
b b
e3
b a A partir dun tat e, en lisant le mot c = wa se
a terminant par a , on a dabord lu w, puis effectu
la transition correspondante a :
^ (e, wa) = (
^ (e, w), a)
e4
ISI
Institut
Suprieur
b Le langage L (A) accept par un automate fini

A = E, , , e0, F est dfini par :
e1 L (A) = {w L / ^ (e0, w) F}.
a a
e0 b e2
Un mot est dit accept si et seulement il appartient
b b L (A).
e3
b a
a
e4
ISI
Institut
Suprieur
13
quivalence dautomates finis
Dfinition : deux automates sont quivalents s'ils reconnaissent le mme langage.
Cette relation est bien une quivalence

quivalence, car elle est dfinie partir de l'galit des
ensembles qui est une quivalence.
ISI
Institut
Suprieur
Construction dun AFD partir dun AFN
Entre : un AFN N
Sortie : un AFD D
Algorithme :
Construire une table de transition Dtran pour D.
Chaque tat de lAFD est un ensemble dtats de lAFN.
Construire Dtran de manire que D simule en parallle tous les dplacements possibles que N
peut effectuer sur une chane dentre donne.
e reprsente un tat de lAFN et T un ensemble dtats de lAFN. On utilise les oprations suivantes
pour garder une trace des ensembles dtats de lAFN.
-fermeture de ((e)) : ensemble des tats de lAFN accessibles depuis p ltat e ppar des -transitions
uniquement.
-fermeture de (T) : ensemble des tats de lAFN accessibles depuis un tat e T par des -transitions
uniquement.
(T, a) : ensemble des tats de lAFN vers lesquels il existe une transition sur le symbole dentre a partie
dun tat e T.
ISI
Institut
Suprieur
14
On construit Dstates, lensemble des tats de D et Dtran, la table de transitions de la

manire suivante :
Chaque tat de D correspond un ensemble dtats de lAFN,
Ltat de dpart de D est la -fermeture (e0) .
On ajoute des tats et des transitions en utilisant lalgorithme suivant. Un tat de D
est un tat dacceptation sil contient au moins un tat dacceptation de lAFN
ISI
Institut
Suprieur
E0D = -fermeture (e0) /* Lunique tat de Dstates au dpart */

TANT QUE un tat non marqu T dans Dstates FAIRE
Marquer T;
POUR tout symbole dentre a FAIRE
U -fermeture ( (T, a));
SI U Dstates ALORS
Ajouter U Dstates comme nud non marqu;
FIN SI
Dtran [T, a] U;
FIN POUR
FIN TANT QUE
ISI
Institut
Suprieur
15
Exemple
a
begin a b b
0 1 2 3
a
2 3

begin a b b
0 1 6 7 8 9 10

b
4 5
ISI
Institut
AFN N pour (a | b)*abb Suprieur

a
2 3
begin a b b
0 1 6 7 8 9 10
4 b 5

E0D = -fermeture (0) = { 0, 1, 2, 4, 7}
ISI
Institut
Suprieur
16
E0D = {0, 1, 2, 4, 7} = A
a
2 3
begin a b b
0 1 6 7 8 9 10
4 b 5

(E0D, a) = {3, 8}
ISI
Institut
Suprieur

E0D = {0, 1, 2, 4, 7} = A
a
2 3
begin a b b
0 1 6 7 8 9 10
4 b 5

-fermeture ( (E0D, a) = {3, 8}) = {3, 8, 6, 1, 2, 4, 7 }

-fermeture ( ((E0D = A), a)) = B = {1, 2, 3, 4, 6, 7, 8} = DtransIS n[A,
u p a]
ISI
stitut
rieur
17
E0D = {0, 1, 2, 4, 7} = A
E1D = {1, 2, 3, 4, 6, 7, 8} = B
a
2 3
begin a b b
0 1 6 7 8 9 10
4 b 5

(E0D, b) = {5}
ISI
Institut
Suprieur

E0D = {0, 1, 2, 4, 7} = A
E1D = {1, 2, 3, 4, 6, 7, 8} = B
a
2 3
begin a b b
0 1 6 7 8 9 10
4 b 5

-fermeture ( (E0D, b) = {5}) = {5, 6, 7, 1, 2, 4 }

-fermeture ( ((E0D = A), b)) = C = {1, 2, 4, 5, 6, 7} = Dtrans [A,
S u b]
ISI
Institut
prieur
18
Ltat de dpart de lAFD est -fermeture (0) qui est A = {0, 1, 2, 4, 7}

fermeture ( (A,
-fermeture (A a)) llensemble
ensemble des tats de N qui ont des transitions sur a depuis des
lments de A. Seuls les tats 2 et 7 ont de telles transitions, vers 3 et 8.
-fermeture ( ({0, 1, 2, 4, 7}, a)) = -fermeture ({3, 8}) = {1, 2, 3, 4, 6, 7, 8} = B.
B = Dtrans [A, a]
Parmi les tats de A seul ltat 4 a une transition sur b vers 5.
-fermeture ( ({0, 1, 2, 4, 7}, b)) = -fermeture ({5}) = {1, 2, 4, 5, 6, 7} = C.
C = Dtrans [A, b]
On continue le pprocessus avec les ensembles B et C et ainsi de suite,, on atteint le ppoint o
tous les ensembles qui sont des tats de lAFD sont marqus. On obtient 5 ensembles
dtats :
A = {0, 1, 2, 4, 7} D = {1, 2, 4, 5, 6, 7, 9}.
B = {1, 2, 3, 4, 6, 7, 8} E = {1, 2, 4, 5, 6, 7, 10}
C = {1, 2, 4, 5, 6, 7} Ltat A est ltat de dpart et EI nest
s tlunique
i t u t tat
ISI

dacceptation. Suprieur
a
a a
4
1
6
a 2 b
7
1 3 5 5
8 1 1
2 6 6
0 2
b 2
4 a 7 7
4 4 4
7 9 10
b 1 5
2 6
7 b
b
ISI
Institut
Suprieur
19
C
b b
begin a b b
A B D E
a
a
a
ISI
Institut
Suprieur
a b
A B C
B B D
C B C
D B E
E B C
ISI
Institut
Suprieur
20
Oprations sur les automates (langages)
Considrons les deux automates finis dterministes A1 et A2 et les deux langages L1

et L2 suivants :
A1 = E1, , 1, e01 , F1 / L1 = L (A1)
A2 = E2, , 2, e02 , F2 / L2 = L (A2)
a
b
1 2
b
a
3 4
ISI
Institut
Suprieur
Runion dautomates (langages)
L1 et L2 deux langages rguliers, L1 L2 est un langage rgulier :

Construisons A = E, , e, F / L (A) = L1 L2
E ,
E = E1 E2 {e0} avec e0 est soit un nouvel tat initial soit e0 = e10 = e20.
= 1 2 {(e0, , e) / (e01 , , e) 1 et (e02 , , e) 2}
F = F1 F2 si e01 F1 et e02 F2
F = F1 F2 {e0} si e01 F1 ou e02 F2
b
a
a 1 b 2
e0
b a
3 4
ISI
Institut
Suprieur
04/10/2010 a b Informatique 42
21
Concatnation dautomates (langages)
L1 et L2 deux langages rguliers, L1.L2 est un langage rgulier :

Construisons A = E, , e,
E , e F / L (A) = L1.LL2
E = E1 E2
= 1 2 {(ep, , eq) / ep F1 et (e0, , eq) 2}

2
e0 = e0
1
F = F1 F2 si e0 F2
2
a
F = F2 sinon
1 b 2
b a
3 a 4
ISI
Institut
Suprieur
04/10/2010 b Informatique 43
Minimisation dun AFD
Il y a une infinit dautomates pour un langage donn.

Questions :
Y a-t-il un automate canonique ?
Y a-t-il unicit dun automate minimal en nombre dtats ?
Y a-t-il un lien structurel entre deux automates qui reconnaissent le mme langage ?
Un rsultat thorique important : chaque ensemble rgulier est reconnu par un AFD
nombre dtats minimum qui es t unique ( un renommage des tats prs).
Soit un AFD M dont lensemble des tats est E et lalphabet dentre est . Nous
supposons que M est complet,
complet si tel nntait
tait pas le cas,
cas il faut le rendre complet.
complet
On dit que la chane w distingue ltat ei de ltat ej si, partant de lAFD M dans
ltat ei et le faisant fonctionner avec w, on termine dans un tat dacceptation,
mais partant de ltat ej et le faisant fonctionner avec w on aboutit un tat de non-
acceptation (ou vice versa).
ISI
Institut
Suprieur
22
Algorithme de Minimisation dun AFD
Lalgorithme fonctionne en dterminant tous les groupes dtats qui peuvent tre
distingus par une chane ddentre
entre.
Chaque group dtats qui ne peuvent tre distingus est alors fusionn en un tat
unique.
Initialement la partition consiste en deux groupes: les tats dacceptation et les
tats de non acceptation.
Ltape fondamentale consiste prendre un groupe dtats A = {e1, e2, , ek}, et
un symbole a, et tudier les transitions des tats {e1, e2, , ek} sur a.
Si ces transitions conduisent des tats qui tombent dans au moins deux groupes
diffrents de la partition courante, alors on doit diviser A de manire que les
transitions depuis chaque sous ensemble de A soient tous confins un seul
groupe de la partition courante.
On rpte le processus de division des groupes de la partition courante jusqu ce
ISI
Institut
que plus aucun groupe nait besoin dtre divis. Suprieur
Informatique
04/10/2010 45
Donnes : un AFD A avec un ensemble dtats E, un alphabet dentre , des

tats un tat initial e0 et un ensemble ddtats
transitions dfinies pour tous les tats, tats
dacceptation F.
Rsultat : un AFD A qui reconnait le mme langage que A qui a le minimum dtats
possible.
1. Construire une partition initiale P de l-ensemble des tats avec deux groupes :
Les tats dacceptation (S).
Les tats de non acceptation ((F).
)
2. Appliquer la procdure suivante P pour construire une nouvelle partition Pn.
ISI
Institut
Suprieur
23
POUR chaque group G de P FAIRE

DEBUT
Partitionner G en sous-groupes de manire suivante : deux tats e1 et e2 de G
ne peuvent tre dans le mme sous groupe que si pour tout symbole a, les
tats e1 et e2 ont des transitions sur a vers des tats du mme groupe de P.
/* Un tat peut former un sous-groupe par lui-mme */
Remplacer G dans Pn par tous les sous groupes ainsi forms.

FIN
La complexit de cet algorithme est O (kn2) ou k = || et n est le nombre dtats de

lautomate.
ISI
Institut
Suprieur
3. Si Pn = P alors on pose Pf P et on continue ltape (4). Si Pn P alors on

pose P Pn et on recommence lltape
tape (2)
4. Choisir un tat dans chaque groupe de la partition Pf en tant que reprsentant de

ces groupes.
Les reprsentants seront les tats de lAFD rduit A.
Soit em un tat reprsentatif. Supposons que sur la chane dentre a il y ait une
transition de em vers ej. Soit en le reprsentant
p p de ej ((en ppeut tre
du ggroupe
gal ej). Alors A a une transition de em vers en sur a.
Ltat initial de A est le reprsentant du groupe contenant ltat e0.
5. Si A a un tat mort d, alors supprimer toutes les transitions qui arrivent vers d.
Supprimer d de A. Supprimer aussi tout tat non accessible de ltat initial de A
ISI
Institut
Suprieur
24
Exemple
b
C
b b
begin a b b
A B D E
a
a
a
ISI
Institut
Suprieur
La partition initiale P consiste en deux groupes :

E, lltat
tat ddacceptation
acceptation.
A, B, C et D, les tats de non acceptation.
Construction de Pn :
Considrons E constitu dun seul tat et ne peut tre dcoup, on lajoute Pn.
Considrons le groupe constitu de A, B, C et D.
Sur le symbole a, chacun de ces tats a une transition vers B, ce qui ne les distingue pas.
Sur le symbole b, A, B et C ont des transitions vers le groupe (A B C D) tandis que D a une
ransitions vers E.
E
Dans Pn, le groupe (A B C D) doit tre dcoup en (A B C) et (D). Pn = (A B C) (D) (E).
Dans la phase suivante nous navons aucun dcoupage de (A B C) sur le symbole a
par contre il doit tre dcoup en (A C) et (B) sur le symbole b. Pn = (A C) (B) (D) (E).
Dans la passe suivante on ne peut plus dcouper aucun groupe ni sur a ni sur b.
Pf = (AC) (B) (D) (E).
ISI
Institut
Suprieur
25
b
Exemple
C
b b
begin a b b
A B D E
a
a
a
A B C D E
ISI
Institut
Suprieur
Si on choisit A comme reprsentant de (AC), et B, C et E pour les groupes

singletons on obtient alors llautomate
singletons, automate rduit dont la table de transitions est la suivante:
Symbole dentre
tat
a b
A,C B A,C
B B D
D B E
E B A,C
ISI
Institut
Suprieur
26
Exercice Minimisation de lautomate suivant :

b
a b
0 1 2
a a
b a b
3 b 4 b 5 a 6
b
a
ISI
Institut
Suprieur
1, 6 2 b
a
a b
0, 3
a b
b
4 b 5 a
ISI
Institut
b Suprieur
27

TLA - CH02 - Automates Finis Et Expressions Regulieres

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

TLA - CH02 - Automates Finis Et Expressions Regulieres

Transféré par

Droits d'auteur :

Formats disponibles

Thorie des langages et des

Les expressions rgulires

Copyright Ramzi GUETARI

Lensemble reprsente le langage vide.

Dans les Expressions rgulires (ER

La smantique (le langage correspondant)

Copyright Ramzi GUETARI

Expressions rgulires la syntaxe

Le symbole est un motif

Copyright Ramzi GUETARI

Analogie avec les expressions arithmtiques, en interprtant :

Copyright Ramzi GUETARI

Expressions rgulires Smantique

Copyright Ramzi GUETARI

Soit un alphabet , les rgles dfinissant les expressions rgulires sur :

(r)(s) est une expression rgulire dnotant L(r)L(s).

(r))* est une expression

Si deux ER r et s dnotent le mme langage, elles sont quivalentes et note r = s.

Copyright Ramzi GUETARI

Les expressions rgulires

Copyright Ramzi GUETARI

Copyright Ramzi GUETARI

Les dfinitions rgulires

Copyright Ramzi GUETARI

Copyright Ramzi GUETARI

Les dfinitions rgulires

Loprateur unaire postfixe + signifie au moins une instance

Copyright Ramzi GUETARI

Copyright Ramzi GUETARI

Les langages rguliers exemple

{ab, b, aba} = [[ab | b | aba]].

Copyright Ramzi GUETARI

Validateur pour langages : programme prenant une chane x en entre et

Copyright Ramzi GUETARI

Les automates finis non dterministes

Un automate fini A = E, , , e0, F

: E E, une fonction de transition faisant correspondre des couples tat-

Un ensemble dtats F connus comme tats dacceptation ou tats finaux.

Copyright Ramzi GUETARI

b E = {e0, e1, e2, e3, e4}.

Copyright Ramzi GUETARI

Reprsentation des AFN

Considrons le langage dnot par lER (a | b)*abb chanes de a et de b se terminant

Copyright Ramzi GUETARI

Automates finis dterministes

Aucun tat na de -transition (transition sur lentre ).

Automates finis complets

Un automate fini dterministe est dit complet si, e E, il y a exactement une

Langage accept par un AFN

b Un automate prend en entre un mot w et laccepte

Copyright Ramzi GUETARI

b ^ (ou ) de transition tendue

Copyright Ramzi GUETARI

Langage accept par un AFN

b Le langage L (A) accept par un automate fini

Copyright Ramzi GUETARI

Dfinition : deux automates sont quivalents s'ils reconnaissent le mme langage.

Cette relation est bien une quivalence

Construction dun AFD partir dun AFN

On construit Dstates, lensemble des tats de D et Dtran, la table de transitions de la

Construction dun AFD partir dun AFN

E0D = -fermeture (e0) /* Lunique tat de Dstates au dpart */

Construction dun AFD partir dun AFN

E0D = -fermeture (0) = { 0, 1, 2, 4, 7}