Chapitre 3 Évaluation des expressions régulières et ...

Chapitre 3Evaluation des expressions regulieres

et automates finis

Jean Privat

Universite du Quebec a Montreal

INF5000 — Theorie et construction des compilateursAutomne 2013

Jean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 1 / 25

Evaluation d’une expression reguliere

Soit une expression reguliere definissant un langage

Une chaıne appartient-elle au langage ?

Rechercher les sous-chaınes appartenant au langage ?

Questions non triviales

Meme pour un ordinateur

0110010 ?a?b*c+

Evaluation d’une expression reguliere

Soit une expression reguliere definissant un langage

Rechercher les sous-chaınes appartenant au langage ?

Questions non triviales

Meme pour un ordinateur

0110010 ?a?b*c+

Approche naıve

Comment evaluer ?a*ba*ba*

(ab|b)*a?

Les langages sont-ils les memes ?

a+ba*|a*ba+

a+ba+|a+b|ba+

Quel est l’expression reguliere la plus rapide a evaluer ?

Qu’est-ce qui impacte les performances ?

Approche naıve

(ab|b)*a?

a+ba*|a*ba+

a+ba+|a+b|ba+

Approche naıve

(ab|b)*a?

a+ba*|a*ba+

a+ba+|a+b|ba+

Outils necessaires

Structures de donnees

Automates finis

Algorithmes

Transformation d’automates

Evaluation d’automates

Automate = Graphe

Transitions = arcs

Orientes

Etiquetes par un caractere de l’alphabet ou par ε (epsilon)

Etats = nœuds

Un etat de depart

Un ensemble d’etats d’acceptation (eventuellement vide)

Automate fini

Nombre fini d’etats (et de transitions)

Automate fini non deterministe (NFA)

Regle : pas de regle

Pas de restriction sur les etiquettes des arcs

Automate fini deterministe (DFA)

Regles

Au plus un arc sortant pour une etiquette

Pas d’etiquette ε

Langages reguliers

NFA et DFA definissent un langage

L’ensemble des chemins partant d’un etat de depart vers un etatd’acceptation

NFA, DFA et expression regulieres

Reconnaissent la meme classe de langages :⇒ les langages reguliers

Evaluation d’automates

Soit un automate fini definissant un langage

Facile

Il suffit de trouver un chemin

Encore plus facile avec un DFA (algorithme lineaire)

Evaluation d’automates : Exercice

Soit le DFA

Quelles chaınes sont reconnues parmi

: 1a→ 2

a→ 3$→ OK

acabcb

: 1a→ 2

c→ 1a→ 2

b→ 2c→ 1

b→ 3$→ OK

: 1a→ 2

c→ 1c→ PAS OK

: 1a→ 2

b→ 2b→ 2

c→ 1$→ PAS OK

Evaluation d’automates : Exercice

Soit le DFA

Quelles chaınes sont reconnues parmi

aa : 1a→ 2

a→ 3$→ OK

acabcb : 1a→ 2

c→ 1a→ 2

b→ 2c→ 1

b→ 3$→ OK

acc : 1a→ 2

c→ 1c→ PAS OK

abbc : 1a→ 2

b→ 2b→ 2

c→ 1$→ PAS OK

Evaluation d’expression regulieres

Trois etapes

Transformation RE → NFA

Transformation NFA → DFA

Evaluation du DFA

Transformation d’expression regulieres →NFA

Atome (caractere ou ε)

Concatenationab

1 2a 3b

Transformation d’expression regulieres →NFAAlternation

Etoilea*

RE → NFA : Exercice 1

Ecrire le NFA de l’expression reguliere

b*ab*ab*

Solution

ε5a 6

b*ab*ab*

Solution

ε5a 6

((a*|b*)c)*

Solution

((a*|b*)c)*

Solution

a(bc)?d

≡ a(bc|)d

Solution

a(bc)?d ≡ a(bc|)d

Solution

a(bc)?d ≡ a(bc|)d

Solution

Transformation NFA → DFA

Simuler en parallele tous les chemins⇒ un etat du DFA ≈ n etats du NFA.

Risque

Au pire, DFA exponentiellement plus grand que NFA

