Théorie des automates
Définition
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme la calculabilité, les automates finis, la théorie de la complexité des algorithmes, la vérification de modèle.
Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
Français
théorie des automates
Anglais
Automata theory
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
