Ce cours porte sur les expressions rationnelles (ou expressions régulières), les automates finis et les liens entre ces deux formalismes.