Eléments de théorie des automates

La théorie des automates est un chapitre de base de l'informatique, essentiel pour la compréhension des méthodes formelles. Sont traités en particulier les automates avec multiplicité et les automates avec sortie (transducteurs).