Chapitre 3
´
Evaluation des expressions r´eguli`eres
et automates finis
Jean Privat
Universit´e du Qu´ebec `a Montr´eal
INF5000 — Th´eorie et construction des compilateurs
Automne 2013
Jean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 1 / 25
´
Evaluation d’une expression r´eguli`ere
Soit une expression r´eguli`ere d´efinissant un langage
Une chaˆıne appartient-elle au langage ?
Rechercher les sous-chaˆınes appartenant au langage ?
Questions non triviales
Mˆeme pour un ordinateur
0110010 ?a?b*c+
Jean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 2 / 25
´
Evaluation d’une expression r´eguli`ere
Soit une expression r´eguli`ere d´efinissant un langage
Une chaˆıne appartient-elle au langage ?
Rechercher les sous-chaˆınes appartenant au langage ?
Questions non triviales
Mˆeme pour un ordinateur
0110010 ?a?b*c+
Jean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 2 / 25
Approche na¨ıve
Comment ´evaluer ?
a*ba*ba*
(ab|b)*a?
Les langages sont-ils les mˆemes ?
a+ba*|a*ba+
a+ba+|a+b|ba+
Quel est l’expression r´eguli`ere la plus rapide `a ´evaluer ?
Qu’est-ce qui impacte les performances ?
Jean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 3 / 25
Approche na¨ıve
Comment ´evaluer ?
a*ba*ba*
(ab|b)*a?
Les langages sont-ils les mˆemes ?
a+ba*|a*ba+
a+ba+|a+b|ba+
Quel est l’expression r´eguli`ere la plus rapide `a ´evaluer ?
Qu’est-ce qui impacte les performances ?
Jean Privat (UQAM) 03—Automate fini INF5000 — Automne 2013 3 / 25
1 / 36 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 !