03-automates

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