Mais suffisamment rare en pratique

Outils sur les NFA

εfermeture(E )

L’ensemble des etats atteignable par 0, 1, ou plusieurstransitions ε a partir d’un etat de E .

trans(E , c)

L’ensemble des etats atteignable par une seule transition c apartir d’un etat de E .

Outils sur les NFA : Exercice

Soit le NFA

Determiner F = εfermeture(E ) et T = trans(E , a) pour lesensembles E suivants

E = {1}

: F = {1, 2, 3} ; T = {4}

E = {1, 2}

: F = {1, 2, 3} ; T = {1, 3, 4}

E = {3}

: F = {3} ; T = {3, 4}

E = {4}

: F = {2, 3, 4} ; T = ∅

Outils sur les NFA : Exercice

Soit le NFA

Determiner F = εfermeture(E ) et T = trans(E , a) pour lesensembles E suivants

E = {1} : F = {1, 2, 3} ; T = {4}E = {1, 2} : F = {1, 2, 3} ; T = {1, 3, 4}E = {3} : F = {3} ; T = {3, 4}E = {4} : F = {2, 3, 4} ; T = ∅

NFA → DFA : AlgorithmeDonnees : Un NFA NResultat : Un DFA D definissant le meme langage que NE = εfermeture(depart(N));ajouter E comme etat de depart de D (sans le marquer);tant que un etat E de D est non marque faire

marquer E ;pour chaque caractere c de l’alphabet faire

F = εfermeture(trans(E , c));si F n’est pas un etat de D alors

ajouter l’etat F a D (sans le marquer);si un element de F est un etat d’acceptation de N alorsF est un etat d’acceptation de D

ajouter la transition Ec→ F a D;

finJean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 20 / 25

NFA → DFA : Exercice 1

Transformer en DFA le NFA

ε5a 6

Solution

ε5a 6

Solution

3,4,5,6,7

c2,3,6a

Solution

12,3,6,

7,8a 9

Solution

12,3,6,

7,8a 9

Autres algorithmes pratiques

Minimisation DFA

La meme chose avec moins d’etats

Theoreme : DFA minimum unique

Corollaire : Permet de determiner l’equivalence d’expressionsregulieres

DFAisation paresseuse

Construire et evaluer le DFA en meme temps

Transformation DFA → Expression reguliere

Prouve l’egalite de la classe de langages

Pas forcement utile en pratique

Chapitre 3 Évaluation des expressions régulières et ...

Documents

Transcript of Chapitre 3 Évaluation des expressions régulières et ...

Expressions 16

Expressions nº17

Expressions 23

expressions francaises

LIGNES RÉGULIÈRES LIGNES SCOLAIRES Boulevard Gambetta A …

expressions 10

expressions 03

Nouvelle norme de traitement en pessières régulières.

Lignes régulières Port de Sète

Expressions expliquées

340 deviner 2017 CE2) - lewebpedagogique.comlewebpedagogique.com/...expressions-idiomatiques-à... · Expressions idiomatiques Expressions idiomatiques. Expressions idiomatiques Expressions

Mathématiques · Fonctions Expressions algébriques Identités remarquables Fonctions Expressions algébriques Distributivité simple Fonctions Expressions algébriques Distributivité

Les expressions régulières Google Analytics

Myriad Livre Blanc NLP-v4 · 2019. 7. 16. · modèles utilisés en NLP à l’heure actuelle. 1. Expressions régulières. Comme nous l’avons déjà mentionné ci-dessus, les expressions

expressions 06

Expressions bibliques

iete Expressions

Expressions régulières en PHP - krogpg.free.frkrogpg.free.fr/docs/programmation/php/regex.pdf · Exemple : ereg(’hugo’, ‘Hugo Pratt fut un grand dessinateur de BD.’) Cet

Les expressions régulières sous R - eric.univ-lyon2.freric.univ-lyon2.fr/~ricco/cours/slides/TM.E - expressions... · Python. • POSIX étendu, fruit d’un effort de normalisation,

Programmes 3A-S2 - ESIEA › wp-content › uploads › 2020 › 03 › 3... · - automates finis déterministes et non déterministes, expressions régulières, lemme de l'étoile