Wikipédia:Lumière sur/Expression rationnelle

Ce « Lumière sur » a été ou sera publié sur la page d'accueil de l'encyclopédie du jeudi 28 juillet 2005 au dimanche 31 juillet 2005.


Représentation graphique d’un automate d’états finis permettant de reconnaître une expression régulière simple composée de deux alternatives exclusives "α|β".
Représentation graphique d’un automate d’états finis permettant de reconnaître une expression régulière simple composée de deux alternatives exclusives "α|β".

Les expressions rationnelles sont une famille de notations compactes et puissantes pour décrire certains ensembles de chaînes de caractères. Ces notations sont utilisées par plusieurs éditeurs de texte et utilitaires (particulièrement sous Unix), par exemple Vim, Emacs, Sed et Awk, pour parcourir de façon automatique des textes à la recherche de morceaux de texte ayant certaines formes, et éventuellement remplacer ces morceaux de texte par d’autres.

L’origine et la justification mathématique des expressions régulières se situent dans la théorie des automates et des langages formels.

Lire la suite