La théorie des automates est un domaine de recherche qui se confondait presque avec les fondements de l'informatique. La redynamisation récente de cette théorie est principalement motivée par de nouvelles applications dans les secteurs de la technologie objet, de la gestion de réseau, du langage naturel et du traitement de la parole, des langages de programmation, de la bio-informatique, etc. Cela a entraîné la croissance du nombre de systèmes logiciels conçus pour manipuler des automates, des expressions régulières, des grammaires et des structures liées.